数学中国

 找回密码
 注册
搜索
热搜: 活动 交友 discuz
查看: 2170|回复: 8

g(0)=1,g(1)=0,若有[0,1]连续函数h(x)使g(x)+h(x)单调升,证:g(x)可取[0,1]任何值

[复制链接]
发表于 2022-8-12 13:07 | 显示全部楼层 |阅读模式
一道分析题,急急急急急!!!!!!

假设g(x)是定义在[0,1]上的函数,g(0)=1,g(1)=0.

如果存在一个定义在[0,1]上的连续函数h(x)使得g(x)+h(x)单调上升,

证明:g(x)可以取到[0,1]内的任意实数。
发表于 2022-8-13 01:20 | 显示全部楼层
本帖最后由 elim 于 2022-8-12 10:39 编辑

题:设 \(g\) 在\([0,1]\) 上有定义,\(g(0)=1,\,g(1)=0,\,h\)在\([0,1]\) 连续,
\(\qquad g+h\) 单调升. 试证 \([0,1]\subset g([0,1])\).
证:\(\because\;f=g+h\) 单调升, \(h\)连续, \(\therefore\,g(x-)\le g(x+)\small\,(0< x<1).\)
\(\qquad\)若有 \(c\in(0,1) -g([0,1])\), 则由 \(1=g(0)\le g(0+)\) 知
\(\qquad E_c=\{a\in (0,1) \mid g(x)> c, \,x\in[0,a) \}\ne\varnothing.\)令 \(x_c = \sup E_c\)
\(\qquad\)则 \(g(x_c-)\ge c \ge g(x_c+).\) 综上得 \(g(x_c-)=g(x_c+)\implies\)
\(\qquad\implies f(x_c)=c.\) 与\(\,c\,\)的取法矛盾. 可见\([0,1]\subset g([0,1].\small\quad\square\)

题目很妙。以前从来没想到过。\(g+h\)的单调升,\(h\) 的连续竟然迫使 \(g\)几乎处处连续,且满足介值定理.
回复 支持 1 反对 0

使用道具 举报

发表于 2022-8-13 06:52 | 显示全部楼层
楼上 elim 的解答很好!已收藏。
回复 支持 反对

使用道具 举报

 楼主| 发表于 2022-8-15 13:56 | 显示全部楼层
elim 发表于 2022-8-13 01:20
题:设 \(g\) 在\([0,1]\) 上有定义,\(g(0)=1,\,g(1)=0,\,h\)在\([0,1]\) 连续,
\(\qquad g+h\) 单调升.  ...

想请问一下,回答中的第四行“则”后面的不等式是怎么得到的?
回复 支持 反对

使用道具 举报

 楼主| 发表于 2022-8-15 14:05 | 显示全部楼层
elim 发表于 2022-8-13 01:20
题:设 \(g\) 在\([0,1]\) 上有定义,\(g(0)=1,\,g(1)=0,\,h\)在\([0,1]\) 连续,
\(\qquad g+h\) 单调升.  ...

而且,你怎么保证g(x)的左极限和右极限存在?
回复 支持 反对

使用道具 举报

 楼主| 发表于 2022-8-15 14:20 | 显示全部楼层
elim 发表于 2022-8-13 01:20
题:设 \(g\) 在\([0,1]\) 上有定义,\(g(0)=1,\,g(1)=0,\,h\)在\([0,1]\) 连续,
\(\qquad g+h\) 单调升.  ...

而且,最后一行应该还是g(x_c)=c吧
回复 支持 反对

使用道具 举报

发表于 2022-8-16 04:30 | 显示全部楼层

与级数敛散性判别法有关的一个辅助定理。

本帖最后由 elim 于 2022-8-15 13:58 编辑

这种问题本版块不多见,有些网友看见这种问题会直接奔溃。但这种题目锤炼数学分析功底。

回答楼主的问题。

\(\because\;f=g+h\,\)单调升,\(h\)连续, \(\therefore g(x\pm)= (f-h)(x\pm)\) 在\((0,1)\)上存在且
\(g(x-)\le g(x)\le g(x+)\)在\((0,1)\)上成立.  易见 \(1=g(0)\le g(0+)\)
故有 \(\delta>0\) 使 \(1-g(x)\le g(0+)-g(x)< 1-c\,(x\in (0,\delta))\) 即 \(g(x)>c\)
\((0< x< \delta)\), 亦即 \(\delta\in E_c\subset (0,1),\)  可见 \(c\in (0,1)-g([0,1])\)存在
\(\implies x_c=\sup E_c\)存在. 由 \(x_c\) 的取法, 显然 \(g(x_c-)\ge c\).且
\(x_c\)的任意右领域都有点\(\,x\)使 \(c\ge g(x)\) 所以 \(c\ge g(x_c+)\)。
综合已有的结果,不难得出 \(g(x_c)=c.\)

回复 支持 反对

使用道具 举报

发表于 2022-8-16 06:14 | 显示全部楼层
楼上 elim 改进后的解答已收藏。
回复 支持 反对

使用道具 举报

发表于 2022-8-27 07:21 | 显示全部楼层
第二个解其实是对第一个解的略作注释。看来楼主没有进一步的问题了。
他几乎对第一个解的每个论断都表示怀疑。估计这对我们这个版块也很典型。
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2024-3-29 16:47 , Processed in 0.063477 second(s), 15 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表