数理逻辑4 -- 公理化集合论16

选择公理（Axiom of Choice）

选择公理在集合论里受到很多争议，它看起来“很自然”，所以很多人以为它定能从其它公理推导得出。但实际上，在众多集合论中，选择公理已被证明和其它公理彼此独立，而没了选择公理，很多定理又无法被证明。因此，选择公理就被看作是是“奇葩”，看起来很自然很重要，但竟要“假设”它成立。

选择公理有很多等价形式，以下命题给出了一些。
命题4.42：以下好式子是等价的
a. 选择公理 Axiom of Choice (AC)：对任意集合$x$，存在一个函数$f$，使得对于$x$的任意非空子集$y$，都有$f'y \in y$，其中$f$称为$x$的选择函数（choice function）。

$$(\forall x)(\exists f)(\forall y)(y \subseteq x \land y \neq \emptyset \Rightarrow (\exists z)(<y, z> \in f \land z \in y))$$

b. 乘法公理 Multiplicative Axiom (Mult)：若$x$是某些非空互斥集合的集合，那么存在一个集合$y$，使得$y$仅包含$x$中每个成员中的一个元素，也即$x$中的每个成员“选”出一个元素而构成$y$，称为$x$的选择集合（choice set）。

$$\begin{align*} & (\forall u)(u \in x \Rightarrow u \neq \emptyset \land (\forall v)(v \in x \land v \neq u \Rightarrow v \cap u = \emptyset)) \\ & \Rightarrow (\exists y)(\forall u)(u \in x \Rightarrow (\exists_1 w)(w \in u \cap y)) \end{align*}$$

c. 良序定律 Well-ordering Principle (WO)：任意集合都有良序关系。

$$(\forall x)(\exists y)(y \ We \ x)$$

d. 三分律 Trichotomy (Trich)：

$$(\forall x)(\forall y)(x \preceq y \lor y \preceq x)$$

e. 佐恩引理 Zorn’s Lemma (Zorn)：对于任意非空偏序集合$x$，若每条链（chain，即全序子集合）都有上界，那么$x$有最大值。

$$\begin{align*} & (\forall x)(\forall y)\Big( [(y \ Part \ x) \land (\forall u)(u \subseteq x \land y \ Tot \ u \Rightarrow \\ & (\exists v)(v \in x \land (\forall w)(w \in u \Rightarrow w = v \lor <w, v> \in y)) ) ] \Rightarrow \\ & (\exists v)(v \in x) \land (\forall w)(w \in x \Rightarrow <v, w> \notin y) \Big) \end{align*}$$

证明：教材上的证明分两路，第一路证明$WO \Leftrightarrow Trich$，第二路证明$WO \Rightarrow Mult \Rightarrow AC \Rightarrow Zorn \Rightarrow WO$，这样就证明了它们互相等价。

(1) $WO \Rightarrow Trich$。对于任意集合$x, y$，由$WO$可知它们有良序，所以根据命题4.19，存在序数$\alpha, \beta$使得$x \cong \alpha$和$y \cong \beta$。根据引理4.10.1d，任意两个序数必有一个“偏势”，即$\alpha \preceq \beta \lor \beta \preceq \alpha$，所以$x \preceq y \lor y \preceq x$。$\square$

(2) $Trich \Rightarrow WO$。对于任意集合$x$，Hartog定理说存在某个序数$\alpha$，使得$\alpha$不与$x$的任意子集等价，即$\neg (\alpha \preceq x)$。根据Trich，可得$x \preceq \alpha$，即存在$y \subseteq \alpha$，使得$x \cong y$。注意，序数$\alpha$有良序（命题4.8f），所以$\alpha$的子集$y$也有良序（引理4.6.1b），既然$x \cong y$，因此很容易构造一个$x$的良序。$\square$

(3) $WO \Rightarrow Mult$。若$x$是非空互斥集合的集合，由WO可知，存在$\bigcup x$的良序$R$。那么，存在一个函数$f$（利用类存在定理，注意写出谓词好式子即可），使得对于任意$u \in x$，$f'u$是$u$中的R-最小值。显然，$f$的值域就是$x$的选择集合。$\square$

(4) $Mult \Rightarrow AC$：对于任意集合$x$，构造一一函数$g$，使得对任意非空$u \subseteq x$，有$g'u = u \times \{ u \}$，记$x_1$为$g$的值域。注意到，$x_1$是非空互斥集合的集合，所以由Mult可知，存在一个选择集合$y$，对于任意$u \subseteq x$，$y$仅包含$u \times \{ u \}$中一个成员，可记为 <v,u> < v , u > <script type="math/tex" id="MathJax-Element-106"> </script>。因此，存在一个函数 $f$，使得对于任意非空$u \subseteq x$，有 $v \in u \land f'u = v$。 $\square$

(5)