实数系的七个基本定理
我们假定实数的完备性(连续性)公理是:
0 戴德金原理 Dedekind completeness
实数系还有七个关于连续性的基本定理,它们分别是:
- 确界存在原理 least-upper-bound property
- 单调有界定理 monotone convergence theorem
- 闭区间套定理 nested convergence theorem
- 有限覆盖定理 Heine-Borel theorem
- 聚点定理 Bolzano-Weierstrass theorem
- 致密性定理 Bolzano-Weierstrass theorem
- 柯西收敛原理 Cauchy completeness
【注】聚点定理和致密性定理的本质是相同的,可以看做是同一个定理。
七个定理等价性的证明路径
下面我们证明,这七个定理(再加上戴德金原理)是等价的。证明路径是:
链条一
公理0↔公理0'↔定理1
(其中公理0'是戴德金原理的等价命题。链条一意味着实数连续性的两种表述:戴德金原理和确界存在原理,是等价的。更详细的信息,见实数的定义)
链条二
定理1→定理2→定理3→定理4→定理5→定理6→定理7
链条三
定理7→定理3→定理1
画成有向图就是:
![8ba8a6de44f62991859b9cd8b7aee89a.png](https://i-blog.csdnimg.cn/blog_migrate/0b590bae51a2a355969b239d3efce5a8.jpeg)
从上图就可以看出,这七个定理(再加上戴德金原理)是彼此等价的。
链条一
0 戴德金原理 对的任何非空子集![]()
和
若,
,则
![]()
我们对此命题换一种表述:
0' 戴德金原理(等价表述) 如果两个集合和
①满足如下性质:
②
③
那么![]()
![]()
下面先证明这两种表述是等价的。
0→0'
证明:这是显然的。
0'→0
证明:定义
情况1:如果
情况2:如果不是情况1 ,那么
假设
由原理0',
下面我们证明戴德金原理和确界存在原理是等价的。
0'→1
1 确界存在原理 对的任何非空子集
, 若
在
内有上界,则
在
内有上确界。![]()
证明:定义集合
下面说明
①:因为
②:由
③:任取
由①②③和原理0'知
(1)在①中已证
(2)因为
由(1)(2)知
1→0'
0' 戴德金原理(等价表述) 如果两个集合和
满足如下性质: ①
②
③
那么![]()
![]()
证明:因为
(1)如果
(2)如果
(2.1)如果
(2.2)如果
综上所述,总能找到
链条二
1 确界存在原理 对的任何非空子集
若,
在
内有上界,则
在
内有上确界。
在本链条中,我们以确界存在原理为起点。
1→2
2 单调有界定理 如果数列单调递增且有上界,那么该数列收敛。
证明:设数列
由上确界的定义,
对上述
即
综上,
2→3
3 闭区间套定理 如果数列和
①满足以下两个条件:
②
那么以下两个结论成立: ①![]()
(该极限值记为
) ② 上述
是满足![]()
的唯一实数。
结论①的证明:由条件①
数列
由单调有界定理知
由极限的减法知
结论②的证明:(存在性)由单调有界定理的证明过程可知
由上、下确界的定义知
(唯一性)设另一个
又
3→4
4 有限覆盖定理 如果开区间所形成的开区间集覆盖一个闭区间
,那么总可以从
中选取有限个开区间,使得这有限个开区间覆盖
。
证明:用反证法。假设
等分
①每一个闭区间
②
③
由②③,根据闭区间套定理知
由覆盖的定义知
由数列极限的保序性知道,
也即
4→5
5 聚点定理 每个上无穷、有界的子集
都有至少一个聚点。![]()
证明:因为
反证法。假设
5→6
6 致密性定理 任一有界数列都有收敛的子列。
证明:设数列
如果
如果
6→7
7 柯西收敛原理 数列收敛的充要条件是
![]()
必要性的证明:由
充分性的证明:先证明一个引理。
引理:有界。
引理的证明:由条件,对于,有
。取
,则
,故
,即
某项以后有界,故
有界。
由条件,
连起来
链条三
7 柯西收敛原理 数列收敛的充要条件是![]()
![]()
在本链条中,我们以柯西收敛原理为起点。
7→3
3 闭区间套定理 如果数列和
满足以下两个条件: ①
②
那么以下两个结论成立: ①
(该极限值记为
) ② 上述
是满足
的唯一实数。![]()
①的证明:不妨设
②的证明:(存在性)先证明
(唯一性)设另一个
又
3→1
1 确界存在原理 对的任何非空子集
, 若
在
内有上界,则
在
内有上确界。![]()
证明:假设
显见
若
若
这样就得到闭区间套
(1)反证法。假设
(2)反证法。假设
综合(1)(2)知
微妙之处
- 严格来说,上述8个命题不都是等价的,其中闭区间套定理和柯西收敛原理要稍弱于其他6个(闭区间套等价于柯西收敛,其他那6个也是互相等价的)。这是因为,其他6个都足以推出阿基米德性质,但闭区间套定理和柯西收敛原理还不足以推出阿基米德性质。在满足阿基米德性质的假定下,这8个确实是彼此等价的。一般我们把柯西收敛原理刻画的性质叫完备性(completeness,这是作为度量空间的完备性),把戴德金公理或确界存在定理刻画的性质叫连续性(continuity)。这表明完备性稍弱于连续性。
- 介值定理(Intermediate Value Theorem, IVT)与实数的各个连续性定理(除闭区间套定理和柯西收敛原理的那6个)是等价的。注意到连续函数的定义并没有涉及到实数的连续性(完备性)。
- 综上,戴德金公理=确界存在定理=单调有界定理=有限覆盖定理=聚点定理=致密性定理=介值定理=闭区间套定理+阿基米德性质=柯西收敛原理+阿基米德性质(更简单地,连续性=完备性+阿基米德性质);闭区间套定理=柯西收敛原理。
新版声明
本文近期(2020.10)将更新,主要是加入阿基米德性质。新的图如下所示
![e91798295949138145a326b9f279c44d.png](https://i-blog.csdnimg.cn/blog_migrate/5aab4d9ce6bc51c0b230ba3588459092.jpeg)
上图中8表示阿基米德性质。目前缺少的环节是:2→4,6→1,3→7,1→8
点此回到目录