良序集的序型order type

谁指向它（入边）

推出 1

• 超限递归、替换公理模式、正则公理、序数可比 ⟹ 本页推出
  递归定理 + 替换公理 $\implies$ 每个良序集有唯一序型

  设 $(W, \preceq )$ 是良序集。

  ① 造出函数。 由递归定理（取 $G(f) = \operatorname{ran}\, f$，即「前面全部取值的值域」）得到唯一的 $F$ 定义在 $W$ 上，使

  $$F(w) = \{ F(v) : v \prec w \}, \qquad \forall w \in W$$

  每个 $F(w)$ 都是集合 —— 由替换公理模式，$\{ F(v) : v \prec w \}$ 是某个集合的像。

  ② $F$ 保序。 若 $v \prec w$，则 $F(v) \in \{ F(u) : u \prec w \} = F(w)$。反过来若 $F(v) \in F(w)$，则 $F(v) = F(u)$ 对某个 $u \prec w$；再由 ③ 的单射性得 $v = u \prec w$。

  ③ $F$ 是单射。 反设存在 $v \ne w$ 使 $F(v) = F(w)$；由于 $\preceq$ 是全序，不妨 $v \prec w$。由 ② 得 $F(v) \in F(w) = F(v)$，即 $F(v) \in F(v)$ —— 与「任何集合都不属于自身」（正则公理的推论）矛盾。（这一步是真正用到正则公理的地方。）

  ④ $\alpha := \operatorname{ran}\, F$ 是序数。 由替换公理模式，$\alpha = \{ F(w) : w \in W \}$ 是集合。传递性：若 $x \in F(w)$，则 $x = F(v)$ 对某个 $v \prec w$，故 $x \in \alpha$。$\in$ 良序：$\alpha$ 上的 $\in$ 经 ②③ 就是 $(W, \prec)$ 的序（$x \in y \iff F^{-1}(x) \prec F^{-1}(y)$），良序性原样搬过来。

  ⑤ 于是 $F$ 是 $(W, \preceq ) \to (\alpha, \in)$ 的序同构，故 $W$ 的序型 $\alpha$ 存在。

  ⑥ 唯一性。 设 $\alpha, \beta$ 都是 $W$ 的序型，则 $(\alpha, \in) \cong (\beta, \in)$。由三歧性，$\alpha \in \beta$、$\alpha = \beta$、$\beta \in \alpha$ 恰有一个成立。若 $\alpha \in \beta$：由 $\beta$ 传递得 $\alpha \subseteq \beta$，且 $\alpha = \{ x \in \beta : x \in \alpha \}$ 是 $\beta$ 的真初始段。把两个序同构接起来，得到 $(\alpha, \in)$ 与自己的真初始段序同构 —— 而良序集不能与自己的真初始段序同构（见下），矛盾。故 $\alpha \notin \beta$；交换 $\alpha, \beta$ 同理得 $\beta \notin \alpha$。于是只能 $\alpha = \beta$。

  引理（上一步用到）：良序集 $(L, \prec)$ 不可能与它的真初始段 $L_{< a} = \{ x \in L : x \prec a \}$ 序同构。 证：设 $h : L \to L_{< a}$ 是序同构。对 $x \prec a$ 用超限归纳：若 $\forall y \prec x,\ h(y) = y$，则 $h(x)$ 是 $L_{< a}$ 中大于一切 $h(y) = y\ (y \prec x)$ 的最小元，也就是「大于一切 $y \prec x$ 的最小元」，即 $h(x) = x$（序同构把「小于 $x$ 的全部元素」映成「小于 $h(x)$ 的全部元素」）。故 $h$ 在 $L_{< a}$ 上恒等；于是 $h(a)$ 是 $L_{< a}$ 中大于一切 $y \prec a$ 的最小元，即 $h(a) = a$ —— 但 $h(a) \in L_{< a}$ 意为 $h(a) \prec a$，矛盾。∎

  整个证明只用 ZF（递归定理 + 替换公理 + 三歧性），不要选择公理。这正是 Hartogs 定理能在 ZF 里成立的原因之一。