24小时热门版块排行榜    

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

tigou

木虫 (正式写手)

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

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




命题1是否成立,怎么证明?谢谢。
回复此楼

» 猜你喜欢

0/0的意义是所有数的集合
已阅   回复此楼   关注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的回帖
查看全部 18 个回答

tigou

木虫 (正式写手)

这个问题是重要的,关系到很多相同类型的判断:想象一段实数区间上有一个阀门,当阀门无限靠近其中一个端点时,阀门的另一侧是否能当成整个区间来看待?
0/0的意义是所有数的集合
2楼2015-07-24 16:06:32
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

bluesine

铁杆木虫 (职业作家)

科苑小木虫

【答案】应助回帖

感谢参与,应助指数 +1
不成立。随便就能举个反例。。。f(x)= -sgn(x), c=0;
代进去命题不成立
板凳要做十年冷文章不发一个字
3楼2015-07-24 16:23:08
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

tigou

木虫 (正式写手)

引用回帖:
3楼: Originally posted by bluesine at 2015-07-24 16:23:08
不成立。随便就能举个反例。。。f(x)= -sgn(x), c=0;
代进去命题不成立

请您确定a,b的取值,谢谢。
0/0的意义是所有数的集合
4楼2015-07-24 16:32:40
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
信息提示
请填处理意见