§2 实数完备性基本定理

《§2 实数完备性基本定理》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、§2实数完备性的基本定理实数基本定理以不同的形式刻划了实数的连续性和完备性。实数基本定理是建立与发展微积分学的基础。因此掌握这部分内容是十分必要的，特别是可通过这部分内容的学习与钻研，培养严密的逻辑思维能力。本节主要介绍7个较直观并且容易理解的基本定理，同时给出它们的等价证明。我们将在附录中建立严格的实数理论和这些基本定理两两之间的等价性证明。2.1实数基本定理的陈述1.确界存在原理定理1.2.1非空有上界数集必有上确界(非空有下界数集必有下确界)2.单调有界原理定理2.1.8单调有界数列必收敛3.Cantor闭区间套准则定义2.1(区间套)设是一闭区间序列.若满足条件(1)对,有,即,亦即后

2、一个闭区间包含在前一个闭区间中;(2).即当时区间长度趋于零。则称该闭区间序列为一个递缩闭区间套,简称为区间套。简而言之,所谓区间套是指一个“闭、缩、套”区间列。区间套还可表达为。我们要提请大家注意的是,这里涉及两个数列和,其中递增,递减。例2.1和都是区间套.但、和都不是。定理2.1(Cantor区间套准则)设是一闭区间套。则存在唯一的点，使对有。简言之,区间套必有唯一公共点。推论1若是区间套确定的公共点,则对,72当时,总有。推论2若是区间套确定的公共点,则有单增且收敛于，同时单减且收敛于，。4.Cauchy收敛准则——数列收敛的充要条件定理2.1.9(Cauchy收敛准则)数列收敛是Ca

3、uchy列。证上节3证必要性，现证充分性：根据假设，对任给的，总存在自然数，对一切，都有，即在区间内含有中除掉有限项外几乎所有的项。据此，令，则存在，在区间上含有中除有限项外的几乎所有的项，并记这个区间为。再令，则存在，在上含有中除有限项外几乎所有项。记，它也含有中有限项外几乎所有的项，且和。照以上的方法，依次令，得一闭区间列，它的每个区间都含有中除有限项外几乎所有的项，而且这区间列满足以下条件从而由区间套定理知，存在唯一一个数，现在证明这个就是数列的极限。因为对任给，由定理2.1推论知存在自然数，当时，便有。因此在内就含有中除有限项外几乎所有的项，这就证得。725.Weierstrass聚点

4、原理定义2.2(数集的聚点,亦称为接触点)设是无穷点集。若在点(未必属于)的任何邻域内有的无穷多个点,则称点为的一个聚点。例2.2数集=有唯一聚点,但；开区间的全体聚点之集是闭区间;设是中全体有理数所成之集,易见的聚点集是闭区间。定理2.3(Weierstrass聚点原理)每一个有界无穷点集必有聚点。6.Bolzano致密性定理定理2.2(Bolzano致密性定理)任一有界数列必有收敛子列。7.Heine–Borel有限复盖定理定义2.3设是一个数集,是区间族。若对,则称区间族覆盖了,或称区间族是数集的一个覆盖。记为。若指标集仅有有限个元素，则称区间族是数集的一个有限覆盖。若区间族的子集族覆盖

5、了数集，则称此子集族为数集的覆盖的子覆盖。若每个都是开区间,则称区间族是开区间族。开区间族常记为。定义2.4(开覆盖)数集的一个开区间族覆盖称为的一个开覆盖,简称为的一个覆盖。若中的开区间的个数是无限的，则称为的一个无限开覆盖。若中的开区间个数是有限的，则称为的一个有限开覆盖。例2.3覆盖了区间,但不能覆盖;覆盖,但不能覆盖。定理2.4(Heine–Borel有限复盖定理)闭区间的任一开覆盖必有有限子覆盖。2.2实数基本定理等价性的证明72我们注意到，实数完备性基本定理等价性的证明，几乎都可以利用二等分构造区间套的方法证明，为了开阔视野，加深对这部分内容的理解，我们尽可能利用二等分法以外的方法

6、证明定理之间的等价性。证明七个实数基本定理等价性的路线:确界原理单调有界原理Contor区间套定理Cauchy收敛准则Weierstrass聚点原理Bolzano致密性定理Heine–Borel有限复盖定理确界原理。[确界原理单调有界原理]证明参见定理2.1.8的证明。[单调有界原理Contor区间套定理]证明因为，所以有从而可见数列单增有上界，数列单减有下界故由单调有界定理可知使得,使得,且有有，所以，于是成立。又因为，所以。记，从而存在性得证。假设不唯一，即存在，则仿上面易得。[Contor区间套定理Cauchy收敛准则]证明上节已经证明了Cauchy收敛准则的必要性，在此只需证明充分性。

7、证法一设为Cauchy列，即，有。(1)先证明，Cauchy列有界：事实上，在(1)中取，就可知。其次，我们用Cantor区间套定理找出的一个收敛的子列如下：定义闭区间具有性质含有数列的无限项。Step(1):由有界性知，闭区间具有性质。从中任取一项作为。易得。72Step(2):将对半分为两个闭区间和，则其中至少有一个闭区间具有性质，不妨记此区间为。易知中仍含有数列的无限项。从中任取一项作为。易