中心极限与大数定理律的关系_实数系基本定理（一）

确界

设

是

中的一个非空有上界数集.

若实数

满足：

（1）对任何

，有

，即

是

的上界；

（2）对于任意给定的

，存在

，使得

，

即

是

的最小上界.

则称实数

为集合

的

上确界，记为

.

类似的

设

是

中的一个非空有下界数集.

若实数

满足：

（1）对任何

，有

，即

是

的下界；

（2）对于任意给定的

，存在

，使得

，

即

是

的最大下界.

则称实数

为集合

的

下确界，记为

.

Cantor确界存在定理

又称确界原理、最小上界原理

设

为实数集

中的非空数集，若

有上界，则

必有上确界；若

有下界，则

必有下确界.

单调数列

如果数列

各项满足：

（

）

则称此数列为递增数列；

如果数列

各项满足：

（

）

则称此数列为递减数列.

若果上面两个不等式都是严格的，即

（或

）

则称此数列为严格递增的（或严格递减的）

递增数列和递减数列统称为单调数列.

Cantor单调有界收敛定理

又称单调有界定理

实数集

中，有界的单调数列必有极限.

Cauchy列

设

是一实数列.

对于任意给定的

，若存在

，使得对任意的

且

时，有

则称数列

是一个

基本列或 Cauchy列.

基本列的一个等价的定义是：

对于任意给定的

，若存在

，

使得对任意的

且

时，以及任意的

，有

，

则称数列

是一个

基本列或 Cauchy列.

Cauchy基本列收敛定理

又称Cauchy收敛原理、Cauchy收敛准则

实数集

中，数列

收敛的充分必要条件是它是基本列.

闭区间套

设闭区间列

，

是闭区间，具有单调减少的包含关系.

即

（

）

也就是说

，

；

则称

为

闭区间套，或简称 区间套.

Cauchy-Cantor定理

又称闭区间套定理

若

，

是一个闭区间套，

则交集

.

又如

的长度

满足

则交集

有唯一点

，是单点集.

闭区间套定理的一个等价形式是：

设闭区间序列

满足条件：

（

）

则在实数系中存在点

，使得

（

）

即

（

）

又如果

则点

是唯一的.

Cantor确界存在定理的证明：

只证明上确界原理，下确界当然是同样的证明方法

（一）使用Cauchy基本列收敛定理

华东师范大学《数学分析》上册，P167——168

设

是

中的一个非空有上界数集

由阿基米德原理，对任何正数

存在正整数

，使得

为

的一个上界

不是数集

的上界

则存在

，使得

取

（

）

对每个正整数

，存在相应的

使得

为

的上界，而

不是

的上界

则存在

，使得

对正整数

，存在相应的

，使得

为

的上界，

则

这样显然有

同理存在

，使得

这样有

以及

那么显然

所以对任意给定的

，存在

（比如取

）

对任意的

且

，有

这样，数列

是一个基本列，由

Cauchy基本列收敛定理，它是收敛的

记

则对任意

以及任意正整数

，有

，由极限保不等式性，

所以

显然是数集

的一个上界

由于

，以及

那么对任意给定的

，存在

，对任意的

，

，有

，且

即

，

不是数集

的上界，则存在

，使得

也即对任意给定的

，都存在

使得

这说明

是数集

的上确界

（二）使用Cauchy-Cantor闭区间套定理

定光桂《极限论与微分学新探》，P27——29

常庚哲、史济怀《数学分析教程》上册，P39——40

梅加强《数学分析》，P57——58

谢惠民、恽自求、易法槐、钱定边《数学分析习题课讲义》上册，P72（练习题）

设

是

中的一个非空有上界数集，它存在一个上界

，任取一点

显然，

的最小上界在区间

中

令

，

闭区间

被中点

一分为二

如果右端闭区间

存在集合

中的点，则将之记为

即

，

否则的话，中点

也是数集

的一个上界，将左端闭区间

记为

即

，

显然

重复这一过程

闭区间

被中点

一分为二

如果右端闭区间

存在集合

中的点，则将之记为

即

，

否则将左端闭区间

记为

即

，

显然

这样不断重复下去，可得到一列闭区间套

，

，

显然满足

（

）

并且

（

）

显然闭区间套

满足：

每个闭区间

的右端点的右边没有数集

中的点

每个闭区间

（

）都包含数集

中的点

根据闭区间套定理，存在唯一的实数

即

，

（

）

【1】

注意到

，

显然数列

是一个无穷小量

每个

（

）均为数集

的上界

任取一点

显然对任何

，

令

，则由极限的保序性，可得任意的

，

这说明

是数集

的上界

则对任意

，存在

，对一切

，

而在区间

中，一定存在数集

中的点

，满足

根据上确界定义，

是数集

的上确界

【2】

假设

不是数集

的上界，那么一定存在

，使得

则令

（

）

显然存在

，使得

是区间

的右端点，所以这显然与区间

右端不含数集

中的点矛盾

从而

一定是数集

的上界

对任意的

，存在

，使得

则显然

任意

，必有

是任意的

根据上确界定义，

是数集

的上确界

Cantor单调有界收敛定理的证明：

只针对单调增数列证明，单调减数列当然是同样的证明方法

（一）使用Cantor确界存在定理

菲赫金哥尔茨《微积分学教程》第一卷，P54——55

卓里奇《数学分析》第一卷，P74

定光桂《极限论与微分学新探》，P29

常庚哲、史济怀《数学分析教程》上册，P40

许少溥、姜东平《数学分析教程》上册，P35——36

梅加强《数学分析》，P36——37

华东师范大学《数学分析》上册，P35

谢惠民、恽自求、易法槐、钱定边《数学分析习题课讲义》上册，P68

设数列

是一个单调增数列，并且存在上界

由Cantor确界存在定理，数列

存在上确界，不妨记为

显然

对任意

成立

对任意给定的

，存在

，

又由数列

的单调性，对一切

，

又

这样，对任意给定的

，存在

，对一切

，

这就说明数列

以

为极限

（二）使用Cauchy-Cantor闭区间套定理

谢惠民、恽自求、易法槐、钱定边《数学分析习题课讲义》上册，P72（练习题）

设数列

是一个单调增数列，并且存在上界

（它的一个下界显然是

）

显然，数列

中的所有项都在闭区间

上

令

，

闭区间

被中点

一分为二

如果右端闭区间

存在数列

中的项，则将之记为

即

，

否则将左端闭区间

记为

即

，

显然

重复这一过程

闭区间

被中点

一分为二

如果右端闭区间

存在数列

中的项，则将之记为

即

，

否则将左端闭区间

记为

即

，

显然

这样不断重复下去，可得到一列闭区间套

，

，

显然满足

（

）

并且

（

）

显然闭区间套

满足：

每个闭区间

的右端点的右边没有数列

中的项

每个闭区间

（

）都包含数列

中的项

根据闭区间套定理，存在唯一的实数

即

，

（

）

而对于任意的

，一定存在数列

中的项

包含在

中

由

的单调性，对一切

，

，

均包含在闭区间

中

而

又可以任意小

换而言之，对任意给定的

，取存在

，使得

对应这样的

，又存在

，对一切

，

那么显然

这就得出，对任意给定的

，存在

，对一切

，

这说明数列

以

为极限

Cauchy基本列收敛定理的证明：

必要性很显然：

设数列

是一个收敛数列，其极限为

则对于任意给定的

，存在

，对任意

，

，都有

则对任意

，

，

所以数列

是一个基本列

必要性得证

引论

基本列一定有界

实际上，设数列

是一个基本列

对

，存在

，对任意

，

，都有

取

，则当

，

，有

则

这样

其中正实数

这样可得，基本数列

是有界的

充分性：

（一）使用Cauchy-Cantor闭区间套定理（一）

谢惠民、恽自求、易法槐、钱定边《数学分析习题课讲义》上册，P75——76

使用三分法构造闭区间套

设数列

是一个基本列

则它当然有界

存在常数

，满足

（

）

将闭区间

三等分

令

，

可得三个长度相同的子区间

，

和

很显然，闭区间

和

中，至少有一个子区间只含有数列

的有限多项

否则的话，假设闭区间

和

都含有数列

的无穷多项

则在

中取

，在

中取

，

且可以任意大

满足不等式

这与数列

是基本列的假设矛盾

从而闭区间

和

中，至少有一个子区间只含有数列

的有限多项

于是可在闭区间

中去掉只含有数列

的有限多项的子区间

或

如果子区间

和

都只含有数列

的有限多项，则任意去掉其中一个

将得到的新区间记为

显然

重复这一过程

将闭区间

三等分

令

，

可得三个长度相同的子区间

，

和

很显然，闭区间

和

中，至少有一个子区间只含有数列

的有限多项

于是可在闭区间

中去掉只含有数列

的有限多项的子区间

或

如果子区间

和

都只含有数列

的有限多项，则任意去掉其中一个

将得到的新区间记为

显然

这样不断重复下去，可得到一列闭区间套

，

，

显然满足

（

）

并且

（

）

显然闭区间套

满足：

每个闭区间

（

）都包含数列

从某项起的所有项

根据闭区间套定理，存在唯一的实数

即

，

（

）

所以对任意给定的

，存在

使得

且

也即

由于每个闭区间

都包含数列

从某项起的所有项

则存在

，对一切

，

即

也即

从而对任意给定的

，存在

，对一切

，

这说明数列

以

为极限

（二）使用Cauchy-Cantor闭区间套定理（二）

华东师范大学《数学分析》上册，P162——163

定光桂《极限论与微分学新探》，P31——33

设数列

是一个基本列

对于任意给定的

，存在

，使得对任意的

，

，有

从而有

也即闭区间

内含有数列

的除有限项外的所有项

令

，存在

使得闭区间

内含有数列

的除有限项外的所有项

将这个闭区间记为

再令

，存在

使得闭区间

内含有数列

的除有限项外的所有项

记

显然闭区间

也包含有数列

的除有限项外的所有项

这样不断令

重复下去

按上述方法，可得到一列闭区间套

，

，

显然满足

（

）

并且

（

）

显然闭区间套

满足：

每个闭区间

都含有数列

的除有限项外的所有项

根据闭区间套定理，存在唯一的实数

即

，

（

）

这样，对给定的

，存在

，使得对任意的

，

，有

且

而数列

的除有限项外的所有项都包含在

中

也即此时存在

，使得对任意的

，

即

也即

从而对任意给定的

，存在

，对一切

，

这说明数列

以

为极限

（三）使用Cauchy-Cantor闭区间套定理（三）

卓里奇《数学分析》第一卷，P72——73

设数列

是一个基本列

则它当然有界

对一切

，

令

，

显然有

这样可得到一列闭区间套

，

，

显然满足

（

）

根据闭区间套定理，存在实数

（

）

当

，

时

则当

，

时

数列

是一个基本列

则对于任意给定的

，存在

，使得对任意的

，

，有

即

从而当

，

时，有

从而当

，

时，有

又

则

从而对任意给定的

，存在

，对一切

，

这说明数列

以

为极限

Cauchy-Cantor闭区间套定理的证明

（一）使用Cantor单调有界收敛定理

菲赫金哥尔茨《微积分学教程》第一卷，P64——65

定光桂《极限论与微分学新探》，P30

常庚哲、史济怀《数学分析教程》上册，P28——29

许少溥、姜东平《数学分析教程》上册，P88——90

梅加强《数学分析》，P53——54

华东师范大学《数学分析》上册，P161——162

若

，

是一个闭区间套

则显然，数列

为单调增数列，且它存在上界

由Cantor单调有界收敛定理，数列

存在极限

，且

（

）

同理，数列

为单调减数列，且它存在下界

由Cantor单调有界收敛定理，数列

存在极限

，且

（

）

由于

（

），所以

不等式

对一切

都成立

又若

的长度

满足

即

则必有

此时有

对一切

都成立，即

（

）

则

假设

不是唯一的，存在数

也满足

对一切

都成立

则显然

则

或者

由极限的保序性

显然

，这证明了

的唯一性

（二）使用Cantor确界存在定理

许少溥、姜东平《数学分析教程》上册，P88——90

若

，

是一个闭区间套

则显然，数列

为非空数集，且它存在上界

由Cantor确界存在定理，数列

存在上确界

（

）

同理，数列

为单调减数列，且它存在下界

由Cantor确界存在定理，数列

存在下确界

（

）

接下来的证明同上一种证法

（三）使用Cauchy基本列收敛定理

定光桂《极限论与微分学新探》，P31——33

许少溥、姜东平《数学分析教程》上册，P117（习题）

若

，

是一个闭区间套

并且

则显然，对任意给定的

，存在

，对一切

，

并且对一切

，

则显然

这说明数列

和

均为基本列

由Cauchy基本列收敛定理，显然数列

和

均收敛

设数列

存在极限

而数列

存在极限

又

则必有

此时有

对一切

都成立，即

（

）

则

假设

不是唯一的，存在数

也满足

对一切

都成立

则显然

则

或者

由极限的保序性

显然

，这证明了

的唯一性