4.4 实数公理与第一次近似构造

为什么要先定义目标，再谈构造？

前面章节一直遵循同一个模式：

1. 先说清楚我们想要什么结构；
2. 再构造一个模型去满足这些结构；
3. 最后仔细验证构造。

对实数也采取同样做法。它不是一开始就把某个构造硬塞 给你，而是先说：实数应该具有什么结构性质。

这是很好的数学习惯。如果你连目标性质都没讲清楚，就算后面给出很漂亮 的构造，也会显得缺乏动机。

正式目标

这个定义把整个第 4 章浓缩成一句话：

实数就是一个没有遗漏最小上界与最大下界的有序域。

这个定理解释了为什么不同构造可以代表同一个 $R$。Dedekind 分割和 Cauchy 序列的内部形式很不同；但只要两个构造都满足完备有序域公理，它们 在本课程关心的结构上就是同一个实数系统。

为什么无限小数还不是完整答案

第一个直觉通常是：

“实数不就是一串无限小数吗？”

这个直觉有帮助，但 notes 指出，它还不是最干净的定义。

至少有两个原因：

• 同一个实数可能有多种小数表示，例如 0.9999\ldots = 1；
• 小数展开迫使你选择某个基底，例如十进位，但实数的概念本身不应依赖 这种任意选择。

因此，notes 并不是否定小数直觉，而是把它当成引路工具，带你走向更结 构化的构造。

近似的想法

假设一个实数非正式地写成

$$r=10.234890234809234\ldots$$

那么我们可以用有理数由下方与上方去逼近它：

$$10<r<11,$$ $$10.2<r<10.3,$$ $$10.23<r<10.24,$$

如此类推。

这就是 §4.7 的核心洞见：即使还未写出最后的正式构造，一个实数已经可 以通过越来越精细地“夹住它”的有理近似来理解。

把有理数分成左右两边

从这种近似观点出发，实数 r 会决定两个有理数集合：

$$A=\{q\in Q\mid q<r\}, \qquad B=\{q\in Q\mid q>r\}.$$

关键不只在符号，而在思想：实数可以被看成一条边界，把所有有理数分成 左边一堆与右边一堆。

这正是 Dedekind cut 构造的动机来源。§4.7 本身仍偏向动机说明，而未到 完全形式化，但它已经告诉你：实数应该是一个能通过比较去整理 $Q$ 的 对象。

§4.7 做了什么，还没有做什么

这个区分很重要。如果把 §4.7 当成最终定义，你就会忽略下一步的角色。这里 先建立动机，再把动机变成严格的数学对象。

快速检查

练习

相关笔记

请先读 4.3 完备性与 Q 的缺口。 然后继续读 4.5 Dedekind 分割与 Q 的嵌入， 那一页会把这里提到的 $Q$ 的左右分割正式变成实数的严格定义。