第11讲 实数系的完备性——六个互相等价的公理

前面十讲，我们一直在用一些看起来很显然的事实：

• "单调递增又有上界的数列，一定收敛"
• "闭区间上的连续函数一定能取到最大值"
• "有界数列一定有收敛子列"

用得很顺，但从没问过：它们凭什么成立？

它们在有理数里全部不成立。这不是危言耸听，这是数学史上真实发生过的事——古希腊人发现 $\sqrt{2}$ 不是有理数时，等于发现了有理数系有"洞"。

这一讲讲实数怎么把这些洞补上，以及补完之后得到了什么。这是数学分析的分水岭：从这里开始，"显然"不再够用，你必须说清依据。

先看有理数的洞

考虑这个数列：

$$1,\ 1.4,\ 1.41,\ 1.414,\ 1.4142,\ 1.41421,\ \dots$$

每一项都是有理数（$\sqrt{2}$ 的不足近似值），单调递增，有上界（比如 2）。

按有理数的规矩，它没有极限——极限是 $\sqrt{2}$，不是有理数。

数列被夹住了，却没有落脚点。 这个空缺就叫"洞"。

古希腊人为此危机感极强。毕达哥拉斯学派相信"万物皆数"（指有理数），结果发现正方形对角线长度没法用分数表示——传说中希帕苏斯因为这个发现被扔进了海里。

整整两千年，数学家都在绕开这些洞。直到 19 世纪，戴德金和康托尔用不同方法把洞补上，实数系才建立。

六条断言的等价关系

实数系的"无洞性"有六种等价的描述。它们看似讲不同的事，实际互相推出。这就是数学分析里最漂亮的结构之一。

一、确界原理（最根本）

任何一个非空有上界的数集，必有上确界（最小上界）。

反之，非空有下界的数集必有下确界。

"确界"和"最大值"不同。区间 $(0,1)$ 的上确界是 1，但它没有最大值——1 不在区间里。确界不要求被取到。

为什么说它最根本？ 因为其他五条都能从它推出来。它是那个"公理"级的东西。

二、单调有界定理

单调递增有上界的数列必收敛，极限就是它的上确界。

第三讲证过。证明用的是：设 $\xi = \sup\{a_n\}$，任给 $\varepsilon>0$，$\xi - \varepsilon$ 不再是上界，所以存在某一项 $a_N > \xi - \varepsilon$；又因递增，之后所有项都夹在 $\xi-\varepsilon$ 和 $\xi$ 之间。

注意它用了确界原理的哪一半——"$\xi - \varepsilon$ 不是上界，所以有项超过它"，这是确界定义的直接推论。

三、闭区间套定理

一列闭区间 $[a_1,b_1] \supseteq [a_2,b_2] \supseteq \cdots$，若长度趋于 0，则交集恰有一个点。

第五讲二分法证明零点定理时用了它。

它的成立依赖"闭"和"长度趋于 0"两个条件。换成开区间就塌：$\left(0, \dfrac{1}{n}\right)$ 是一列嵌套开区间，长度趋于 0，但交集是空集——那个点"0"根本不在任何区间里。

四、有限覆盖定理（海涅-博雷尔）

闭区间 $[a,b]$ 的任意开区间覆盖，必有有限子覆盖。

这条最抽象，但也最有力。它是"紧性"的一维版本，是现代分析的基石。

证明思路（反证）用二分法：假设没有有限子覆盖，则二分后的两个子区间至少一个不能被有限覆盖，选那个继续二分，得到区间套。由闭区间套定理，交集有一点 $c$。原覆盖中有一个开区间含 $c$，于是它含住了某个小区间——矛盾。

这条定理证明了另一件事：闭区间的性质，靠的是"有限"这个结构。

五、波尔查诺-魏尔斯特拉斯定理

有界数列必有收敛子列。

第五讲证最值定理时用了它。

它的证明：有界数列的所有项落在某个闭区间里，不断二分，每次选含无穷多项的那一半，得到区间套，交集一点就是子列的极限。

六、柯西收敛准则

数列收敛 ⟺ 它是基本列（柯西列）：任给 $\varepsilon>0$，存在 $N$，使 $n,m > N$ 时 $|a_n - a_m| < \varepsilon$。

这条和前五条性质不同——它不预设极限存在，而是只用数列自身判断收不收敛。

"$\Rightarrow$"好证（收敛列自身越挤越近）。"$\Leftarrow$"需要确界原理：基本列有界（取 $\varepsilon=1$），由第五条有收敛子列，其极限为 $L$；再证明整个列趋于 $L$。

柯西准则的价值在于：你不需要猜极限是多少，就能判断极限存不存在。 后面证明级数收敛，全靠它。

等价性是怎么建立的

真实教材里会花十几页把六条两两推一遍。这里只搭骨架，让你看见逻辑流向。

确界原理 ⟹ 单调有界：直接，第三讲已证。

单调有界 ⟹ 闭区间套：区间套的左端点递增有上界、右端点递减有下界，都收敛；又因长度趋于 0，两极限相等，即交点。

闭区间套 ⟹ 有限覆盖：就是上面那个反证。

有限覆盖 ⟹ 波尔查诺-魏尔斯特拉斯：把每个点包进一个长度递减的开区间，取其半径趋于 0 的子覆盖。

波尔查诺 ⟹ 柯西准则：柯西列有界，取收敛子列，其极限就是全列极限。

柯西准则 ⟹ 确界原理：二分构造法。设 $S$ 非空有上界，二分区间，每次保留含 $S$ 中元素的那半（且若上半也有 $S$ 的元素，优先保留下半以逼近上确界）。得到闭区间套，交点为 $\xi$，验证 $\xi$ 正是上确界。

十二条蕴含关系串成一个环。 六条断言，随便拿一条当公理，其余全部是定理。

不同的断言擅长不同证明

记六条不如记各自的"主场"：

要证什么	用哪条
单调数列收敛（如 $(1+1/n)^n$）	单调有界
连续函数有零点	闭区间套（二分法）
连续函数有最值	波尔查诺-魏尔斯特拉斯
级数收敛	柯西收敛准则
函数一致连续	有限覆盖定理
集有确界	确界原理本身

考试做题时，看到"单调"想单调有界，看到"有界"想波尔查诺，看到"级数收敛"想柯西。 这是可以用一辈子的经验。

一致连续：有限覆盖的主场

举一个能看出价值的应用。

一致连续比连续强。连续是"每一点各自连续"（$\delta$ 依赖 $\varepsilon$ 也依赖点），一致连续是"整个区间统一连续"（$\delta$ 只依赖 $\varepsilon$）。

定理（海涅-康托尔）：闭区间上的连续函数必定一致连续。

证明思路：任给 $\varepsilon>0$，每一点 $x$ 有一个邻域 $U_x$，使在邻域内函数值变化小于 $\varepsilon$。这些 $U_x$ 覆盖了 $[a,b]$。由有限覆盖定理，选出有限个 $U_{x_1},\dots,U_{x_k}$。 有限个邻域能取到统一的 $\delta$——这就是"一致"。

没有有限覆盖定理，这个证明做不出来。 而"一致连续"这个性质，第十二讲可积性、第十六反常积分判别，处处要用。

开区间上这件事会塌：$f(x) = 1/x$ 在 $(0,1)$ 上连续但不一致连续（趋向端点 0 时变化太快，任何统一 $\delta$ 都失效）。

讲给学生听时，讲什么

第一，讲"有理数有洞"这个事实。 学生从没被告知过有理数不够用。$\sqrt{2}$ 不是有理数这件事，两千年前是惊天动地的危机，今天只是一个填空题。

第二，六条等价不必全证，但要知道存在等价环。 这解释了为什么教材里各种"原理""定理"反复出现——它们是同一个东西的不同马甲。

第三，记住主场表。 六条记不住没关系，记住"什么题想什么工具"就够用了。

第四，开区间和闭区间的差别在这里显形。 前面讲过"闭区间"三个字删不得，这一讲给出了深层原因：闭区间才有有限覆盖，才有紧性，才有那些好性质。

思考与拓展

1. 用确界原理证明：非空有下界的数集必有下确界。（提示：考虑集合 $-S = \{-x : x \in S\}$。）
2. 数列 $a_n = 1 + \dfrac{1}{1!} + \dfrac{1}{2!} + \cdots + \dfrac{1}{n!}$ 单调递增有上界（用 2 试）。由单调有界定理它收敛。这个极限是谁？
3. 构造一列嵌套开区间，长度趋于 0，但交集为空。（提示：想想 $\sqrt{2}$。）
4. 为什么"闭区间套定理"里"长度趋于 0"这个条件不能少？举反例。（提示：$[0, \dfrac{1}{n}]$ 的交集是 $\{0\}$，单点。若把"长度趋于 0"换成"长度不趋于 0"，例如 $[0,n]$，交集是什么？）
5. $f(x) = x^2$ 在 $[0,1]$ 上一致连续，在 $\mathbb{R}$ 上不一致连续。用定义验证后者：任给 $\delta > 0$，找两点距离小于 $\delta$ 但函数值差很大。

一句话总结

实数把有理数的洞补上了，得到的等价公理有六条；确界原理是根，单调有界、闭区间套、有限覆盖、波尔查诺、柯西准则都能从它推出——记住各自的主场，比记住证明更重要。

附：本文涉及的史实出处

• 无理数的发现与第一次数学危机：公元前 5 世纪，毕达哥拉斯学派；希帕苏斯的传说见古典记载
• 实数的严格构造：戴德金分割（1872）、康托尔基本列（1872）
• 六条等价公理的体系化：19 世纪后期数学分析标准内容
• 有限覆盖定理（海涅-博雷尔定理）：海涅 1872 年对闭区间证明，博雷尔 1895 年推广
• 波尔查诺-魏尔斯特拉斯定理：波尔查诺 1817 年、魏尔斯特拉斯 1860 年代