基础集合论 第五章 5 良序化原理

定理 良序化原理

每个集合都可以良序化。

证明

若 $A = \emptyset$ 则 $(\emptyset, \emptyset)$ 就是一个良序集。接下来只考虑 $A \neq \emptyset$ 的情况。
根据选择公理，设 $\varphi$ 是集合 $A$ 的一个选择函数。
对于集合 $A$ 的任意一个子集 $D$ 和 $D$ 上的一个偏序 $\le _D$ ，当且仅当：
1. $(D, \le _D)$ 是良序集。
2. $\forall a \in D ( \varphi (A - s(a, \le _D)) = a )$
称序集 $(D, \le _D)$ 是一个 $\Gamma$ 集。
令 $M = \{ D \subseteq A | \exists D$ 上的一个偏序 $\le _D,$ 使得序集 $(D, \le _D)$ 是一个 $\Gamma$ 集 $\},$
$U = \cup (M),$
$R = \{ (x, y) | \exists \Gamma$ 集 $(D, \le _D)$ 使得 $( x \le _D y ) \}$
则：

结论 1

对于任意一个 $D \in M,$ 有唯一的 $\le _D$ 使得 $(D, \le _{D})$ 是 $\Gamma$ 集。
即：$\forall D \in M,$ 对于 $D$ 上的任意两个偏序 $\le _{D1}, \le _{D2},$ 若 $(D, \le _{D1}), (D, \le _{D2})$ 都是 $\Gamma$ 集，则 $\le _{D1} = \le _{D2}$

证明：

只要证：$\forall a \in D \left (s \left (a, \le _{D1} \right ) = s \left (a, \le _{D2} \right ) \right )$
使用超限归纳原理证明：
$\forall a \in D,$ 假设 $\forall x \in s(a, \le _{D1} ) \left (s \left (x, \le _{D1} \right ) = s \left (x, \le _{D2} \right ) \right )$
则 $\forall x \in s \left (a, \le _{D1} \right ), \forall y \in D (y \le _{D2} x \Rightarrow y \le _{D1} x \Rightarrow y \in s \left (a, \le _{D1} \right ))$
因此 $s \left (a, \le _{D1} \right )$ 是序集 $(D, \le _{D2})$ 的一个截段。
因为 $a \not \in s \left (a, \le _{D1} \right )$，因此 $s \left (a, \le _{D1} \right )$ 是序集 $(D, \le _{D2})$ 的一个真截段。
因为 $(D, \le _{D2})$ 是良序集，因此存在 $b \in D,$ 使得 $s \left (a, \le _{D1} \right ) = s \left (b, \le _{D2} \right ),$
于是 $a = \varphi \left (A - s \left (a, \le _{D1} \right ) \right ) = \varphi \left (A - s \left (b, \le _{D2} \right ) \right )= b,$
因此 $s \left (a, \le _{D1} \right ) = s \left (a, \le _{D2} \right )$

结论 2

若 $(D, \le _{D}), (E, \le _{E})$ 都是 $\Gamma$ 集，则 $D$ 是 $(E, \le _{E})$ 的一个截段且 $\le _{D} \subseteq \le _{E},$ 或 $E$ 是 $(D, \le _{D})$ 的一个截段且