实数集的完备公理

                     

贡献者: JierPeter

预备知识 完备公理(戴德金分割)

   我们常见到一种争论,$0.\dot{9}$ 到底等不等于 $1$。实际上这个问题无法证明,而是被当作定义实数的公理之一,我们称之为完备性公理。你可以留意一下各种各样所谓的 “证明”,认为 $0.\dot{9}\neq 1$ 的论证通常都是否认了完备公理,而认为 $0.\dot{9}=1$ 的都默认了完备公理。

   用 $0.\dot{9}=1$ 来当作完备公理很不好用,我们通常使用本节介绍的的完备公理来描述实数的完备性,这些公理彼此是等价的,并且都可以推出 $0.\dot{9}=1$。

   我们先列举几条完备公理,再展开证明它们互推的逻辑链条。

1. 完备公理的表述

   由于几个完备公理是等价的,可以互推,因此实际建立理论时只挑其中一个作为公理体系的一部分,其它的都当作定理,这也导致我们也常把这几条公理称为 “定理”。因此,我们使用 “定理” 的格式来列举这几条完备公理。

定理 1 确界原理

   实数集的任何非空有界子集,必有一个实数上确界(见上确界与下确界)。

定理 2 单调有界收敛定理

   单调有界数列必有极限。

定理 3 (闭)区间套定理

   设 $a_n$ 是单调递增数列,$b_n$ 是单调递减数列,$b_n-a_n$ 恒为正数且收敛到 $0$,且 $[a_{n+1}, b_{n+1}]$ 都是 $[a_n, b_n]$ 的真子集。称这样的集合 $\{[a_n, b_n]_{n=1}^\infty\}$ 为一个(闭)区间套

   对于任意的区间套 $\{[a_n, b_n]\}$,存在唯一的实数 $x_0$ 使得 $x_0\in [a_n, b_n]$ 对任意正整数 $n$ 成立。

定理 4 Heine-Borel 有限覆盖定理

   设 $[a, b]$ 是一个区间,$C$ 是 $[a, b]$ 的一个开覆盖1,那么 $C$ 中存在有限个开集,使得其并集包含了 $[a, b]$。

定理 5 Bolzano 致密性定理

   有界无穷数列必有收敛子列。

定理 6 Weierstrass 聚点定理

   有界无穷点集必有聚点(定义 1 )。

定理 7 Cauchy 收敛准则

   数列 $\{a_k\}$ 收敛,当且仅当对于任意 $\epsilon>0$,存在 $N_\epsilon$ 使得对于任意 $m, n>N_\epsilon$,都有 $ \left\lvert a_m-a_n \right\rvert <\epsilon$。

   以上七条就是最常见的实数完备公理,任取其一都可以用来定义实数的完备性、而把其它的当成定理。

2. 完备性定理的互相推出

定理 1 $\to$ 定理 2

   首先,确界原理也等价于 “有界子集必有下确界”,只需要对子集里各实数取负值构成新的有界子集,取到新子集的上确界再取负值,就得到原子集的下确界了。因此我们这里不妨设单调有界数列是单调不减的,单调不增的证明方式完全一致。

   取单调不增有界数列的全体函数值 $\{a_n\}$,构成实数集的一个子集 $S$。由于是有界数列,故 $S$ 是有界点集。于是由定理 1 ,$S$ 有一个上确界 $a$。

   由数列单调性,$ \left\lvert a-a_n \right\rvert $ 随着 $n$ 的增大而减小。同时由上确界的定义,对于任意的 $\epsilon>0$,都存在 $N_\epsilon$,使得只要 $n>N_\epsilon$ 就有 $ \left\lvert a-a_n \right\rvert <\epsilon$,而这就是 $\{a_n\}$ 收敛于 $a$ 的定义。

定理 2 $\to$ 定理 3

   区间套中的 $\{a_n\}$ 和 $\{b_n\}$ 都是单调有界数列2,由定理 2 可知它们都收敛。

   设 $\{a_n\}$ 收敛到 $a$,$\{b_n\}$ 收敛到 $b$。

   由单调性,对任意 $n$ 都有 $ \left\lvert b_n-a_n \right\rvert \geq \left\lvert b-a \right\rvert $ 以及 $a, b\in [a_n, b_n]$。但是由区间套的定义,$ \left\lvert b_n-a_n \right\rvert $ 趋于零,故 $ \left\lvert b-a \right\rvert =0$,即 $a=b$。

   这么一来,$a=b$ 就是区间套中唯一的公共元素。

定理 3 $\to$ 定理 4

   反设存在 $[a, b]$ 的一个开覆盖 $S$,使得 $S$ 的任何有限子集都不能覆盖 $[a, b]$。不失一般性地,设 $S$ 中的元素都是开区间3

   将 $[a, b]$ 二等分为 $[a, \frac{a+b}{2}]$ 和 $[\frac{a+b}{2}, b]$,那么由假设,这两个二等分闭区间中至少有一个不能被 $S$ 中的有限子集覆盖。取一个不能被有限覆盖的二等分区间,记它为 $[a_1, b_1]$。

   由于 $[a_1, b_1]$ 也是不能被 $S$ 的有限子集覆盖的闭区间,故我们可以同样取出它的一个二等分区间 $[a_2, b_2]$,使得这个新的二等分区间不能被 $S$ 的有限子集覆盖。以此类推,我们可以取出一系列 $[a_k, b_k]$,其中每一个都不能被 $S$ 的有限子集覆盖。由于每一步都是取二等分,故 $ \left\lvert b_k-a_k \right\rvert =\frac{ \left\lvert b-a \right\rvert }{2^k}$,因此 $[a_k, b_k]$ 是一个区间套。

   由区间套定理,存在唯一的 $x_0\in[a, b]$ 使得 $x_0\in[a_k, b_k]$ 对所有 $k$ 成立。由于 $S$ 是覆盖,故 $S$ 中至少有一个元素是包含 $x_0$ 的,设这个元素是区间 $(a_0, b_0)$。设 $\min( \left\lvert x_0-a_0 \right\rvert , \left\lvert x_0-b_0 \right\rvert )=r$,那么取 $k$ 使得 $ \left\lvert b_k-a_k \right\rvert < r$,所对应的 $[a_k, b_k]$ 就是 $(a_0, b_0)\in S$ 的子集,于是 $[a_k, b_k]$ 就被 $S$ 的有限子集覆盖了,矛盾!

   因此反设不成立,$S$ 必有有限子覆盖。

定理 4 $\to$ 定理 5

   设 $\{x_k\}$ 是一个有界数列,即存在实数 $a< b$ 使得 $a< x_k< b$ 对任意 $k$ 都成立。

   如果 $s\in(a, b)$ 不是 $\{x_k\}$ 任何子列的收敛点,那么必然存在 $r_s>0$ 使得 $\{x_k\}\cap (s-r_s, s+r_s)=\{s\}$,即数列中没有除了 $s$ 本身外的元素到 $s$ 的距离小于 $r_s$4

   反设 $\{x_k\}$ 没有收敛子列,即任何 $s\in(a, b)$ 都不是其收敛点。按上段论述,我们就可以对每一个 $s$ 取一个半径 $r_s$,使得 $(s-r_s, s+r_s)$ 中只有数列的一个元素。对所有 $s\in(a, b)$ 都取这样的区间,则我们就得到了 $[a, b]$ 的一个开覆盖。由有限覆盖定理,存在有限多个 $s$ 和 $r_s$ 的组合,使得对应的 $\{(s-r_s, s+r_s)\}$ 是有限子覆盖。这么一来,$\{x_k\}$ 的取值就在这些 $s$ 中,即只有有限多取值。但是我们有可数无穷多个 $x_k$,所以其中必有无穷多个等于同一个 $s$,它们就能构成一个收敛子列。矛盾!

   因此反设不成立,$\{x_k\}$ 必有收敛子列。

定理 5 $\to$ 定理 6

   因为有无穷多个点,所以我们可以每次取一个出来,每次取的都和前面不重复。这样,我们就得到一个有界无穷数列。由致密性定理,该数列必有收敛点。该收敛点就是该点集的聚点。

定理 6 $\to$ 定理 7

   回顾数列收敛的定义:$\{a_n\}$ 收敛,当且仅当存在实数 $a$ 使得 $\lim\limits_{n\to \infty} \left\lvert a_n-a \right\rvert =0$。我们要证明当定理 6 成立时,定理 7 的设定(Cauchy 收敛准则)等价于数列收敛的定义。

   给定数列 $\{a_k\}$,使得 $\epsilon>0$,存在 $N_\epsilon$ 使得对于任意 $m, n>N_\epsilon$,都有 $ \left\lvert a_m-a_n \right\rvert <\epsilon$。于是这个数列是有界数列,其值域是一个有界无穷点集。由聚点定理,存在一个 $x_0$,使得它是 $\{a_k\}$ 值域的一个聚点。

   任取 $\epsilon>0$,由聚点的定义,必然存在无穷多个 $a_k$ 使得 $ \left\lvert a_k-x_0 \right\rvert <\epsilon$;由题设,存在 $N_\epsilon$ 使得对于任意 $m, n>N_\epsilon$,都有 $ \left\lvert a_m-a_n \right\rvert <\epsilon$。综合起来,存在一个 $M_\epsilon$,使得对于任意 $r>M_\epsilon$,都有 $ \left\lvert a_r-a_{M_\epsilon} \right\rvert <\epsilon$,且 $ \left\lvert a_{M_\epsilon}-x_0 \right\rvert <\epsilon$。因此 $ \left\lvert a_r-x_0 \right\rvert <2\epsilon$。

   重新整理一下以上表述,就是:任取 $\epsilon>0$,存在 $M_\epsilon$,使得对于任意 $r>M_\epsilon$,都有 $ \left\lvert a_r-x_0 \right\rvert <2\epsilon$。这正是 $\{a_k\}$ 收敛于 $x_0$ 的定义。因此 定理 7 的设定可以推出数列收敛。

   反过来,如果数列收敛则 Cauchy 收敛准则也成立。

定理 7 $\to$ 定理 1

   取一个非空有界实数集 $S$,已知它有一个上界 $a_0$。由于 $S$ 非空,故存在 $b_0< a_0$,且 $b_0\in S$。

   在线段 $b_0a_0$ 上取中点 $x$,看这个中点是不是 $S$ 的上界,如果不是就再取 $x$ 和 $a_0$ 的中点,以此类推,直到取的某一个中点是上界,把这个中点记为 $a_1$。当然,我们不能保证 $a_1$ 一定存在,因此要分类讨论。

   如果 $a_1$ 不存在,等价于任何小于 $a_0$ 的实数都不是 $S$ 的上界,那这说明 $a_0$ 就是 $S$ 的上确界了,故上确界存在。以下假设 $a_1$ 是存在的。

   取 $a_1=\frac{2^{s}-1}{2^{s}}b_0+\frac{1}{2^{s}}a_0$ 和 $b_1>\frac{2^{{s}-1}-1}{2^{{s}-1}}b_0+\frac{1}{2^{{s}-1}}a_0$,使得 $b_1\in S$。这里的 $s$ 就是我们取中点直到得到 $a_1$ 的次数。接下来,对线段 $b_1a_1$ 进行相同的逐次取中点操作,直到得到第一个是 $S$ 上界的中点 $a_2$,取比 $a_2$ 的前一个中点大的 $b_2\in S$。如果其中有任何一个 $a_k$ 无法取到,那么 $a_{k-1}$ 就是 $S$ 的上确界,故我们以下假设 $a_k$ 总能取到。以此类推,得到两个数列 $\{a_k\}$ 和 $\{b_k\}$。

   考虑到 $\sum\limits_{k=1}^\infty \frac{1}{2^k}=1$,而由我们取中点的过程可知 $ \left\lvert a_{k+1}-a_k \right\rvert <\frac{ \left\lvert a_0-b_0 \right\rvert }{2^k}$,加上 $\{a_k\}$ 是递减数列,因此可知对于任意正整数 $m$ 都有 $ \left\lvert a_{k+m}-a_k \right\rvert <\frac{ \left\lvert a_0-b_0 \right\rvert }{2^{k-1}}$,即 $\{a_k\}$ 满足柯西收敛准则。

   由定理 7 ,可知必存在 $a\in\mathbb{R}$ 是 $\{a_k\}$ 的极限。下证 $a$ 就是 $S$ 的上确界。

   反设 $a$ 不是 $S$ 的上确界,即存在 $x< a$ 是 $S$ 的上界。由于总存在正整数 $k$ 使得 $ \left\lvert a_k-b_k \right\rvert < \left\lvert a-x \right\rvert $,这就和 $a_k>a, x\geq b_k$ 矛盾了。故反设不成立,$a$ 就是 $S$ 的上确界。

3. 总结

   我们按定理 1 $\to$定理 2 $\to$定理 3 $\to$定理 4 $\to$定理 5 $\to$定理 6 $\to$定理 7 $\to$定理 1 的顺序完成了证明闭环。这个顺序只是笔者任意选定的,读者也可以尝试其中任意两个定理的互相证明,比如定理 5 定理 6 之间的互相证明。

   每个定理,或者说公理,都从各自的角度刻画了 “实数不存在缝隙” 这一性质。它们都和完备公理(戴德金分割)中的定理 1 等价。

习题 1 

   证明确界原理定理 1 和实数的完备公理定理 1 等价。

   实际建立实数理论时,本节介绍的七条公理,或者也可以加上定理 1 ,任选其一来描述实数的完备性即可,又或者利用本节的结论将它们看成同一个公理的不同描述,实践中哪个方便证明就用哪个。

习题 2 

   使用本节以及完备公理(戴德金分割)中介绍的八条公理,证明 $0.\dot{9}=1$。注意 $0.\dot{9}$ 被 4 定义为数列 $\{0.9, 0.99, 0.999, 0.9999\cdots\}$ 的极限。


1. ^ 即 $C$ 是开集的集合,使得 $C$ 中所有开集的并包含了 $[a, b]$。实数轴上的开集是指开区间的并。
2. ^ 比如说,$\{b_n\}$ 是单调不增的,因此 $b_1$ 是其上界;同时由于 $b_n>a_1$,$a_1$ 也就是其下界。
3. ^ 可以这样简化是因为开集都是开区间的并集。
4. ^ 这是因为,“$s$ 是某个子列的收敛点” 等价于 “对于任意的距离 $r$,都存在数列的元素,其靠近 $s$ 的距离小于 $r$”。将这一表述否定,就得到本段的表述了。


致读者: 小时百科一直以来坚持所有内容免费无广告,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元,我们一周就能脱离亏损, 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。

                     

友情链接: 超理论坛 | ©小时科技 保留一切权利