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

继续选择公理的讨论。

命题4.43：以下好式子是选择公理AC的推论
a. 任意无限集都有可列子集。

$$Inf(x) \Rightarrow (\exists y)(y \subseteq x \land Den(y))$$
b. 无限集是Dedekind无限。 $$Inf(x) \Rightarrow DedInf(x)$$
c. 若 $x$可列，并且 $x$中的成员都是可列集，那么 $\bigcup x$可列，即“可数集合的可数并也可数”。 $$Den(x) \land (\forall y)(y \subseteq x \Rightarrow Den(y)) \Rightarrow Den(\bigcup x)$$

证明：假设选择公理AC成立，
a. 根据引理4.16.2a，$x$与某个序数$\alpha$等势。由于$x$是无限集，所以$\alpha \geq_{\circ} \omega$，所以$\omega$与$\alpha$的某个子集等势，进而与某个$x$的子集等势。$\square$

b. 根据引理4.13.2c，一个集合是Dedekind无限，当且仅当，它有可列子集。所以，由a的结果可知，若$x$无限，则$x$有可列子集，进而$x$是Dedekind无限。$\square$

c. 先证$\bigcup x \preceq \omega$。注意$\omega \cong \omega \times \omega$，所以我们证$\bigcup x \preceq \omega \times \omega$。这里就要构造一个函数$F$，对于$y \in \bigcup x$，$F'y = <u, v>$，其中$u, v \in \omega$。它的构造思路很简单：因为$x \cong \omega$，记其中一个一一映射函数为$h$。若$y \in \bigcup x$，那么存在某些$z \in x$，使得$y \in z$。这些$z$通过函数$h$映射到$\omega$的某个子集，这个子集有最小值$n$，所以$F'y = <u, v>$的$u$就取这个$n$（到现在为止还没用AC）。接着，因为任意这些$z$都可列，即$z \cong \omega$，这时就要通过选择公理AC来选出其中一个一一映射函数$g$（具体构造过程不写了，还是老套路，对于任意$u \in x$，构造所有一一映射函数$u \rightarrow \omega$的集合，然后从这些函数里选出一个。注意，这里要用AC是因为要确保$y_1, y_2 \in z$，用到的一一映射函数是同一个函数。没有AC的话，只能$z \in x \Rightarrow (\exists g)z \cong_g \omega$，对于$y_1, y_2 \in z$，并不能保证$(\exists g)$的这个$g$是同一个函数），然后$F'y = <u, v>$中的$v$就是$g'v$。因此，$F$就是以$\bigcup x$为定义域，以$\omega \times \omega$的某个子集为值域的一一函数，所以$\bigcup x \preceq \omega \times \omega$。

反过来，因为存在某个$v \in x \land v \cong \omega$，所以$v \subseteq \bigcup x \land v \cong \omega$，进而$\omega \preceq \bigcup x$。根据Bernstein定理，就有$\bigcup x \cong \omega$。$\square$

选择公理AC有个更强的版本，叫做UCF，Universal Choice Function：

$$(\exists X)(Fnc(X) \land (\forall u)(u \neq \emptyset \Rightarrow X'u \in u) )$$
UCF可以得出AC，但如果NBG是一致的，则NGB+AC得不出UCF。

正则公理 Regularity Axiom (Reg)

Reg: $(\forall X)(X \neq \emptyset \Rightarrow (\exists y)(y \in X \cap X = \emptyset))$，任意非空类$X$都有与自己互斥的成员。

正则公理是很基本的准则，也产生了一些争论。

命题4.44：
a. 正则公理可导出基础公理（Fundierungsaxiom），

$$\neg \Big( (\exists f)\big[Fnc(f) \land \mathcal{D}(f) = \omega \land (\forall u)(u \in \omega \Rightarrow f'(u') \in f'u ) \big] \Big)$$ ，即没有无限的反包含关系。

b. 假设AC，那么基础公理可导出正则公理。

c. 正则公理可以导出，不存在有限$\in-$循环，即对任意非空有限序数$\alpha$，不存在函数$f$，使得$f'\emptyset \in f'1 \in \cdots \in f'\alpha \in f'\emptyset$

证明：
a. 假设基础公理不成立，即存在那样的一个函数$f$。记$z = f''\omega$，由正则公理Reg可知，存在某个$y \in z$且$y \cap z = \emptyset$。接着，既然