实数完备性基本定理相互证明
实数的完备性
第七章 实数的完备性§1.关于实数集完备性的基本定理1. 验证数集⎭⎬⎫⎩⎨⎧+-n n 1)1(有且只有两个聚点11-=ε和12=ε。
解： 当n 取奇数12-=k n 时，S 中的互异子列 ) ( , 1 1 2 1 1 ∞ → -→ ⎭ ⎬ ⎫ ⎩ ⎨ ⎧ - + - k k ，所以11-=ξ是S 的聚点；当n 取偶数k n 2=时，S 中的互异子列)(,1211∞→→⎭⎬⎫⎩⎨⎧+k k ，所以12=ξ是S 的聚点2．证明：任何有限数集都没有聚点。
证明： 设有限数集S 。
由聚点ξ的定义，在ξ的任何邻域内都含有S 中无穷多个点，而S 只有有限个点，所以S 没有聚点。
3．设{})(,n n b a 是一个严格开区间套，既满足,1221b b b a a a n n <<<<<<< 且0)(lim =-∞→n n n a b .证明：存在唯一的一点ε，使得.,2,1, =<<n b a n n ε证明：证法一：}{n a 严格递增，有上界A a n n =∴∞→lim ，且 3,2,1,=<n A a n(否则，假定存在N ，有时，，则N n A a N >≥A a a a n N n ≥>>+1，因而Aa a N n n >≥+∞→1lim 与A a n n =∞→lim 相矛盾)同理B b n n =∞→lim 存在， 3,2,1,=>n B b n由条件0)(lim =-∞→n n n a b 可知A=B ，令B A ==ε，则 3,2,1,=<<n b a n n ε证法二：作闭区间列]2,2[],[11++++=n n n n n n b b a a y x 其满足： 1°),(],[),(11n n n n n n b a y x b a ⊂⊂++][][,1,1n n n n y x y x ⊂∴++2°0)(lim =-∞→n n n a b0)(lim =-∴∞→n n n x y由区间套定理，存在唯一一点),(],[n n n n b a y x ⊂∈ε使得.,2,1, =<<n b a n n ε4．试举例说明：在有理数集内，确界原理、单调有界定理、聚点定理和柯西收敛准则一般都不成立。
《数学分析》实数完备性七大定理证明与七大定理相互证明
《数学分析》实数完备性七大定理证明与七大定理相互证明在数学分析中，实数完备性是一个非常重要的概念。
实数完备性是指实数轴上不存在任何空缺的性质，即任何实数序列都有收敛的子序列。
实数完备性可由七大定理进行证明，并且这七个定理之间也可以相互证明。
下面将对这七大定理进行证明，并且展示它们之间的相互证明。
第一个定理是确界定理（或称上确界定理）。
它的表述是：有上界的非空实数集必有上确界。
证明如下：先证明存在性，假设S是有上界的非空实数集，令M为S的一个上界，那么对于S中的任意元素x，都有x≤M。
接下来我们来证明M是S的上确界。
首先，我们要证明M是S的一个上界，即对于任意x∈S，x≤M。
其次，我们要证明对于任意ε>0，存在一个元素s∈S，使得M-ε<s≤M。
这两点都可以使用导致上确界的性质来证明。
因此，我们证明了确界定理。
第二个定理是区间套定理。
它的表述是：若{[an,bn]}是一个递减的闭区间序列，并且满足an≤bn，则存在一个唯一的实数x同时含于所有闭区间[an,bn]中。
证明如下：首先，我们证明了区间套的任意两个闭区间之间的交集不为空。
其次，我们证明了{an}是一个递增有上界的实数序列，{bn}是一个递减有下界的实数序列。
因此，根据实数完备性的定义，存在唯一的实数x满足an≤x≤bn，即x属于所有闭区间的交集。
第三个定理是柯西收敛准则。
它的表述是：一个实数序列是收敛的充分必要条件是它满足柯西收敛准则，即对于任意ε>0，存在自然数N，使得当m,n≥N时，有，am-an，<ε。
证明如下：首先，我们证明了柯西收敛准则蕴含了实数序列的有界性。
其次，我们证明了柯西收敛准则蕴含了实数序列的单调性。
因此，根据实数完备性的定义，实数序列的柯西收敛准则是实数序列收敛的充分必要条件。
第四个定理是实数域的离散性。
它的表述是：任意两个实数之间必存在有理数和无理数。
证明如下：假设a和b是两个实数，并且a<b。
实数的完备性
第七章 实数的完备性§1 实数完备性的基本定理1． 验证 数集},2,11)1{(L =+−n n n有且只有两个聚点11−=ξ和12=ξ 解 因{1+}21n 是{(-1)n+n 1}的所有偶数项组成的子列,且,1)211(lim =+∞→nn 故12=ξ是数集},2,11)1{(L =+−n n n的一个聚点.由于}1211{−+−n 是原数集的所有奇数项组成的子列,且,1)1211(lim −=−+−∞→n n 因而11−=ξ也是原数集的聚点.下证该数集再无其它聚点. 时，有则当取001}21,21min{,1εϕϕεϕ>−+=±≠∀n⎪⎪⎩⎪⎪⎨⎧−+−−≥⎪⎪⎩⎪⎪⎨⎧−+−−=−−−为奇数为偶数为奇数，为偶数）（n n n n n n n n n n ,11.1111,1111ϕϕϕϕϕ.1200εε>−≥n故ϕ不是该数集的聚点.这就证明原数集只有两个聚点,即1+与1−. 2．证明:任何有限数集都没有聚点.证 设S 是有限数集,则对任一S R a 因,1,0=∃∈ε是有限数集,故领域),(0εa U 内至多 有S 中的有限个点,故a 不是S 的聚点,由a 的任意性知,S 无聚点.3．设)},{(n n b a 是一严格开区间套,即1221b b b a a a n n <<<<<<<<L L L , 且.0)(lim =−∞→n n n a b 证明存在唯一一点ξ,有L ,2,1,=<<n b a n n ξ证 作闭区间列]},{[n n y x , 其中L ,2,1,2,211=+=+=++n b b y a a x n n n n n n ，由于),(,11N n b y b a x a n n n n n n ∈∀<<<<++ 故有(1) ))(,(],[),(11N n b a y x b a n n n n n n ∈∀⊂⊂++，从而L ,2,1],,[],[11=⊂++n y x y x n n n n(2) )(0N n a b x y n n n n ∈∀−<−<从而由]},{[.0)(lim ,0)(lim n n n n n n n n y x x y a b 所以得=−=−∞→∞→为闭区间套.由区间套定理知,存在一点).,2,1()1().,2,1](,[L L =<<=∈n b a n y x n n n n ξξ有由满足条件),2,1(L =<<n b a n n ξ的点ξ的唯一性的证明与区间套定理的证明相同.4．试举例说明:在有理数集内,确界原理、单调有界定理、聚点定理和柯西收敛准则一般都不能成立。
实数完备性六个定理的互相证明
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 =
实数完备性的六大基本定理的相互证明
1 确界原理非空有上(下)界数集，必有上(下)确界。
2 单调有界原理 任何单调有界数列必有极限。
3 区间套定理 若]},{[n n b a 是一个区间套, 则存在唯一一点ξ，使得 ,2,1],,[=∈n b a n n ξ。
4 Heine-Borel 有限覆盖定理 设],[b a 是一个闭区间，H 为],[b a 上的一个开覆盖，则在H 中存在有限个开区间，它构成],[b a 上的一个覆盖。
5 Weierstrass 聚点定理（Bolzano 致密性定理有界无穷数列必有收敛子列。
） 直线上的有解无限点集至少有一个聚点。
6 Cauchy 收敛准则数列}{n a 收敛⇔对任给的正数ε，总存在某一个自然数N ，使得N n m >∀,时，都有ε<-||n m a a 。
一.确界原理1.确界原理证明单调有界定理证 不妨设{ a n }为有上界的递增数列.由确界原理,数列{ a n }有上确界,记a = sup{ a n }.下面证明a 就是{ a n } 的极限. 事实上,任给ε> 0, 按上确界的定 义,存在数列{ a n }中某一项a N ,使得a - ε> a N .又由{ a n }的递增性,当n ≥ N时有a - ε < a N ≤ a n .另一方面,由于a 是{ a n }的一个上界,故对一切a n 都有a n ≤ a < a + ε.所以当 n ≥ N 时有a - ε < a n < a + ε,这就证得a n = a.同理可证有下界的递减数列必有极限,且其极限即为它的下确界.2.确界原理证明区间套定理 证明：１设 ［ａｎ，ｂｎ］ 是一个闭区间套，即满足： １）∀ｎ，［ａｎ＋１，ｂｎ＋１］⊂［ａｎ，ｂｎ］；２）ｂｎ－ａｎ ＝我们证明，存在唯一的实数ξ，使得ξ∈［ａｎ，ｂｎ］，（ｎ ＝１，２，⋯）存在性：令Ｓ＝｛ａｎ｝，显然，Ｓ非空且有上界（任一ｂｎ都是其上界）.据确界原理，Ｓ有上确界，设sup Ｓ ＝ξ．现在，我们证明ζ属于每个闭区间［ａｎ，ｂｎ］，（ｎ＝１，２，⋯）显然ａｎ ≤ξ，（ｎ ＝１，２，⋯）所以，我们只需证明对一切自然数ｎ，都有ξ≤ｂｎ． 事实上，因为对一切自然数ｎ，ｂｎ都是Ｓ 的上界，而上确界是上界中最小者，因此必有 ξ≤ｂｎ，故我们证明了存在一实数ξ，使得ξ∈［ａｎ，ｂｎ］，（ｎ ＝１，２，⋯）唯一性: 假设还有另外一点R ∈'ξ且],[n n b a ∈'ξ，则||||n n b a -≤'-ξξ,0→ 即ξξ'=。
数学分析7.1关于实数集完备性的基本定理
第七章 实数的完备性 1 关于实数集完备性的基本定理一、区间套定理与柯西收敛准则 定义1：设区间列{[a n ,b n ]}具有如下性质： 1、[a n ,b n ]⊃[a n+1,b n+1], n=1,2,…;(即a 1≤a 2≤…≤a n ≤…≤b n ≤…≤b 2≤b 1) 2、∞→x lim (b n -a n )=0， 则称{[a n ,b n ]}为闭区间套，或简称区间套.定理7.1：(区间套定理)若{[a n ,b n ]}是一个区间套，则在实数系中存在唯一的一点ξ，使得ξ∈[a n ,b n ], n=1,2,…, 即a n ≤ξ≤b n , n=1,2,…. 证：由a 1≤a 2≤…≤a n ≤…≤b n ≤…≤b 2≤b 1知: {a n }递增有界，∴{a n }有极限ξ，且a n ≤ξ，n=1,2,….又{b n }递减有界，∴{b n }有极限，又∞→nlim (b n -a n )=0，∴∞→n lim b n =∞→n lim a n =ξ， 且b n ≤ξ，n=1,2,…，即a n ≤ξ≤b n , n=1,2,….设数ξ’∈[a n ,b n ], n=1,2,…，则|ξ-ξ’|≤b n -a n , n=1,2,…，则|ξ-ξ’|≤∞→nlim (b n -a n )=0，∴ξ’=ξ. 原命题得证.推论：若ξ∈[a n ,b n ] (n=1,2,…)是区间套{[a n ,b n ]}所确定的点，则对任给的ε>0，存在N>0，使得当n>N 时有[a n ,b n ]⊂U(ξ; ε).例：证明：定理2.10：(数列的柯西收敛准则)数列{a n }收敛的充要条件是：对任给的ε>0，存在N>0，使得对m,n>N 有|a m -a n |<ε.证：[必要性]设∞→n lim a n =A ，由数列极限定义， 对任给的ε>0，存在N>0，当m,n>N 时，有|a m -A|<2ε，|a n -A|<2ε， ∴|a m -a n |≤|a m -A|+|a n -A|<ε.[充分性]∵对任给的ε>0，存在N>0，使得对n ≥N 有|a n -a N |≤ε，即 即在区间[a N -ε,a N +ε]内含有{a n }中几乎所有项(即除有限项外的所有项). 令ε=21，则存在N 1，在区间[a 1N -21,a 1N +21]内含有{a n }中几乎所有项.记[α1, β1]=[a 1N -21,a 1N +21].令ε=221，则存在N 2(>N 1)，在[a 2N -221,a 2N +221]含有{a n }几乎所有项. 记[α2, β2]=[a 2N -221,a 2N +221]∩[α1, β1]，[α2, β2]含有{a n }几乎所有项，且满足[α1, β1]⊃[α2, β2]及β2-α2≤21.依次令ε=321,…,n 21,…, 可得闭区间列{[αn , βn ]}，其中每个区间都含有{a n }几乎所有项，且 满足[αn , βn ]⊃[αn+1, βn+1], n=1,2,…, βn -αn ≤1-n 21→0 (n →∞)， 即{[αn , βn ]}是区间套，由区间套定理， 存在唯一的一点ξ，使得ξ∈[αn , βn ], n=1,2,….又对任给的ε>0，存在N>0，使得当n>N 时有[αn , βn ]⊂U(ξ; ε)，∴在U(ξ; ε)内含有{a n }几乎所有项，∴∞→nlim a n =ξ.二、聚点定理与有限覆盖定理定义2：设S 为数轴上的点集，ξ为定点. 或ξ的任何邻域内都含有S 中无穷多个点，则称ξ为点集S 的一个聚点. 如：点集S={(-1)n +n 1}有两个聚点ξ1=-1, ξ2=1；点集S={n1}只有一个聚点ξ=0； 又若S 为开区间(a,b)，则(a,b)内每一点以及端点a,b 都是S 的聚点； 根据定义，正整数集N +没有聚点，任何有限数集也没有聚点。
实数完备性基本定理的相互证明
实数完备性基本定理的相互证明实数完备性基本定理是数学分析课程中的重要定理之一，它刻画了实数的重要性质。
本文将从两个角度介绍实数完备性基本定理的证明，即从实数的有序性和上确界性质出发进行证明，相互补充，帮助读者更好地理解该定理。
一、从实数的有序性进行证明实数完备性基本定理可以通过比较序列与实数性质的关系来证明。
首先引入柯西序列的概念。
柯西序列是指一列实数序列，其满足对于任意正实数ε，存在正整数N，当n，m≥N时，|an-am|<ε。
柯西序列的定义即表明了序列中的元素越来越接近，它与实数的有序性相对应。
接下来，我们需要证明实数集合所有的柯西序列都是收敛的。
假设{an}是一个柯西序列，为了证明该序列的收敛性，我们需要构造出一个实数α，使得该序列收敛于α。
为此，我们可以构造一个新的序列{bn}，其中bn=sup{am: m≥n}。
首先，根据实数的上确界性质，该集合非空且有上界，因此sup存在。
其次，易知bn递增且有界（因为其满足an≤bn），所以该序列收敛于某一个实数α。
接下来，我们证明an收敛于α。
根据柯西序列的定义，对于任意给定的ε>0，存在正整数N，使得当m，n≥N时，有|am-an|<ε。
那么对于给定的ε>0，根据序列{bn}的收敛性，存在正整数M，使得当n≥M时，有|bn-α|<ε/2，同时根据序列{bn}的递增性质，有bn≥an。
于是可以得到：|an-α|=|an-bn+bn-α|≤|an-bn|+|bn-α|<ε/2+ε/2=ε这表明对于任意给定的ε>0，总存在正整数N=M，使得当n≥N 时，有|an-α|<ε。
因此，an收敛于α，柯西序列收敛于实数α。
这样，我们就证明了任意柯西序列都是收敛的，即实数集合中的柯西序列都有收敛性。
由此可得实数集合是完备的。
二、从实数的上确界性质进行证明实数完备性基本定理也可以通过实数的上确界性质进行证明。
实数的上确界性质是指，非空有上界的实数集合必有上确界。
实数完备性的六大基本定理的相互证明
1确界原理非空有上(下)界数集，必有上(下)确界。
2单调有界原理任何单调有界数列必有极限。
3区间套定理若{[a n , b n ]}ξ∈[an , bn], n = 1,2,。
是一个区间套, 则存在唯一一点ξ，使得4Heine-Borel 有限覆盖定理设[a,b] 是一个闭区间，H为[a,b] 上的一个开覆盖，则在H 中存在有限个开区间，它构成[a,b]上的一个覆盖。
5Weierstrass 聚点定理（Bolzano 致密性定理有界无穷数列必有收敛子列。
）直线上的有解无限点集至少有一个聚点。
6Cauchy 收敛准则数列{a n }收敛⇔对任给的正数ε，总存在某一个自然数N ，使得∀m, n >N 时，都有| am -an|<ε。
一.确界原理1.确界原理证明单调有界定理证不妨设{ a n}为有上界的递增数列.由确界原理,数列{ a n }有上确界,记a = sup{ a n}.下面证明a 就是{ a n} 的极限. 事实上,任给ε> 0, 按上确界的定义,存在数列{ a n }中某一项a N ,使得a - ε> a N .又由{ a n}的递增性,当n≥ N时有a - ε < a N ≤ a n.另一方面,由于a 是{ a n}的一个上界,故对一切a n 都有a n ≤ a < a + ε.所以当n≥ N 时有a - ε < a n < a + ε,这就证得a n = a.同理可证有下界的递减数列必有极限,且其极限即为它的下确界.2.确界原理证明区间套定理证明：１设［ａｎ，ｂｎ］是一个闭区间套，即满足：１）∀ｎ，［ａｎ＋１，ｂｎ＋１］⊂［ａｎ，ｂｎ］；２）ｂｎ－ａｎ＝我们证明，存在唯一的实数ξ，使得ξ∈［ａｎ，ｂｎ］，（ｎ＝１，２，⋯）存在性：令Ｓ＝｛ａｎ｝，显然，Ｓ非空且有上界（任一ｂｎ都是其上界）.据确界原理，Ｓ有上确界，设supＳ＝ξ．现在，我们证明ζ属于每个闭区间［ａｎ，ｂｎ］，（ｎ＝１，２，⋯）显然ａｎ≤ξ，（ｎ＝１，２，⋯）所以，我们只需证明对一切自然数ｎ，都有ξ≤ｂｎ．事实上，因为对一切自然数ｎ，ｂｎ都是Ｓ的上界，而上确界是上界中最小者，因此必有ξ≤ｂｎ，故我们证明了存在一实数ξ，使得ξ∈［ａｎ，ｂｎ］，（ｎ＝１，２，⋯）唯一性: 假设还有另外一点ξ'∈R 且ξ'∈[a n , b n ] ，则| ξ-ξ'|≤| a n -b n | → 0,即ξ=ξ'。
关于实数完备性的基本定理
无穷多个点，记其为[a3 , b3 ], 则
[a2 , b2 ] [a3 , b3 ], 且 b3 - a3 = 1 M (b2 - a2 ) = . 2 2
无限进行，则得区间列{[an , bn ]}, 满足
[an , bn ] [an+1, bn+1 ], n = 1, 2,
M b a = , n n 2n -1 0, (n ),
k
下证 lim an = a,
n
0, N1 0,当n，m N1时, 有 an - am
由lim ank = a, 0, N 2 0, 当k N 2时, 有 ank - a
k
0, N = max{N1, N2} 0,当n, k N时,
[an , bn ] [an+1 , bn+1 ], n = 1,2,L, 1 bn - an = n (b - a) 0 (n ). 2 即{[ an , bn ]}是区间套， 且其中每一个闭区间都不能用H中有限个
有限个开区间来覆盖， 由区间套定理
x [an , bn ], n = 1,2,L,由于H是[a, b]的一个开覆盖
•定理的证明:
单调有界定理 区间套定理
n
由区间套定义知a 为递增有界数列，
an 依单调有界定理， 有极限x，且有 a x，n = 1,2, L.
n
b 同理，递减有界数列 也有极限，并按区间套的条件(ii )有
n
lim b = lim a = x , 且 b x，n = 1,2, L. n n
n
xn S
,则其极限
显然 显然 定义2 定义2 定义2 定义2
实数完备性证明
一.七大定理循环证明:1.单调有界定理→区间套定理证明：已知n a ≤1+n a （∀n ）， n a ≤n b ≤1b ，∴由单调有界定理知{n a }存在极限，设∞→n limna = r ，同理可知{n b }存在极限，设∞→n lim n b =r ' ，由∞→n lim （nna b-）=0得r r '-=0即r r '=∀n ，有n a ≤n b ，令∞→n ，有n a ≤r r '=≤n b ，∴∀n ，有n a ≤r ≤n b 。
下面证明唯一性。
用反证法。
如果不然。
则∃ 21r r ≠，同时对任意 A a ∈，1r a ≤，2r a ≤对任意b 有1r b ≥ 2r b ≥，不妨设21r r <，令221'r r r +=显然2'1r r r <<⇒A r ∈'，B r ∈'，这与B A |是R 的一个分划矛盾。
唯一性得证。
定理证完。
2.区间套定理→确界定理证明：由数集A 非空，知∃A a ∈，不妨设a 不是A 的上界，另外，知∃b 是A 的上界，记[1a ，1b ]=[a ，b ]，用1a ，1b 的中点211b a +二等分[1a ，1b ]，如果211b a+是A 的上界，则取[2a ，2b ]=[1a ，211b a+]；如果211b a+不是A 的上界，则取[2a ，2b ]=[211b a +，1b ]；用2a ，2b 的中点222b a+二等分[2a ，2b ]……如此继续下去，便得区间套[na ，nb ]。
其中n a 不是A 的上界，n b 是A 的上界。
由区间套定理可得，∃唯一的 ∞=∈1],[n n nb ar ，使∞→n lim n a =∞→n limn b = r 。
A x ∈∀，由≤x n b （n=1，2，……）， 令∞→n ，≤x ∞→n lim n b = r ∴ r是A 的上界。
实数完备性的证明及其应用
实数完备性的证明及其应用摘要一、实数完备性定理 1、闭区间套定理如果n n a b {[,]}形成一个闭区间套，即满足11n n n n a b a b n N ++⊃∈(i)[,][,],，n n a b →∞n (ii)lim(,)=0，则存在惟一的实数ξ属于所有的闭区间n n [a ,b ]，且n n a b ξ→∞→∞=n n =lim lim 。
2、聚点定理（又称维尔斯特拉斯聚点定理） 如果S 为有界无限点集，则S 必有聚点。
3、柯西收敛准则数列{}n x 收敛的充分必要条件是：{}n x 是基本数列，即{}n x 满足：对于任意给定的0ε>，存在正整数N ，使得当,n m N >时成立n m x x ε-<。
4、单调有界定理单调递增（减）有上（下）界数列必有极限。
5、有限覆盖定理闭区间a b [,]的任意开覆盖H 都含有一个有限子覆盖，即H 中可找出有限个开集覆盖a b [,]。
6、确界存在定理非空有上界的数集必有上确界；非空有下届的数集必有下确界。
二、实数完备性基本定理的证明1、由闭区间套定理出发，推其余五个定理 1）闭区间套定理⇒聚点定理证 设数列{}n x 有界，于是存在实数11,a b ，成立11,1,2,3,n a x b n ≤≤= 将闭区间11[,]a b 等分为两个小区间111[,]2a b a +与111[,]2a bb +，则其中至少有一个含有数列{}n x 中的无穷多项，把它记为22[,]a b 。
再将闭区间22[,]a b 等分为两个小区间222[,]2a b a +与222[,]2a bb +，同样其中至少有一个含有数列{}n x 中的无穷多项，把它记为33[,]a b 这样的步骤可以一直做下，于是得到一个闭区间套{[,]}k k a b ，其中每一个区间套[,]k k a b 中都含有数列{}n x 中的无穷多项。
根据区间套定理，存在实数ξ，满足k k k k a b ξ→∞→∞==lim lim 。
实数完备性的六大基本定理的相互证明共个
实数完备性的六大基本定理的相互证明共个实数完备性的六大基本定理是实分析中的重要结果，其中包括单调有界原理、上确界原理、下确界原理、戴德金（Dedekind）分割原理、稳定原理和柯西（Cauchy）收敛准则。
这些定理互相独立，但可以相互推导和证明。
下面我将按照给定的字数要求，大致叙述这些定理之间的证明关系。
1.单调有界原理→上确界原理首先我们证明单调有界原理蕴含上确界原理。
假设存在一个非空有上界的实数集合A，我们可以定义一个从A到R （实数集）的单调递增序列。
考虑一个函数f：N→A，其中N是自然数集合。
我们可以通过以下方法生成这个序列：1.对于每个n∈N，令An={a∈A，a≤f(n)}；2.由于A有上界，所以An也有上界；3.根据单调有界原理，An存在上确界。
令f(n)为An的上确界。
现在我们可以看出，这个序列f(n)是一个单调递增的序列，并且对于任意a∈A，存在一个自然数n使得a≤f(n)。
因此f(n)就是A的上确界。
2.上确界原理→下确界原理接下来我们证明上确界原理蕴含下确界原理。
假设存在一个非空有下界的实数集合B，我们可以定义一个从B到R （实数集）的单调递减序列。
考虑一个函数g：N→B，其中N是自然数集合。
我们可以通过以下方法生成这个序列：1.对于每个n∈N，令Bn={b∈B，g(n)≤b}；2.由于B有下界，所以Bn也有下界；3.根据上确界原理，Bn存在下确界。
令g(n)为Bn的下确界。
现在我们可以看出，这个序列g(n)是一个单调递减的序列，并且对于任意b∈B，存在一个自然数n使得g(n)≤b。
因此g(n)就是B的下确界。
3.戴德金分割原理→单调有界原理接下来我们证明戴德金分割原理蕴含单调有界原理。
假设存在一个非空无上界的实数集合C，我们可以定义一个从C到R （实数集）的单调递增序列。
考虑一个函数h：N→C，其中N是自然数集合。
我们可以通过以下方法生成这个序列：1.对于每个n∈N，令Cn={c∈C，h(n)≤c}；2.C没有上界，因此Cn也没有上界；3.根据戴德金分割原理，Cn的上确界不存在。
实数完备性定理相互等价的证明
易证。
因此，有。
由于 bn 都为 S 的上界，所以也为 S 的上界。
从而可知，。
即，故为 S 的上确界。
(38 定理定理 2(Cauchy 收敛准则单调有界定理证不妨设 {xn } 为单增有上界数列。
假设 {x n } 无极限，Cauchy 收敛准则可知，但是。
由 N 的任意性，不难得到 {x n } 的一个严格单增的子列 {xn k } ，满足。
由于时，有，故 {x n } 收敛。
所以当。
这与 {x n } 为有界数列矛盾， (39 定理定理 3(Cauchy 收敛准则区间套定理证设 {[ a n , bn ]} 是 Cantor 区间套。
则由可知，时，有。
由于{a n } 单调递增，{bn } 中的每一个元素都为 {a n } 的上界。
故，则有。
故由 Cauchy 收敛准则可知 {a n } 收敛，记其极限为。
由(3.1 易证。
由 {a n } ， {bn } 的单调性可知有n , bn ] 。
(40 定理定理 4(Cauchy 收敛准则-Borel 有限覆盖定理证(反证法假设闭区间 [ a, b] 有一个开覆盖不能用它的任有限个开区间覆盖。
定义性质 P ：不能用中有限个开区间覆盖。
仿(9的证明，利用二等分法容易构造出满足性质 P 的区间套 {[ a n , bn ]} 。
仿(39的证明可知，，从而，，有 [a n , bn ]，这与 [a n , bn ] 具有性质 P 矛盾。
这就证明了 Heine–Borel 有限复盖定理。
(41 定理定理 5(Cauchy 收敛准则聚点原理证设 S 为直线上有界点集，则使得 S 。
定义性质 P : 至少含有 S 中的无限多个点。
利用二等分法容易构造出具有性质 P 的区间套 {[ a n ,bn ]} 满足(3.1 。
由性质 P 任意挑选 S 中不同的点构成的数列 {x n } 使得n , bn ] 。
，由(3.1和极限定义知，由定义知 {x n } 是 Cauchy 列。
实数完备性基本理论的证明
实数完备性基本理论的证明默认分类 2010-05-08 16:15:08 阅读95 评论0 字号：大中小订阅摘要：通过对实数完备性的相关理论的学习，我们虽然掌握了证明七条定理的某些方法，但我们没有对他们进行依次的推证，下面我对其进行了依次的推证，从确界定理单调有界原理 Cauchy 准则致密性定理聚点定理闭区间套定理有限覆盖定理确界定理关键词：确界定理单调有界原理 Cauchy 准则致密性定理聚点定理闭区间套定理有限覆盖定理我们知道，实数空间是一种集合R，其中的元素为实数，且在这个集合上定义了加”+”,乘，运算，以及序关系”<”，满足以下的公理：1. 域公理即任意的x, y, z∈R(实数域)有：(1).交换律 x+y = y+x, x﹡y = y﹡x .(2).结合律 (x+y)+ z = x + (y+z),(x﹡y) ﹡z = x﹡(y﹡z).(3).分配律 x﹡(y+z) = x﹡y + x﹡z.(4).有两个特殊的成员0与1，对任意的x∈R有 x+0 = x, x﹡1= x.(5).每个x∈R有关于＂＋＂的逆元-x；关于＂﹡＂的逆元１／ｘ，使得x+(-x)=0,x﹡(1/x)=1.２．与加＂＋＂、乘＂﹡＂运算相容的全序公理：(1)任意的ｘ，ｙ∈Ｒ，以下三种关系：ｘ＜ｙ，ｘ＝ｙ，ｘ＞ｙ必有一个且仅有一个成立．(2)．传递性若ｘ＜ｙ，ｙ＜ｚ，则ｘ＜ｚ．(3)．与“加法”相容性若ｘ＜ｙ，ｚ∈Ｒ，则ｘ＋ｚ＜ｙ＋ｚ．(4)．与“乘法”相容性若ｘ＜ｙ，ｚ＞０，则ｘ﹡ｚ＜ｙ﹡ｚ．３.（Ａrchimedes公理）任意 x>0, y>0,存在n∈N ，使得nx≥y.与有理数不同，实数具有完备性.4.完备性公理：有上界的非空集合必有上确界.鉴于此，我们对实数有了大体的了解，而下面用实数的7个基本定理以不同的形式刻画了实数的连续性.一、七条定理的内容分别如下：（1）.（确界定理）任何R中的非空集E，若它有上界，则必有上确界supE∈R(等价的若有下界，必有下确界)(2) ．（单调有界原理）任何R中的单调递增、有上界的序列{ Xn }，必有极限lim Xn∈R(n 趋于∞).(等价地，单调递减、有下界也必有极限.)(3).（ Cauchy 准则）对R中的序列{ Xn }收敛的充分必要条件是任意的a>0，存在N，当m,n>N时，有 | Xn—Xm | < a.(4). (致密性定理) 任何有界的无穷序列必有收敛的子序列.(5). (聚点定理) 任何有界无穷集，至少有一个聚点.(6). (闭区间套定理) 任何闭区间套，必存在唯一的公共点.(7).(有限覆盖定理) 闭区间上的任意开覆盖，必存在有限子覆盖.二、下面为七条定理的相互推证。
数学分析复习笔记实数完备性的六个定理
数学分析复习笔记实数完备性的六个定理实数完备性的⼏个定理可以互相推导，这⾥给出了⼀个⽐较简单的完整推导链条对于没有写到的推导可以通过旁敲侧击推导出这⾥的条件再继续（迂回战术）1. 有界必有确界如果∃u 使得∀x ∈S 都有x ≤u ,那么S 有上确界上确界：记U =sup {S }，则∀x ∈S 都有x ≤U ，且∀ϵ>0，∃x 0∈S 使得x 0>U −ϵ⽤有限区间覆盖证明S 存在最⼤值的情况⾮常显然，它的上确界就是最⼤值；后⽂只讨论S 不存在最⼤值的情况反证法，假设S 有界⽽没有上确界，记S 上界的集合为¯U则可以取S 中的⼀个元素L ，¯U 中的⼀个元素R ，得到⼀个闭区间[L ,R ]考虑x ∈[L ,R ]，分成如下⼏种情况：1. x ∈¯U2. x ∈S3. x ∉S 且x ∉¯U对于情况1,由假设我们⼀定可以找到x ′∈¯U 且x ′<x ，使得x ′也是⼀个上界此时我们为点x 造⼀个开区间x ′,2x −x ′，这个区间内的点都是S 的上界对于情况2,由S 不存在最⼤值可知我们⼀定能找到x ′∈S 且x ′>x此时我们为点x 造⼀个开区间2x −x ′,x ′，这个区间内的点都不是S 的上界对于情况3,由x 不是上界可知，必存在⼀个x ′∈S 使得 x <x ′，此时情况同2于是我们为闭区间内的每⼀个点都配了⼀个开区间，这个开区间的集合覆盖了闭区间内的每⼀个点，由有限覆盖定理可知存在有限个开区间覆盖了[L ,R ]引理1:开覆盖中相邻两个开区间必相交证明：假设存在不相交的开覆盖，则存在点未被覆盖，⽭盾由引理1可知[L ,R ]上的开覆盖⼀定是环环相套的，从左起每⼀个开区间内的点都不是上界，从右起每⼀个开区间内的点都是上界，则可以推得中间存在⼀个开区间同时满⾜这两种情况(这是不可能的)，推得⽭盾。
于是原命题成⽴2. 单调有界收敛若数列a n 单调递增且有上界，则该数列收敛(存在极限)⽤确界存在证明有上界必有上确界，记U =sup a n ，则根据定义有∀n U ≥a n 且∀ϵ>0,∃n 0，有U −ϵ<a n 0⼜a n 递增，于是取N =n 0，当n ≥N ，有U −ϵ<a n 0≤a n ≤U <U +ϵ，这个就是数列收敛的定义，且恰好收敛于U 3. 闭区间套考虑⼀个初始闭区间[L 0,R 0]，我们取⼀系列闭区间[L 1,R 1],[L 2,R 2],…满⾜[L 1,R 1]⊂[L 2,R 2]⊂…()(){}{}(){}且有lim i →+∞R i −L i =0则∩[L i ,R i ]=ξ，收敛于⼀个点⽤单调有界收敛证明由第⼀个条件可知，L n 单调递增，且有上界R 0，于是数列收敛同理R n 也收敛，下⾯证明两个极限相等。
实数完备性基本定理的相互证明
实数完备性基本定理的相互证明（30个）一.确界原理1.确界原理证明单调有界定理证 不妨设{}n a 为有上界的单调递增数列.由确界原理，数列{}n a 有上确界，令{}n a sup a =，下面证明：lim n n a a →∞=.对任意的0ε>，由上确界的定义，存在数列{}n a 中某一项N a ,使得：N a a ε->. 由于{}n a 单调递增,故对任意的n N >，有：n N a a a ε-<<.另一方面,由于a 是{}n a 的一个上界,故对任意的正整数n 都有：n a a a ε≤<+. 所以任意的n N >，有：n a a a εε-<<+，即：n a a ε-<.由极限的定义，lim n n a a →∞=.同理可证单调递减有下界的数列必有极限，且其极限即为它的下确界.2.确界原理证明区间套定理证明：设[]{},n n a b 是一个闭区间套. 令数集{}n S a =.由于任一n b 都是数列{}n a 的上界，由确界原理，数集S 有上确界，设supS ξ=. 下证ξ属于每个闭区间[](),1,2,3,n n a b n =显然，()1,2,3,n a n ξ≤=，故只需证明对任意正整数n ，都有n b ξ≤.事实上，对任意正整数n ，n b 都是S 的上界，而上确界是最小上界，故必有n b ξ≤. 所以存在实数ξ，使得[](),1,2,3,n n a b n ξ∈=下证唯一性，假设还有另外一点ξ'，也满足[](),1,2,3,n n a b n ξ'∈=.则()0n n b a n ξξ'-<-→→∞，故有:ξξ'=.唯一性得证.3.确界原理证明有限覆盖定理证明：欲证闭区间[],a b 的任一开覆盖H 都有有限的子覆盖. 令[]{}|,S x a x H a x b =<≤能被中有限个开区间覆盖，显然S 有上界.又H 覆盖闭区间[],a b ，所以，存在一个开区间(),H αβ∈，覆盖住了a .取(),x a β∈，则[],a x 显然能被H 中有限个开区间覆盖（1个），x S ∈，从而S 非空. 由确界原理，令supS ξ=.先证明b ξ=.用反证法，若b ξ≠，则a b ξ<<.由H 覆盖闭区间[],a b ，一定存在开区间()11,H αβ∈，覆盖住了ξ.取12,x x ，使：11211,x x x S αξβ<<<<∈ ，则[]1,a x 能被H 中有限个开区间覆盖，把()11,αβ加进去，就得到[]2,a x 也能被H 中有限个开区间覆盖，即2x S ∈，这与supS ξ=矛盾，故b ξ=.最后证明b S ∈.设开区间()22,H αβ∈，覆盖住了b .由b supS =，故存在y 使得：2y b α<≤且y S ∈.则[],a y 能被H 中有限个开区间覆盖，把()22,αβ加进去，就得到[],a b 也能被H 中有限个开区间覆盖. 4.确界原理证明聚点定理证明：设S 有界无限点集，则由确界原理令inf S ξ=.若ξ是S 的一个聚点，则命题已经成立，下面设ξ不是S 的聚点.令 ){}|,T x x S ξ=⎡⎣中只包含中有限个元素.因为ξ不是S 的聚点，所以存在00ε>，使得()()000;,U ξεξεξε=-+只包含S 中有限个数，故0T ξε+∈，从而T 非空.又S 有界，所以S 的所有上界就是T 的上界，故T 有上确界，令sup T η=. 下面证明η是S 的一个聚点.对任意的0ε>，S ηε+∉，故),ξηε+⎡⎣包含S 中无穷多个元素.由上确界的定义，存在(],ληεη∈-，使得S λ∈，故),ξλ⎡⎣中只包含S 中有限多个元素.从而我们得知)(),;U ληεηε+⊂⎡⎣中包含了S 中无穷多个元素，由聚点的定义，η是S 的一个聚点.5.确界原理证明Cauchy 收敛准则 证明：必要性：若lim n n x x →∞=，则对任意的0ε>，存在正整数N ，对一切n N >，有2n x x ε-<.于是对一切,m n N >，有22m n m n x x x x x x εεε-≤-+-<+=.充分性：现假设{}n x 满足对任意的0ε>，存在N ，对一切正整数,n m N >，有n m x x ε-<.令数集{}{}|,n n S x x x x x n =≥∀中只有有限项小于或，明显数列{}n x 的下界都属于S ，并且{}n x 的上界就是S 的上界.由确界存在定理，令sup S ξ=.对条件给定的0ε>和N ，S ξε+∉，故(),ξε-∞+包含{}n x 中无穷多项.由上确界的定义，存在(],λξεξ∈-，使得S λ∈，故(),λ-∞中只包含S 中有限多个元素.从而我们得知)()(),;,U ληεηεηεηε+⊂=-+⎡⎣中包含了S 中无穷多个元素，设()(),1,2,3,k n x U k ξε∈=则对任意正整数n N >，总存在某个k n N >，故有：2k k n n n n x x x x ξξεεε-≤-+-≤+=.从而lim n n x ξ→∞=.二.单调有界定理6．单调有界定理证明确界定理证明：我们不妨证明非空有上界的数集Ｓ必有上确界.设{}|T r r S =为数集的有理数上界.明显T 是一个可数集，所以假设：{}12,,,,n T r r r =.令{}1min n i i nx r ≤≤=.则得单调递减有下界的数列，由单调有界定理得，令lim n n x ξ→∞= 先证ξ是上界.任取s S ∈，有n n s r x ≤≤，由极限的保序性，s ξ≤.其次对于任意的0ε>，取一个有理数(),r ξεξ∈-，它明显不是S 的上界，否则lim n n x r ξξ→∞=≤<产生矛盾！故存在s S ∈，使得s ξε>-，我们证明了ξ是数集S 上确界.7.单调有界定理证明区间套定理若[]{},n n a b 是一个区间套,则{}n a 为单调递增有上界的数列,由单调有界定理, 令lim n n a ξ→∞=，并且容易得到()1,2,3,n a n ξ≤=.同理,单调递减有下界的数列{}n b 也有极限,并按区间套的条件有：()lim lim 0n n n n n n b a b a ξξ→∞→∞=+-=+=⎡⎤⎣⎦，并且容易得到()1,2,3,n b n ξ≥=.所以[](),1,2,3,n n a b n ξ∈=下证唯一性，假设还有另外一点ξ'，也满足[](),1,2,3,n n a b n ξ'∈=.则()0n n b a n ξξ'-<-→→∞，故有:ξξ'=.唯一性得证.8.单调有界定理证明有限覆盖定理设[]{}|,,T r a r H r r b =∈≤可以被的开区间有限开覆盖，且.容易得到T 中包含无穷多个元素，并且T 是一个可数集，所以假设：{}12,,,,n T r r r =.令{}1max n i i nx r ≤≤=.则得单调递增有上界的数列，由单调有界定理得，令lim n n x ξ→∞=.先证明b ξ=.用反证法，若b ξ≠，则a b ξ<<.由H 覆盖闭区间[],a b ，一定存在开区间()11,H αβ∈，覆盖住了ξ.取,i j x r y =，使：11i j x r y αξβ<=<<< ，则[]1,a x 能被H 中有限个开区间覆盖，把()11,αβ加进去，就得到[],a y 也能被H 中有限个开区间覆盖，即y S ∈，这与supS ξ=矛盾，故b ξ=.最后证明b S ∈.设开区间()22,H αβ∈，覆盖住了b .由b supS =，故存在k l x r =使得：2k l x r b α<=≤.则[],l a r 能被H 中有限个开区间覆盖，把()22,αβ加进去，就得到[],a b 也能被H 中有限个开区间覆盖.9.单调有界定理证明聚点定理证明：设S 是一有界无限点集，在S 中选取一个单调{}n a ，下证数列{}n a 有聚点.（1）如果在{}n a 的任意一项之后，总存在最大的项,设1a 后的最大项是1n a ，1n a 后的最大项是2n a ，且显然()2121n n a a n n ≤>； 一般地，将k n a 后的最大项记为1k n a +，则有：()11,2,3,k k n n a a k +≤=.这样，就得到了{}n a 的一个单调递减子列{}k n a .（2）如果（1）不成立 则从某一项开始，任何一项都不是最大的，不妨设从第一项起，每一项都不是最大项.于是，取11n a a =，因1n a 不是最大项，所以必存在另一项()2121n n a a n n >>又因为2n a 也不是最大项，所以又有：()3232n n a a n n >> ，这样一直做下去，就得到了{}n a 的一个单调递增子列{}k n a .综上所述，总可以在S 中可以选取一个单调数列{}k n a ，利用单调有界定理，{}k n a 收敛，极限就是S 的一个聚点.10.单调有界定理证明Cauchy 收敛准则 证明：必要性：若lim n n x x →∞=，则对任意的0ε>，存在正整数N ，对一切n N >，有2n x x ε-<.于是对一切,m n N >，有22m n m n x x x x x x εεε-≤-+-<+=.充分性：现假设{}n x 满足对任意的0ε>，存在N ，对一切正整数,n m N >，有n m x x ε-<.先证明柯西数列是有界的.取01ε=，故存在某个正整数0N ，对一切n ，有011n N x x +-<，即011n N a a +≤+.故{}n x 有界.参考9的做法，可知数列{}n a 有一个单调子列{}k n a ，由单调有界定理，{}k n a 收敛，令lim k n k x ξ→∞=.则对任意正整数n N >，总存在某个()k k n n N >，使得k n x ξε-<，故有：2k k n n n n x x x x ξξεεε-≤-+-≤+=..从而lim n n x ξ→∞=.三．区间套定理11.区间套定理证明确界原理证明：仅证明非空有上界的数集S 必有上确界取一个闭区间[],a b ，使得[],a b 包含S 中的元素，并且b 为S 的上界. 将闭区间[],a b 等分为两个闭区间,2a b a +⎡⎤⎢⎥⎣⎦与,2a b b +⎡⎤⎢⎥⎣⎦.若2a b +为数集S 的上界，则取[]11,,2a b a b a +⎡⎤=⎢⎥⎣⎦，否则取[]11,,2a b a b b +⎡⎤=⎢⎥⎣⎦.再将闭区间[]11,a b 等分为两个闭区间111,2a b a +⎡⎤⎢⎥⎣⎦与111,2a b b +⎡⎤⎢⎥⎣⎦.若112a b +为数集S 的上界，则取[]11221,,2a b a b a +⎡⎤=⎢⎥⎣⎦，否则取[]11221,,2a b a b b +⎡⎤=⎢⎥⎣⎦.不断进行下去，这样得到了一个闭区间套[]{},n n a b . 由区间套定理的得存在ξ属于所有的闭区间[](),1,2,3,n n a b n =并且每个闭区间[],n n a b 都包含S 中的元素，并且右端点n b 为S 的上界.由于对任意s S ∈，有n s b ≤，所有由极限的保序性，lim n n s b ξ→∞≤=，从而ξ是数集S 的上界.最后，对于任意0ε>，存在n ，使得0n n b a ε<-<.由闭区间套的选取，[],n n a b 包含了S 中某个元素s ，从而有n n s a b εξε≥>->-.故ξ是数集S 的上确界. 12. 区间套定理证明单调有界定理设{}n x 是单调有界数列，不妨设其为单调递增且有上界取一个闭区间[],a b ，使得[],a b 包含{}n x 中的项，并且b 为{}n x 的上界. 将闭区间[],a b 等分为两个闭区间,2a b a +⎡⎤⎢⎥⎣⎦与,2a b b +⎡⎤⎢⎥⎣⎦.若2a b +为{}n x 的上界，则取[]11,,2a b a b a +⎡⎤=⎢⎥⎣⎦，否则取[]11,,2a b a b b +⎡⎤=⎢⎥⎣⎦. 再将闭区间[]11,a b 等分为两个闭区间111,2a b a +⎡⎤⎢⎥⎣⎦与111,2a b b +⎡⎤⎢⎥⎣⎦.若112a b +为{}n x 的上界，则取[]11221,,2a b a b a +⎡⎤=⎢⎥⎣⎦，否则取[]11221,,2a b a b b +⎡⎤=⎢⎥⎣⎦.不断进行下去，这样得到了一个闭区间套[]{},n n a b . 由区间套定理的得存在ξ属于所有的闭区间[](),1,2,3,n n a b n =并且每个闭区间[],n n a b 都包含{}n x 中的项，并且右端点n b 为{}n x 的上界.下面证明lim n n x ξ→∞=.对任意的0ε>，存在n ，使得0n n b a ε<-<.由闭区间套的选取，[],n n a b 包含了{}n x 中某一项N x ，从而有N n n x a b εξε≥>->-.由于{}n x 单调递增,故对任意的n N >，有：N n x x ξε-<<. 又n n n x b a εξε<<+<+，故有n x ξεξε-<<+，即n x ξε-<.若闭区间[],a b 可以被H 中的开区间无限开覆盖.下面证明闭区间[],a b 可以被H 有限开覆盖.用反证法，若闭区间[],a b 不能被H 有限开覆盖. 将闭区间[],a b 等分为两个闭区间,2a b a +⎡⎤⎢⎥⎣⎦与,2a b b +⎡⎤⎢⎥⎣⎦.其中必有一个区间不能被H 有限开覆盖，设它为[]11,a b ；再将闭区间[]11,a b 等分为两个闭区间111,2a b a +⎡⎤⎢⎥⎣⎦与111,2a b b +⎡⎤⎢⎥⎣⎦.其中必有一个区间不能被H 有限开覆盖，设它为[]22,a b .不断进行下去，这样得到了一个闭区间套[]{},n n a b . 由区间套定理的得存在ξ属于所有的闭区间[](),1,2,3,n n a b n =.显然[],a b ξ∈，考虑H 中覆盖ξ的开区间(),αβ，取{}0min ,δξαβξ<<--.由于lim lim n n n n a b ξ→∞→∞==，所以存在N ，对一切正整数n N >，有,n n a b ξξδ--<，故此时[]()(),;,n n a b U ξδαβ⊂⊂.从而[](),n n a b n N >可以被H 中的一个开区间(),αβ覆盖，产生矛盾！故假设不成立，即闭区间[],a b 可以被H 有限开覆盖. 14. 区间套定理证明聚点定理证明:已知点集S 是有界无限点集.设[],S a b ⊂. 将闭区间[],a b 等分为两个闭区间,2a b a +⎡⎤⎢⎥⎣⎦与,2a b b +⎡⎤⎢⎥⎣⎦.其中必有一个区间包含了点集S 中无穷多个元素，设它为[]11,a b ；再将闭区间[]11,a b 等分为两个闭区间111,2a b a +⎡⎤⎢⎥⎣⎦与111,2a b b +⎡⎤⎢⎥⎣⎦.其中必有一个区间包含了点集S 中无穷多个元素，设它为[]22,a b .不断进行下去，这样得到了一个闭区间套[]{},n n a b ，每个闭区间包含了点集S 中无穷多个元素.由区间套定理的得存在ξ属于所有的闭区间[](),1,2,3,n n a b n =.下证ξ是点集S 的一个聚点.因为lim lim n n n n a b ξ→∞→∞==，故对任意的0ε>，必定存在一个N ，对一切正整数n N >，有,n n a b ξξε--<，从而[]()(),;n n a b U n N ξε⊂>.又每个闭区间[],n n a b 包含了点集S 中无穷多个元素,故();U ξε包含了点集S 中无穷多个元素.由聚点的定义，ξ是点集S 的一个聚点.必要性：若lim n n x x →∞=，则对任意的0ε>，存在正整数N ，对一切n N >，有2n x x ε-<.于是对一切,m n N >，有22m n m n x x x x x x εεε-≤-+-<+=.充分性：现假设{}n x 满足对任意的0ε>，存在N ，对一切正整数,n m N >，有n m x x ε-<.先证明柯西数列是有界的.取01ε=，故存在某个正整数0N ，对一切n ，有011n N x x +-<，即011n N a a +≤+.故{}n x 有界.取一个闭区间[],a b ，使得[],a b 包含所有{}n x 中的项. 将闭区间[],a b 等分为两个闭区间,2a b a +⎡⎤⎢⎥⎣⎦与,2a b b +⎡⎤⎢⎥⎣⎦.其中必有一个区间包含了{}n x 中无穷多项，设它为[]11,a b ；再将闭区间[]11,a b 等分为两个闭区间111,2a b a +⎡⎤⎢⎥⎣⎦与111,2a b b +⎡⎤⎢⎥⎣⎦.其中必有一个区间包含了{}n x 中无穷多项，设它为[]22,a b .不断进行下去，这样得到了一个闭区间套[]{},n n a b ，并且每个闭区间[],n n a b 都包含{}n x 中无穷多项.由区间套定理的得存在ξ属于所有的闭区间[](),1,2,3,n n a b n =现在取一个子列{}k n x ，满足[](),1,2,3,k n k k x a b k ∈=.因为lim lim n n n n a b ξ→∞→∞==和夹逼定理，lim kn k x ξ→∞=.则对任意正整数n N >，总存在某个()k k n n N >，使得k n x ξε-<，故有：2k k n n n n x x x x ξξεεε-≤-+-≤+=..从而lim n n x ξ→∞=.四.有限覆盖定理16.有限覆盖定理证明确界原理证明：不妨设S 为非空有上界的数集，我们证明S 有上确界. 设b 为S 的一个上界，下面用反证法来证明S 一定存在上确界.假设S 不存在上确界，取a S ∈.对任一[],x a b ∈，依下述方法确定一个相应的邻域（开区间）()();,x x x x U U x x x δδδ==-+.（1）若x 不是S 的上界，则至少存在一点x S '∈，使x x '>，这时取x x x δ'=-.（2）若x 是S 的上界，由假设S 不存在上确界，故有0x δ>，使得](,x x x δδ- 中不包含S 中的点.此时取(),x x x U x x δδ=-+，可知它也不包含S 中的点.于是我们得到了[],a b 的一个开覆盖：()[]{},|,x x x H U x x x a b δδ==-+∈ 根据有限覆盖定理，[],a b 可以被H 中有限个开区间{}1inx i U =覆盖.很明显（1）的开区间右端点属于S ，（2）的开区间中不包含S 中的点.显然a 所属的开区间是属于（1）的，b 所属的开区间是属于（2）的，所以至少有一个（1）中的开区间与某个（2）中的开区间相交，这是不可能的.17.有限覆盖定理证明单调有界定理证明：设{}n x 是单调有界数列，不妨设其为单调递增且有上界.任取b 为{}n x 的一个上界以及{}n x 中某项t x ，构造出闭区间[],t x b ，对任意的[],t x x b ∈，依下述方法确定一个相应的邻域（开区间）()();,x x x x U U x x x δδδ==-+.（1） 若x 不是{}n x 的上界，则{}n x 中至少存在一项i x ，使i x x >，这时取x x x δ'=-.（2） 若x 是{}n x 的上界，由假设{}n x 发散，故不会收敛到x .即有存在某个00ε>，对任何正整数N ，存在n N >，使得()()000;,n x U x x x εεε∉=-+.由于{}n x 递增，有上界x ，所以{}n x 中的所有项均不落在()()000;,U x x x εεε=-+中.此时取0x δε=.于是我们得到了[],t x b 的一个开覆盖：()[]{},|,x x x t H U x x x x b δδ==-+∈. 根据有限覆盖定理，[],t x b 可以被H 中有限个开区间{}1inx i U =覆盖.很明显（1）的开区间右端点属于{}n x ，（2）的开区间中不包含{}n x 中的项.显然t x 所属的开区间是属于（1）的，b 所属的开区间是属于（2）的，所以至少有一个（1）中的开区间与某个（2）中的开区间相交，这是不可能的.18. 有限覆盖定理证明区间套定理 证明:用反证法.假设[]{}(),1,2,3,nna b n =没有公共点，则对任意一点[]11,x a b ∈，它都不会是[]{}(),1,2,3,nna b n =的公共点，从而存在正整数xn，使得,x x n n x a b ⎡⎤∉⎣⎦.故总存在一个开区间(),x x x U x x δδ=-+，使得：(),,xnx x n nx x a b δδ⎡⎤-+⋂=∅⎣⎦，于是我们得到了[]11,a b 的一个开覆盖：()[]{}11,|,x x x H U x x x a b δδ==-+∈.根据有限覆盖定理，[]11,a b 可以被H 中有限个开区间{}1ikx i U =覆盖.注意到闭区间套之间的包含关系，则所有{}1ikx i U =一定和某个最小的闭区间001,,i i k n n n n i a b a b =⎡⎤⎡⎤=⎣⎦⎣⎦无交.从而：[]{}0000001111,,,,i ik k n n x n n x n n i i a b a b U a b Ua b ==⎧⎫⎡⎤⎡⎤⎡⎤⋂⊂⋂=⋂=∅⎨⎬⎣⎦⎣⎦⎣⎦⎩⎭.产生矛盾！19. 有限覆盖定理证明聚点定理证明:设点集S 是有界无限点集.设[],S a b ⊂.用反证法，假设S 没有聚点.利用聚点定义，对任意的[],x a b ∈，存在一个领域(),x x x U x x δδ=-+，使得x U 中只包含点集S 中有限个点.这样得到了[],a b 的一个开覆盖：()[]{},|,x x x H U x x x a b δδ==-+∈.根据有限覆盖定理，[],a b 可以被H 中有限个开区间{}1inx i U =覆盖. 由于每个x U 中只包含点集S 中有限个点，所以[]1,i n x i a b U =⊂也只包含了S 中有限个点，这与S 是无限点集相矛盾！故假设不成立，即S 有聚点.20. 有限覆盖定理证明Cauchy 收敛准则 证明：必要性：若lim n n x x →∞=，则对任意的0ε>，存在正整数N ，对一切n N >，有2n x x ε-<.于是对一切,m n N >，有22m n m n x x x x x x εεε-≤-+-<+=.充分性：（使用反证法）现假设{}n x 满足对任意的0ε>，存在N ，对一切正整数,n m N >，有n m x x ε-<. 先证明柯西数列是有界的.取01ε=，故存在某个正整数0N ，对一切n ，有011n N x x +-<，即011n N a a +≤+.故{}n x 有界.假设{}[],n x a b ⊂.若{}n x 发散，则对任意的[],x a b ∈，可以找到一个(),x x x U x x δδ=-+，使得{}n x 中只有有限项落在()0;U x ε中.否则对任何0δ>，(),x x δδ-+中均包含{}n x 中无限项，则可以证明{}n x 收敛. 这样得到了[],a b 的一个开覆盖：()[]{},|,x x x H U x x x a b δδ==-+∈.根据有限覆盖定理，[],a b 可以被H 中有限个开区间{}1inx i U =覆盖. 所以[]1,i n x i a b U =⊂也只包含了{}n x 中的有限项，矛盾！故假设不成立，{}n x 收敛.五．聚点定理21.聚点定理证明确界原理证明：仅证明非空有上界的数集S 必有上确界.取一个闭区间[],a b ，使得[],a b 包含S 中的元素，并且b 为S 的上界. 将闭区间[],a b 等分为两个闭区间,2a b a +⎡⎤⎢⎥⎣⎦与,2a b b +⎡⎤⎢⎥⎣⎦.若2a b +为数集S 的上界，则取[]11,,2a b a b a +⎡⎤=⎢⎥⎣⎦，否则取[]11,,2a b a b b +⎡⎤=⎢⎥⎣⎦. 再将闭区间[]11,a b 等分为两个闭区间111,2a b a +⎡⎤⎢⎥⎣⎦与111,2a b b +⎡⎤⎢⎥⎣⎦.若112a b +为数集S 的上界，则取[]11221,,2a b a b a +⎡⎤=⎢⎥⎣⎦，否则取[]11221,,2a b a b b +⎡⎤=⎢⎥⎣⎦.不断进行下去，这样得到了一个闭区间套[]{},n n a b . 由于{}n b 明显有界，所有它有聚点ξ.对任意0,s S ε>∈，设()();,k b U ξεξεξε∈=-+，则k s b ξε≤<+.由ε的任意性，s ξ≤，故ξ是S 的一个上界.其次，对任意0ε>，取()();,k a U ξεξεξε∈=-+，设s S ∈包含于闭区间[],k k a b ，则k s a ξε≥>-.从而我们证明了ξ是S 的一个上确界. 22.聚点定理证明单调有界定理证明：设{}n x 是单调有界数列，则它一定存在聚点ξ.下证：lim n n x ξ→∞=.对任意的0ε>，由聚点的定义，()(),,U ξεξεξε=-+中包含{}n x 中的无穷多项，设{}()(),,kn x U ξεξεξε⊂=-+.则取1N n =，对一切正整数1n N n >=，假设kn n <.利用{}nx 是单调的，nx介于1n x 与k n x 之间，所以由()1,,k n n x x U ξε∈，可知(),n x U ξε∈，从而由极限的定义，lim n n x ξ→∞=23.聚点定理证明区间套定理证明：设{}{}n n S a b =⋃，则S 是有界无限点集 由聚点定理得数集S 聚点ξ.若存在一个某个正整数0n ，使得00,n n a b ξ⎡⎤∉⎣⎦，不妨假设00n n a b ξ<<.取00n b εξ=-，则对一切0n n >，有00n n n a b b ξε<≤=-.于是()()000;,U ξεξεξε=-+中只包含S 中有限个点，这与ξ是数集S 的聚点矛盾！故[](),1,2,3,n n a b n ξ∈=下证唯一性，假设还有另外一点ξ'，也满足[](),1,2,3,n n a b n ξ'∈=.则()0n n b a n ξξ'-<-→→∞，故有:ξξ'=.唯一性得证.24.聚点定理证明有限覆盖定理证明：若闭区间[],a b 可以被H 中的开区间无限开覆盖.下面证明闭区间[],a b 可以被H 有限开覆盖.用反证法，若闭区间[],a b 不能被H 有限开覆盖. 将闭区间[],a b 等分为两个闭区间,2a b a +⎡⎤⎢⎥⎣⎦与,2a b b +⎡⎤⎢⎥⎣⎦.其中必有一个区间不能被H 有限开覆盖，设它为[]11,a b ；再将闭区间[]11,a b 等分为两个闭区间111,2a b a +⎡⎤⎢⎥⎣⎦与111,2a b b +⎡⎤⎢⎥⎣⎦.其中必有一个区间不能被H 有限开覆盖，设它为[]22,a b .不断进行下去，这样得到了一个闭区间套[]{},n n a b ，并且[](),1,2,3n n a b =均不能被H 有限开覆盖显然，{}n a 是有界的，故它存在聚点ξ.明显[],a b ξ∈.考虑H 覆盖中覆盖住ξ的开区间(),αβ.取{}min ,εξαβξ<--，则在()();,U ξεξεξε=-+中包含了{}n a 中的无穷多项，设{}()();,k n a U ξεξεξε⊂=-+.又()02n n n b ab a n --=→→+∞ 于是存在某个0k n ，使得0k k n n b a βξε-<--故0n a ξεα>->；()00n n b a βξεξεβξεβ<+--<++--=. 故[]00,,n n a b αβ⎡⎤⊂⎣⎦.这与[](),1,2,3n n a b =均不能被H 有限开覆盖矛盾！故假设不成立，即闭区间[],a b 可以被H 有限开覆盖.25.聚点定理证明Cauchy 收敛准则 证明：必要性：若lim n n x x →∞=，则对任意的0ε>，存在正整数N ，对一切n N >，有2n x x ε-<.于是对一切,m n N >，有22m n m n x x x x x x εεε-≤-+-<+=.充分性：现假设{}n x 满足对任意的0ε>，存在N ，对一切正整数,n m N >，有n m x x ε-<.先证明柯西数列是有界的.取01ε=，故存在某个正整数0N ，对一切n ，有011n N x x +-<，即011n N a a +≤+.故{}n x 有界.故它存在聚点，设为ξ.对条件中的0ε>，由聚点的定义，假设{}()();,k n x U ξεξεξε⊂=-+ 则对任意正整数n N >，总存在某个()k k n n N >，使得k n x ξε-<，故有：2k k n n n n x x x x ξξεεε-≤-+-≤+=..从而lim n n x ξ→∞=.六.Cauchy 收敛准则26. Cauchy 收敛准则证明确界原理证明: 设S 为非空有上界数集.由实数的阿基米德性,对任何正数α,存在整数k α ,使得k ααλα=为S 的上界,而()1k ααλαα-=-不是S 的上界, 即存在S α'∈使得()1k ααα'>- 分别取()11,2,3,n nα==，则对每一个正整数n ,存在相应的n λ,使得n λ为S 的上界，而1n nλ-不是S 的上界,故存在S α'∈,使得1n nαλ'>-又对正整数m ,m λ是S 的上界，故有m λα'≥.所以1m n n λαλ'≥>-，即有1m n m λλ-<.同理有1m n nλλ-<，于是得到11min ,m n m n λλ⎧⎫-<⎨⎬⎩⎭. 于是,对任意的0ε>，存在正整数N ，使得当,m n N >时有m n λλε-<.由柯西收敛准则,数列{}n λ收敛.记lim n n λλ→∞=现在证明λ就是S 的上确界.首先,对任何S α∈和正整数n ，有n αλ≤，有极限的保序性，lim n n αλλ→∞≤=，故λ是S 的上界其次,对于任意的0δ>,存在充分的的正整数n ，使得12n δ<并且2n δλλ>-. 由于1n n λ-不是S 的上界，所以存在S α'∈，并且1n nαλ'>-. 于是122n n δδαλλλδ'>->--=-.故λ就是S 的上确界. 27. Cauchy 收敛准则证明单调有界定理证明：设{}n x 是单调有界数列，不妨假设{}n x 单调递增有上界.若{}n x 发散，则又柯西收敛准则，存在00ε>，对一切正整数N ，存在m n N >>，使得0m n m n x x x x ε-=-≥. 于是容易得到{}n x 的子列{}k n x ，使得10k k n n x x ε+-≥.进而()101k n n x x k ε>+- 故()k n x k →+∞→∞，这与{}n x 是有界数列矛盾！所有假设不成立，即{}n x 收敛. 28. Cauchy 收敛准则证明区间套定理证明：设[]{},n n a b 为闭区间套.因为lim 0n n n a b →∞-=，所以对任意的0ε>，存在正整数N ，对一切n N >，有n n n n a b b a ε-=-<从而对任意的m n N >>，m n m n n n a a a a b a ε-=-<-<；m n n m n n b b b b b a ε-=-<-<，由柯西收敛准则，{}{},n n a b 均收敛，而且是同一极限，设lim lim n n n n a b ξ→∞→∞==.由于{}n a 单调递增，{}n b 单调递减，由极限的保序性， 所以[](),1,2,3,n n a b n ξ∈=下证唯一性，假设还有另外一点ξ'，也满足[](),1,2,3,n n a b n ξ'∈=.则()0n n b a n ξξ'-<-→→∞，故有:ξξ'=.唯一性得证.29.Cauchy 收敛准则证明有限覆盖定理证明：若闭区间[],a b 可以被H 中的开区间无限开覆盖.下面证明闭区间[],a b 可以被H 有限开覆盖.用反证法，若闭区间[],a b 不能被H 有限开覆盖. 将闭区间[],a b 等分为两个闭区间,2a b a +⎡⎤⎢⎥⎣⎦与,2a b b +⎡⎤⎢⎥⎣⎦.其中必有一个区间不能被H 有限开覆盖，设它为[]11,a b ；再将闭区间[]11,a b 等分为两个闭区间111,2a b a +⎡⎤⎢⎥⎣⎦与111,2a b b +⎡⎤⎢⎥⎣⎦.其中必有一个区间不能被H 有限开覆盖，设它为[]22,a b .不断进行下去，这样得到了一个闭区间套[]{},n n a b ，并且[](),1,2,3n n a b =均不能被H 有限开覆盖.因为lim lim02n n nn n b aa b →∞→∞--==，所以对任意的0ε>，存在正整数N ，对一切n N >，有n n n n a b b a ε-=-<从而对任意的m n N >>，m n m n n n a a a a b a ε-=-<-<；m n n m n n b b b b b a ε-=-<-<，由柯西收敛准则，{}{},n n a b 均收敛，而且是同一极限，设lim lim n n n n a b ξ→∞→∞==.由于{}n a 单调递增，{}n b 单调递减，由极限的保序性， 所以[](),1,2,3,n n a b n ξ∈=.考虑H 覆盖中覆盖住ξ的开区间(),αβ.取{}min ,εξαβξ<--，则存在正整数N ，对一切n N >，,n n a b ξξε--<.即有[]()(),;,n n a b U ξεαβ⊂⊂.这与[](),1,2,3n n a b =均不能被H 有限开覆盖矛盾！故假设不成立，即闭区间[],a b 可以被H 有限开覆盖.30. Cauchy 收敛准则证明聚点定理证明：已知点集S 是有界无限点集.设[],S a b ⊂. 将闭区间[],a b 等分为两个闭区间,2a b a +⎡⎤⎢⎥⎣⎦与,2a b b +⎡⎤⎢⎥⎣⎦.其中必有一个区间包含了点集S 中无穷多个元素，设它为[]11,a b ；再将闭区间[]11,a b 等分为两个闭区间111,2a b a +⎡⎤⎢⎥⎣⎦与111,2a b b +⎡⎤⎢⎥⎣⎦.其中必有一个区间包含了点集S 中无穷多个元素，设它为[]22,a b .不断进行下去，这样得到了一个闭区间套[]{},n n a b ，每个闭区间包含了点集S 中无穷多个元素.因为lim lim02n n nn n b aa b →∞→∞--==，所以对任意的0ε>，存在正整数N ，对一切n N >，有n n n n a b b a ε-=-<从而对任意的m n N >>，m n m n n n a a a a b a ε-=-<-<；m n n m n n b b b b b a ε-=-<-<，由柯西收敛准则，{}{},n n a b 均收敛，而且是同一极限，设lim lim n n n n a b ξ→∞→∞==.下证ξ是S 的一个聚点.对任意的0ε>，存在正整数N ，对一切n N >，,n n a b ξξε--<.即有[]()(),;,n n a b U ξεξεξε⊂=-+.故()();,U ξεξεξε=-+中包含了S 中无穷多个元素，由聚点的定义，ξ是S 的一个聚点.。
实数完备性定理相互等价的证明
易证。
因此，有。
由于 bn 都为 S 的上界，所以也为 S 的上界。
从而可知，。
即，故为 S 的上确界。
(38 定理定理 2(Cauchy 收敛准则单调有界定理证不妨设 {xn } 为单增有上界数列。
假设 {x n } 无极限，Cauchy 收敛准则可知，但是。
由 N 的任意性，不难得到 {x n } 的一个严格单增的子列 {xn k } ，满足。
由于时，有，故 {x n } 收敛。
所以当。
这与 {x n } 为有界数列矛盾， (39 定理定理 3(Cauchy 收敛准则区间套定理证设 {[ a n , bn ]} 是 Cantor 区间套。
则由可知，时，有。
由于{a n } 单调递增，{bn } 中的每一个元素都为 {a n } 的上界。
故，则有。
故由 Cauchy 收敛准则可知 {a n } 收敛，记其极限为。
由(3.1 易证。
由 {a n } ， {bn } 的单调性可知有n , bn ] 。
(40 定理定理 4(Cauchy 收敛准则-Borel 有限覆盖定理证(反证法假设闭区间 [ a, b] 有一个开覆盖不能用它的任有限个开区间覆盖。
定义性质 P ：不能用中有限个开区间覆盖。
仿(9的证明，利用二等分法容易构造出满足性质 P 的区间套 {[ a n , bn ]} 。
仿(39的证明可知，，从而，，有 [a n , bn ]，这与 [a n , bn ] 具有性质 P 矛盾。
这就证明了 Heine–Borel 有限复盖定理。
(41 定理定理 5(Cauchy 收敛准则聚点原理证设 S 为直线上有界点集，则使得 S 。
定义性质 P : 至少含有 S 中的无限多个点。
利用二等分法容易构造出具有性质 P 的区间套 {[ a n ,bn ]} 满足(3.1 。
由性质 P 任意挑选 S 中不同的点构成的数列 {x n } 使得n , bn ] 。
，由(3.1和极限定义知，由定义知 {x n } 是 Cauchy 列。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
关于实数连续性的基本定理关键词：实数基本定理 确界定理 单调有界原理 区间套定理 有限覆盖定理 紧致性定理 柯西收敛定理 等价证明以上的定理表述如下：实数基本定理：对R 的每一个分划A|B ，都∃唯一的实数r ，使它大于或等于下类A 中的每一个实数，小于或等于上类B 中的每一个实数。
确界定理:在实数系R 内,非空的有上(下)界的数集必有上(下)确界存在。
单调有界原理:若数列}{n x 单调上升有上界，则}{n x 必有极限。
区间套定理:设｛,[n a ]n b ｝是一个区间套,则必存在唯一的实数r,使得r 包含在所有的区间里,即∞=∈1],[n n n b a r 。
有限覆盖定理:实数闭区间[a,b]的任一覆盖E,必存在有限的子覆盖。
紧致性定理：有界数列必有收敛子数列。
柯西收敛定理：在实数系中，数列}{n x 有极限存在的充分必要条件是：εε<->>∃>∀||,,,0m n x x ，N m N n N 有时当。
这些定理虽然出发的角度不同，但描写的都是实数连续性这同一件事，它们之间是相互等价的，即任取其中两个定理，它们可以相互证明。
那么，它们在证明过程中有哪些联系？作为工具，它们又各具有什么特点？以下先给出它们的等价证明。
（二）实数基本定理的等价证明一．用实数基本定理证明其它定理 1．实数基本定理→单调有界定理证明：设数列}{n x 单调上升有上界。
令B 是数列}{n x 全体上界组成的集合，即B={b|n b x n ∀≤,},而A=R ﹨B ，则A|B 是实数的一个分划。
事实上，由单调上升}{n x ，故1x -1∈A ，即A 不空，由A=R ﹨B ，知A 、B 不漏。
又对任给a ∈A ，b ∈B ，则存在0n ，使a <0n x ≤b ，即A 、B 不乱。
故A|B 是实数的一个分划。
根据实数基本定理，A ，a R r ∈∀∈∃使得对,b r aB ，b ≤≤∈有。
下证∞→n limnx =r 。
事实上，对nN n n x x r ，N n ，x ，x r N ，A ，r ≤-∴-∃∈->∀ εεεε有时当单调上升又使知由于}{,0。
2,2εε-≤∈+r x b r n 便有 ，2εε+≤-∴r x r ，N n n 有时当于是，|nx -r|<ε，∴∞→n lim n x=r 。
若数列}{n x 单调下降有下界，令ny =-nx ，则{ny }单调上升有上界，从而有极限，设极限为r ，则∞→n lim n x =∞→n lim（-n y ）=-r 。
定理证完。
2.实数基本定理→确界定理证明：设X 是有上界的非空实数集，记B 为X 的全体上界组成的集合。
A= R ﹨B ，则A|B 构成实数的一个分划。
事实上，不空，不漏显然。
而A ，a ∈∀对B ，b ∈由a 不是X 的上界，知有0x ∈X ，使得0x a ，而由B ，b ∈知0x≤b ，故a < b 。
由实数基本定理， A|B是实数的一个分划，∴A ，a R r ∈∀∈∃使得对,b r a B ，b ≤≤∈有。
下证r=supX 。
首先证明r 是X 的上界。
用反证法。
如果不然，则有0x ∈X ，使得0xr ，这时有a=20rx +a=20rx +∈A ，且有a r ，这是不可能的。
因此r 是X 的上界，而由于b r B ，b ≤∈∀有，∴r 是X 的最小上界。
同理可证下确界的情形。
定理证完。
3．实数基本定理→区间套定理 证明：设｛,[n a ]n b ｝是一个区间套，令},|{n a x n x A ≤∃=，A R B \=，则B A |是R的一个分划。
事实上A a ∈1，B b ∈+11，即B A ,非空；由B 的定义，B A ,不漏；A a ∈∀，B b ∈∀，则∃，n a b n >∀,，故b a <，即B A ,不乱。
故B A |确是R的一个分划。
由实数连续性定理，存在唯一的实数r ，使得A a ∈∀，B b ∈∀，有b r a ≤≤。
下证∞=∈1],[n n n b a r 。
因为n ∀，由A 的定义，A a n ∈，故r a n ≤。
又m n ,∀，有n m b a <，则B b n ∈，从而n b r ≤。
即∞=∈1],[n n n b a r 。
最后证明唯一性。
若有r r ',满足∞=∈1],[n n n b a r ，∞=∈'1],[n n n b a r ，则)(0||∞→→-≤'-n a b r r n n故r r '=。
即这样的r 是唯一的。
定理证完。
二．用单调有界定理证明其它定理单调有界定理→实数基本定理证明：给定实数的一个分划，任取A a ∈1，B b ∈1。
用1a ，1b 的中点211b a +二等分[1a ，1b ]，如果211b a +B ∈，则取2a =1a ， 2b =211b a +；如果211b a +A ∈，则取2a =211b a +，2b =1b ；……如此继续下去，便得两串序列}{n a }{n b 。
其中A a n ∈单调上升有上界（例如1b ），B b n ∈单调下降有下界（例如1a ）并且n n a b -=211a b -)(∞→n 。
由单调有界定理，知∃r ，使∞→n limn a = r∞→n lim（n n a b -）=0 ∴∞→n lim na+（n n a b -）= r∀ a ∈A ，有a <n b （n=1，2，……），令∞→n ，知a <rB b ∈∀，有na <b （n=1，2，……）， 令∞→n ，知 r <b∴b r a ≤≤下面证明唯一性。
用反证法。
如果不然。
则∃ 21r r ≠，同时对任意 A a ∈，1r a ≤，2r a ≤对任意b 有1r b ≥ 2r b ≥，不妨设21r r <，令 221'r r r +=显然 2'1r r r << ⇒ A r ∈'，B r ∈'，这与B A |是R 的一个分划矛盾。
唯一性得证。
定理证完。
2．单调有界定理→确界定理证明：已知实数集A 非空。
∃A a ∈，不妨设a 不是A 的上界，另外，知∃b是A 的上界，记1a =a ，1b =b ，用1a ，1b 的中点211b a +二等分[1a ，1b ]，如果211b a +B ∈，则取2a =1a ，2b =211b a +；如果211b a +A ∈，则取2a =211b a +，2b =1b ；……如此继续下去，便得两串序列}{n a }{n b 。
其中A a n ∈单调上升有上界（例如1b ），B b n ∈单调下降有下界（例如1a ）并且n n a b -=211a b -)(∞→n 。
由单调有界定理，知∃r ，使∞→n limna =r 。
由∞→n lim（n n a b -）=0 有∞→n lim na+（n n a b -）= r}{n b 是A 的上界，∴A x ∈∀，有≤x n b （n=1，2，……），令∞→n ，≤x ∞→n limn b = r ∴ r 是A 的上界。
而,0>∀ε 由∞→n limn a = r 知，a r N ，n N ，n εε-∃>∀有当知,0从而X ，a r A ，X n ε-∈∃使 ∴r=supA 。
同理可证非空有下界数集有下确界。
定理证完。
3．单调有界定理→区间套定理证明：已知n a ≤1+n a （∀n ）， n a ≤n b ≤1b ，∴由单调有界定理知{n a }存在极限，设∞→n limn a = r ，同理可知{n b }存在极限，设∞→n lim n b=r '，由∞→n lim（n n a b -）=0得r r '-=0即r r '=∀n ，有n a ≤n b ，令∞→n ，有n a ≤r r '=≤n b ，∴∀n ，有n a ≤r ≤n b 。
唯一性证明同用实数基本定理对区间套定理的证明（即一.3）。
定理证完。
三．用确界定理证明其它定理确界定理→实数基本定理证明：对给定R 的一个分划A|B ，由于B b ∈∀，b 是集合A 的上界，由确界定理可得，集合A 有上确界r ，即r a A a ≤∈∀有。
r 是集合A 的上确界，∴r 是集合A 的全体上界的最小数。
B b ∈∀，有r b ≤。
唯一性同用单调有界定理对实数基本定理的证明（即二。
1）。
定理证完。
确界定理→单调有界定理证明：设}{n x 是单调上升有上界的实数列。
由确界定理可得，∃r ，使r=sup }{n x 。
rx n n ≤∀∴有,，并且εε-∃∀r x ，x ，N N 有0r x x r N n n N ≤≤≤-∀∴ε有, ，即ε||r x n-∴∞→n limnx = r 。
单调下降有下界情况的证明同用实数基本定理对此定理的证明（即一.1）。
定理证完。
确界定理→区间套定理证明：由[1+n a ，1+n b ] ⊂[n a ，n b ]，知}{n a 是单调上升有上界的实数列，}{n b 是单调下降有下界的数列。
且1b 是n a 的上界，1a 是n b 的下界。
设∞→n lim na= r ，∞→n lim n b=r '，由确界定理对的证明知r=sup }{n a ，r '=inf }{n b 。
由∞→n lim（n n a b -）=0得r r '-=0即r r '== sup }{n a =inf }{n b∴∀n ，有n a ≤r ≤n b 。
唯一性证明同用实数基本定理对区间套定理的证明（即一.3）。
定理证完。
确界定理→有限覆盖定理证明：设E 是闭区间[b a ，]的一个覆盖。
定义数集A={a x ≥|区间[x a ，]在E 中存在有限子覆盖}从区间的左端点a x =开始.由于在E 中有一个开区间覆盖a ,因此a 及其右侧充分邻近的点均在A 中.这就保证了数集A 是非空的.从数集A 的定义可见,若∈x A,则整个区间[x a ，]⊂A.∴若A 无上界,则b ∈A,那么[b a ，]在E 中存在有限子覆盖. 若A 有上界, 由确界定理可得∃r,使r=supA 。
∴r x ∀，都有∈x A 。
事实上，,0)( x r -∀,y ∃使得x x r r y =--)( 。
[y a ，]在E 中存在有限子覆盖，∴[x a ，]⊂[y a ，]在E 中存在有限子覆盖下证b <r 。
用反证法。
如果不然，r ≤b ，则r ∈[b a ，]。
因此，在E 中存在有一开区间覆盖αE覆盖r 。
0a ∃，0b ∈αE ，使0a 0b r 。