12楼: Originally posted by math2000 at 2015-07-26 18:14:04
不知道是否可行
对任意的c，a<c<b,
1) 对任意的 y, a<y<c
显然有
E=lim (d-->a)  > f(y)
即E 是 f(x) a<x<c的一个上界，所以E大于或等于f(x)在（a,c)上的上确界
2）
因为1）中对任 ...

13楼: Originally posted by tigou at 2015-07-27 09:21:31
谢谢关注此问题。但“显然”不能代表证明，您的步骤1并没有比命题1或者命题2增加任何新的内容。这里需要的是从极限和上确界的定义出发，严格导出或者推翻命题。其中的任何步骤都不能用“显然”来代替。...

16楼: Originally posted by aunwt at 2015-07-27 18:04:00
极限不存在怎么办呢 lz打算

11楼: Originally posted by tigou at 2015-07-25 07:02:37
为了突出c能否将开区间分割出一个空集的思想，本楼提一个相关的新命题。
命题2：设f在开区间上(a,b)上有定义，则
\lim_{c\to a}\sup\{f(x)|c\le x<b\}=\sup\{f(x)|a<x<b\}~....