数学公理体系大全:第五章序数与基数理论：超限算术与集合的大小

第五章序数与基数理论：超限算术与集合的大小

在第四章中，我们利用无穷公理与替换公理在ZFC的土壤里埋下了自然数的种子。但集合的宇宙远不止有穷。从空集出发，经由幂集与并集不断攀升，我们不可避免地遭遇无穷集合，并且无穷之间还有大小之别------康托对角线论证已昭示了这一点。为了系统地为良序集"度量长度"和为任意集合"度量大小"，我们需要将自然数的概念向超限世界推开。这正是序数与基数的使命。序数是有穷数的直接延伸，是用"序型"来标定良序集的位置；基数则在等势的等价关系下抽取集合的"纯粹大小"。本章将严格建立序数与基数的理论，包括超限归纳与递归的证明论基础、序数算术的丰富法则、基数的指派与算术、共尾性与正则基数的精细结构、指数归约的核心工具，以及大基数的初窥。我们将亲眼见证，整个无穷的阶梯，如何从几条简单的集合论公理中宏大地展开。

5.1 良序集与序数：长度的标尺

5.1.1 良序集的定义与等价刻画

序数是用来衡量"良序"的标准。什么样的序能赋予集合一个良序？

定义 5.1.1（良序） 设 WWW 为一个集合，<<< 为 WWW 上的一个二元关系。称 <<< 是 WWW 上的一个良序，若它满足：

严格全序 ：对任意 x,y,z∈Wx, y, z \in Wx,y,z∈W，
- 非自反：¬(x<x)\neg (x < x)¬(x<x)；
- 传递：若 x<yx < yx<y 且 y<zy < zy<z，则 x<zx < zx<z；
- 可比较：x<yx < yx<y 或 x=yx = yx=y 或 y<xy < xy<x，三者恰一成立。
良基性 ：每一个非空子集 S⊆WS \subseteq WS⊆W 都有最小元 ，即存在 m∈Sm \in Sm∈S 使得对所有 s∈Ss \in Ss∈S，¬(s<m)\neg (s < m)¬(s<m)。

良基性等价于不存在无穷严格降链 ⋯<x3<x2<x1\cdots < x_3 < x_2 < x_1⋯<x3<x2<x1（在ZF中可用依赖选择公理证明；在ZF中，良基性蕴含无无穷降链，反之需要选择公理）。在ZFC中，选择公理等价于良序定理 （Zermelo定理）：任何集合都可被赋予一个良序。因此，在ZFC内，所有集合均可良序化，序数作为"良序长度"的标尺便能适用于一切集合。良序集的一个重要性质是，每一元素的后继（如果存在）由其后继者唯一确定；良序集的任意真初始段（前段）都具有形式 {y∣y<x}\{y \mid y < x\}{y∣y<x} 并同构于一个序数，这为序型理论奠定了基础。

例子：

自然数集合 N\mathbb{N}N 带上通常的 <<< 是良序，序型为 ω\omegaω。
整数 Z\mathbb{Z}Z 带上通常 <<< 不是良序，因为负整数无最小元；但可以赋予新的良序，例如 0,1,−1,2,−2,...0,1,-1,2,-2,\dots0,1,−1,2,−2,...，其序型为 ω\omegaω。
良序的拼接：将两份自然数拼接，第一份所有数小于第二份所有数，得到 {0,1,2,...,ω,ω+1,ω+2,... }\{0,1,2,\dots,\omega,\omega+1,\omega+2,\dots\}{0,1,2,...,ω,ω+1,ω+2,...}，这是良序，序型为 ω⋅2\omega\cdot 2ω⋅2。
不可数良序：存在不可数的良序集，例如将所有可数序数聚集起来，带上 ∈\in∈ 关系，得到 ω1\omega_1ω1，其势为 ℵ1\aleph_1ℵ1。

5.1.2 序数的严格定义与基本性质

在ZFC中，序数不是抽象的类型，而是具体的传递集。冯·诺依曼的定义使序数等同于所有比它小的序数的集合。

定义 5.1.2（传递集） 集合 AAA 称为传递的，若 ∀x∈A (x⊆A)\forall x\in A\, (x\subseteq A)∀x∈A(x⊆A)。等价地，若 y∈x∈A ⟹ y∈Ay \in x \in A \implies y \in Ay∈x∈A⟹y∈A。

定义 5.1.3（序数） 一个集合 α\alphaα 称为序数，若它满足：

α\alphaα 是传递集；
隶属关系 ∈\in∈ 在 α\alphaα 上构成严格全序（即 ∈\in∈ 是 α\alphaα 上的传递、非自反、连接关系）。

由于正则公理保证了 ∈\in∈ 在全体集合上是良基的，对于传递集，∈\in∈ 自动成为良序。因此序数就是被 ∈\in∈ 良序的传递集。一个更常用的等价刻画是：α\alphaα 是序数当且仅当它是传递且 ∈\in∈-连接的，即对任意 x,y∈αx,y\in \alphax,y∈α，x∈yx\in yx∈y 或 x=yx=yx=y 或 y∈xy\in xy∈x 必居其一。

例子：

0=∅0 = \varnothing0=∅ 是传递且空真地满足连接性，是序数。
若 α\alphaα 是序数，则其后继 S(α)=α∪{α}S(\alpha) = \alpha \cup \{\alpha\}S(α)=α∪{α} 也是序数：任意元素要么属于 α\alphaα 要么等于 α\alphaα，传递性易证，且 ∈\in∈ 仍为连接关系，因为对于 x∈αx\in\alphax∈α 有 x∈α∈S(α)x\in \alpha \in S(\alpha)x∈α∈S(α)，且 x∈αx\in \alphax∈α 而 α∉x\alpha \notin xα∈/x。
所有自然数 0,1,2,...0,1,2,\dots0,1,2,... 都是序数。
ω={0,1,2,... }\omega = \{0,1,2,\dots\}ω={0,1,2,...} 是序数：它传递，∈\in∈ 就是自然序。
此后通过取后继、取并集和极限，可构造 ω+1,ω+ω,ω2,...\omega+1, \omega+\omega, \omega^2, \dotsω+1,ω+ω,ω2,...，均可严格验证为序数。

引理 5.1.4（序数的基本性质）

序数的元素都是序数。
若 α,β\alpha, \betaα,β 是序数，则 α∈β ⟺ α⊊β\alpha \in \beta \iff \alpha \subsetneq \betaα∈β⟺α⊊β。此时记 α<β\alpha < \betaα<β。
由序数组成的非空集合 SSS，在 ∈\in∈ 下有最小元，且 ⋃S\bigcup S⋃S 也是序数（当 SSS 为集合时）。
对任意序数 α,β\alpha, \betaα,β，恰有 α∈β\alpha \in \betaα∈β，α=β\alpha = \betaα=β，β∈α\beta \in \alphaβ∈α 三者之一成立（三分律）。

证明概要 ：(1) 设 x∈αx\in\alphax∈α，由 α\alphaα 传递得 x⊆αx\subseteq\alphax⊆α。 ∈\in∈ 在 α\alphaα 上是严格全序，其限制在 xxx 上也是严格全序。传递性：若 u∈y∈xu\in y\in xu∈y∈x，则 y∈αy\in\alphay∈α 且 u∈αu\in\alphau∈α，由 ∈\in∈ 在 α\alphaα 上的传递性得 u∈xu\in xu∈x？需谨慎：从 u∈yu\in yu∈y 且 y∈xy\in xy∈x 不能直接从 α\alphaα 的传递性得到 u∈xu\in xu∈x，需要利用 ∈\in∈ 的连接性。事实上，由于 x⊆αx\subseteq\alphax⊆α，∈\in∈ 在 xxx 上也是连接且传递的关系，并且利用正则公理可证 xxx 传递。详细推导见标准教材。(2) 左推右：若 α∈β\alpha\in\betaα∈β，由 β\betaβ 传递得 α⊆β\alpha\subseteq\betaα⊆β；又 α∉α\alpha\notin\alphaα∈/α，故 α⊊β\alpha\subsetneq\betaα⊊β。右推左：若 α⊊β\alpha\subsetneq\betaα⊊β，取 γ∈β∖α\gamma\in\beta\setminus\alphaγ∈β∖α 为 ∈\in∈ 最小元。可证 γ=α\gamma = \alphaγ=α。(3) 最小元的存在由良序性直接可得；并集 ⋃S\bigcup S⋃S 作为序数的集合的并，可验证仍为序数。(4) 由 (2) 和良序性即得。∎

序数全体构成一个真类，记作 Ord\mathrm{Ord}Ord。它是所有集合上的"秩"函数的值域：利用正则公理可以定义集合的秩 rank⁡(x)\operatorname{rank}(x)rank(x) 为一序数。实际上，累积层级 VαV_\alphaVα（由 V0=∅V_0=\varnothingV0=∅, Vα+1=P(Vα)V_{\alpha+1}=\mathcal P(V_\alpha)Vα+1=P(Vα), Vλ=⋃β<λVβV_\lambda=\bigcup_{\beta<\lambda}V_\betaVλ=⋃β<λVβ 定义）构成了集合论宇宙的"骨架"，而每个集合恰好在某个 VαV_\alphaVα 中出现，其秩是最小的此类 α\alphaα。由此，序数为整个宇宙提供了分层。

5.1.3 良序集的同构唯一性定理

序数之所以是"长度"的典范，是因为每一个良序集都同构于唯一一个序数。

定义 5.1.5（同构） 设 (W,<W)(W, <_W)(W,<W) 和 (Z,<Z)(Z, <_Z)(Z,<Z) 是严格全序集。映射 f:W→Zf: W \to Zf:W→Z 称为保序双射 （或同构），若它是双射，且满足 x<Wy ⟺ f(x)<Zf(y)x <_W y \iff f(x) <_Z f(y)x<Wy⟺f(x)<Zf(y)。

定理 5.1.6（良序集的序型定理） 对于任意良序集 (W,<)(W, <)(W,<)，存在唯一序数 α\alphaα 使得 (W,<)≅(α,∈)(W, <) \cong (\alpha, \in)(W,<)≅(α,∈)。

证明：唯一性由序数的三分律直接得到：若 f:α→βf:\alpha\to\betaf:α→β 为同构，由于序数上的 ∈\in∈ 是良序，且同构将最小元映射为最小元，可施超限归纳证明 α=β\alpha=\betaα=β。存在性需用超限递归 构造一个序数序列。令 F(0)=min⁡<WF(0) = \min_< WF(0)=min<W（若 WWW 非空；若 WWW 为空则取 α=0\alpha=0α=0）。假设对 ξ\xiξ 已定义 F(η)F(\eta)F(η) 对所有 η<ξ\eta<\xiη<ξ，且 {F(η)∣η<ξ}\{F(\eta)\mid\eta<\xi\}{F(η)∣η<ξ} 为 WWW 的初始段。若该集等于 WWW，则停止；否则令 F(ξ)=min⁡<(W∖{F(η)∣η<ξ})F(\xi) = \min_< (W\setminus\{F(\eta)\mid\eta<\xi\})F(ξ)=min<(W∖{F(η)∣η<ξ})。此过程必在某个序数 α\alphaα 处停止，因否则将得到一个从所有序数到 WWW 的单射，违反替换公理（所有序数不构成集合）。停止时像集即为 WWW，而 F↾αF\upharpoonright\alphaF↾α 即为所求同构。∎

序数 α\alphaα 称为 WWW 的序型，记作 type⁡(W)\operatorname{type}(W)type(W)。序型定理是超限递归的最早应用之一，也体现了替换公理在阻止"无穷尽进程"中的本质作用。

5.2 超限归纳与超限递归定理

要在全体序数上证明命题或定义运算，数学归纳法必须向超限推广。

5.2.1 超限归纳法

定理 5.2.1（超限归纳原理） 设 P(α)P(\alpha)P(α) 是一个关于序数的性质。若对每个序数 α\alphaα，有

(∀β<α) P(β) ⟹ P(α), (\forall \beta < \alpha)\, P(\beta) \implies P(\alpha), (∀β<α)P(β)⟹P(α),

则 P(α)P(\alpha)P(α) 对所有序数成立。

证明：反设存在 α\alphaα 使 P(α)P(\alpha)P(α) 假。令 S={γ≤α∣¬P(γ)}S = \{\gamma \le \alpha \mid \neg P(\gamma)\}S={γ≤α∣¬P(γ)}，由引理5.1.4(3)知 SSS 有最小元 γ0\gamma_0γ0。对任何 β<γ0\beta<\gamma_0β<γ0 有 P(β)P(\beta)P(β) 真，由条件得 P(γ0)P(\gamma_0)P(γ0) 真，矛盾。∎

实践中常按序数的三种情形分别验证：基底 P(0)P(0)P(0)；后继步 ：假设 P(β)P(\beta)P(β) 证明 P(β+1)P(\beta+1)P(β+1)；极限步 ：对极限 λ\lambdaλ，假设对所有 β<λ\beta<\lambdaβ<λ 有 P(β)P(\beta)P(β)，证明 P(λ)P(\lambda)P(λ)。这是因为对后继序数 β+1\beta+1β+1，其所有前驱仅为 ≤β\le\beta≤β，归纳假设自然包含 P(β)P(\beta)P(β)。最小极限序数是 ω\omegaω，它是归纳从有穷跨向无穷的关键桥梁。

5.2.2 超限递归定理

要定义运算，我们需要类似递归定义的合法版本。

定理 5.2.2（超限递归定理） 设 GGG 是由一阶公式定义的类函数，即对任意集合 fff，G(f)G(f)G(f) 有定义。则存在唯一由公式定义的类函数 F:Ord→VF:\mathrm{Ord}\to VF:Ord→V，满足

F(α)=G(F↾α), F(\alpha) = G(F \upharpoonright \alpha), F(α)=G(F↾α),

其中 F↾α={(β,F(β))∣β<α}F \upharpoonright \alpha = \{(\beta, F(\beta)) \mid \beta < \alpha\}F↾α={(β,F(β))∣β<α} 是 FFF 限制在 α\alphaα 上的集合（因 α\alphaα 是集合）。

证明：我们构造每个 α\alphaα 上的唯一函数 fα:α→Vf_\alpha: \alpha \to Vfα:α→V 满足 fα(β)=G(fα↾β)f_\alpha(\beta) = G(f_\alpha\upharpoonright\beta)fα(β)=G(fα↾β)，并证明它们兼容。对 α=0\alpha=0α=0，f0=∅f_0 = \varnothingf0=∅。假设对 α\alphaα 已有唯一 fαf_\alphafα，定义 fα+1=fα∪{(α,G(fα))}f_{\alpha+1} = f_\alpha \cup \{(\alpha, G(f_\alpha))\}fα+1=fα∪{(α,G(fα))}，可验证满足条件，且由归纳假设唯一。若 λ\lambdaλ 为极限序数，令 fλ=⋃β<λfβf_\lambda = \bigcup_{\beta<\lambda} f_\betafλ=⋃β<λfβ。需证明这些 fβf_\betafβ 兼容：对 γ<β<λ\gamma<\beta<\lambdaγ<β<λ，由构造与唯一性可证 fβ↾γ=fγf_\beta \upharpoonright \gamma = f_\gammafβ↾γ=fγ，因此并集为函数。其定义域恰为 λ\lambdaλ，且对 β<λ\beta<\lambdaβ<λ，fλ(β)=fβ+1(β)=G(fβ)=G(fλ↾β)f_\lambda(\beta) = f_{\beta+1}(\beta) = G(f_\beta) = G(f_\lambda \upharpoonright \beta)fλ(β)=fβ+1(β)=G(fβ)=G(fλ↾β)，故满足条件。唯一性仍由归纳得。最后定义 F(α)=fα+1(α)F(\alpha) = f_{\alpha+1}(\alpha)F(α)=fα+1(α)，则有 F(α)=G(F↾α)F(\alpha) = G(F \upharpoonright \alpha)F(α)=G(F↾α)。∎

该定理是序数算术的基石。我们可借此定义序数加法：固定 β\betaβ，令 GGG 为：若定义域为空则取值 β\betaβ；若定义域为 γ+1\gamma+1γ+1 且函数 fff 已定义，则取 S(f(γ))S(f(\gamma))S(f(γ))；若定义域为极限序数 λ>0\lambda>0λ>0，则取 ⋃ran⁡(f)\bigcup \operatorname{ran}(f)⋃ran(f)。所得 F(α)F(\alpha)F(α) 即为 β+α\beta+\alphaβ+α。

5.3 序数算术：不交换的加法、乘法与指数

序数算术与自然数算术形式类似，但因极限序数的存在，交换律和右分配律失效。我们将系统展开加、乘、指数运算，并证明康托标准形与不动点定理。

5.3.1 序数加法

定义 5.3.1（加法） 对序数 α\alphaα，α+0=α\alpha + 0 = \alphaα+0=α；α+S(β)=S(α+β)\alpha + S(\beta) = S(\alpha + \beta)α+S(β)=S(α+β)；对极限 β\betaβ，α+β=⋃γ<β(α+γ)\alpha + \beta = \bigcup_{\gamma < \beta} (\alpha + \gamma)α+β=⋃γ<β(α+γ)。

几何意义 ：α+β\alpha+\betaα+β 是把 β\betaβ 型序接在 α\alphaα 后面所得的良序序型。可以严格构造：设 A,BA,BA,B 分别为型 α,β\alpha,\betaα,β 的不交良序集，则在 A∪BA\cup BA∪B 上定义良序：AAA 中元素保持原序，BBB 中元素保持原序，且所有 AAA 中元素小于所有 BBB 中元素。其序型即 α+β\alpha+\betaα+β。

性质：

结合律 ：(α+β)+γ=α+(β+γ)(\alpha+\beta)+\gamma = \alpha+(\beta+\gamma)(α+β)+γ=α+(β+γ)（对 γ\gammaγ 归纳）。
左严格递增 ：若 β<γ\beta<\gammaβ<γ，则 α+β<α+γ\alpha+\beta < \alpha+\gammaα+β<α+γ。
右单调但不严格 ：1<21 < 21<2 但 1+ω=ω=2+ω1+\omega = \omega = 2+\omega1+ω=ω=2+ω。
左差：若 α≤β\alpha \le \betaα≤β，存在唯一 γ\gammaγ 使 α+γ=β\alpha+\gamma = \betaα+γ=β，记为 −α+β-\alpha + \beta−α+β。
000 是加法单位元。

5.3.2 序数乘法

定义 5.3.2（乘法） α⋅0=0\alpha \cdot 0 = 0α⋅0=0；α⋅S(β)=α⋅β+α\alpha \cdot S(\beta) = \alpha \cdot \beta + \alphaα⋅S(β)=α⋅β+α；对极限 β\betaβ，α⋅β=⋃γ<β(α⋅γ)\alpha \cdot \beta = \bigcup_{\gamma < \beta} (\alpha \cdot \gamma)α⋅β=⋃γ<β(α⋅γ)。

乘法对应用 β\betaβ 份 α\alphaα 型拼接。注意我们采用左乘：α⋅β\alpha\cdot\betaα⋅β 是 β\betaβ 次重复 α\alphaα。因而 2⋅ω=ω2\cdot\omega = \omega2⋅ω=ω，而 ω⋅2=ω+ω>ω\omega\cdot 2 = \omega+\omega > \omegaω⋅2=ω+ω>ω。

性质：

结合律 ：(α⋅β)⋅γ=α⋅(β⋅γ)(\alpha\cdot\beta)\cdot\gamma = \alpha\cdot(\beta\cdot\gamma)(α⋅β)⋅γ=α⋅(β⋅γ)。
左分配律 ：α⋅(β+γ)=α⋅β+α⋅γ\alpha\cdot(\beta+\gamma) = \alpha\cdot\beta + \alpha\cdot\gammaα⋅(β+γ)=α⋅β+α⋅γ。
右分配律一般不成立 ：(ω+1)⋅2=ω+1+ω+1=ω+(1+ω)+1=ω+ω+1=ω⋅2+1(\omega+1)\cdot 2 = \omega+1+\omega+1 = \omega+(1+\omega)+1 = \omega+\omega+1 = \omega\cdot 2 + 1(ω+1)⋅2=ω+1+ω+1=ω+(1+ω)+1=ω+ω+1=ω⋅2+1，而 ω⋅2+1⋅2=ω⋅2+2\omega\cdot 2 + 1\cdot 2 = \omega\cdot 2 + 2ω⋅2+1⋅2=ω⋅2+2。
单调性 ：若 α>0\alpha>0α>0 且 β<γ\beta<\gammaβ<γ，则 α⋅β<α⋅γ\alpha\cdot\beta < \alpha\cdot\gammaα⋅β<α⋅γ。

5.3.3 序数指数

定义 5.3.3（指数） α0=1\alpha^0 = 1α0=1；αS(β)=αβ⋅α\alpha^{S(\beta)} = \alpha^\beta \cdot \alphaαS(β)=αβ⋅α；对极限 β>0\beta>0β>0，若 α≥1\alpha\ge 1α≥1，αβ=⋃γ<βαγ\alpha^\beta = \bigcup_{\gamma<\beta} \alpha^\gammaαβ=⋃γ<βαγ；若 α=0\alpha=0α=0 且 β>0\beta>0β>0，0β=00^\beta=00β=0。

性质：αβ+γ=αβ⋅αγ\alpha^{\beta+\gamma} = \alpha^\beta \cdot \alpha^\gammaαβ+γ=αβ⋅αγ，(αβ)γ=αβ⋅γ(\alpha^\beta)^\gamma = \alpha^{\beta\cdot\gamma}(αβ)γ=αβ⋅γ。

注意：序数指数与基数指数迥异。序数 2ω=⋃n2n=ω2^\omega = \bigcup_n 2^n = \omega2ω=⋃n2n=ω，而基数 2ℵ0>ℵ02^{\aleph_0} > \aleph_02ℵ0>ℵ0。

5.3.4 康托标准形

序数算术的核心表示定理是康托标准形。

定理 5.3.4（康托标准形） 每个非零序数 α\alphaα 可唯一地写成

α=ωγ1⋅n1+ωγ2⋅n2+⋯+ωγk⋅nk, \alpha = \omega^{\gamma_1} \cdot n_1 + \omega^{\gamma_2} \cdot n_2 + \dots + \omega^{\gamma_k} \cdot n_k, α=ωγ1⋅n1+ωγ2⋅n2+⋯+ωγk⋅nk,

其中 γ1>γ2>⋯>γk\gamma_1 > \gamma_2 > \dots > \gamma_kγ1>γ2>⋯>γk 是序数，n1,...,nkn_1,\dots,n_kn1,...,nk 是正整数。

证明：对 α\alphaα 使用超限归纳。取最大 γ\gammaγ 使 ωγ≤α\omega^\gamma \le \alphaωγ≤α（这样的 γ\gammaγ 存在：因 ωα≥α\omega^\alpha \ge \alphaωα≥α 对所有 α\alphaα 成立，所以使 ωγ≤α\omega^\gamma \le \alphaωγ≤α 的 γ\gammaγ 构成集合且有上界，最大者存在）。然后利用带余除法（左差）得 α=ωγ⋅n+δ\alpha = \omega^\gamma \cdot n + \deltaα=ωγ⋅n+δ，其中 n<ωn<\omegan<ω，δ<ωγ\delta < \omega^\gammaδ<ωγ。对 δ\deltaδ 应用归纳假设即得表示。唯一性由序数加法和乘法的严格单调性保证。∎

康托标准形提供了分析序数的强大工具。例如，极限序数 α\alphaα 当且仅当它的标准形中末尾指数 γk>0\gamma_k>0γk>0。由此可以定义序数的自然和与自然积，将标准形的指数按自然方式合并，用于证明论。

5.3.5 正常函数与不动点

定义 5.3.5（正常函数） 类函数 f:Ord→Ordf:\mathrm{Ord}\to\mathrm{Ord}f:Ord→Ord 称为正常函数 ，若严格递增（α<β⇒f(α)<f(β)\alpha<\beta \Rightarrow f(\alpha)<f(\beta)α<β⇒f(α)<f(β)）且连续（f(λ)=⋃β<λf(β)f(\lambda)=\bigcup_{\beta<\lambda} f(\beta)f(λ)=⋃β<λf(β) 对极限 λ\lambdaλ）。

序数加法（固定左加数 >0>0>0）、乘法（固定左乘数 >1>1>1）、指数（固定底数 >1>1>1）在第二变元上都是正常函数。正常函数的标志性特征是具有任意大的不动点。

定理 5.3.6（不动点定理） 若 fff 是正常函数，则 ∀α ∃β≥α (f(β)=β)\forall \alpha\,\exists \beta\ge\alpha\,(f(\beta)=\beta)∀α∃β≥α(f(β)=β)。

证明：如前，递推定义 α0=α\alpha_0=\alphaα0=α, αn+1=f(αn)\alpha_{n+1}=f(\alpha_n)αn+1=f(αn)。令 β=sup⁡nαn\beta=\sup_n \alpha_nβ=supnαn。由连续性 f(β)=βf(\beta)=\betaf(β)=β。∎

例子（ε\varepsilonε 数） ：取 f(α)=ωαf(\alpha)=\omega^\alphaf(α)=ωα，最小不动点记为 ε0=sup⁡{ω,ωω,ωωω,... }\varepsilon_0 = \sup\{\omega, \omega^\omega, \omega^{\omega^\omega},\dots\}ε0=sup{ω,ωω,ωωω,...}。它不能由 ω\omegaω 通过加、乘、乘方有限次达到，是皮亚诺算术的证明论序数。进一步的不动点 ε1,ε2,...\varepsilon_1,\varepsilon_2,\dotsε1,ε2,... 形成阶梯。再往上，可考虑不动的枚举函数，引出维布伦（Veblen）层级，这是更大序数表示理论的基础，并在证明论和描述集合论中有重要应用。

5.4 基数：集合大小的度量

序数计量良序集的长度，基数则抽象掉顺序，纯粹计量元素个数。

5.4.1 等势与康托-伯恩斯坦定理

定义 5.4.1（等势） A≈BA\approx BA≈B 当且仅当存在双射 A→BA\to BA→B。记 ∣A∣=∣B∣|A| = |B|∣A∣=∣B∣。

定义 5.4.2 ∣A∣≤∣B∣|A| \le |B|∣A∣≤∣B∣ 若存在单射 A→BA\to BA→B。此关系是预序。核心定理：

定理 5.4.3（康托-伯恩斯坦） 若 ∣A∣≤∣B∣|A|\le|B|∣A∣≤∣B∣ 且 ∣B∣≤∣A∣|B|\le|A|∣B∣≤∣A∣，则 ∣A∣=∣B∣|A|=|B|∣A∣=∣B∣。

证明：设 f:A→Bf:A\to Bf:A→B, g:B→Ag:B\to Ag:B→A 为单射。令 C0=A∖g(B)C_0 = A\setminus g(B)C0=A∖g(B), Cn+1=g(f(Cn))C_{n+1}=g(f(C_n))Cn+1=g(f(Cn)), C=⋃nCnC=\bigcup_n C_nC=⋃nCn。定义 h(x)=f(x)h(x)=f(x)h(x)=f(x) 若 x∈Cx\in Cx∈C；否则 h(x)=g−1(x)h(x)=g^{-1}(x)h(x)=g−1(x)。可验证 hhh 为双射。该证明不依赖选择公理。∎

5.4.2 基数的定义------初始序数

在ZFC中，良序定理保证每个集合可良序化，从而等势于某个序数。因此可定义基数为等势的最小序数。

定义 5.4.4（基数） 序数 κ\kappaκ 称为基数（或初始序数），若对所有 α<κ\alpha<\kappaα<κ，α≉κ\alpha\not\approx\kappaα≈κ。对任意集合 AAA，其基数 ∣A∣|A|∣A∣ 为等势于 AAA 的最小序数。

此定义依赖于良序定理，因此依赖于选择公理。若没有选择公理，则并非所有集合都能良序化，此时Scott技巧可用来定义基数：取等势类中秩最小的集合代表。但在ZFC下，我们拥有阿列夫序列。

哈托格斯定理 （无需选择）：对任意集合 XXX，存在序数 α\alphaα 使得不存在单射 α→X\alpha\to Xα→X。最小的此类序数记为 ℵ(X)\aleph(X)ℵ(X)。特别地，ℵ1=ℵ(ω)\aleph_1 = \aleph(\omega)ℵ1=ℵ(ω) 是第一个不可数基数。

阿列夫序列 ：ℵ0=ω\aleph_0 = \omegaℵ0=ω，ℵα+1=ℵα+\aleph_{\alpha+1} = \aleph_\alpha^+ℵα+1=ℵα+（大于 ℵα\aleph_\alphaℵα 的最小基数），ℵλ=⋃β<λℵβ\aleph_\lambda = \bigcup_{\beta<\lambda} \aleph_\betaℵλ=⋃β<λℵβ 对极限 λ\lambdaλ。每个无穷基数都是某个 ℵα\aleph_\alphaℵα。连续统基数 c=2ℵ0\mathfrak{c}=2^{\aleph_0}c=2ℵ0。

5.4.3 基数的次序

基数之间继承序数的小于关系，也是良序。选择公理保证任意两基数可比，进而基数加法与乘法表现出吸收律。

5.5 基数算术

基数算术完全由集合运算定义，不依赖良序的选取。

5.5.1 加法、乘法、指数

定义 5.5.1 κ+λ=∣κ×{0}∪λ×{1}∣\kappa + \lambda = |\kappa \times \{0\} \cup \lambda \times \{1\}|κ+λ=∣κ×{0}∪λ×{1}∣，κ⋅λ=∣κ×λ∣\kappa \cdot \lambda = |\kappa \times \lambda|κ⋅λ=∣κ×λ∣，κλ=∣{f∣f:λ→κ}∣\kappa^\lambda = |\{f\mid f:\lambda\to\kappa\}|κλ=∣{f∣f:λ→κ}∣。

显然对有限基数，回归自然数运算。

5.5.2 无穷基数的吸收律

定理 5.5.2（吸收律） 若 κ,λ\kappa,\lambdaκ,λ 是基数且至少一者无穷且非零，则 κ+λ=κ⋅λ=max⁡(κ,λ)\kappa+\lambda = \kappa\cdot\lambda = \max(\kappa,\lambda)κ+λ=κ⋅λ=max(κ,λ)。

证明：不妨设 κ≥λ\kappa \ge \lambdaκ≥λ 且 κ\kappaκ 无穷。核心是证明 κ⋅κ=κ\kappa \cdot \kappa = \kappaκ⋅κ=κ。使用良序定理，κ\kappaκ 作为基数也是初始序数。在 κ×κ\kappa\times\kappaκ×κ 上定义典范良序：

(α,β)<(γ,δ) ⟺ {max⁡(α,β)<max⁡(γ,δ), 或max⁡(α,β)=max⁡(γ,δ) 且 α<γ, 或max⁡(α,β)=max⁡(γ,δ) 且 α=γ 且 β<δ. (\alpha,\beta) < (\gamma,\delta) \iff \begin{cases} \max(\alpha,\beta) < \max(\gamma,\delta), \text{ 或}\\ \max(\alpha,\beta) = \max(\gamma,\delta) \text{ 且 } \alpha < \gamma, \text{ 或}\\ \max(\alpha,\beta) = \max(\gamma,\delta) \text{ 且 } \alpha = \gamma \text{ 且 } \beta < \delta. \end{cases} (α,β)<(γ,δ)⟺⎩ ⎨ ⎧max(α,β)<max(γ,δ), 或max(α,β)=max(γ,δ) 且 α<γ, 或max(α,β)=max(γ,δ) 且 α=γ 且 β<δ.

可以验证这是良序。设其序型为 ρ\rhoρ。因 κ\kappaκ 是基数，若 κ<ρ\kappa < \rhoκ<ρ，则存在 (α,β)(\alpha,\beta)(α,β) 使得前段序型为 κ\kappaκ，但该前段包含于 (max⁡(α,β)+1)×(max⁡(α,β)+1)(\max(\alpha,\beta)+1)\times(\max(\alpha,\beta)+1)(max(α,β)+1)×(max(α,β)+1)，其势小于 κ\kappaκ，矛盾。故 ρ≤κ\rho \le \kappaρ≤κ。从而有单射 κ×κ→κ\kappa\times\kappa \to \kappaκ×κ→κ，结合显然的单射 κ→κ×κ\kappa \to \kappa\times\kappaκ→κ×κ 与伯恩斯坦定理即得 ∣κ×κ∣=κ|\kappa\times\kappa| = \kappa∣κ×κ∣=κ。于是 κ⋅λ≤κ⋅κ=κ\kappa \cdot \lambda \le \kappa \cdot \kappa = \kappaκ⋅λ≤κ⋅κ=κ 且 κ≤κ⋅λ\kappa \le \kappa\cdot\lambdaκ≤κ⋅λ（因 λ>0\lambda>0λ>0），所以相等。加法类似。∎

该定理使无穷基数的加法和乘法平凡化，指数成为唯一非平凡的运算。

5.5.3 康托定理与指数基本等式

定理 5.5.3（康托） κ<2κ\kappa < 2^\kappaκ<2κ。

恒等式（ZF）：

κλ+μ=κλ⋅κμ\kappa^{\lambda+\mu} = \kappa^\lambda \cdot \kappa^\muκλ+μ=κλ⋅κμ；
(κλ)μ=κλ⋅μ(\kappa^\lambda)^\mu = \kappa^{\lambda\cdot\mu}(κλ)μ=κλ⋅μ；
(κ⋅λ)μ=κμ⋅λμ(\kappa\cdot\lambda)^\mu = \kappa^\mu \cdot \lambda^\mu(κ⋅λ)μ=κμ⋅λμ；
若 κ≤λ\kappa\le\lambdaκ≤λ 则 κμ≤λμ\kappa^\mu \le \lambda^\muκμ≤λμ；若 0<λ≤μ0<\lambda\le\mu0<λ≤μ 且 κ>1\kappa>1κ>1 则 κλ≤κμ\kappa^\lambda \le \kappa^\muκλ≤κμ。

5.5.4 连续统假设

CH ：2ℵ0=ℵ12^{\aleph_0} = \aleph_12ℵ0=ℵ1；GCH ：∀α (2ℵα=ℵα+1)\forall\alpha\,(2^{\aleph_\alpha} = \aleph_{\alpha+1})∀α(2ℵα=ℵα+1)。两者均独立于ZFC。

5.6 共尾性与正则基数

5.6.1 共尾性的定义

定义 5.6.1 极限序数 α\alphaα 的子集 B⊆αB\subseteq\alphaB⊆α 共尾若 ∀ξ<α ∃β∈B (ξ≤β)\forall\xi<\alpha\,\exists\beta\in B\,(\xi\le\beta)∀ξ<α∃β∈B(ξ≤β)。

定义 5.6.2 cf⁡(α)\operatorname{cf}(\alpha)cf(α) 是使存在严格递增共尾映射 f:β→αf:\beta\to\alphaf:β→α 的最小序数 β\betaβ。对后继序数约定 cf⁡(α)=1\operatorname{cf}(\alpha)=1cf(α)=1。它总是一个正则基数，且 cf⁡(cf⁡(α))=cf⁡(α)\operatorname{cf}(\operatorname{cf}(\alpha))=\operatorname{cf}(\alpha)cf(cf(α))=cf(α)。

例：cf⁡(ω)=ω\operatorname{cf}(\omega)=\omegacf(ω)=ω，cf⁡(ω1)=ω1\operatorname{cf}(\omega_1)=\omega_1cf(ω1)=ω1，cf⁡(ℵω)=ω\operatorname{cf}(\aleph_\omega)=\omegacf(ℵω)=ω。

5.6.2 正则与奇异基数

定义：基数 κ\kappaκ 称为正则若 cf⁡(κ)=κ\operatorname{cf}(\kappa)=\kappacf(κ)=κ，否则奇异。

定理 5.6.1 在ZFC中，每个后继基数 ℵα+1\aleph_{\alpha+1}ℵα+1 都是正则的。

证明：若 κ=ℵα+1\kappa=\aleph_{\alpha+1}κ=ℵα+1 奇异，则存在 λ<κ\lambda<\kappaλ<κ 和共尾映射 f:λ→κf:\lambda\to\kappaf:λ→κ。则 κ=⋃ξ<λf(ξ)\kappa = \bigcup_{\xi<\lambda} f(\xi)κ=⋃ξ<λf(ξ)，每个 ∣f(ξ)∣≤ℵα|f(\xi)| \le \aleph_\alpha∣f(ξ)∣≤ℵα，故 ∣κ∣≤λ⋅ℵα≤ℵα|\kappa| \le \lambda \cdot \aleph_\alpha \le \aleph_\alpha∣κ∣≤λ⋅ℵα≤ℵα，矛盾。∎

5.6.3 柯尼希定理及其推论

定理 5.6.3（柯尼希） 若对每个 i∈Ii\in Ii∈I 有 κi<λi\kappa_i < \lambda_iκi<λi，则 ∑i∈Iκi<∏i∈Iλi\sum_{i\in I} \kappa_i < \prod_{i\in I} \lambda_i∑i∈Iκi<∏i∈Iλi。

推论：对任意无穷基数 κ\kappaκ，κcf⁡(κ)>κ\kappa^{\operatorname{cf}(\kappa)} > \kappaκcf(κ)>κ。进而 cf⁡(2κ)>κ\operatorname{cf}(2^\kappa) > \kappacf(2κ)>κ，故 2ℵ02^{\aleph_0}2ℵ0 的共尾性不可数。

5.6.4 共尾性与指数归约

共尾性决定基数指数的计算格局。一些关键规则：

若 λ≥cf⁡(κ)\lambda \ge \operatorname{cf}(\kappa)λ≥cf(κ)，则 κλ=(sup⁡α<καλ)cf⁡(κ)\kappa^\lambda = (\sup_{\alpha<\kappa} \alpha^\lambda)^{\operatorname{cf}(\kappa)}κλ=(supα<καλ)cf(κ)。
若 λ<cf⁡(κ)\lambda < \operatorname{cf}(\kappa)λ<cf(κ)，则 κλ=sup⁡α<καλ\kappa^\lambda = \sup_{\alpha<\kappa} \alpha^\lambdaκλ=supα<καλ。

这些归约公式是展开具体基数幂计算的基础。

5.7 豪斯多夫公式与奇异基数假设

定理 5.7.1（豪斯多夫） ℵα+1ℵβ=ℵαℵβ⋅ℵα+1\aleph_{\alpha+1}^{\aleph_\beta} = \aleph_\alpha^{\aleph_\beta} \cdot \aleph_{\alpha+1}ℵα+1ℵβ=ℵαℵβ⋅ℵα+1。

证明思路 ：每个 f:ℵβ→ℵα+1f:\aleph_\beta\to\aleph_{\alpha+1}f:ℵβ→ℵα+1 若非终常有界，则其像在 ℵα+1\aleph_{\alpha+1}ℵα+1 中无界，这要求 ℵβ≥ℵα+1\aleph_\beta \ge \aleph_{\alpha+1}ℵβ≥ℵα+1 或类似条件。通过函数空间的分解计算可得。该公式成为迭代计算后继基数幂的起点。

奇异基数假设 (SCH) ：若 κ\kappaκ 是奇异基数且 2cf⁡(κ)<κ2^{\operatorname{cf}(\kappa)} < \kappa2cf(κ)<κ，则 κcf⁡(κ)=κ+\kappa^{\operatorname{cf}(\kappa)} = \kappa^+κcf(κ)=κ+。这是GCH在奇异基数上的自然削弱，其真伪与大基数公理密切相关。

5.8 大基数初窥：弱不可达基数及其延伸

正则极限基数称为弱不可达基数 。若 κ\kappaκ 是弱不可达基数，则 κ=ℵκ\kappa = \aleph_\kappaκ=ℵκ。进一步，若 κ\kappaκ 是正则的强极限基数（即 ∀λ<κ, 2λ<κ\forall\lambda<\kappa,\,2^\lambda<\kappa∀λ<κ,2λ<κ），称为强不可达基数 。强不可达基数下 VκV_\kappaVκ 是ZFC的模型，故在ZFC中无法证明其存在。

以此为起点，现代集合论建立了大基数的谱系：

马洛基数 ：若 κ\kappaκ 是不可达基数且 κ\kappaκ 之下的不可达基数构成驻集（stationary set）。
可测基数 ：存在 κ\kappaκ 上的非主 κ\kappaκ-完全超滤。可测基数是初等嵌入 j:V→Mj:V\to Mj:V→M 的临界点，由此开辟内模型论。
更进一步有强基数 、超紧基数 、伍丁基数等，它们与实数决定性公理、内模型程序、力迫公理有深远的联系。

大基数的存在性虽不能由ZFC证明，但它们提供了一幅丰富的宇宙图景，是当代集合论的前沿。

结语

序数与基数是集合论赋予无穷的双翼。序数让良序的长度有了精确载体，超限归纳与递归使我们得以在整个无穷阶梯上构造运算；基数则剥离顺序，凝练出纯粹的大小，康托定理与共尾性揭示了不可穷尽的层次。选择公理保证了基数算术的吸收律，而共尾性打开了研究指数运算的大门。从 ω\omegaω 出发，通过幂集与极限，我们构筑起 ℵ1,ℵ2,...,ℵω,...\aleph_1,\aleph_2,\dots,\aleph_\omega,\dotsℵ1,ℵ2,...,ℵω,... 直至不可达的高峰。超限世界没有尽头，而这正是公理集合论永恒的魅力。本章为后续力迫法与连续统假设的独立性证明奠定了基础，也为深入大基数理论做好了序数与基数的准备。

数学公理体系大全:第五章 序数与基数理论：超限算术与集合的大小

第五章 序数与基数理论：超限算术与集合的大小