实数完备性基本定理相互证明.doc

《实数完备性基本定理相互证明.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、关于实数连续性的基本定理关键词：实数基本定理确界定理单调有界原理区间套定理有限覆盖定理紧致性定理柯西收敛定理等价证明以上的定理表述如下：实数基本定理：对R的每一个分划A

2、B，都唯一的实数r，使它大于或等于下类A中的每一个实数，小于或等于上类B中的每一个实数。确界定理:在实数系R内,非空的有上(下)界的数集必有上(下)确界存在。单调有界原理:若数列单调上升有上界，则必有极限。区间套定理:设｛｝是一个区间套,则必存在唯一的实数r,使得r包含在所有的区间里,即。有限覆盖定理:实数闭区间[a,b]的任一覆盖E,必存在有

3、限的子覆盖。紧致性定理：有界数列必有收敛子数列。柯西收敛定理：在实数系中，数列有极限存在的充分必要条件是：。这些定理虽然出发的角度不同，但描写的都是实数连续性这同一件事，它们之间是相互等价的，即任取其中两个定理，它们可以相互证明。那么，它们在证明过程中有哪些联系？作为工具，它们又各具有什么特点？以下先给出它们的等价证明。（二）实数基本定理的等价证明一．用实数基本定理证明其它定理1．实数基本定理→单调有界定理证明：设数列单调上升有上界。令B是数列全体上界组成的集合，即B={b

4、},而A=R﹨B，则A

5、B是实数的一

6、个分划。事实上，由单调上升，故-1A，即A不空，由A=R﹨B，知A、B不漏。又对任给aA，bB，则存在，使ab，即A、B不乱。故A

7、B是实数的一个分划。根据实数基本定理，。17下证=r。事实上，对。，于是，

8、-r

9、，=r。若数列单调下降有下界，令=-，则{}单调上升有上界，从而有极限，设极限为r，则=（-）=-r。定理证完。2.实数基本定理确界定理证明：设X是有上界的非空实数集，记B为X的全体上界组成的集合。A=R﹨B，则A

10、B构成实数的一个分划。事实上，不空，不漏显然。而由a不是X的上界，知有X，使得a，而由

11、知b，故ab。由实数基本定理，A

12、B是实数的一个分划，。下证r=supX。首先证明r是X的上界。用反证法。如果不然，则有X，使得r，这时有a=a=A，且有ar，这是不可能的。因此r是X的上界，而由于，r是X的最小上界。同理可证下确界的情形。定理证完。3．实数基本定理区间套定理证明：设｛｝是一个区间套，令，，则是的一个分划。事实上，，即非空；由的定义，不漏；，，则，，故，即不乱。故确是的一个分划。由实数连续性定理，存在唯一的实数，使得，，有。17下证。因为，由的定义，，故。又，有，则，从而。即。最后证明唯一性。若

13、有满足，，则故。即这样的是唯一的。定理证完。二．用单调有界定理证明其它定理单调有界定理→实数基本定理证明：给定实数的一个分划，任取，。用，的中点二等分[，]，如果，则取=，=；如果，则取=，=；……如此继续下去，便得两串序列。其中单调上升有上界（例如），单调下降有下界（例如）并且=。由单调有界定理，知r，使=r（）=0+（）=rA，有（n=1，2，……），令，知r，有（n=1，2，……），令，知r下面证明唯一性。用反证法。如果不然。则，同时对任意，，对任意有，不妨设，令显然，，这与是R的一个分划矛盾。唯一性得证

14、。定理证完。2．单调有界定理→确界定理证明：已知实数集A非空。，不妨设不是A的上界，另外，知17是A的上界，记=，=，用，的中点二等分[，]，如果，则取=，=；如果，则取=，=；……如此继续下去，便得两串序列。其中单调上升有上界（例如），单调下降有下界（例如）并且=。由单调有界定理，知r，使=r。由（）=0有+（）=r是A的上界，，有（n=1，2，……），令，=rr是A的上界。而由=r知从而r=supA。同理可证非空有下界数集有下确界。定理证完。3．单调有界定理区间套定理证明：已知（n），，由单调有界定理知{}

15、存在极限，设=r，同理可知{}存在极限，设=，由（）=0得=0即n，有，令，有，n，有。唯一性证明同用实数基本定理对区间套定理的证明（即一.3）。定理证完。三．用确界定理证明其它定理确界定理→实数基本定理证明：对给定R的一个分划A

16、B，由于，b是集合A的上界，由确界定理可得，集合A有上确界r，即。r是集合A的上确界，r是集合A的全体上界的最小数。，有r。唯一性同用单调有界定理对实数基本定理的证明（即二。1）。定理证完。17确界定理→单调有界定理证明：设是单调上升有上界的实数列。由确界定理可得，r，使r=sup。

17、，并且，即=r。单调下降有下界情况的证明同用实数基本定理对此定理的证明（即一.1）。定理证完。确界定理→区间套定理证明：由[，][，]，知是单调上升有上界的实数列，是单调下降有下界的数列。且是的上界，是的下界。设=r，=，由确界定理对的证明知r=sup，=inf。由（）=0得=0即=sup=infn，有。唯一性证明同用实数基本定理对区间套定理的证明（即一.3）。定理证完。确界定理→有限