有限覆盖定理证明区间套_单调有界定理证明其他实数完备性定理

往期见专栏

数学知识点整理​zhuanlan.zhihu.com

单调有界定理证明其他实数完备性定理​mp.weixin.qq.com

单调有界定理：任何单调有界数列必有极限

1、单调有界定理证明确界定理

： 我们不妨证明非空有上界的数集

必有上确界

(1)欲求一实数使它是非空数集

的上确界,利用非空有上界的数集

，构造一数列使其极限为我们所要求的实数。

选取性质

: 不小于数集

中的任一数的有理数

将具有性质

的所有有理数排成一个数列

, 并令

， 则得

;

(2) 由单调有界定理得,

，且对任意的自然数

有

(3)

是数集

的上确界. 用

，

若有数

使

，取

，则存在一个有理数

，使

从而

, 这与

是数集

的上界

。所以对一切

, 都有

, 即

是数集

的

.

任给

, 若

, 都有

, 则存在有理数

, 使

,即

我们就找到

这与若

,

矛盾,

, 使

, 即

是数集

的

，于是，我们证明了所需结论.

2、单调有界定理证明区间套定理

若

是一个区间套, 则在实数系中存在唯一的一点

, 使得

,

, 即

：

为递增有界数列, 依单调有界定理,

有极限

，且有

,

同理, 递减有界数列

也有极限, 并按区间套的条件有

且

联合

即得

式.

最后证明满足

的

是唯一的.

设数

也满足

,

则由

式有

由区间套的条件得

故有

3、单调有界定理证明有限覆盖定理

即闭区间

的任一开覆盖

都有有限的子覆盖

：

设有理数

, 使闭区间

能被

中有限个开区间覆盖,把

上的这种有理数的全体排成一个数列

，因为存在一个开区间

使

, 在

内含有无穷多个有理数，所以

是存在的;

将数列

单调化，取

, 则数列

单调递增有上界;

由单调有界定理得，

且

因

, 由

得

, 故

必在

中的某个开区间

中再由

，一定有

, 使

又由

能被

中有限个开区间覆盖故只需把

加进去,

能被

中有限个开区间覆盖.

若

，则说明

能被

中有限个开区间覆盖.用

反证法

若

，由 于

内的有理数在

上处处稠密，故一定存在有理数

，使得

, 这样一来，

能被

中有限个开区间覆盖，故

与

矛盾 所以,

4、单调有界定理证明聚点定理

：

设

是一有界无限点集，则在

中选取一个由可数多个互不相同的点组成的数列

，显然数列

是有界的.

下面我们从

中抽取一个单调子列，从而由单调有界定理该子列收敛，最后我们证明该子列的极限值，就是有界无限点集

的聚点分两种情况来讨论。

如果在

(因

是有界的且

,这是可能的），设

后的最大项是

;

后的最大项是

,且显然

一般地，

后的最大项记为

,且

这样，就得到了

的一个单调递减的子数列

，因为

有界，根据单调有界定理知，

收敛

如果

不成立，

（为证明书写简单起见，不妨设从第一项起，每一项都不是最大项）

于是，取

，因

不是最大项，所以必存在另一项

,又因为

也不是最大项，所以又有

,

这样一直作下去，就得到

的一个单调递增的子列

，且有上界，根据单调有界定理知，

收敛，

总之,不论

属于情形

还是情形

，都可作出

的一个单调收敛的子列

。

设

,今证

是

的聚点。

对

,存在自然数

,使得

时,

若这时

单调递减，

即

的

邻域内含有

中异于

的点，故

是

的聚点。

单调递增时，类似可证。

5、单调有界定理证明Cauchy收敛准则

：

若

则对任意的

存在正整数

对一切

, 有

.于是对一切

, 有

：

先证明柯西数列

是有界的。取

,因

是柯西数列，所以存在某个正整数时有

,亦即当

时

即

有界。

不妨设

，我们可用如下方法取得

的一个单调子列

取

使

或

中含有无穷多的

的项.

在

或

中取得

且满足条件

并使

,然后就有

，不断地进行

得到一单调递增的子列

因为

,而

是一个单调有界数列，由单调有界定理知

收敛。

下证

收敛于

因为

则，对

，

正整数

，当

时，

,

另一方面由于

是柯西列，所以

存在正整数

，当

，

时有

由

就可得当

有

所以当

时

故

收敛于