第七章 实数完备性的六大基本定理的相互证明.docxVIP

确界原理非空有上(下)界数集，必有上(下)确界。

单调有界原理任何单调有界数列必有极限。

区间套定理 若{[an,bn]}

??[an,bn],n?1,2,?。

是一个区间套,则存在唯一一点?，使得

Heine-Borel有限覆盖定理设[a,b]是一个闭区间，?为[a,b]上的一个开覆盖，则在?

中存在有限个开区间，它构成[a,b]上的一个覆盖。

Weierstrass聚点定理（Bolzano致密性定理有界无穷数列必有收敛子列。）直线上的有解无限点集至少有一个聚点。

Cauchy收敛准则数列{an}收敛?对任给的正数? ，总存在某一个自然数N，使得

?m,n?N时，都有|am?an|??。

一.确界原理

确界原理证明单调有界定理

证不妨设{an}为有上界的递增数列.由确界原理,数列{an}有上确界,记

a=sup{an}.下面证明a就是{an}的极限.事实上,任给ε0,按上确界的定义,存在数列{an}中某一项aN,使得a-εaN.又由{an}的递增性,当n≥N

时有a-εaN≤an.

另一方面,由于a是{an}的一个上界,故对一切an都有an≤aa+ε.所以当n≥N时有

a-εana