数学公理体系大全:Comprehensive Collection of Mathematical Axiom Systems(卷3.2)

第十章实数公理体系：完备有序域

实数 R\mathbb{R}R 是整个分析学的舞台。极限、连续性、微积分基本定理，所有这一切都取决于实数集的一条根本性质------完备性。在公理化处理中，实数是满足三条支柱的唯一结构：它是一个域，它是有序的，它是完备的。而完备性有多种等价的表达方式，彼此交织成一张精密的逻辑之网。这组公理不仅是实数构造的"验收标准"，更是分析学全部定理的逻辑发源地。

10.1 实数公理（完备有序域）

一个结构 (R,+,⋅,≤)(\mathbb{R}, +, \cdot, \le)(R,+,⋅,≤) 称为一个完备有序域，当且仅当满足以下三组公理：

第一组：域公理

(R,+,⋅)(\mathbb{R}, +, \cdot)(R,+,⋅) 是一个域。即对任意 a,b,c∈Ra, b, c \in \mathbb{R}a,b,c∈R：

加法结合律 ：(a+b)+c=a+(b+c)(a + b) + c = a + (b + c)(a+b)+c=a+(b+c)
加法交换律 ：a+b=b+aa + b = b + aa+b=b+a
加法单位元 ：存在 000 使得 a+0=aa + 0 = aa+0=a
加法逆元 ：对于每个 aaa，存在 −a-a−a 使得 a+(−a)=0a + (-a) = 0a+(−a)=0
乘法结合律 ：(a⋅b)⋅c=a⋅(b⋅c)(a \cdot b) \cdot c = a \cdot (b \cdot c)(a⋅b)⋅c=a⋅(b⋅c)
乘法交换律 ：a⋅b=b⋅aa \cdot b = b \cdot aa⋅b=b⋅a
乘法单位元 ：存在 1≠01 \neq 01=0 使得 a⋅1=aa \cdot 1 = aa⋅1=a
乘法逆元 ：若 a≠0a \neq 0a=0，存在 a−1a^{-1}a−1 使得 a⋅a−1=1a \cdot a^{-1} = 1a⋅a−1=1
分配律 ：a⋅(b+c)=a⋅b+a⋅ca \cdot (b + c) = a \cdot b + a \cdot ca⋅(b+c)=a⋅b+a⋅c

第二组：全序公理

≤\le≤ 是 R\mathbb{R}R 上的全序关系（自反、反对称、传递、任意两元素可比），且与域运算兼容：

加法保序 ：a≤b ⟹ a+c≤b+ca \le b \implies a + c \le b + ca≤b⟹a+c≤b+c
乘法保序 ：若 0≤a0 \le a0≤a 且 0≤b0 \le b0≤b，则 0≤a⋅b0 \le a \cdot b0≤a⋅b（等价于：若 a≤ba \le ba≤b 且 c≥0c \ge 0c≥0，则 ac≤bcac \le bcac≤bc）

第三组：完备性公理

确界原理 ：任何非空有上界的子集 S⊆RS \subseteq \mathbb{R}S⊆R 必有上确界（最小上界），记作 sup⁡S\sup SsupS。

定义：设 S⊆RS \subseteq \mathbb{R}S⊆R 非空。MMM 称为 SSS 的上界，如果对所有 s∈Ss \in Ss∈S 有 s≤Ms \le Ms≤M。MMM 称为 SSS 的上确界 ，如果 MMM 是 SSS 的上界，并且对任意 ε>0\varepsilon > 0ε>0，存在 s∈Ss \in Ss∈S 使得 s>M−εs > M - \varepsilons>M−ε（即任何小于 MMM 的数都不是上界）。下确界 inf⁡S\inf SinfS 类似定义。

这三组公理共同定义了实数系。值得注意的是，有理数域 Q\mathbb{Q}Q 满足前两组公理（有序域），但不满足完备性公理。完备性正是实数区别于有理数的核心所在。

10.2 唯一性定理：实数只有一个

实数的公理化处理有一个惊人的结果：满足完备有序域公理的结构在同构意义下是唯一的。这意味着，无论我们用何种方式"构造"实数------戴德金分割、柯西序列、十进制无穷小数、区间套------只要它满足这十二条公理，我们就得到了完全相同的实数系。实数概念因此从具体的构造细节中被解放出来，成为公理直接刻画的对象。

定理 10.2.1（完备有序域的唯一性）

若 (R1,+1,⋅1,≤1)(\mathbb{R}_1, +_1, \cdot_1, \le_1)(R1,+1,⋅1,≤1) 和 (R2,+2,⋅2,≤2)(\mathbb{R}_2, +_2, \cdot_2, \le_2)(R2,+2,⋅2,≤2) 都是完备有序域，则存在唯一的保序域同构 Φ:R1→R2\Phi: \mathbb{R}_1 \to \mathbb{R}_2Φ:R1→R2。

证明（详细构造）：

定义有理数子域的同构 ：在任意有序域中，存在唯一的嵌入 ι:Q→R\iota : \mathbb{Q} \to \mathbb{R}ι:Q→R 保持 0,10,10,1 及加乘序。这是因为任何有序域的特征为 000，且通过反复加 111 可唯一地标识自然数，然后通过商和差得到有理数。因此我们可以同构地将两个模型中的"有理数"子域等同起来。记 Q1=ι1(Q)⊆R1\mathbb{Q}_1 = \iota_1(\mathbb{Q}) \subseteq \mathbb{R}_1Q1=ι1(Q)⊆R1，Q2=ι2(Q)⊆R2\mathbb{Q}_2 = \iota_2(\mathbb{Q}) \subseteq \mathbb{R}_2Q2=ι2(Q)⊆R2，以及同构 ϕ0:Q1→Q2\phi_0 : \mathbb{Q}_1 \to \mathbb{Q}_2ϕ0:Q1→Q2 定义为 ϕ0(ι1(q))=ι2(q)\phi_0(\iota_1(q)) = \iota_2(q)ϕ0(ι1(q))=ι2(q)。
延拓至整个 R1\mathbb{R}_1R1 ：对任意 x∈R1x \in \mathbb{R}_1x∈R1，考虑其下有理数集合 Ax={q∈Q1∣q≤1x}A_x = \{ q \in \mathbb{Q}_1 \mid q \le_1 x \}Ax={q∈Q1∣q≤1x}。因为 Q1\mathbb{Q}_1Q1 在 R1\mathbb{R}_1R1 中稠密（阿基米德有序域的推论）且 xxx 有上界，故 AxA_xAx 非空有上界。定义

Φ(x)=sup⁡2{ϕ0(q)∣q∈Ax}=sup⁡2ϕ0(Ax) \Phi(x) = \sup_2 \{ \phi_0(q) \mid q \in A_x \} = \sup_2 \phi_0(A_x) Φ(x)=2sup{ϕ0(q)∣q∈Ax}=2supϕ0(Ax)

由于 R2\mathbb{R}_2R2 完备，上确界存在。
验证 Φ\PhiΦ 的性质：
- 保持序 ：若 x≤1yx \le_1 yx≤1y，则 Ax⊆AyA_x \subseteq A_yAx⊆Ay，故 sup⁡ϕ0(Ax)≤2sup⁡ϕ0(Ay)\sup \phi_0(A_x) \le_2 \sup \phi_0(A_y)supϕ0(Ax)≤2supϕ0(Ay)。且若 x<1yx <_1 yx<1y，由有理数稠密性存在 q∈Q1q \in \mathbb{Q}_1q∈Q1 使 x<1q<1yx <_1 q <_1 yx<1q<1y，则 Φ(x)≤2ϕ0(q)<2Φ(y)\Phi(x) \le_2 \phi_0(q) <_2 \Phi(y)Φ(x)≤2ϕ0(q)<2Φ(y)，故 Φ\PhiΦ 是严格保序的，从而是单射。
- 保持加法 ：需证 Φ(x+1y)=Φ(x)+2Φ(y)\Phi(x +_1 y) = \Phi(x) +2 \Phi(y)Φ(x+1y)=Φ(x)+2Φ(y)。利用 Ax+yA{x+y}Ax+y 近似于 Ax+AyA_x + A_yAx+Ay 并通过确界性质，可严格论证。
- 保持乘法：类似，分正负情况处理。
- 满射性 ：对任意 y∈R2y \in \mathbb{R}_2y∈R2，考虑集合 B={q∈Q2∣q<2y}B = \{ q \in \mathbb{Q}_2 \mid q <_2 y \}B={q∈Q2∣q<2y}。由于 ϕ0\phi_0ϕ0 是双射，存在 Q1\mathbb{Q}_1Q1 中对应的集合，令 x=sup⁡1{ϕ0−1(q)∣q∈B}x = \sup_1 \{ \phi_0^{-1}(q) \mid q \in B \}x=sup1{ϕ0−1(q)∣q∈B}。由完备性 R1\mathbb{R}_1R1 存在此上确界，并验证 Φ(x)=y\Phi(x)=yΦ(x)=y。
唯一性 ：若 Φ\PhiΦ 和 Ψ\PsiΨ 是两个保序域同构，则它们在嵌入的 Q\mathbb{Q}Q 上必然一致（因保持 0,10,10,1 必然保持所有有理数）。对任意 xxx，由于 Q1\mathbb{Q}_1Q1 在 R1\mathbb{R}_1R1 中稠密，集合 AxA_xAx 的像必须相同，从而 Φ(x)=sup⁡ϕ0(Ax)=Ψ(x)\Phi(x) = \sup \phi_0(A_x) = \Psi(x)Φ(x)=supϕ0(Ax)=Ψ(x)。∎

这一定理极其深刻，它彻底解答了"实数是什么"的存在论问题：满足公理的那个东西就是实数，且它是唯一的。从此，我们可以自由地使用任何一种构造下的直观，而确信它们都是同一对象的不同化身。

10.3 实数构造一：戴德金分割

戴德金（Richard Dedekind）在1872年提出了一个精妙的构想：每个实数对应于有理数集合的一种"切割"。不需要任何几何直觉，仅用有理数的序结构即可定义完整的连续统。

定义 10.3.1（戴德金分割） 有序对 (A,B)(A, B)(A,B) 称为 Q\mathbb{Q}Q 的一个戴德金分割，若满足：

A,BA, BA,B 皆非空，A∩B=∅A \cap B = \varnothingA∩B=∅，A∪B=QA \cup B = \mathbb{Q}A∪B=Q
对所有 a∈A,b∈Ba \in A, b \in Ba∈A,b∈B，有 a<ba < ba<b（即 AAA 的每个元素都小于 BBB 的每个元素）
AAA 无最大元

记所有分割的集合为 RD\mathbb{R}_{\text{D}}RD。直观上，分割 (A,B)(A, B)(A,B) 代表"恰好在 AAA 和 BBB 之间的那个数"。例如，实数 2\sqrt{2}2 对应分割：

A={q∈Q∣q2<2∨q<0},B=Q∖A A = \{q \in \mathbb{Q} \mid q^2 < 2 \lor q < 0\}, \quad B = \mathbb{Q} \setminus A A={q∈Q∣q2<2∨q<0},B=Q∖A

注意 AAA 无最大元，因为 2\sqrt{2}2 是无理数。

序：定义 (A1,B1)≤(A2,B2)(A_1, B_1) \le (A_2, B_2)(A1,B1)≤(A2,B2) 当且仅当 A1⊆A2A_1 \subseteq A_2A1⊆A2。这是全序。

加法：(A1,B1)+(A2,B2)=(A3,B3)(A_1, B_1) + (A_2, B_2) = (A_3, B_3)(A1,B1)+(A2,B2)=(A3,B3)，其中 A3={a1+a2∣a1∈A1,a2∈A2}A_3 = \{a_1 + a_2 \mid a_1 \in A_1, a_2 \in A_2\}A3={a1+a2∣a1∈A1,a2∈A2}，B3=Q∖A3B_3 = \mathbb{Q} \setminus A_3B3=Q∖A3。需验证 (A3,B3)(A_3,B_3)(A3,B3) 仍是分割，且加法良定。

乘法：对于正分割（即 AAA 包含正有理数的分割），可类似定义：A3={a1a2∣a1∈A1+,a2∈A2+}∪{q≤0}A_3 = \{a_1 a_2 \mid a_1 \in A_1^+, a_2 \in A_2^+\} \cup \{q \le 0\}A3={a1a2∣a1∈A1+,a2∈A2+}∪{q≤0}，其中 A+=A∩Q+A^+ = A \cap \mathbb{Q}^+A+=A∩Q+。对于含零或负的分割，可先分解为正负再定义，细节稍繁但完全可行。

完备性验证 ：设 S⊆RD\mathcal{S} \subseteq \mathbb{R}_{\text{D}}S⊆RD 非空有上界。定义 A=⋃{Ai∣(Ai,Bi)∈S}A = \bigcup \{ A_i \mid (A_i,B_i) \in \mathcal{S} \}A=⋃{Ai∣(Ai,Bi)∈S}，B=Q∖AB = \mathbb{Q} \setminus AB=Q∖A。需验证 (A,B)(A,B)(A,B) 是一分割，且恰为 S\mathcal{S}S 的上确界。因为每个 AiA_iAi 无最大元，并集 AAA 也无最大元；并集非空有上界保证了 BBB 非空。确界性质直接由并集的最小上界性得到。

因此，戴德金分割具体地构造出了一个完备有序域。

10.4 实数构造二：柯西序列完备化

康托（Georg Cantor）提供了另一种构造：实数是有理数柯西序列的等价类。这一构造更贴近现代分析中"完备化"的标准技术，广泛应用于度量空间和泛函分析。

定义 10.4.1 设 (xn)(x_n)(xn) 是有理数序列。

(xn)(x_n)(xn) 称为柯西序列 ，若满足
∀ε∈Q+ ∃N∈N ∀m,n≥N (∣xm−xn∣<ε) \forall \varepsilon \in \mathbb{Q}^+ \; \exists N \in \mathbb{N} \; \forall m,n \ge N \;(|x_m - x_n| < \varepsilon) ∀ε∈Q+∃N∈N∀m,n≥N(∣xm−xn∣<ε)
在全体柯西序列的集合上定义等价关系：
(xn)∼(yn) ⟺ lim⁡n→∞∣xn−yn∣=0 (x_n) \sim (y_n) \iff \lim_{n\to\infty} |x_n - y_n| = 0 (xn)∼(yn)⟺n→∞lim∣xn−yn∣=0
（即 ∀ε∈Q+∃N∀n≥N(∣xn−yn∣<ε)\forall \varepsilon \in \mathbb{Q}^+ \exists N \forall n \ge N (|x_n - y_n| < \varepsilon)∀ε∈Q+∃N∀n≥N(∣xn−yn∣<ε)）

实数集 RC\mathbb{R}_{\text{C}}RC 定义为商集 Cauchy(Q)/∼\text{Cauchy}(\mathbb{Q})/{\sim}Cauchy(Q)/∼。等价类 $(xn)$ $(x_n)$ $(xn)$ 代表该柯西序列的极限。

运算：逐点定义。加法： $(xn)$ + $(yn)$ = $(xn+yn)$ $(x_n)$ + $(y_n)$ = $(x_n + y_n)$ $(xn)$ + $(yn)$ = $(xn+yn)$ 。乘法： $(xn)$ ⋅ $(yn)$ = $(xnyn)$ $(x_n)$ \cdot $(y_n)$ = $(x_n y_n)$ $(xn)$ ⋅ $(yn)$ = $(xnyn)$ 。必须验证柯西序列的和与积仍是柯西序列，且运算与代表元选取无关。

序：定义 $(xn)$ ≤ $(yn)$ $(x_n)$ \le $(y_n)$ $(xn)$ ≤ $(yn)$ 当且仅当存在有理数 q>0q > 0q>0 和 NNN，使得对所有 n≥Nn \ge Nn≥N 有 xn+q<ynx_n + q < y_nxn+q<yn，或者两序列等价（即极限相等）。这一定义排除了两序列交错逼近同一极限时无法比较的情况。

完备性验证（柯西完备性） ：需证 RC\mathbb{R}{\text{C}}RC 中任何柯西序列必收敛。取 ( $(xn(k))$ )k( $(x_{n}\^{(k)})$ ){k}( $(xn(k))$ )k 为 RC\mathbb{R}_{\text{C}}RC 中的柯西序列。每个等价类可选取有理数代表序列。通过适当地对角选取，可以构造一个有理数序列，它是该序列的极限。这是完备化的标准论证，也是"柯西完备性"名称的由来。

比较两种构造：戴德金分割直用序结构，对初学者逻辑直觉要求高，但自然地得到确界原理；柯西序列构造更便于推广到一般度量空间，但需建立更多的序列估计。两者均满足完备有序域公理，因而由唯一性定理彼此同构。

10.5 完备性的六重面貌

在任意完备有序域（即实数域）中，以下六个命题等价。这是分析学中最优美的一道风景线，它们从不同角度刻画了"没有缝隙"的连续统。

命题 A（确界原理）：非空有上界子集必有上确界。

命题 B（单调有界定理）：单调递增有上界的数列必收敛。

命题 C（闭区间套定理） ：若 { $an,bn$ }\{ $a_n, b_n$ \}{ $an,bn$ } 是一列闭区间满足 an≤an+1≤bn+1≤bna_n \le a_{n+1} \le b_{n+1} \le b_nan≤an+1≤bn+1≤bn 且 lim⁡n→∞(bn−an)=0\lim_{n\to\infty} (b_n - a_n) = 0limn→∞(bn−an)=0，则存在唯一 c∈Rc \in \mathbb{R}c∈R 使得 ⋂n=1∞ $an,bn$ ={c}\bigcap_{n=1}^\infty $a_n, b_n$ = \{c\}⋂n=1∞ $an,bn$ ={c}。

命题 D（有限覆盖定理，Heine-Borel） ：闭区间 $a,b$ $a, b$ $a,b$ 的任何开覆盖（一族开区间的集合，其并集包含 $a,b$ $a,b$ $a,b$ ）必存在有限子覆盖。

命题 E（聚点定理，Bolzano-Weierstrass） ：任何有界无限子集必有聚点（即存在点 ccc 使得 ccc 的任意邻域都包含该子集的无穷多点）。等价地，任何有界序列必有收敛子列。

命题 F（柯西完备性）：任何柯西序列必收敛。

这些命题构成实数理论的基石。在不同的数学分支中，根据需要会选择最方便的一种作为公理，进而推导其他。下面的证明循环不仅展示了它们的逻辑等价性，更是一次分析学核心推理的精粹巡礼。

10.6 等价性证明的循环

我们建立一个完整的循环：A ⇒ B ⇒ C ⇒ D ⇒ E ⇒ F ⇒ A。每一步都是分析学基本功的华彩展示。

A ⇒ B（确界原理 ⇒ 单调有界定理）

设 {xn}\{x_n\}{xn} 单调递增且有上界。令 s=sup⁡{xn∣n∈N}s = \sup \{x_n \mid n \in \mathbb{N}\}s=sup{xn∣n∈N}。对任意 ε>0\varepsilon > 0ε>0，由确界性质，s−εs - \varepsilons−ε 不是上界，故存在 NNN 使得 xN>s−εx_N > s - \varepsilonxN>s−ε。由于 {xn}\{x_n\}{xn} 单调递增，对所有 n≥Nn \ge Nn≥N，有

s−ε<xN≤xn≤s s - \varepsilon < x_N \le x_n \le s s−ε<xN≤xn≤s

从而 ∣xn−s∣<ε|x_n - s| < \varepsilon∣xn−s∣<ε。因此 lim⁡n→∞xn=s\lim_{n\to\infty} x_n = slimn→∞xn=s。单调递减有下界的情况类似，或取负号转化为递增情形。∎

B ⇒ C（单调有界定理 ⇒ 闭区间套定理）

设闭区间套 { $an,bn$ }\{ $a_n, b_n$ \}{ $an,bn$ } 满足 an≤an+1≤bn+1≤bna_n \le a_{n+1} \le b_{n+1} \le b_nan≤an+1≤bn+1≤bn 且 bn−an→0b_n - a_n \to 0bn−an→0。

数列 {an}\{a_n\}{an} 单调递增且有上界（任意 bkb_kbk 都是其上界），由单调有界定理，存在 c=lim⁡anc = \lim a_nc=liman。同理，{bn}\{b_n\}{bn} 单调递减有下界，存在 d=lim⁡bnd = \lim b_nd=limbn。

由于 bn−an→0b_n - a_n \to 0bn−an→0，取极限得 d−c=0d - c = 0d−c=0，即 c=dc = dc=d。

对任意 nnn，an≤c≤bna_n \le c \le b_nan≤c≤bn（因 {an}\{a_n\}{an} 递增收敛于 ccc，{bn}\{b_n\}{bn} 递减收敛于 ccc），故 c∈⋂n=1∞ $an,bn$ c \in \bigcap_{n=1}^\infty $a_n, b_n$ c∈⋂n=1∞ $an,bn$ 。

若还有另一公共点 c′c'c′，则 ∣c−c′∣≤bn−an|c - c'| \le b_n - a_n∣c−c′∣≤bn−an 对一切 nnn 成立，令 n→∞n \to \inftyn→∞ 即得 ∣c−c′∣=0|c - c'| = 0∣c−c′∣=0，故 c=c′c = c'c=c′。∎

C ⇒ D（闭区间套定理 ⇒ 有限覆盖定理）

设开区间族 U={Uα}α∈I\mathcal{U} = \{U_\alpha\}_{\alpha \in I}U={Uα}α∈I 覆盖闭区间 $a,b$ $a, b$ $a,b$ 。我们要证存在有限子覆盖。

用反证法。假设 $a,b$ $a, b$ $a,b$ 在 U\mathcal{U}U 中没有有限子覆盖。记 a0=a,b0=ba_0 = a, b_0 = ba0=a,b0=b。

二分区间：令 c=a0+b02c = \frac{a_0 + b_0}{2}c=2a0+b0。则子区间 $a0,c$ $a_0, c$ $a0,c$ 和 $c,b0$ $c, b_0$ $c,b0$ 至少有一个不能被 U\mathcal{U}U 有限覆盖（否则两者都可被有限覆盖，取并得 $a0,b0$ $a_0, b_0$ $a0,b0$ 的有限覆盖，矛盾）。选取那个不具有有限覆盖性质的子区间，记为 $a1,b1$ $a_1, b_1$ $a1,b1$ 。若两个都不具有，则任选其一。

如此反复，得到区间套 { $an,bn$ }\{ $a_n, b_n$ \}{ $an,bn$ }，满足：

bn−an=b−a2n→0b_n - a_n = \frac{b - a}{2^n} \to 0bn−an=2nb−a→0
每个 $an,bn$ $a_n, b_n$ $an,bn$ 均不能被 U\mathcal{U}U 的有限子族覆盖。

由闭区间套定理，存在唯一的 c∈⋂ $an,bn$ ⊆ $a,b$ c \in \bigcap $a_n, b_n$ \subseteq $a, b$ c∈⋂ $an,bn$ ⊆ $a,b$ 。因为 U\mathcal{U}U 覆盖 $a,b$ $a, b$ $a,b$ ，存在某个 U0∈UU_0 \in \mathcal{U}U0∈U 使得 c∈U0c \in U_0c∈U0。U0U_0U0 是开集（在此为开区间），故存在 δ>0\delta > 0δ>0 使得 (c−δ,c+δ)⊆U0(c - \delta, c + \delta) \subseteq U_0(c−δ,c+δ)⊆U0。

取 nnn 足够大使得 bn−an<δb_n - a_n < \deltabn−an<δ。由于 c∈ $an,bn$ c \in $a_n, b_n$ c∈ $an,bn$ ，整个区间 $an,bn$ $a_n, b_n$ $an,bn$ 包含于 (c−δ,c+δ)⊆U0(c - \delta, c + \delta) \subseteq U_0(c−δ,c+δ)⊆U0，这说明单个 U0U_0U0 就覆盖了 $an,bn$ $a_n, b_n$ $an,bn$ ，与区间套构造中每个 $an,bn$ $a_n, b_n$ $an,bn$ 均无有限子覆盖矛盾。因此原假设不成立，有限子覆盖存在。∎

D ⇒ E（有限覆盖定理 ⇒ 聚点定理）

设有界无限集 SSS。取一闭区间 $a,b$ $a, b$ $a,b$ 包含 SSS。

假设 SSS 没有聚点。则对于每个 x∈ $a,b$ x \in $a, b$ x∈ $a,b$ ，存在开邻域 UxU_xUx 使得 Ux∩SU_x \cap SUx∩S 至多包含 xxx 自身（若 x∉Sx \notin Sx∈/S 则交集为空；若 x∈Sx \in Sx∈S 则孤立点）。具体地，因 xxx 不是聚点，存在 δx>0\delta_x > 0δx>0 使得 (x−δx,x+δx)(x - \delta_x, x + \delta_x)(x−δx,x+δx) 中只含 SSS 的至多有限个点，特别地我们可以缩小邻域使得只包含 xxx（如果 x∈Sx \in Sx∈S）或不含 SSS 的点（如果 x∉Sx \notin Sx∈/S）。

{Ux∣x∈ $a,b$ }\{U_x \mid x \in $a, b$ \}{Ux∣x∈ $a,b$ } 是 $a,b$ $a, b$ $a,b$ 的开覆盖。由有限覆盖定理，存在有限子覆盖 Ux1,...,UxnU_{x_1}, \dots, U_{x_n}Ux1,...,Uxn。每个 Uxi∩SU_{x_i} \cap SUxi∩S 至多有一个点，因此

S= $a,b$ ∩S⊆⋃i=1n(Uxi∩S) S = $a, b$ \cap S \subseteq \bigcup_{i=1}^n (U_{x_i} \cap S) S= $a,b$ ∩S⊆i=1⋃n(Uxi∩S)

是有限集，与 SSS 无限矛盾。故 SSS 必有聚点。∎

E ⇒ F（聚点定理 ⇒ 柯西完备性）

设 {xn}\{x_n\}{xn} 为实数柯西序列。首先证明柯西序列有界：取 ε=1\varepsilon = 1ε=1，存在 NNN，对所有 n≥Nn \ge Nn≥N 有 ∣xn−xN∣<1|x_n - x_N| < 1∣xn−xN∣<1，因此 {xn}\{x_n\}{xn} 被 max⁡{∣x1∣,...,∣xN−1∣,∣xN∣+1}\max\{|x_1|,\dots,|x_{N-1}|, |x_N|+1\}max{∣x1∣,...,∣xN−1∣,∣xN∣+1} 所界。

令 S={xn∣n∈N}S = \{x_n \mid n \in \mathbb{N}\}S={xn∣n∈N} 为序列的值集。若 SSS 有限，则存在某个值 LLL 在序列中出现无限多次。由柯西性可证序列收敛于 LLL。若 SSS 无限，则由聚点定理，有界无限集 SSS 有聚点 LLL。

下证 lim⁡n→∞xn=L\lim_{n\to\infty} x_n = Llimn→∞xn=L。对任意 ε>0\varepsilon > 0ε>0，由柯西性，存在 N1N_1N1 使得 m,n≥N1 ⟹ ∣xm−xn∣<ε/2m, n \ge N_1 \implies |x_m - x_n| < \varepsilon/2m,n≥N1⟹∣xm−xn∣<ε/2。由聚点性质，存在 k≥N1k \ge N_1k≥N1 使得 ∣xk−L∣<ε/2|x_k - L| < \varepsilon/2∣xk−L∣<ε/2（因 LLL 的任意邻域含有 SSS 中无穷多点，必有点下标任意大）。则对所有 n≥N1n \ge N_1n≥N1，

∣xn−L∣≤∣xn−xk∣+∣xk−L∣<ε/2+ε/2=ε |x_n - L| \le |x_n - x_k| + |x_k - L| < \varepsilon/2 + \varepsilon/2 = \varepsilon ∣xn−L∣≤∣xn−xk∣+∣xk−L∣<ε/2+ε/2=ε

故序列收敛于 LLL。∎

F ⇒ A（柯西完备性 ⇒ 确界原理）

设非空集 A⊆RA \subseteq \mathbb{R}A⊆R 有上界 b0b_0b0。我们构造一列收缩上界来逼近上确界。

取 a0∈Aa_0 \in Aa0∈A 任意，b0b_0b0 为 AAA 的一个上界。假设已构造 an∈Aa_n \in Aan∈A 及 bnb_nbn 为 AAA 的上界，且满足 bn−an≤(b0−a0)/2nb_n - a_n \le (b_0 - a_0)/2^nbn−an≤(b0−a0)/2n。令 cn=an+bn2c_n = \frac{a_n + b_n}{2}cn=2an+bn。若 cnc_ncn 是 AAA 的上界，则令 an+1=an,bn+1=cna_{n+1} = a_n, b_{n+1} = c_nan+1=an,bn+1=cn；否则存在 a′∈Aa' \in Aa′∈A 使得 a′>cna' > c_na′>cn，令 an+1=a′,bn+1=bna_{n+1} = a', b_{n+1} = b_nan+1=a′,bn+1=bn。

这样得到序列 {an}⊆A\{a_n\} \subseteq A{an}⊆A 单调递增（如果第二步替换了 an+1a_{n+1}an+1，则显然 an+1>cn>ana_{n+1} > c_n > a_nan+1>cn>an；若不替换，至少 an+1=ana_{n+1}=a_nan+1=an），{bn}\{b_n\}{bn} 单调递减且均为上界，并且 bn−an→0b_n - a_n \to 0bn−an→0。

现在验证 {an}\{a_n\}{an} 是柯西序列：对任意 m>nm > nm>n，有 an≤am≤bna_n \le a_m \le b_nan≤am≤bn，故 ∣am−an∣=am−an≤bn−an→0|a_m - a_n| = a_m - a_n \le b_n - a_n \to 0∣am−an∣=am−an≤bn−an→0。由柯西完备性（假设F成立），存在 s=lim⁡n→∞ans = \lim_{n\to\infty} a_ns=limn→∞an。同理 bn→sb_n \to sbn→s。

我们断言 s=sup⁡As = \sup As=supA：

sss 是 AAA 的上界：若存在 x∈Ax \in Ax∈A 使得 x>sx > sx>s，取 ε=x−s>0\varepsilon = x - s > 0ε=x−s>0，因 bn→sb_n \to sbn→s，存在 NNN 使 bN<s+ε=xb_N < s + \varepsilon = xbN<s+ε=x，但 bNb_NbN 是 AAA 的上界，应有 x≤bNx \le b_Nx≤bN，矛盾。
sss 是最小上界：若 t<st < st<s，因 an→sa_n \to san→s，存在 an>ta_n > tan>t，而 an∈Aa_n \in Aan∈A，故 ttt 不是上界。

因此 s=sup⁡As = \sup As=supA 存在。∎

循环完成：我们已证 A ⇒ B ⇒ C ⇒ D ⇒ E ⇒ F ⇒ A。六个命题在实数域中彼此等价。这一圈证明是现代分析学的脊梁，每一个箭头都是一把利器：在证明连续函数的介值性时，我们可能选用区间套或确界；在处理紧致性时，有限覆盖定理不可或缺；在证明函数列的一致收敛性质时，柯西准则大显身手。能够根据具体场景自由切换这些等价形式，正是分析学家的内功心法。

10.7 阿基米德性质的推导

完备有序域的一个重要推论是阿基米德性质：自然数集无上界。这保证了实数中不存在"无穷小"的非零元素（非标准分析中的无穷小属于另一套刻意引入的公理系统，此处不论）。

定理 10.7.1（阿基米德性质） 在完备有序域 R\mathbb{R}R 中，自然数子集 N\mathbb{N}N 无上界。等价地，对任意正实数 a,ba, ba,b，存在自然数 nnn 使得 na>bn a > bna>b。

证明：反设 N\mathbb{N}N 有上界。由确界原理，令 s=sup⁡Ns = \sup \mathbb{N}s=supN。因 s−1<ss - 1 < ss−1<s，故 s−1s-1s−1 不是 N\mathbb{N}N 的上界，存在 n∈Nn \in \mathbb{N}n∈N 使 n>s−1n > s - 1n>s−1。则 n+1>sn + 1 > sn+1>s，且 n+1∈Nn+1 \in \mathbb{N}n+1∈N，这与 sss 是 N\mathbb{N}N 的上界矛盾。∎

阿基米德性质的另一重大推论是：有理数集 Q\mathbb{Q}Q 在 R\mathbb{R}R 中稠密。即任意两个不同实数之间必存在有理数。该证明也依赖阿基米德性质：取足够大的分母即可。有理数稠密性是唯一性定理证明中关键的一步，也是分析学中"有理逼近"理论的基础。

10.8 无理数的存在性：从公理到具体

完备性不仅告诉我们"所有极限都存在"，还直接保证了大量无理数的存在性，例如 2\sqrt{2}2 ，而不需要具体的构造。

定理 10.8.1 存在唯一的正实数 xxx 使得 x2=2x^2 = 2x2=2。

证明：令 A={r∈R+∣r2<2}A = \{r \in \mathbb{R}^+ \mid r^2 < 2\}A={r∈R+∣r2<2}。AAA 非空（1∈A1 \in A1∈A）且有上界（222 是上界，因若 r≥2r \ge 2r≥2 则 r2≥4>2r^2 \ge 4 > 2r2≥4>2）。由确界原理，令 s=sup⁡As = \sup As=supA，显然 s≥1s \ge 1s≥1。

证 s2=2s^2 = 2s2=2。若 s2<2s^2 < 2s2<2，我们设法在 AAA 中找到比 sss 大的数，与确界矛盾。考虑 (s+h)2=s2+2sh+h2(s + h)^2 = s^2 + 2sh + h^2(s+h)2=s2+2sh+h2，选择 h>0h > 0h>0 充分小，使得 2sh+h2<2−s22sh + h^2 < 2 - s^22sh+h2<2−s2。例如取 h<min⁡(1,2−s22s+1)h < \min\left(1, \frac{2 - s^2}{2s + 1}\right)h<min(1,2s+12−s2) 即可。由阿基米德性质，这样的正实数 hhh 存在。则 (s+h)2<s2+(2−s2)=2(s+h)^2 < s^2 + (2 - s^2) = 2(s+h)2<s2+(2−s2)=2，从而 s+h∈As+h \in As+h∈A，与 sss 为 AAA 的上界矛盾。

若 s2>2s^2 > 2s2>2，取 h>0h > 0h>0 足够小使 (s−h)2>2(s - h)^2 > 2(s−h)2>2（具体地，展开 (s−h)2=s2−2sh+h2(s-h)^2 = s^2 - 2sh + h^2(s−h)2=s2−2sh+h2，选择 h<s2−22sh < \frac{s^2 - 2}{2s}h<2ss2−2 即可）。则对于所有 a∈Aa \in Aa∈A，有 a2<2<(s−h)2a^2 < 2 < (s-h)^2a2<2<(s−h)2，因 a,s−h>0a, s-h > 0a,s−h>0，故 a<s−ha < s-ha<s−h。因此 s−hs-hs−h 是 AAA 的上界，与 sss 是最小上界矛盾。

因此必有 s2=2s^2 = 2s2=2。唯一性：若 x>0,y>0x>0, y>0x>0,y>0 且 x2=y2=2x^2=y^2=2x2=y2=2，则 (x−y)(x+y)=0(x-y)(x+y)=0(x−y)(x+y)=0，因 x+y>0x+y>0x+y>0，得 x=yx=yx=y。∎

推论：实数域真包含有理数域，且存在不可数无穷多个无理数。事实上，康托的对角线证明进一步表明实数的基数严格大于有理数的基数，连续统的浩瀚由此可见一斑。

第十一章复数与四元数：代数封闭之路

实数完备了序的极限，使分析学得以圆满。但从代数学角度看，实数域仍有缺憾：简单方程 x2+1=0x^2 + 1 = 0x2+1=0 无解。复数域正是为弥补这一缺憾而生，且在此之后，多项式方程再无无解之虞------此即代数基本定理。进而，复数域上不可扩张出保持良好性质的更大数系（代数封闭性）。但若放弃乘法交换律，却可打开描述空间旋转的新天地------四元数即是这样的杰作。数系扩张的每一步，既是为了求解方程，又引出更深的结构与对称性。

11.1 复数域的公理构造

我们寻求一个包含实数且含有"虚数单位" iii（满足 i2=−1i^2 = -1i2=−1）的最小域。因为域运算要求加减乘除封闭，所有形如 a+bia + bia+bi（a,b∈Ra,b \in \mathbb{R}a,b∈R）的表达式将自动包含在内，且应满足分配律。

定义 11.1.1（复数域 C\mathbb{C}C） 作为集合，C=R×R\mathbb{C} = \mathbb{R} \times \mathbb{R}C=R×R。定义加法和乘法如下：

(a,b)+(c,d)=(a+c,b+d) (a, b) + (c, d) = (a + c, b + d) (a,b)+(c,d)=(a+c,b+d)

(a,b)⋅(c,d)=(ac−bd,ad+bc) (a, b) \cdot (c, d) = (ac - bd, ad + bc) (a,b)⋅(c,d)=(ac−bd,ad+bc)

记 (a,0)(a, 0)(a,0) 为实数 aaa，并记 i=(0,1)i = (0, 1)i=(0,1)。则每个复数可唯一写为 a+bia + bia+bi（严格地说，(a,b)=(a,0)+(0,1)⋅(b,0)(a,b) = (a,0) + (0,1)\cdot(b,0)(a,b)=(a,0)+(0,1)⋅(b,0)）。由此 i2=(0,1)⋅(0,1)=(−1,0)=−1i^2 = (0,1)\cdot(0,1) = (-1, 0) = -1i2=(0,1)⋅(0,1)=(−1,0)=−1，正是所需。

定理 11.1.2 C\mathbb{C}C 构成一个域。

加法单位元：(0,0)(0,0)(0,0)
乘法单位元：(1,0)(1,0)(1,0)
(a,b)(a,b)(a,b) 的加法逆元：(−a,−b)(-a, -b)(−a,−b)
非零元 (a,b)(a,b)(a,b)（即 (a,b)≠(0,0)(a,b) \neq (0,0)(a,b)=(0,0)，等价于 a2+b2≠0a^2+b^2 \neq 0a2+b2=0）的乘法逆元为 (aa2+b2,−ba2+b2)\left(\frac{a}{a^2+b^2}, \frac{-b}{a^2+b^2}\right)(a2+b2a,a2+b2−b)，直接验算可得积为 (1,0)(1,0)(1,0)。
结合律、交换律、分配律的验证均为直接代入定义，利用实数的相应性质即得。

不可序性 ：复数域无法成为有序域。若存在全序 ≤\le≤ 满足有序域公理，则必有 0<10 < 10<1。考虑虚数单位 iii：若 0<i0 < i0<i，则两边乘以 iii（假设 i>0i>0i>0）得 0<i2=−10 < i^2 = -10<i2=−1，于是 0<−10 < -10<−1，两边加 111 得 1<01 < 01<0，与 0<10 < 10<1 矛盾。若 i<0i < 0i<0，则 −i>0-i > 0−i>0，同样两边乘以 −i-i−i 得 0<(−i)2=−10 < (-i)^2 = -10<(−i)2=−1，矛盾。因此复数域无法装备与域运算兼容的全序。复数的"大小"比较只能通过模长进行，但这并非域序。

复数域保留实数域作为子域，且每个实数系数多项式在其中都有根，这是下一节的主题。

11.2 代数基本定理

定理 11.2.1（代数基本定理） 任何非常数的复系数多项式 P(z)=anzn+an−1zn−1+⋯+a0P(z) = a_n z^n + a_{n-1} z^{n-1} + \dots + a_0P(z)=anzn+an−1zn−1+⋯+a0（n≥1n \ge 1n≥1，an≠0a_n \neq 0an=0）在 C\mathbb{C}C 中至少有一个根。

证明（复分析经典方法，详述）：

考虑由 P(z)P(z)P(z) 诱导的连续函数 f(z)=∣P(z)∣f(z) = |P(z)|f(z)=∣P(z)∣。由于 lim⁡∣z∣→∞∣P(z)∣=∞\lim_{|z| \to \infty} |P(z)| = \inftylim∣z∣→∞∣P(z)∣=∞（主项 ∣anzn∣|a_n z^n|∣anzn∣ 控制），存在充分大的 R>0R > 0R>0 使得当 ∣z∣≥R|z| \ge R∣z∣≥R 时 ∣P(z)∣>∣P(0)∣|P(z)| > |P(0)|∣P(z)∣>∣P(0)∣。闭圆盘 D={z∈C∣∣z∣≤R}D = \{z \in \mathbb{C} \mid |z| \le R\}D={z∈C∣∣z∣≤R} 是紧致集，连续函数 fff 在 DDD 上必达到最小值。设在 z0∈Dz_0 \in Dz0∈D 处 fff 取全局最小值（因为 DDD 外的值都大于 ∣P(0)∣≥f(z0)|P(0)| \ge f(z_0)∣P(0)∣≥f(z0)）。如果 f(z0)=0f(z_0) = 0f(z0)=0，则 P(z0)=0P(z_0)=0P(z0)=0 已得证。

假设 P(z0)≠0P(z_0) \neq 0P(z0)=0。我们证明存在 www 使得 ∣P(z0+w)∣<∣P(z0)∣|P(z_0 + w)| < |P(z_0)|∣P(z0+w)∣<∣P(z0)∣，从而与 z0z_0z0 的最小性矛盾。

将 P(z)P(z)P(z) 在 z0z_0z0 附近展开为 w=z−z0w = z - z_0w=z−z0 的多项式：

P(z0+w)=b0+bkwk+bk+1wk+1+⋯+bnwn P(z_0 + w) = b_0 + b_k w^k + b_{k+1} w^{k+1} + \dots + b_n w^n P(z0+w)=b0+bkwk+bk+1wk+1+⋯+bnwn

其中 b0=P(z0)≠0b_0 = P(z_0) \neq 0b0=P(z0)=0，且 bkb_kbk 是第一个非零的非零次系数（k≥1k \ge 1k≥1）。因此

P(z0+w)=b0+bkwk+wk+1R(w) P(z_0 + w) = b_0 + b_k w^k + w^{k+1} R(w) P(z0+w)=b0+bkwk+wk+1R(w)

其中 R(w)R(w)R(w) 是某个多项式（由剩余项构成），在 w=0w=0w=0 附近有界。

选取 www 的方向使得 bkwkb_k w^kbkwk 指向 −b0-b_0−b0 的方向，即令 w=t⋅ωw = t \cdot \omegaw=t⋅ω，其中 ω\omegaω 满足 bkωk=−b0b_k \omega^k = -b_0bkωk=−b0（这样的 ω\omegaω 存在，因为可解 ωk=−b0/bk\omega^k = -b_0/b_kωk=−b0/bk，任何非零复数都有 kkk 个 kkk 次方根）。设 t>0t > 0t>0 充分小。则

P(z0+tω)=b0+bktkωk+tk+1R~(t)=b0(1−tk)+tk+1R~(t) P(z_0 + t\omega) = b_0 + b_k t^k \omega^k + t^{k+1} \tilde{R}(t) = b_0(1 - t^k) + t^{k+1} \tilde{R}(t) P(z0+tω)=b0+bktkωk+tk+1R~(t)=b0(1−tk)+tk+1R~(t)

于是

∣P(z0+tω)∣≤∣b0∣(1−tk)+Ctk+1 |P(z_0 + t\omega)| \le |b_0| (1 - t^k) + C t^{k+1} ∣P(z0+tω)∣≤∣b0∣(1−tk)+Ctk+1

对于充分小的 t>0t > 0t>0，由于 tkt^ktk 主导 tk+1t^{k+1}tk+1，我们有 ∣P(z0+tω)∣<∣b0∣=∣P(z0)∣|P(z_0 + t\omega)| < |b_0| = |P(z_0)|∣P(z0+tω)∣<∣b0∣=∣P(z0)∣，矛盾。

因此最小值必为 000，即 P(z0)=0P(z_0)=0P(z0)=0。∎

推论：nnn 次复系数多项式恰有 nnn 个根（计重数）。这可由代数基本定理结合多项式除法反复因式分解得到。因此 C\mathbb{C}C 是代数封闭域------任何一个次数不小于 111 的多项式都在 C\mathbb{C}C 中完全分裂为一次因式的乘积。

11.3 四元数：乘法的非交换扩张

复数域代数封闭，似乎数系扩张已达终点。然而，哈密顿（William Rowan Hamilton）在1843年探寻一种能描述三维空间旋转的"超复数"体系时，灵光一现，在都柏林布鲁姆桥上刻下公式，创出四元数。四元数体牺牲了乘法交换律，却获得了描述三维和四维旋转的非凡能力。

定义 11.3.1（四元数体 H\mathbb{H}H） 四元数集合为形如 a+bi+cj+dka + bi + cj + dka+bi+cj+dk 的表达式，其中 a,b,c,d∈Ra,b,c,d \in \mathbb{R}a,b,c,d∈R，基元 1,i,j,k1, i, j, k1,i,j,k 满足如下乘法关系：

i2=j2=k2=ijk=−1 i^2 = j^2 = k^2 = ijk = -1 i2=j2=k2=ijk=−1

结合分配律与实数乘法，由此可导出所有基元间的乘积：

ij=k, ji=−k, jk=i, kj=−i, ki=j, ik=−j ij = k,\; ji = -k,\; jk = i,\; kj = -i,\; ki = j,\; ik = -j ij=k,ji=−k,jk=i,kj=−i,ki=j,ik=−j

加法逐分量进行，乘法完全由上述基元乘法和分配律确定。

定理 11.3.2 H\mathbb{H}H 构成一个除环（或称斜域），即满足域的所有公理，只除了乘法交换律。

加法阿贝尔群。
乘法结合律（虽非交换，但结合律成立，验证稍繁但直接）。
乘法单位元 1=1+0i+0j+0k1 = 1 + 0i + 0j + 0k1=1+0i+0j+0k。
每个非零四元数 q=a+bi+cj+dkq = a + bi + cj + dkq=a+bi+cj+dk 有乘法逆元：定义共轭 qˉ=a−bi−cj−dk\bar{q} = a - bi - cj - dkqˉ=a−bi−cj−dk，范数 N(q)=qqˉ=a2+b2+c2+d2N(q) = q\bar{q} = a^2 + b^2 + c^2 + d^2N(q)=qqˉ=a2+b2+c2+d2（为正实数）。则逆元 q−1=qˉ/N(q)q^{-1} = \bar{q} / N(q)q−1=qˉ/N(q)，满足 qq−1=q−1q=1q q^{-1} = q^{-1} q = 1qq−1=q−1q=1。
乘法对加法分配律成立。

四元数虽失交换性，却完美描述三维空间旋转：单位四元数（范数为 111）构成群 S3S^3S3，同态于旋转群 SO(3)SO(3)SO(3) 的双覆盖。这使其在现代计算几何、机器人学、航空航天姿态控制中成为核心工具，比欧拉角更稳健，无万向锁问题。

从代数角度看，四元数是实数域上的四维中心单代数。弗罗贝尼乌斯定理 断言：实数域上的有限维结合可除代数仅有 R\mathbb{R}R、C\mathbb{C}C 和 H\mathbb{H}H 这三个（同构意义下）。若再放弃结合律，还有八维的凯莱八元数，但那已是另一故事。

结语：数的谱系与统一性

从空集出发，集合论给出了自然数；皮亚诺公理赋予自然数以灵魂和归纳之力；通过等价类的代数构造，我们得到整数环、有理数域；完备性公理注入连续的血脉，实数登场；为多项式方程无憾，复数域封顶；为旋转之优雅，四元数打开非交换的窗口。

这一层一层的构造并非零散拼凑，而是遵循一个宏大的公理化理念：新结构应保存旧结构的所有性质，同时解锁旧结构中无解的问题。每一步都是一次"泛构造"（universal construction）的体现：整数环是自然数半环的群化（Grothendieck 群），有理数域是整数环的分式域，实数是最大阿基米德有序域的完备化，复数是实数的代数闭包，四元数是实数域的 Cayley-Dickson 双倍延展的一步。数的宇宙正是这般，在公理的温床上，生长出无穷无尽的数学景观。

当我们站在公理化数系的峰顶回望，会发现这趟从"无"到"无穷"再到"完备"和"封闭"的旅程，不单是技术性的严密化，更是对人类理性力量的一次壮丽确认。我们以最少的前提，推演出最丰富的结构，进而支撑起微积分、几何、物理学乃至全部现代科学的巍峨殿堂。数系公理化，是数学精神最纯粹、最深刻的一次自我照亮。