从分割到确界：实数理论课堂整理

今天课后，我把老师的板书、之前围绕实数构造提出的问题，以及这次关于上下界和确界的内容重新放到一起。单看每个定义时，我经常觉得它们只是几个互不相干的符号；连起来以后才初步看见，这些内容都在说明同一件事：实数轴为什么没有空隙，以及怎样把“无限接近”写成可以证明的语言。

从下类开始理解实数

Dedekind 的想法不是先找到一个无理数，再研究它附近的有理数，而是反过来：用边界左边的全部有理数来表示这个边界。

一个 Dedekind 下类 A 是有理数集 Q 的非空真子集。它向下封闭：若 a ∈ A 且 b < a，则 b ∈ A；同时它没有最大元素。下类本身是一整个集合，不是其中的某一个数，但在这种构造里，我们把这个集合整体看作一个实数。

例如，代表 √2 的下类可以写成 A = {q ∈ Q | q < 0 或 q² < 2}。这里加上 q < 0，是因为所有负有理数都位于 √2 左边。如果只写 q² < 2，像 −2 这样的数会因为平方大于 2 而被错误排除。

这一步让我纠正了原来的混淆：不是“下类里有一个数等于 √2”，而是“这一整个下类代表 √2”。要证明它真是一个合法下类，还必须逐项验证非空、不等于 Q、向下封闭和没有最大元素，不能只凭数轴图形判断。

十进制表示也是一种逼近

老师随后用了整数部分和小数部分。记 [x] 为不超过 x 的最大整数，则 x = [x] + {x}，其中 0 ≤ {x} < 1。负数最容易写错，例如 [−1.7] = −2，所以 −1.7 = −2 + 0.3。

循环小数也可以转回分数。若 y = 0.345345…，循环节有三位，则 1000y − y = 345，从而 y = 345/999。这提醒我，小数展开并不是一个模糊的近似记号；有限小数和循环小数都能严格对应有理数，而无限不循环小数则需要实数的完备性来承接。

阿基米德性质怎样推出有理数稠密性

阿基米德性质常用的形式是：对任意 ε > 0，都能找到自然数 n，使 1/n < ε。它的直观意思不是 1/n 变成了零，而是刻度 1/n 可以比任何预先给定的正长度更细。

若 a < b，为了在两者之间找到一个有理数，先取足够大的 n，使 1/n < b − a。再取整数 k = [na]，便有

k/n ≤ a < (k+1)/n。

令 r = (k+1)/n，左边已经给出 a < r。右边则来自

(k+1)/n = k/n + 1/n ≤ a + 1/n < b。

因此 a < r < b。老师板书里最容易让我卡住的 (k+1)/n < b，并不是突然得到的；真正起作用的是最开始特意选出的 1/n < b − a。这样就证明了任意两个不同实数之间都有有理数。

最大值、上界与上确界

最大值必须属于集合。上界只需要压住集合中的全部元素，不一定属于集合，而且通常有很多个。上确界 sup S 则是所有上界中最小的一个。

例如 S = (0,1) 没有最大值，因为每个 x < 1 后面都还能找到更大的集合元素；但它有上确界 1。用 ε 语言说，β = sup S 需要满足两件事：

1. 对所有 x ∈ S，都有 x ≤ β，所以 β 是上界；
2. 对所有 ε > 0，都存在 x₀ ∈ S，使 β − ε < x₀ ≤ β。

第二条表示集合中的数能从左边任意逼近 β。如果把天花板降低为 β − ε，就会有一个 x₀ 穿过去，所以任何比 β 小的数都不能继续做上界。

确界原理的两种理解

确界原理说：非空且有上界的实数集一定存在上确界。板书上的第一条路线，是令 B 为 S 的所有上界，再令 A = R \ B。若 a ∈ A、b ∈ B，必有 a < b；否则 a ≥ b 会使 a 也成为上界，与 a ∈ A 矛盾。由实数的连续性得到分界点 β，再证明它既是上界，又不大于任何其他上界，因此 β = sup S。

另一条路线更具体：从整数部分开始，逐位挑出集合中能够出现的最大十进制数字，得到 β = β₀.β₁β₂…。与 β 前 n 位相同的集合元素 x₀，满足 0 ≤ β − x₀ ≤ 10⁻ⁿ。给定 ε > 0，只要选 n 使 10⁻ⁿ < ε，就得到 x₀ > β − ε，正好验证上确界的逼近条件。

现在我能初步把主线写成：用 Dedekind 下类补上有理数的空隙，再用阿基米德性质控制任意小的刻度，最后用确界原理表达实数的完备性。不过，下类“没有最大元素”的严格证明，以及十进制构造中 0.999… = 1 这类双重表示，仍需要继续核对。

下一次复习，我准备不看板书，重新写一遍“有理数稠密性”和“上确界的 ε 判定”这两段证明。先把每个不等式为什么出现说清楚，再继续往数列极限走。