从有理数走向实数：三种看法

数学分析和高等代数正式开课以后，学习节奏一下子快了起来。高代目前还在跟着课堂往前走，数学分析却已经让我有些“听天书”的感觉：课上似乎能跟住几个符号，回头再看，又发现定义之间的关系没有真正接起来。

今天下午在图书馆重新翻了笔记，主要整理了三个彼此相关的主题：Dedekind 分割、Cauchy 基本列和阿基米德性质。它们都在回答同一个问题——怎样把有理数中原本存在的“空隙”补起来，得到完备的实数系。

Dedekind 分割：用一个集合表示边界

我原来把 Dedekind 的方法理解成“不断趋紧”，但严格来说，这更像 Cauchy 基本列的图景。Dedekind 分割并不先让一列数逐步靠近目标，而是直接把全部有理数分成下类和上类。

只看下类 A 时，它需要满足几个条件：A 非空且不等于整个 Q；如果 x ∈ A 且 y < x，那么 y ∈ A；同时 A 没有最大元。直观地说，A 收集了某个边界左边的全部有理数。即使这个边界不是有理数，例如 √2，集合 {q ∈ Q | q < √2} 仍然可以在有理数内部被描述出来。

于是，一个实数可以由这样的下类表示。两个实数的大小关系，也能转化为对应下类之间的包含关系。板书上写出的 r₁ < r₂ ⇔ A(r₁) ⊊ A(r₂)，就是把数轴上的先后顺序翻译成集合关系。

Cauchy 基本列：把趋向同一结果的过程归在一起

Cauchy 基本列的出发点不同。它关注的不是一个集合边界，而是一列有理数内部是否会越来越靠近。

有理数列 (aₙ) 是 Cauchy 列，意思是：任意给定 ε > 0，都存在 N，当 m,n > N 时，有 |aₘ-aₙ| < ε。这里不需要提前说出它收敛到谁，只检查足够靠后的项是否彼此接近。

仅把每一列 Cauchy 列都当作一个新实数还不够，因为不同的数列可能逼近同一个结果。例如，一列小数截断和另一列分数近似都可能趋向 √2。因此还要定义等价关系：当 aₙ-bₙ → 0 时，认为 (aₙ) 与 (bₙ) 等价。一个实数对应的不是某一条唯一的数列，而是一整个等价类。

现在我能初步看见这两种方法的共同点：Dedekind 把“同一条边界”编码成下类，Cauchy 方法把“同一个逼近结果”编码成等价类。它们的形式不同，目标都是把有理数中缺少的极限补出来。

阿基米德性质：再小的尺度也能被 1/n 追上

阿基米德性质可以表述为：对于任意正实数 x,y，总能找到自然数 n，使得 nx > y。换句话说，自然数在实数中没有上界。

课堂里更常用的等价形式是：对于每个 ε > 0，都存在自然数 n，使得 1/n < ε。

这里最容易混淆的是：1/n 永远大于 0，但随着 n 增大，它可以小到超过任何预先给定的正尺度。它不会“等于无穷小”，而是可以任意接近 0。这正是极限论证能够把误差压到任意小的基础。

板书上还有一个很实用的命题：如果对每个 ε > 0 都有 a < b + ε，那么 a ≤ b。证明可以用反证法。若假设 a > b，取 ε = (a-b)/2 > 0，则

b + ε = (a+b)/2 < a，

这与 a < b + ε 矛盾，因此只能有 a ≤ b。这个命题本身并不需要调用阿基米德性质，但两处都要求我认真理解“对任意正的 ε”究竟意味着什么。我以前会把“任意小的误差”当作一句直觉，现在才开始看到，它可以怎样参与严格证明。

还没有真正接上的地方

现在我能够分别复述三个概念，但还不能说已经掌握。Dedekind 分割里“没有最大元”为什么不可缺少，Cauchy 等价类上的加法、乘法为什么与代表元的选择无关，以及这两种构造如何严格对应，我都还需要继续看。

下一次复习时，我想先做两件具体的事：不用课本重新写出下类和 Cauchy 基本列的定义，再把“∀ε>0, a<b+ε ⇒ a≤b”的证明完整默写一遍。先让定义变得稳定，再谈更后面的完备性。