24小时热门版块排行榜    

查看: 1533  |  回复: 17
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

tigou

木虫 (正式写手)

[求助] 上确界的比较问题 已有5人参与

命题1:设f 在实数区间(a,b)上有定义, a<c<b,




命题1是否成立,怎么证明?谢谢。
回复此楼
0/0的意义是所有数的集合
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

math2000

铁杆木虫 (职业作家)

【答案】应助回帖

感谢参与,应助指数 +1
不知道是否可行
对任意的c,a<c<b,
1) 对任意的 y, a<y<c
显然有
E=lim[sup(f(x): d<x<b)] (d-->a)  > f(y)
即E 是 f(x) a<x<c的一个上界,所以E大于或等于f(x)在(a,c)上的上确界
2)
因为1)中对任意的c都成立,所以结论成立
12楼2015-07-26 18:14:04
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

math2000

铁杆木虫 (职业作家)

【答案】应助回帖

★ ★ ★ ★ ★
tigou: 金币+5, ★★★★★最佳答案, 谢谢。和我想到一起了。命题1和2的背后似乎蕴含着一个共同的结论,实数集的连续子集如果是零测集,则只能是空集或者单点集。 2015-07-27 10:17:27
引用回帖:
13楼: Originally posted by tigou at 2015-07-27 09:21:31
谢谢关注此问题。但“显然”不能代表证明,您的步骤1并没有比命题1或者命题2增加任何新的内容。这里需要的是从极限和上确界的定义出发,严格导出或者推翻命题。其中的任何步骤都不能用“显然”来代替。...

第一步没有写清楚,漏了
应该是
E=limsup{f(x)|d<=x<b}  (d-->c) 大于或等于f(y)


即你的命题2是显然成立的,因为对任意的a<x<b,此时一定可以找到一个c,a<c<b
使得 c<x
所以sup{f(x)|c<=x<b} >=f(x)
而g(c)=sup{f(x)|c<=x<b}关于c是单调减少的,所以其极限
limsup{f(x)|c<=x<b} (c-->a)>=f(x)
即其极限limsup{f(x)|c<=x<b} (c-->a)是f(x) a<x<b的一个上界,由上确界的定义知,你的命题2成立
14楼2015-07-27 10:04:15
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 tigou 的主题更新
信息提示
请填处理意见