3.5 Q 的缺口与为什么 sqrt(2) 不是有理数

这一节开始，数系建构的重点会稍微转向。之前你一直在建构 $N$、$Z$ 和 $Q$，并检查它们的运算是否良定。现在要问的问题不同了：

$Q$ 是否已经包含了做次序与极限论证所需的所有数？

答案是否定的，而最经典的例子就是 $\sqrt{2}$。

先用直觉理解：稠密不等于完备

很多人第一次看到这题时，直觉会说：

“有理数已经那么多，怎么还会有缺口？”

这种想法把两个不同概念混在一起了。

• 稠密，意思是两个不同有理数之间总能再找到另一个有理数；
• 完备，意思是某些有上界的集合，真的会在你工作的数系里拥有最小上界。

这里正是用 $Q$ 来说明：稠密性并不能保证完备性。即使有理数排得很密， 仍然可能缺少某个关键的边界点。

从几何级数看一个警告

无限过程可以在每个有限阶段都给出有理信息，但整体却指向某个边界。最简单 的几何级数已经展示这种模式：

$$1+\frac12+\frac14+\cdots+\frac{1}{2^n}.$$

它的每个部分和都是有理数，而且都小于 2，但部分和会趋近 2。边界 不是某一个有限部分和，而是整个无限逼近过程所指向的数。

这个例子本身并不是 $\sqrt{2}$ 不在 $Q$ 的证明；它提醒我们，要分清楚 越来越好的有理近似，和那些近似正在逼近的极限或最小上界。

先讲清楚次序语言

“最小”这个词很重要。上确界不是随便一个上界，而是所有上界之中最贴近 集合的那一个。

这个集合怎样暴露出缺口

经典集合是

$$S = \{q \in Q \mid q^2 < 2\}.$$

这个集合把所有平方仍然小于 2 的有理数收集起来。

表面上，它似乎应该有一个有理边界。毕竟像 1、1.4、1.41 这些数 都在里面，而像 2 或 3/2 这些数都在它上方。

问题在于，那个真正的边界应该是 $\sqrt{2}$，而这个数并不在 $Q$ 里。

为什么 $S$ 在 $Q$ 中有上界

在证明 $S$ 在 $Q$ 中没有上确界之前，你应先确认：$S$ 的确是一个有上界 集合。

所以问题不是 $S$ 没有上界，而是：在所有有理上界之中，找不到最小那一 个。

为什么 $\sqrt{2}$ 不是有理数

先回顾最标准的反证法。

这一步很关键。若 $\sqrt{2}$ 真的是有理数，它便会是 $S$ 在 $Q$ 中最明 显的上确界候选；但反证法告诉你，这个候选点根本不在 $Q$ 里。

正式的缺口命题

讲义的做法，是把每个有理候选 s 分成三种情况处理。

这结果告诉你 $Q$ 缺了什么

这不只是一道关于某个特定集合的小技巧。

它告诉你：$Q$ 会漏掉某些次序上的极限。一个有上界的有理数集合，可以越 来越逼近某个边界，却始终找不到属于 $Q$ 的最小上界。

这正是讲义所说的：$Q$ 不完备。

常见错误

另一个常见错误，是以为上确界一定要属于集合本身。这也是错的。上确界 只需要是外层有序集合中的最小上界。

快速检查

练习

先备链接

如果你想先重温 $Q$ 的构造，可以先读 3.4 有理数与良定运算。