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

关于有限集，再来一些练习。

引理4.13.1（Tarski，1925）：我们说$X$是$Y$的最小值，当且仅当，

X∈Y∧(∀y)(y∈Y⇒¬(y⊂X)) X ∈ Y ∧ ( ∀ y ) ( y ∈ Y ⇒ ¬ ( y ⊂ X ) )

$$X \in Y \land (\forall y)(y \in Y \Rightarrow \neg (y \subset X))$$ ，也即$X$是$Y$的“最小集合”。那么，一个集合$Z$是有限的，当且仅当，任意$Z$子集所组成的非空集合存在最小值。

证明：从左往右是不难的，还是采用超序归纳法的套路。记集合

$$\begin{align*} W = & \{ u | u \in \omega \land (\forall z)(\forall f)\big[ u \cong_f z \Rightarrow (\forall Y)(\exists x)(\forall y) \\ &(Y \subseteq \mathcal{P}(z) \land Y \neq \emptyset \Rightarrow (y \in Y \Rightarrow \neg(y \subset x)) ) \big] \} \end{align*}$$

上面的式子看似复杂，其实还是老套路，把$Fin(z)$写成$z \cong_f u$。那么，现在来证明$\omega \subseteq W$。首先，空集不符合题设的定义，因此它显然在$W$内。然后，假设$\alpha \in W$，考虑$\alpha'$。类似的，若$f'\alpha = w$，则记$z_1 = z - \{ w \}$。根据归纳假设，$\mathcal{P}(z_1)$的任意非空子集都有最小值，考虑$\mathcal{P}(z)$的非空子集。注意到，$\mathcal{P}(z) = \mathcal{P}(z_1) \cup V$，其中$V = \{ v | (\exists s)(s \in \mathcal{P}(z_1) \land v = s \cup \{ w \} )\}$，即$V$是由$w$和$\mathcal{P}(z_1)$子集相并所组成。因此，考虑$\mathcal{P}(z)$中的某一个非空子集$Y$，有三种情况：

(1) $Y \subseteq \mathcal{P}(z_1)$。根据归纳假设，$Y$有最小值。

(2) $Y \subseteq V$。注意到，$Y$中的每个成员$y$都由$w$和$\mathcal{P}(z_1)$的某个成员相并而成，即$y = \{ w \} \cup y_1 \land y_1 \in \mathcal{P}(z_1)$。而且，$w \notin y_1$。所以，“自然的”，构造集合$Y_2 = \{ y_1 | y_1 \in \mathcal{P}(z_1) \land (\{ w \} \cup y_1) \in Y \}$，也即$Y_2$的成员是$Y$中成员“踢掉了”$w$。根据归纳假设，$Y_2$有最小值，记为$y_2$，则不难证明$y_2 \cup \{ w\} \in Y$是$Y$的最小值。

(3) $Y = Y_3 \cup Y_4$，且$Y_3 \subseteq \mathcal{P}(z_1)$和$Y_4 \subseteq V$。规矩归纳假设，$Y_3$有最小值$y_3$。根据上述(2)的结果，$Y_4$有最小值$y_4$。那么，$y_3$和$y_4$至少有一个是$Y$的最小值。这就完成了从左往右的证明。

从右往左，若集合$Z$子集的任意非空集合都有最小值，假设$Inf(Z)$。那么，令$Y = \{ y | y \subseteq Z \land Inf(y )\}$，即$Y$是$Z$中所有无限子集的集合，我们证明$Y$中没有最小值，从而产生矛盾。假设$Y$有最小值，记为$y_1$。显然，$y_1 \neq \emptyset$，否则就与$Inf(y_1)$矛盾。所以，存在$c$使得$c \in y_1$。令$y_2 = y_1 - \{ c \}$，则$y_2 \subset y_1$, 并且$\neg Fin(y_2)$，否则的话$Fin(y_2) \Rightarrow Fin(y_2 \cup \{ c\}) \Rightarrow Fin(y_1)$。所以，$y_2 \in Y$, 与$y_1$是最小值而矛盾。$\square$

引理4.13.2
a. $\vdash Fin(X) \land Den(Y) \Rightarrow Den(X \cup Y)$
b. ⊢Fin(X)∧Den(Y)∧X≠∅⇒Den(X×Y) ⊢