2.实数基本定理的等价性证明
实数连续性等价命题的证明与应用
实数连续性等价命题的证明与应用摘要实数连续性理论是高等数学中的主要内容,实数连续性的叙述是多种多样的,它们分别不同的侧面刻划了实数的连续性,但这些命题是彼此等价的.本文主要研究实数连续性等价命题的证明问题,对于实数连续性的7个等价性命题:确界定理、单调有界定理、区间套定理、有限覆盖定理、聚点定理、致密性定理、柯西收敛准则,采用循环论证的方法,先证明确界定理成立，再从确界定理出发,依次证明下一命题,直至致密性定理证明柯西收敛准则,最后由柯西收敛准则证明确界定理,从而组成一个环路,证明了它们的等价性.在实数连续性等价命题的证明过程的同时,本文还给出了实数连续性的应用.关键词: 实数的连续性;等价证明;应用The proof and application for equivalent propositions of the real continuityABSTRACTThe paper discusses demonstration and application of the equal propositions on real number continuity. Equivalence of these seven theorems can be demonstrated by a circular. From the case 1 on, this paper demonstrate the next one in turn down, at the last, the proposition that extends from 7 to 1 to form a road that their equivalence.Keywords：The continuity of real number; equivalence demonstration; application目录一、实数连续性 1二、确界定理 1三、单调有界定理 3四、区间套定理 4五、有限覆盖定理 6六、聚点定理 7七、致密性定理 8八、柯西收敛定理 8参考文献 11一、实数的连续性实数连续性反映了实数集的一种特性，也称作实数的完备性. 实数连续性理论在高等数学中占有重要地位，广泛应用于极限理论方面,连续函数理论方面乃至整个数学分析,因此,实数连续性等价命题的内容,证明方法及应用是大学生应该掌握的重要学习内容. 实数连续性的叙述是多种多样的,它们分别不同的侧面刻划了实数的连续性,但这些命题是彼此等价的.实数连续性的基本定理有七个,这七个定理在实数理论的研究乃至整个数学分析的学习中都至关重要，它们是:确界定理,数列的单调有界定理,区间套定理,有限覆盖定理,聚点定理,致密性定理,柯西收敛定理.在下面的几节中，采用循环论证的方法,先证明确界定理成立,再从确界定理出发,利用确界定理证明数列的单调有界定理成立,再利用单调有界定理证明区间套定理成立,接下来利用区间套定理证明有限覆盖定理成立,再接下来利用有限覆盖定理证明聚点定理成立,然后利用聚点定理证明致密性定理成立,再然后利用致密性定理证明柯西收敛准则成立,最后由柯西收敛准则证明确界定理成立,从而组成一个环路,证明了它们的等价性.二、确界定理定义2.1.1 设是非空数集.若满足则称是数集的上确界，记作定义2.1.2 设是非空数集.若满足则称是数集的上（下）确界，记作定理2.1(确界定理) 若非空数集有上界（下界）,则数集一定存在唯一的上确界（下确界）;若非空数集有下界,则数集一定存在唯一的下确界.证明只证明关于上确界的结论，下确界的结论可以类似地证明.不妨设含有非负数.由于有上界,故可找到非负整数,使得对于任何;存在,使.对半开区间作10等分,分点为则存在中的一个数,使得对于任何有;对于.在随半开区间作10等分,则存在中的一个,使得对于任何有;对于.继续不断地10等分在前一个步骤中所得到的半开区间,可知对任何存在中的一个数,使得对于任何有;对于.将上述步骤无限地进行下去,得到实数.以下证明.为此只需证明:对一切;对任何.倘若结论不成立,即存在,则可找到的位近似不足,使,从而得,但这与不等式相矛盾.于是得证.现设则存在使的位近似不足,即.根据数的构造,存在使从而有,即得到.这说明成立.说明（1）:数集的上（下）界可能属于,也可能不属于,例如,则,而.说明（2）:数集的上（下）界可能不存在.例如:,则,而下确界不存在.例2.1 设、为非空数集,满足:对一切和有.证明:数集有上确界，数集有下确界,且.证明由假设,数集中任一数都是数集的上界,中任一数都是的下界,故由确界原理推知数集有上确界,有下确界.对任意,是数集的一个上界,而由上确界的定义知,是数集的最小上界,故有.而此式又表明数是数集的一个下界,故由下确界定义证得.三、单调有界定理定义3.1.1 若数列的各项满足关系式,则称为递增数列.定义3.1.2 若数列的各项满足关系式,则称为递减数列.定理3.1(单调有界定理) 若数列递增（递减）有上界（下界）,则数列收敛,即单调有界函数必有极限.证明利用确界定理（定理2.1）证明,不妨设为有上界的递增数列.有确界原理,数列有上确界,记.下面证明就是的极限.事实上,任给,按上确界的定义,存在数列中某一项,使得.又由的递增性,当时有.另一方面,由于是的一个上界,故对一切都有.所以当时有,这就证得.同理可证有下界的递减数列必有极限,且其极限即为它的下确界.例3.1 设，, 其中实数.证明数列收敛.证明显然是递增的,下证有上界.事实上,于是由单调有界定理,收敛.四、区间套定理定义4.1 设闭区间套具有如下性质:,,则称为闭区间套,或简称区间套.定理4.1（区间套定理）若是一个区间套,则在实数系中存在唯一的一点,使得,,即,证明利用单调有界定理(定理3.1)证明,由闭区间套满足条件：各闭区间的端点满足如下不等式：.则为递增有界数列,依单调有界定理,有极限,且有,.同理,递减有界数列也有极限,并由区间套的条件得,且.综合即得最后证上式中的是唯一的.设数则由有由区间套条件得故有,即是唯一的.说明(1):若将闭区间列换成开区间列,区间套定理不一定成立.如:开区间列满足区间套定理,但不存在数属于所有的开区间.说明(2):若将闭区间列换为严格的开区间列,即存在数列与,使得,则定理仍成立.说明(3):若将数轴上的原点0去掉,则区间套定理不一定成立,例如闭区间列满足区间套定理,但不存在属于所有的.例4.1 设是一个严格开区间套,即满足,且.证明:存在唯一的一点,使得.证明因为满足闭区间套,所以存在唯一的点,使得因为,所以即.又由于具有唯一性,于是得证.五、有限覆盖定理设是一区间（或开或闭）,并有开区间集（的元素都是开区间）.定义5.1 若有,则称开区间集覆盖区间，若中区间个数是有（无）限的,则称为的一个有（无）限覆盖,若中的区间都是开区间,则称为的一个开覆盖.定理5.1（有限覆盖定理）若开区间覆盖闭区间,则从中可选出有限个开区间来覆盖.证明利用闭区间套定理(定理4.1)证明,假设定理5.1结论不成立,即不能用中有限个开区间来覆盖.将等分为两个子区间,则其中至少有一个子区间不能用中有限个开区间来覆盖.记这个子区间为,则,且.再将等分为两个子区间,同样,其中至少有一个子区间不能用中有限个开区间来覆盖.记这个子区间为,则,且.重复上述步骤并不断地进行下去，则得到一个闭区间列,它满足,即是区间套,且其中每一个闭区间都不能用中有限个开区间来覆盖.由区间套定理,存在唯一的一点,.由于是上的一个开覆盖,故存在开区间H,使.这表明只须用中的一个开区间就能覆盖,与挑选时的假设“不能用有限个开区间来覆盖”相矛盾.从而证得必存在属于H的有限个开区间能覆盖.说明:有限覆盖定理与闭区间套定理,确界定理等不同,它是着眼于一点的局部,而有限覆盖定理则是着眼于区间的整体.它的作用是从覆盖闭区间的无限个开区间中选出有限个开区间也覆盖闭区间.正是通过这种方法,可以将闭区间上每点具有的局部性质转化为整个区间上的整体性质.其基本步骤是:首先根据要证明的整体性质,在闭区间上每一点找性质,然后构造开区间集使.且在每一个开区间上性质成立.则由有限覆盖定理,存在有限个开区间,使,在证明在上性质成立.例5.1为闭区间上的连续函数列,在上收敛于函数,如果对,为单调递减数列,则在上一致收敛.解由已知,有,由及的连续性,有,所以对上述使当时,有,因单调递减,所以当时,有,在上成立.又,由有限覆盖定理得,设,则时,对,有,所以在上一致收敛于.六、聚点定理定义6.1 设为数轴上的点集,为定点（它可以属于,也可以不属于）.若的任何邻域内都含有中无穷多个点,则称为点集的一个聚点.定义6.2 对于点集,若点的任何邻域内都含有中异于的点,即,则称为为点集的一个聚点.定义6.3 如存在各项各异的收敛数列,则其极限称为的一个聚点.定理6.1（聚点定理）实轴上的任一有界无限点集至少有一个聚点.证明利用有限覆盖定理(定理5.1)证明，对直线上的有界无限点集,存在,使得.假设中不含的聚点.则对,则存在相应的,使得内之多包含的有限多个点,令=则是的一个开覆盖,从而中存在有限个,覆盖了,从而也覆盖了.因为每个邻域中至多含的有限个点,故这个邻域的并集也至多含有的有限个点,于是为有限点集,这与题设矛盾.因此在中至少有一点是的聚点.说明:并不是所有的点集都有聚点,如自然数集N.例6.1 设为单调数列.证明:若存在聚点,则必是唯一的.证明设递增,假设都是的聚点,且,则取,由于是的聚点,故必存在.又因递增,故时恒有于是,在中至多含有的有限多项,这与是的聚点相矛盾.七、致密性定理定理7.1（致密性定理）有界数列必含有收敛子列.证明利用聚点定理（定理6.1）证明,设为有界数列.若中有无限多个相等的项,则由这些项组成的子列是一个常数列,而常数列总是收敛的.若数列不含有无限多个相等的项,则在数轴上对应的点集必为有界无限点集,故由聚点定理,点集至少有一个聚点,记为.由聚点定义（若存在各项各异的收敛子列,则其极限）,存在的一个收敛子列（以为极限）.八、柯西收敛准则定理8.1（柯西收敛准则）实数列有极限的充要条件是：对任意给定的，有一正整数，当时，有成立.证明利用致密性定理（定理7.1）证明，设数列满足柯西条件.先证明是有界的.为此,取,则存在正整数N,当及时有.由此得.令,则对一切正整数均有.于是由致密性定理,有界数列必有收敛子列,设.对任给的,存在,当时,同时有（由柯西条件）,(由).因而当取时,得到.这就证明了.例8.1 证明任一无限十进小数的位不足近似所组成的数列满足柯西条件（即收敛），其中为中的一个数,.证明记.不妨设,则有对任给的,取,则对一切有.这就证明了所给数列满足柯西条件.利用柯西收敛准则（定理8.1）也可以证明确界定理（定理2.1）,下面给出证明.证明设是非空有上界的数集,由实数的阿基米德性,对任意的,存在整数,使得为的上界,而不是的上界,即存在,使得.分别取,,则对每一个正整数,存在相应的,使得为的上界,而存在不是的上界,故存在,使得.又对正整数,是的上界,故有,结合得;同理有,从而得.于是对任意的,存在,使得时有.由柯西收敛准则，数列收敛.记.现在证明是的上确界.首先,对任意和正整数,有,由式得,即是的一个上界.其次对任意的,由及式,对充分大的同时有,.又因不是的上界，故存在，使得,结合上式得.这说明是的上确界.同理可证若为非空有下界数列，则必存在下确界.在上面八节中,我们首先证明了确界定理（定理2.1）,由它证明单调有界定理（定理3.1）,接着用单调有界定理证明区间套定理（定理4.1）,接着用区间套定理证明有限覆盖定理（定理5.1）,然后用有限覆盖定理证明聚点定理（定理6.1），然后又用聚点定理证明致密性定理（定理7.1）,然后用致密性定理证明柯西收敛准则（定理8.1）,最后用柯西收敛准则证明了最前面的确界定理（定理2.1）.则这样构成了一个循环,证明了在实数系中,这7个命题是等价的,即由任意一个命题都可推出其余的命题.对此我们可用下面顺序表示:2.13.14.15.16.17.18.12.1.在上面的八节中,我们也给出了若干代表性的例题,目的是对实数连续性定理进行应用.通过这篇论文,我们可以更好得掌握实数连续性等价命题的证明与应用.参考文献[1]华东师范大学数学系.数学分析[M].北京:高等教育出版社,2007:7-38.[2]华东师范大学数学系.数学分析[M].北京:高等教育出版社,2007: 161-168.[3]同济大学应用数学系,华东师范大学数学系.数学分析同步辅导[M].北京:航空工业出版社,2005:182-194.[4]张筑生.数学分析新讲[M].北京:北京大学出版社,1990.76-84.[5]欧阳光中.简明数学分析[M].上海:复旦大学出版社,1988.4-16.[6]田菊蓉，智功献，晁翠华.实数性完备定理的等价性[J].西安联合大学学报,1999(2):49-53.[7]李莲洁.实数连续性等价命题的证明与应用[J].淮北煤师院学报,2002(6):73-78。
实数的基本定理
第三章 关于实数的基本定理及闭区间上连续函数性质的证明六个基本定理：1实数戴德德公理 确界原理2数列的单调有界定理 3区间套定理 4聚点定理 致密性定理5数列柯西收敛准则 6有限覆盖定理定理(确界原理) 设S 为非空数集．若S 有上界，则S 必有上确界；若S 有下界，则S 必有下确界．定理 单调有界数列必收敛. 证明 不妨设{}n a 为有上界的递增数列．由确界原理，数列{}n a 有上确界，记{}n a a sup =．下面证明a 就是{}n a 的极限．事实上，任给0>ε，按上确界的定义，存在数列{}n a 中某一项N a ，使得N a a ε-<．又由{}n a 的递增性，当N n ≥时有n N a a a <<-ε．另一方面，由于a 是{}n a 的一个上界，故对一切n a 都有ε+<≤a a a n ．所以当N n ≥时有εε+<<-a a a n ，即a a n n =∞→lim ．同理可证有下界的递增数列必有极限，且其极限即为它的下确界．（区间套定理） 若[]{}n n b a ,是一个区间套，则在实数系中存在唯一的一点ξ，使得ξ∈[]n n b a ,，,2,1=n ，即ξ≤n a n b ≤， .,2,1 =n （2） 证 由（1）式，{}n a 为递增有界数列，依单调有界定理，{}n a 有极限ξ，且有 .,2,1, =≤n a n ξ （3） 同理，递减有界数列{}n b 也有极限，并按区间套的条件（¡¡）有ξ==∞→∞→n n n n a b lim lim ， （4）且 .,2,1, =≥n b n ξ （5） 联合（3）、（5）即得（2）式。
最后证明满足（2）的ξ是唯一的。
设数ξ'也满足,,2,1, =≤'≤n b a n n ξ 则由（2）式有≤'-ξξ.,2,1, =-n a b n n 由区间套的条件（¡¡）得≤'-ξξ0)(lim =-∞→n n n a b ，故有ξξ='.由（4）式容易推得如下很有用的区间套性质：推论 若[]),2,1(, =∈n b a n n ξ是区间套[]{}n n b a ,所确定的点，则对任给的ε>0，存在N>0，使得当n >N 时有[]n n b a ,⊂()．；εξU致密性定理定义2 设S 为数轴上的点集，ξ为定点(它可以属于S ，也可以不属S)．ξ的任何邻域内都含有S 中无穷多个点，则称ξ为点集S 的一个聚点．等价定义如下：定义2’ 对于点集S ，若点ξ的任何ε邻域内都含有S 中异于ξ的点，即Φ≠S U );(0εξ，则称ξ为S 的一个聚点．定义2” 若存在各项互异的收敛数列{}S x n ⊂，则其极限ξ=∞→n n x lim 称为S 的一个聚点现证定义2’ ⇒定义2”设ξ为S(按定义2’)的聚点，则对任给的0>ε，存在()S U xεξ;∈．令11=ε，则存在()S U x11;εξ∈；令⎪⎭⎫ ⎝⎛-=12,21min x ξε，则存在()S U x22;εξ∈，且显然12x x ≠；令⎪⎭⎫⎝⎛-=-1,1min n n x n ξε，则存在()S U x n n εξ;∈，且11,,-n n x x x 与互异。
实数完备性定理的等价性证明及其应用
实数完备性定理的等价性证明及其应用一、实数完备性定理的等价性证明：1.柯西收敛准则证明实数完备性：我们假设存在一个无穷序列{an}，满足对于任意的正实数ε，都存在正整数N，使得当m > n > N时，有，am - an，< ε。
由于{an}是有序序列，它必然有上确界和下确界。
我们将上确界记为A，下确界记为B。
首先，我们来证明A和B是相等的。
假设A > B，那么A - B > 0，根据柯西收敛准则，我们可以找到正整数N1，使得当p > q > N1时，有，ap - aq， < A - B。
由于A是上确界，所以存在一个正整数n1，使得an1 > A - (A - B) = B。
同样地，我们可以找到正整数N2，使得当r >s > N2时，有，ar - as， < A - B。
由于A是上确界，所以存在一个正整数n2，使得an2 > A - (A - B) = B。
由于n1和n2是正整数，所以我们可以取N = max{N1, N2}，使得当p > q > N时，有，ap - aq， < A- B。
但是，同时存在正整数n1和n2，使得an1 > B和an2 > B，与前面所述矛盾。
因此，A和B必然相等，记为C。
接下来，我们证明C是这个序列的极限。
假设对于任意的正实数ε，存在一个正整数N，使得当n > N时，有，an - C，< ε。
我们取ε =ε/2，那么根据柯西收敛准则，必然存在一个正整数N，使得当p > q >N时，有，ap - aq，< ε/2、由于C就是上确界和下确界，所以必然存在正整数n > N，使得，an - C，< ε/2、根据三角不等式，我们有，ap - C，≤ ，ap - aq， + ，aq - C，< ε/2 + ε/2 = ε。
因此，C就是这个序列的极限，这就证明了实数完备性。
实数完备性六个定理的互相证明
0 ， x S ，使得 x ，
记为 xn a ( n ) 。如果不存在实数 a，使 xn 收敛于 a，则称数列 xn 发散。
lim xn a 0 ， N N ， n N ，有 xn a 。
二、一些基本概念
1.有界集： 设 S 是一个非空数集，如果 M R ，使得 x S ，有 x M ，则称 M 是 S 的
一个上界；如果 m R ，使得 x S ，有 x m ，则称 m 是 S 的一个下界。当数集 S 既有上界，又有下界时，称 S 为有界集。
a1 b1 a b a b , b1 S ，则记 a2 , b2 = 1 1 , b1 否则记 a2 , b2 = a1 , 1 1 ；...；对 2 2 2 an 1 bn 1 an 1 bn 1 a b an1 , bn1 二等分为 , bn 1 ，若 n 1 n 1 , bn 1 S ， an 1 , 、 2 2 2
则记 a2 , b2 =
a1 b1 a b , b1 否则记 a2 , b2 = a1 , 1 1 ；...；对 an 1 , bn 1 二等分为 2 2
an 1 bn 1 an 1 bn 1 a b , bn 1 ，若 n 1 n 1 非 s 的上界，则记 、 an 1 , 2 2 2 an 1 bn 1 a b an , bn = , bn 1 否则记 an , bn = an 1 , n 1 n 1 ；...，得到一列闭区间 2 2
上界，则记 a2 , b2 =
关于实数完备性的6个基本定理
其极限为无理数e,从而任一子列均收敛于e。
故{xn}在有理数域内没有收敛的子列。
6. 柯西收敛准则
在实数系中， {an}收敛
0,N ,m,n N ,有an am .
反例： {(1 1 )n }是满足Cauchy条件的有理数列， n
但其极限是无理数e. 即柯西收敛准则在有理数域不成立。
任取H的有限个元素，构成集合H *,
H * {( x1 r1, x1 r1 ),( x2 r2 , x2 r2 )( xn rn , xn rn )}
由于H *中的开区间都不含 2，且2n个端点都是有理数， 设这2n个有理数中与 2最靠近的数为 r, 则在r与 2之间所有有理数都在上述n个区间之外。 即H的任意有限覆盖不能盖住[1,2]Q .
n 但其极限是无理数e.
即数列的单调有界定理在有理数域不成立。
3. 区间套定理
若{[ an,bn ]}是一个区间套，则在实数系中存在唯一的点
,使 [an,bn],n 1,2,
反例：取单调递增有理数列{an},使an 2, 取单调递减有理数列{bn},使bn 2,
则 有理数域内构成闭区间套 [an ,bn ]Q， 其在实数系内唯一的公共点为 2 Q.
在有理数系中这六个命题不成立 。
1. 确界原理 在实数系中，任意非空有上（下）界的数集
必有上（下）确界。
反例：S {x | x2 2, x Q},sup S 2, inf S 2, 即S在有理数集没有确界。确界原理在有理数域不成立。
2. 单调有界定理； 在实数系中，单调有界数列必有极限。 反例：{(1 1)n }是单调有界有理数列，
实数完备性基本定理的等价性
实数基本定理等价性的路线 : 证明按以 下三条路线进行:
实数基本定理的等价性证明
Ｊ １２ ０ ｕ． Ｏ１
实数基本定理 的等价性证 明
包 丙 寅
（ 内蒙古师范大学 数 学科学学院 内蒙古 呼和浩特 ００ １） １００
摘 要 ：实数基本定理 的 内容及其等价性证 明是数 学分析课 程 中的难 点和重点． 本文全方 面的给 出了确界原理、 单调有
界 原理 、 区间套定理、 有限覆盖定理 、 致密性定理 、 西收敛原理这六个实数基本定理的等价性证 明． 柯
第２ ６卷 第 ７期
２１ ０ ０年 ７月
赤 峰 学 院 学 报 （自然 科 学 版 ）
Ｊｕｎｌｆ ｈ ｅｇ ｎ ｅｓｙ（ ａ ｒｌ ｃ ｎｅ ｄ ｉ ） ｏｒａ ｉｎ ｉ ｒｔ Ｎ ｔ ａ Ｓｉ ｃ ｉｏ ｏＣ ｆ Ｕ ｖ ｉ ｕ ｅ Ｅ ｔｎ
Ｖ０． ６ Ｎ ． １２ ｏ７
ｎ— 蕾
（ Ｂ ∈｛ ） ，） △所覆盖． 与 ，ｎ ｂ】 的本性矛盾． １ 利用区间套定理证明致密性定理 ． ２ 证【： ｙ】 ｌ 设｛ 为有界数列 ， １ 】 ｎ 即 ａｂ使 ａ ． 分区间 ｔ ， ≤ｙ≤ｂ 等 ［， 为两个 区间 ， ａ］ ｂ 则至少有一个 区间含有｛ ｙ 中的无穷个数 ． Ｊ
１１ 利用 区间套定理证明有限覆 盖定理 ． 证【 假设某一闭区间［ｂ的某个开覆盖（ ） １ ： ａ】 ， △ 无有限子覆
盖 ， ， Ｚ等分 ， 将ｂｂ ｌ 则至少有 一“ 区间” 它不能用 ｛｝ 半 ， △ 的有
限子集覆盖 ，将 此半 区间记为 【ｉ 如果两个半区问都如 ａｂ （ ，】
（ ）致密性定理 ） ４（ 有界序列必有收敛 的子序列．
限进行下去 ， 便得一区间套｛ ｝ ， 、 ｂ ａ ． （ 一 ， ： ａ ｂ ，广 ｎｊ ｂ ｎ Ｉ ＝Ｉ ＿
数学分析第四讲 实数系的6个定理的等价证明
(1) [ak1, bk1] [ak , bk ], k 1, 2,
(2)
lim
k
|
bk
ak
|
0
(3){[ak , bk ]}中每个区间都含有E的无穷多个点
由闭区间套定理存在唯一 [ak , bk ].
k 1
实数的连续不完备性讨论
根据
lim
n
an
lim
n
bn
,得到
0, N1 N * ,k N1 : ak
N2 N * ,k
N2
:
bk
0, N1 N * ,k N1 : ak +
N2 N * ,k N2 :
单调有 界定理
确界 定理
闭区间 套定理
柯西 收敛定理
列紧性 定理
有限覆 盖定理
聚点 定理
实数的连续不完备性讨论
定理：用闭区间套定理证明柯西收敛定理
证明充分性： 0, k N * ,n, m k : xm xn . 0, N k 1,m N : xm xN xN xm xN
用数列极限观点分析
实数集=有理数集+无理数集 有理数集在实数集稠密 无理数集在实数集稠密
著名数学家希尔伯特说:“无穷是人类最伟大的朋友，也是人类心 灵最宁静的敌人”说明极限是数学最重要的概念.
希尔伯特（David Hilbert, 1862－1943）德国数学家, 19世 纪和20世纪初最具影响力的数学家之一. 1900年在巴黎第二界国际 数学家大会上提出的23个数学问题(称希尔伯特问题)，激发了整个 数学界的想象力. 现在这些问题约有一半已得到囿满解决. 其中第八 个问题,就是广为人知的“哥德巴赫猜想”他的杰出工作在整个数学 版图上留下了巨大显赫的名字：希尔伯特空间，希尔伯特丌等式， 希尔伯特算子，被尊为数学世界的亚历山大.
关于实数七个基本定理等价性的证明
关于实数七个基本定理等价性的证明从开始学习数学分析至今，我们共学习了七个实数基本定理，他们分别是： ○1戴德金连续性准则 ○2单调有界有极限定理 ○3确界定理 ○4区间套定理 ○5Borel 有限覆盖定理 ○6Bolzano-Weierstrass 定理 ○7Cauchy 收敛原理 书上证明各定理的思路是：从○1出发证明○2及○3，并证明○1、○2、○3相互等价，此过程中得到：“单调上升有上界数列的极限即为数列上确界”这一加强结论。
由○2及此加强结论可证出○4，再由○4分别证出○5及○6，由○6证出○7。
下面给出这七个实数基本定理之间相互等价的证明，大概思路如下：⇔⇔⇒⇔⇒⇒⇒①④⑦②⑥②③⑤④详细证明如下： ⇒①④已知有区间套[]{},n n a b 满足()lim 0n n n b a →∞-=，[][]()11,,n n n n a b a b n ++⊂∀。
要证存在唯一的[]1,n n n r a b ∞=∈，且lim lim n n n n b a r →∞→∞== 记{}n a 全体上界组成的集合为B ，\A =B R 。
由[][]()11,,n n n n ab a b n ++⊂∀，知121n n a a a b b ≤≤⋅⋅⋅≤≤≤⋅⋅⋅。
显然11a -∈A ，11b +∈B ，且{}n b ⊂B ，故知A B 、不空；由A =B R \知A B 、不漏；,a b ∀∈A ∀∈B ，由于a 不是{}n a 的上界，因此存在{}0n n a a ∈，使0n a a <。
而b 是{}n a 上界之一，所以0n a b ≤，故0n a a b <≤，即a b <，故不乱，因此|A B 构成实数的一个分划。
由①知，存在唯一的r ，,a b ∀∈A ∀∈B ，有a b ≤。
下证[]1,n n n r a b ∞=∈，即,n n n a r b ∀≤≤若∃N ，使n a r >，则2n n a r a +<，因此2n a r +∈A ，而2n a r r +>，与,a a r ∀∈A ≤矛盾。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
§ 2 实数基本定理等价性的证明
证明若干个命题等价的一般方法.
本节证明七个实数基本定理等价性的路线 : 证明按以下三条路线进行:Ⅰ: 确界原理单调有界原理区间套定理Cauchy收敛准则
确界原理 ;
Ⅱ: 区间套定理致密性定理Cauchy收敛准则 ;
Ⅲ: 区间套定理Heine–Borel 有限复盖定理区间套定理 .
一. “Ⅰ”的证明: (“确界原理单调有界原理”已证明过 ).
1. 用“确界原理”证明“单调有界原理”:
定理 1 单调有界数列必收敛 .
2. 用“单调有界原理”证明“区间套定理”:
定理 2 设是一闭区间套. 则存在唯一的点,使对有.
推论1 若是区间套确定的公共点, 则对,
当时, 总有.
推论2 若是区间套确定的公共点, 则有↗, ↘, .
3. 用“区间套定理”证明“Cauchy收敛准则”:
定理 3 数列收敛是Cauchy列.
引理Cauchy列是有界列. ( 证 )
定理 4 的证明: ( 只证充分性 ) 教科书P217—218上的证明留作阅
读 . 现采用三等分的方法证明,
该证法比较直观.
4．用“Cauchy收敛准则”证明“确界原理”：
定理5 非空有上界数集必有上确界；非空有下界数集必有下确界 .
证（只证“非空有上界数集必有上确界”）设为非空有上界数集 . 当为有限集时 , 显然有上确
界 .下设为无限集, 取不是的上界, 为的上界. 对分区间, 取, 使不是
的上界, 为的上界. 依此得闭区间列. 验证为Cauchy 列, 由Cauchy收敛准则,
收敛; 同理收敛. 易见↘. 设↘.有↗.
下证.用反证法验证的上界性和最小性.
二. “Ⅱ”的证明:
1. 用“区间套定理”证明“致密性定理”:
定理6 ( Weierstrass ) 任一有界数列必有收敛子列.
证（突出子列抽取技巧）
定理7 每一个有界无穷点集必有聚点.
2．用“致密性定理”证明“Cauchy收敛准则”：
定理8 数列收敛是Cauchy列.
证（只证充分性）证明思路：Cauchy列有界有收敛子列验证收敛子列的极限即为的极限.
“Ⅲ”的证明:
1. 用“区间套定理”证明“Heine–Borel 有限复盖定理”:
2. 用“Heine–Borel 有限复盖定理”证明“区间套定理”:。