Question

证明：若单调有界函数f(x)可取到f(a).f(b)之间的一切值,则f(x)在[a,b]上连续？

Answer 1

首先,单调函数在每点都存在左右极限.
以一点c处的左极限为例,不妨设f(x)单调增.
对x < c,有f(x) ≤ f(c).于是f(x)在x < c的范围内的取值有上界,由确界原理存在上确界,设为A.
我们证明:事实上A就是f(x)在c点的左极限.
任意ε > 0,由A是上确界,存在y < c使A-ε < f(y) ≤ A.
而f(x)单调增,因此对任意x∈(y,c)均有A-ε < f(x) ≤ A,故|f(x)-A| < ε.
于是A即为左极限,每点均存在左极限.右极限同理可证.
下面证明原题.
仍不妨设f(x)是增函数.
任取c∈(a,b),f(x)在c点的左右极限A,B与函数值满足不等式f(a) ≤ A ≤ f(c) ≤ B ≤ f(b).
若A < f(c),则由单调性,f(x)取不到A与f(c)之间的值,矛盾.于是只有A = f(c).
同理B = f(c).因此f(x)在c左右极限均存在并等于f(c),即f(x)在c点连续.
在端点a处,成立右极限 = f(a),b处成立左极限 = f(b).
f(x)在[a,b]连续.,11,
80年代的爱情 举报
请教高人：1.实数完备性怎么证啊？（尤其是是否要用到数直线的连续性？要证吗？ 2.微分中值定理为什么不叫导数中值定理啊？？ 跪谢！！！！！ 1. 要证明实数完备性首先要说什么是实数, 我学的数分教材是用Dedekind分割构造的实数. 大意是一个Dedekind分割将有理数集分为两个非空子集A和B的无交并, 保证其中A的所有元素比B的所有元素都小, 且A没有最大元素. 实数集就抽象的构造为所有Dedekind分割的 *** . 这个构造与我们通常理解的实数是通过将x对应到A=(-∞,x), B=[x,+∞)而相联系的. 我们可以在这个抽象的 *** 上定义运算, 序关系等一切实数集上的结构. 而实数的完备性也可以比较容易的得到, 比如证明确界原理就可以直接在分割的基础上进行. 也许你有疑问: 我们只是构造了像是实数的东西, 最后也没说明白"真正的"实数是什么. 但是公理化方法就是这样的, 只关心对象具有的性质, 而不关心对象到底是什么. 实数集定义为一个完备的全序域, 只要具有这样的性质, 不管什么 *** 都可以称为实数集的一个模型. Dedekind分割只是实数集的一种模型, 还有很多不同的模型, 但它们都有相同的性质, 用哪个无所谓. 公理化思想我的理解也不深, 以上分析仅供参考. 虽不太确定, 我认为几何公理化是在实数基础上的, 所以不适合用直线连续性证明实数连续性. 而数分中一般也不会对实数的构造过多着墨, 更多的是在证明实数完备性的几个定理互相等价. 2. 其实我觉得叫导数中值定理也不错. 个人认为微分中值定理是对微分学中出现的中值定理的一种统称, 习惯而已. 英文wiki上分别叫Rolle's Theorem, Mean Value Theorem和Cauchy's Mean Value Theorem. 并没有出现微分或导数的字眼. 积分中值定理则叫1st(2nd) Mean Value Theorem for Integration.,?,2,1516,2,