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

关于实数连续性的基本定理 关键词：实数基本定理 确界定理 单调有界原理 区间套定理 有限覆盖定理 紧致性定理 柯西收敛定理 等价证明 以上的定理表述如下： 实数基本定理：对R的每一个分划A|B，都唯一的实数r，使它大于或等于下类A中的每一个实数，小于或等于上类B中的每一个实数。 确界定理:在实数系R内,非空的有上(下)界的数集必有上(下)确界存在。 单调有界原理:若数列单调上升有上界，则必有极限。 区间套定理:设｛｝是一个区间套,则必存在唯一的实数r,使得r包含在所有的区间里,即。 有限覆盖定理:实数闭区间[a,b]的任一覆盖E,必存在有限的子覆盖。 紧致性定理：有界数列必有收敛子数列。 柯西收敛定理：在实数系中，数列有极限存在的充分必要条件是： 。 这些定理虽然出发的角度不同，但描写的都是实数连续性这同一件事，它们之间是相互等价的，即任取其中两个定理，它们可以相互证明。那么，它们在证明过程中有哪些联系？作为工具，它们又各具有什么特点？以下先给出它们的等价证明。 （二）实数基本定理的等价证明 一．用实数基本定理证明其它定理 1．实数基本定理→单调有界定理 证明：设数列单调上升有上界。令B是数列全体上界组成的集合，即B={b|}, 而A=R﹨B，则A|B是实数的一个分划。事实上，由单调上升，故-1A，即A不空，由A=R﹨B，知A、B不漏。又对任给aA，bB，