基础集合论 第一章 4 子集

定义

$A$ 是 $B$ 的子集： $A \subseteq B \Leftrightarrow \forall x\ (x \in A \Rightarrow x \in B)$
$A$ 是 $B$ 的真子集： $A \subset B \land A \ne B$

定理 1

$\forall A, \emptyset \subseteq A$

子集公理

$\forall C(x), \forall B, \exists A\ (x \in A \Leftrightarrow x \in B \land C(x))$ （字母 $A$ 不出现在 $C(x)$ 中。）

可写： $A = \{x \mid x \in B \land C(x)\}$， $A = \{x \in B \mid C(x)\}$

推论：

1. 子集公理中的集合 $A$ 是唯一的。
2. $\forall$ 集合 $A, \{x \mid x \in A\} = A$
   证明：由子集公理，存在唯一的集合 $B = \{x \mid x \in A\ \land x \in A\} = \{x \mid x \in A\},$
   因此 $\forall x ( x \in B \Leftrightarrow x \in A ) \Leftrightarrow B = A$

定理 2

不存在包含一切集合的集合。

证明：

假设存在包含一切集合的集合 $A$ ，则由子集公理，
$\exists$ 集合 $B = \{ x \in A \mid x \not \in x \} = \{ x \mid x \not \in x \}$
$\Rightarrow \forall x (x \in B \Leftrightarrow x \not \in x )$
$\Rightarrow ( B \in B \Leftrightarrow B \not \in B ),$ 矛盾。

推论：

1. 不存在集合 $\{x \mid x = x\}$。
   证明：
   假设存在集合 $A = \{x \mid x = x\},$ 则对于任意集合 $x, x = x \Rightarrow x \in A$ 因此 A <script type="math/tex" id="MathJax-Element-392">A</script> 包含一切集合，与定理2矛盾。