集合论第一章 5 偶集

5.1 偶集公理

现在看以下问题：

1. 对于任意一个集合 $a,$ 是否存在集合 $A,$ 恰好以 $a$ 为元素？
   就是说，是否存在集合 $A,$ 使得：
   $\forall x(x\in A⟺x=a)$
2. 对于任意两个集合 $a,b,$ 是否存在集合 $A,$ 恰好以 $a$ 和 $b$ 为元素？
   就是说，是否存在集合 $A,$ 使得：
   $\forall x(x\in A⟺x=a\vee x=b)$

前面设立的公理都不能保证这样的集合的存在，需要设立一条新的公理。为了简便，我们只设立一条公理，保证问题2中的集合的存在性，并可推出问题1中的集合的存在性：

---

公理四 偶集公理

对于任意两个集合 $a,b,$ 存在一个集合 $A,$ 恰好以 $a$ 和 $b$ 为元素，即：
$\forall x(x\in A⟺x=a\vee x=b)$

---

5.2 偶集的唯一性

偶集公理中的集合 $A$ 是惟一的。
由集合论条件的性质可得。

5.3 偶集的书写格式

对于任意的集合 $a,b,$ 记：
{ a , b } = { x ∣ x = a ∨ x = b } \left \{ a, b \right \} = \left \{ x | x = a \lor x = b \right \} {a,b}={x∣x=a∨x=b}

推论

{ a , b } = { b , a } \left \{ a, b \right \} = \left \{ b, a \right \} {a,b}={b,a}

证明

$x=a\vee x=b⟺x=b\vee x=a$

在这个意义下，偶集又被称为无序偶。

5.4 单集的书写格式

在偶集定义中，并没有限定 $a̸=b$ 。以下是 $a=b$ 的情况：
对于任意的集合 $a,$ 记：
{ a } = { a , a } , \left \{ a \right \} = \left \{ a, a \right \}, {a}={a,a}, 并称之为以 $a$ 为元素的单集。
显然，单集还可写成：
{ a } = { x ∣ x = a } \left \{ a \right \} = \left \{ x | x = a \right \} {a}={x∣x=a}
这就是说，单集 { a } \left \{ a \right \} {a} 是以 $a$ 为唯一元素的集合。

在本节以前，对于具体的集合，我们只承认了空集的存在。在设立偶集公理以后，我们可以构造无数个另外的具体集合了。例如，可以构造单集：
{ ∅ } , { { ∅ } } , { { ∅ , { ∅ } } } , \left \{ \varnothing \right \}, \left \{ \left \{ \varnothing \right \} \right \},\left \{ \left \{ \varnothing, \left \{ \varnothing \right \} \right \} \right \}, {∅},{{∅}},{{∅,{∅}}}, 等。
可以构造偶集：
{ ∅ , { ∅ } } , { { ∅ } , { ∅ , { ∅ } } } , \left \{ \varnothing, \left \{ \varnothing \right \} \right \}, \left \{ \left \{ \varnothing \right \}, \left \{ \varnothing, \left \{ \varnothing \right \} \right \} \right \}, {∅,{∅}},{{∅},{∅,{∅}}}, 等。
最后，应注意区分集合 $a$ 与单集 { a } , \left \{ a \right \}, {a}, 他们之间的关系是： $a$ 是 { a } \left \{ a \right \} {a} 的唯一元素。例如，$\varnothing$ 是不含元素的集合。而 { ∅ } \left \{ \varnothing \right \} {∅} 是以 $\varnothing$ 为唯一元素的集合。 { { ∅ } } \left \{ \left \{ \varnothing \right \} \right \} {{∅}} 是以 { ∅ } \left \{ \varnothing \right \} {∅} 为唯一元素的集合。

5.5 偶集的性质

若 { a , b } = { c , d } \{a, b \} = \{ c, d \} {a,b}={c,d}，则 $a=c\wedge b=d$ 或 $a=d\wedge b=c$ 。

证明

由 { a , b } = { c , d } \{a, b \} = \{ c, d \} {a,b}={c,d} 得
$\forall x,x=a\vee x=b\iff x=c\vee x=d$
取 $x=a$ ， 则 $a=a\vee a=b\iff a=c\vee a=d$
于是 $$a=c\vee a=d\text{\hspace{1em}(1)}$$
同理可得，
$$b=c\vee b=d\text{\hspace{1em}(2)}$$
$$c=a\vee c=b\text{\hspace{1em}(3)}$$
$$d=a\vee d=b\text{\hspace{1em}(4)}$$

1. 若 $a=c$，则
   1.1. 若 $b=d$，则 $a=c\wedge b=d$ 。
   1.2 否则，$b̸=d$，但是这是不可能的。假设 $b̸=d$，则由 $(2)$ 得 $b=c$。由 $(4)$ 得 $d=a$。于是 $b=d$，与 $b̸=d$ 矛盾。
2. 否则，$a̸=c$。由 $(1)$ 得 $a=d$。由 $(3)$ 得 $b=c$。于是 $a=d\wedge b=c$。