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

上一节笔记中命题4.4提供了一般性的类存在依据，以下就以此定义几个特殊的类。

几个特殊的类和新的函数符号
1. 考虑好式子$\varphi(X, Y_1, Y_2)$为$(\exists u)(\exists v)(X = <u, v> \land u \in Y_1 \land v \in Y_2)$，显然它是谓词好式子。根据命题4.4可得，$\vdash (\exists Z)(\forall x)(x \in Z \Leftrightarrow \varphi(x, Y_1, Y_2))$。再根据引理4.1.2扩展原则，可知$Z$的唯一性（应用扩展原则证明唯一性有个显然的技巧，就是对任意集合变量$x$，都有$x \in Z \Leftrightarrow B(x)$，右边和$Z$无关），即

$$\vdash (\exists_1)(\forall x)(x \in Z \Leftrightarrow (\exists u)(\exists v)(x = <u, v> \land u \in Y_1 \land v \in Y_2) )$$

根据$Z$的唯一性，我们可以引入一个新的函数符号$\times$，称为Cartesian乘积，即

$$(\forall x)(x \in Y_1 \times Y_2 \Leftrightarrow (\exists u)(\exists v)(x = <u, v> \land u \in Y_1 \land v \in Y_2) )$$

更多关于Cartesian乘积的定义如：
定义4.4.1：
a. $(\forall x)(x \in Y_1 \times Y_2 \Leftrightarrow (\exists u)(\exists v)(x = <u, v> \land u \in Y_1 \land v \in Y_2) )$
b. $Y^2$是$Y \times Y$的缩写
c. $Y^n$是$Y^{n-1} \times Y$的缩写
d. $Rel(X)$是$X \subseteq V^2$的缩写，即$X$是一个关系（它从一个”全宇宙的子集“映射到”另一个全宇宙的子集“）

1. 考虑谓词好式子$\varphi(X, Y)$为$X \subseteq Y$，由命题4.4可得$\vdash (\exists Z)(\forall x)(x \in Z \Leftrightarrow x \subseteq Y)$，再根据扩展原则可知$Z$的唯一性。因此，引入函数符号$\mathcal{P}$，称为$Y$的幂集，即$Y$的”子集“构成的类。
   定义4.4.2：
   a. $(\forall x)(x \in \mathcal{P}(Y) \Leftrightarrow x \subseteq Y)$

   • 考虑谓词好式子$\varphi(X, Y)$为$(\exists v)(X \in v \land v \in Y)$，所以由命题4.4和扩展原则，可引入新的函数符号$\bigcup$，称为$Y$的”和类“（sum class），即
     定义4.4.3：
     a. $(\forall x)(x \in \bigcup Y \Leftrightarrow (\exists v)(x \in v \land v \in Y))$

   • 考虑谓词好式子$\varphi(X)$为$(\exists u)(X = <u, u>)$，由命题4.4和扩展原则，可引入新的常量符号$I$，称为”相等关系“，即
     定义4.4.4：
     a. $(\forall x)(x \in I \Leftrightarrow (\exists u)(x = <u, u>))$

   • 命题4.4中的$Z$可以进一步”缩小“为所有n元类下的一个”子类“，即$W \subseteq V^n$。
     推论4.5：若$\varphi(X_1, ..., X_n, Y_1,...,Y_m)$是谓词好式子，则
     

     $$\vdash (\exists_1 W)(W \subseteq V^n \land (\forall x_1)...(\forall x_n)(<x_1,...,x_n> \in W) \Leftrightarrow \varphi(x_1, ...,x_n, Y_1,...,Y_m))$$
     证明：由命题4.4可知存在这样一个 $Z$，然后取 W=Z<