第一卷 · 第 1–2 章 实数与极限：给数轴打下地基

数学分析全部大厦压在一个问题上："实数是什么，它凭什么连续无洞？"第 1-2 章用确界原理（或等价地用戴德金分割、柯西列）把数轴造严实，再用 $\varepsilon$-$N$ 语言把"极限"从直觉升级为定义。这是全书所有定理的出发点。

实数完备性：堵住有理数的洞

有理数稠密但有洞：$\sqrt{2}$、$\pi$ 不在其中，"单调有上界的数列"可以不收敛（如逐位逼近 $\sqrt{2}$ 的有理数列）。实数系补上所有的洞，换来的核心定理组（互相等价，知一推其余）：

• 确界原理：非空有上界的数集必有上确界；
• 单调有界定理：单调有上界数列必收敛；
• 区间套定理、有限覆盖（Heine-Borel）定理、聚点（Bolzano-Weierstrass）定理、柯西收敛准则。

学这一章的方法：选一个作为公理（通常取确界原理），亲手把另外两三个推出来——推完你对"完备性"的理解就过了第一关。

$\varepsilon$-$N$ 定义：极限的语法

翻译：你要多近（$\varepsilon$），我都能从某一项后（$N$）一直保持那么近。两个常见的理解坑：$N$ 不唯一、不必最小（存在就行）；$\varepsilon$ 必须任意（验证时不能代入特殊值）。先用定义硬证几个极限（$\frac{1}{n}\to 0$、$\frac{n+1}{n}\to 1$），手感来自"找 $N$"的放缩技巧。

极限的运算与收敛判据

四则运算、夹逼准则、单调有界定理是三大工具。经典例子 $\left(1+\frac{1}{n}\right)^n \to e$ 用单调有界证明——它示范了"没有单调性就构造单调性"的典型手法。

老师的提醒

• $\varepsilon$-$N$ 不是形式主义游戏：后面一致连续、一致收敛的辨析全靠这双眼睛，现在偷懒后面加倍还债。
• 六个完备性定理的互推建议做成一张图（谁推出谁），考试与理解双赢。

自检

• 有理数系缺什么？缺它导致哪个直观定理失效？
• 用 $\varepsilon$-$N$ 定义证明 $\frac{n}{n+1} \to 1$。
• 夹逼准则的使用前提是什么？

更深一层：完备性的"拓扑面孔"与"序面孔"

实数完备性通常以六个定理的面貌出现（确界原理、单调有界、区间套、有限覆盖、聚点定理、柯西准则），初学者容易把它们当六条孤立的结论背诵。更高级的理解是给它们分家庭：序面孔（确界原理、单调有界）依赖实数的"大小"结构，在一般空间里没有对应物；拓扑面孔（有限覆盖、聚点、区间套）只依赖"邻近"结构，因此可以原封不动地推广到 $\mathbb{R}^n$ 乃至度量空间——有限覆盖定理升格为"紧性"（开覆盖有有限子覆盖），聚点定理升格为"列紧性"（有界序列有收敛子列），且在 $\mathbb{R}^n$ 中两者等价（Heine-Borel 定理：紧 ⟺ 有界闭）。柯西准则则是完备性的标准定义，在任何柯西空间（有理数域不是、实数域是、$[0,1]$ 是、$(0,1)$ 不是）里直接适用。

这个分类的记忆红利是巨大的：后面学多元微积分时"有界闭集上连续函数有最值"、学泛函分析时"紧算子的性质"，全都来自拓扑面孔那一族——你在数学分析里证明过一次的东西，会在更高的楼里反复回收。

推导细读：从确界原理推单调有界定理的全过程

以"确界原理 ⟹ 单调有界定理"为例完整走一遍推导，体会公理化体系里"谁推谁"的手感。设 $\{a_n\}$ 单调递增有上界。第一步，令数集 $A = \{a_n\}$，它非空有上界，由确界原理存在上确界 $s = \sup A$。第二步，证明 $a_n \to s$：任给 $\varepsilon > 0$，由上确界的性质（$s - \varepsilon$ 不再是上界），存在某项 $a_N > s - \varepsilon$；再由单调性，$n > N$ 时 $a_n \ge a_N > s - \varepsilon$；另一方面 $a_n \le s < s + \varepsilon$。于是 $|a_n - s| < \varepsilon$ 对一切 $n > N$ 成立——收敛到 $s$，证毕。

注意证明里两次使用了上确界的两条特征性质："是最小上界"（任何更小的都不是上界）与"是上界"。这两条性质的反复出场正是确界原理的训练目的——它逼着你学会"用特征性质操作对象"而不是"背诵定义"。

反例实验室：三个"有理数域上不成立"的定理

理解完备性的最好办法是看它在 $\mathbb{Q}$ 上如何破产：

• 单调有界：$a_1 = 1$，$a_{n+1} = \frac{a_n}{2} + \frac{1}{a_n}$（牛顿法算 $\sqrt2$）——单调递减有下界，但在 $\mathbb{Q}$ 中不收敛（极限 $\sqrt2 \notin \mathbb{Q}$）；
• 区间套：逐位锁定 $\sqrt2$ 的区间套（$[1, 2] \subset [1.4, 1.5] \subset \dots$）长度趋于零，交集为空——"套不住任何东西"；
• 柯西准则：上述数列是柯西列（相邻项之差趋于零）但不收敛。

三个反例共享同一个根源：有理数域有"洞"。补上洞之后六条定理同时复活——这就是"完备性"作为一个整体概念的含义。

在真实世界里：ε-δ 语言的"工程翻译"

$\varepsilon$-$N$ 语言在现代工程里有三个直接后代。数值收敛判据：迭代法的"残差 < 1e-8"就是一个具体的 $\varepsilon$，而"$N$ 步后恒满足"就是收敛宣言——数值分析把存在量词换成了算法预算。控制系统的稳态精度：伺服电机的定位精度保证"$t > T$ 后误差 < 0.01°"——$\varepsilon$ 是精度、$T$ 是整定时间，稳定性理论（李雅普诺夫）给出的正是 $T(\varepsilon)$ 的显式估计。测量学的重复性声明："样本量 $n \ge 30$ 时均值估计误差以 95% 置信小于 $\varepsilon$"——大数定律与中心极限定理的 $\varepsilon$-$N$ 形态。学 $\varepsilon$-$N$ 不是学一种古董修辞，是学"给出可验证的精度承诺"这一工程通用语法。

专题深入：实数构造的三种路线与它们的取舍

实数系的构造有三条经典路线，各自的哲学值得对比。戴德金分割（有理数分割为左右两类的"切口"——最直观的几何构造：每个实数 = 一个有理数的划分）；柯西列完备化（有理柯西列的等价类——最"分析"的构造：把"应该收敛的点"本身定义为数）；公理化（不构造，只规定完备有序域的公理，证明同构唯一——最"代数"的立场：实数是什么不重要，满足什么性质才重要）。三条路线的终点同构，但教学效果不同：戴德金给你几何直觉、柯西列给你分析工具、公理化给你"性质优先于构造"的现代思维。朗道与卓里奇（Zorich）各取一路——选哪条路读，取决于你想要直觉还是工具。

数学细节展开：确界原理与"最小上界"的操作化

确界原理（非空有上界的数集必有上确界）的操作化在于它的两条特征性质：上确界是上界（所有元素 ≤ 它）+ 任何更小的都不是上界（存在任意接近它的元素）。这两条性质的反复出场是确界原理的训练目的——"用特征性质操作对象"而不是"背诵定义"。例题的手感：$\sup\{(-1)^n + 1/n\}$ 的求法——分奇偶看，偶数项给出最大值 1.5、奇数项给出下确界 -1（逼近但不达到）。"最大/最小"与"上/下确界"的区别（可达 vs 可逼近）是这个训练的核心收获。

工程案例细节：ε-N 语言在数值收敛判据中的翻译

$\varepsilon$-$N$ 语言在现代数值方法里的翻译值得展开：数值收敛判据（迭代法的"残差 < 1e-8"就是一个具体的 $\varepsilon$，"$N$ 步后恒满足"就是收敛宣言——数值分析把存在量词换成了算法预算）；控制系统的稳态精度（伺服电机的"$t > T$ 后误差 < 0.01°"——$\varepsilon$ 是精度、$T$ 是整定时间）；蒙特卡洛的样本量公式（"$n \ge N$ 时误差以概率 $1-\delta$ 小于 $\varepsilon$"——大数定律的 $\varepsilon$-$N$ 形态）。$\varepsilon$-$N$ 不是形式主义游戏，是"给出可验证的精度承诺"这一工程通用语法。