陶哲轩实分析 3.1节 习题试解

陶哲轩实分析 3.1节 习题试解

3.1.1 证明集合相等的定义是自反、对称和传递的。

（1） 先证明自反性 $A = A$

$\forall x \in A , x \in A$ 所以 $A = A$

（2）对称性 若$A = B$ 则 $B= A$

因为$A=B$ ，所以

$$\forall x \in A , x \in B \\ \forall x \in B , x \in A$$

所以 $B = A$

（3）传递性 $A = B, B = C$ 则 $A = C$

因为$A=B$ ，所以

$$\forall x \in A , x \in B$$

因为$B=C$ ，所以

$$\forall x \in B , x \in C$$

所以

$$\forall x \in A , x \in C$$

同理

$$\forall x \in C , x \in A$$

所以 $A = C$

3.1.2 仅使用定义3.1.4 、定理 3.2、定理3.3 证明 $\emptyset, \{\emptyset\}, \{\{\emptyset\}\}$ 以及 $\{\emptyset,\{\emptyset\}\}$ 全是不同的

(1) 先证明$\emptyset$ 与其他几个集合不同

$\emptyset \in \{\emptyset\}$ 但是 $\emptyset \notin \emptyset$ 所以 $\emptyset \neq \{\emptyset\}$

$\{\emptyset\} \in \{\{\emptyset\}\}$ 但是 $\{\emptyset\} \notin \emptyset$ 所以 $\emptyset \neq \{\{\emptyset\}\}$

$\{\emptyset\} \in \{\emptyset,\{\emptyset\}\}$ 但是 $\{\emptyset\} \notin \emptyset$ 所以 $\emptyset \neq \{\emptyset,\{\emptyset\}\}$

(2) 证明 $\{\emptyset\}$ 与 $\{\{\emptyset\}\}$ 以及 $\{\emptyset,\{\emptyset\}\}$ 不同

$\{\emptyset\} \in \{\{\emptyset\}\}$ 但是 $\{\emptyset\} \notin \{\emptyset\}$ 所以 $\{\emptyset\} \neq \{\{\emptyset\}\}$

$\{\emptyset\} \in \{\emptyset,\{\emptyset\}\}$ 但是 $\{\emptyset\} \notin \{\emptyset\}$ 所以 $\{\emptyset\} \neq \{\emptyset,\{\emptyset\}\}$

(3) 证明$\{\{\emptyset\}\} \neq \{\emptyset,\{\emptyset\}\}$

$\emptyset \in \{\emptyset,\{\emptyset\}\}$ 但是 $\emptyset \notin \{\{\emptyset\}\}$ 所以 $\{\{\emptyset\}\} \neq \{\emptyset,\{\emptyset\}\}$

3.1.3 证明引理 3.1.13 中未证明的结论

（1） 证明集合的并集运算是交换的 $A \cup B = B \cup A$

$\forall x \in A \cup B$ 都有 $x \in A$ 或 $x \in B$，所以 $x \in B \cup A$

$\forall x \in B \cup A$ 都有 $x \in B$ 或 $x \in A$，所以 $x \in A \cup B$

所以 $A \cup B = B \cup A$

（2） 证明 $A \cup A = A \cup \emptyset = \emptyset \cup A = A$

$\forall x \in A \cup A$ 都有 $x \in A$

$\forall x \in A$ 都有 $x \in A$ 因此 $x \in A \cup A$

所以：

$A \cup A = A$

$\forall x \in A \cup \emptyset$ 都有 $x \in A$ 或 $x \in \emptyset$，有因为不存在任何对象 $x$ 满足 $x \in \emptyset$，所以 $x \in A$

$\forall x \in A$ 都有 $x \in A$，所以 $x \in A \cup \emptyset$

所以 $A \cup \emptyset = A$

同理 $\emptyset \cup A = A$

3.1.4 证明命题 3.1.18

(1) 如果 $A \subseteq B$ 同时 $B \subseteq A$ 则 $A = B$

$A \subseteq B$ 表明 $\forall x \in A \Longrightarrow x \in B$

$B \subseteq A$ 表明 $\forall x \in B \Longrightarrow x \in A$

所以 $A = B$

(2) 证明 $A \subset B$ 同时 $B \subset C$ 则 $A \subset C$

$A \subset B$ 表明 $\forall x \in A \Longrightarrow x \in B$

$B \subset C$ 表明 $\forall x \in B \Longrightarrow x \in C$

所以 $\forall x \in A \Longrightarrow x \in C$，也就是 $A \subseteq C$

$A \subset B$ 还表明至少存在一个$y$ 满足 $y \in B, y \notin A$

因为 $B \subset C$，所以 $y \in C$

所以 $y \in C$ 同时 $y \notin A$

所以 $A \neq C$

因为 $A \subseteq C$ 同时 $A \neq C$

所以 $A \subset C$

3.1.5 A 、B 是集合，证明三个命题 $A \subseteq B$、$A \cup B = B$、$A \cap B = A$ 是等价的

（1）证明 $A \subseteq B \Longrightarrow A \cup B = B$

首先 $B \subseteq A \cup B$，因此只需证明 $A \subseteq B \Longrightarrow A \cup B \subseteq B$

$A \subseteq B$

$\Longrightarrow \forall x \in A, x \in B$

同时 $\forall x \in B, x \in B$

所以 $\forall x \in A$ or $x \in B ,x \in B$

$\Longrightarrow A \cup B \subseteq B$

（2）证明 $A \cup B = B \Longrightarrow A \subseteq B$

$A \cup B = B$

$\Longrightarrow \forall x \in A$ 都有 $x \in B$

$\Longrightarrow A \subseteq B$

至此，证明了 $A \subseteq B$ 与 $A \cup B = B$ 等价。

（3）证明 $A \subseteq B \Longrightarrow A \cap B = A$

$A \subseteq B$

$\Longrightarrow \forall x \in A, x \in B$

$\Longrightarrow \forall x \in A, x \in B$ and $x \in A$

$\Longrightarrow \forall x \in A , x \in A \cap B$

$\Longrightarrow A \subseteq A \cap B$

另外，显然 $A \cap B \subseteq A$

所以 $A \subseteq B \Longrightarrow A \cap B = A$

（4）证明 $A \cap B = A \Longrightarrow A \subseteq B$

$A \cap B = A$

$\Longrightarrow \forall x \in A$ 都有 $x \in B$

$\Longrightarrow A \subseteq B$

至此，证明了 $A \subseteq B$ 与 $A \cap B = A$ 等价。

因为 $A \cap B = A$ 和 $A \cup B = B$ 都与 $A \subseteq B$ 等价。

所以$A \cap B = A$ 和 $A \cup B = B$ 等价。

3.1.6 证明命题 3.1.28

(a) 证明 $A \cup \emptyset = A$ 和 $A \cap \emptyset = \emptyset$

由并集定义有 $A \subseteq A \cup \emptyset$

$\forall x \notin A$ 都有 $x \notin A$ 和 $x \notin \emptyset$

所以 $\forall x \notin A, x \notin A \cup \emptyset$

所以 $A \cup \emptyset \subseteq A$

所以 $A \cup \emptyset = A$

由交集定义有 $\emptyset \subseteq A \cap \emptyset$

$\forall x \notin \emptyset, x \notin A \cap \emptyset$

所以 $A \cap \emptyset \subseteq \emptyset$

所以 $A \cap \emptyset = \emptyset$

(b) 证明 $A \cup X = X$ 和 $A \cap X = A$

显然 $X \subseteq A \cup X$，$A \cap X \subseteq A$

只需证明 $A \cup X \subseteq X$ 和 $A \subseteq A \cap X$

因为 $A \subseteq X$

$\Longrightarrow \forall x \in A, x \in X$

$\Longrightarrow \forall x \in A \cup X, x \in X$

$\Longrightarrow A \cup X \subseteq X$

因为 $A \subseteq A$ 同时 $A \subseteq X$

所以 $A \subseteq A \cap X$

(c) 证明 $A \cup A = A$ 和 $A \cap A = A$

显然 $A \subseteq A \cup A$

$\forall x \in A \cup A, x \in A$ 所以 $A \cup A \subseteq A$

所以 $A \cup A = A$

显然 $A \cap A \subseteq A$

$\forall x \in A, x \in A \cap A$ 所以 $A \subseteq A \cup A$

所以 $A \cap A = A$

(d) 证明 $A \cap B = B \cap A$ 和 $A \cup B = B \cup A$

习题 3.1.3 已经证明 $A \cup B = B \cup A$

这里只证明 $A \cap B = B \cap A$

$\forall x \in A \cap B, x \in A, x \in B$ 所以 $x \in B \cap A$

所以 $(A \cap B) \subseteq (B \cap A)$

$\forall x \in B \cap A, x \in A, x \in B$ 所以 $x \in A \cap B$

所以 $(B \cap A) \subseteq (A \cap B)$

所以 $A \cap B = B \cap A$

(e) 证明 $(A \cup B) \cup C = A \cup (B \cup C)$ 和 $(A \cap B) \cap C = A \cap (B \cap C)$

书中已经证明了 $(A \cup B) \cup C = A \cup (B \cup C)$ 这里只证明 $(A \cap B) \cap C = A \cap (B \cap C)$

$\forall x \in (A \cap B) \cap C$ 要同时满足 $x \in (A \cap B)$ 和 $x \in C$

也就是要同时满足 $x \in A$、$x \in B$ 和 $x \in C$

也就是要同时满足 $x \in A$ 和 $x \in B \cap C$

也就是要满足 $x \in A \cap (B \cap C)$

所以 $(A \cap B) \cap C \subseteq A \cap (B \cap C)$

类似的，也可证明 $A \cap (B \cap C) \subseteq (A \cap B) \cap C$

所以 $(A \cap B) \cap C = A \cap (B \cap C)$

(f) 证明 $A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$ 和 $A \cup (B \cap C) = (A \cup B) \cap (A \cup C)$

先证明 $A \cap (B \cup C) = (A \cap B) \cup (A \cap C)$

$\forall x \in A \cap (B \cup C)$ 要满足 $x \in A$ 和 $x \in B \cup C$

$x \in A$ 同时 $x \in B$ 和 $x \in C$ 要至少满足一个。分成两种情况。

（1）$x \in A$ 同时 $x \in B \Longrightarrow x \in A \cap B \Longrightarrow x \in (A \cap B) \cup (A \cap C)$

（2）$x \in A$ 同时 $x \notin B$ 但是 $x \in C \Longrightarrow x \in A \cap C \Longrightarrow x \in (A \cap B) \cup (A \cap C)$

所以 $\forall x \in A \cap (B \cup C) \Longrightarrow x \in (A \cap B) \cup (A \cap C)$

所以 $A \cap (B \cup C) \subseteq (A \cap B) \cup (A \cap C)$

$\forall x \in (A \cap B) \cup (A \cap C) \Longrightarrow x \in (A \cap B)$ 或 $x \in (A \cap C)$

当 $x \in (A \cap B)$ 时，$x \in A \cap (B \cup C)$

当 $x \in (A \cap C)$ 时，$x \in A \cap (B \cup C)$

所以 $\forall x \in (A \cap B) \cup (A \cap C) \Longrightarrow x \in A \cap (B \cup C)$

所以 $(A \cap B) \cup (A \cap C) \subseteq A \cap (B \cup C)$

所以 $(A \cap B) \cup (A \cap C) = A \cap (B \cup C)$

类似方法可以证明 $A \cup (B \cap C) = (A \cup B) \cap (A \cup C)$

(g) 证明 $A \cup (X \setminus A) = X$ 和 $A \cap (X \setminus A) = \emptyset$

先证明 $A \cup (X \setminus A) = X$

$\forall x \in A \cup (X \setminus A) \Longrightarrow x \in A$ 或者 $x \in X \setminus A \Longrightarrow x \in X$

所以 $A \cup (X \setminus A) \subseteq X$

$\forall x \in X \Longrightarrow x \in A$ 或者 $x \in X \setminus A \Longrightarrow x \in A \cup (X \setminus A)$

所以 $X \subseteq A \cup (X \setminus A)$

所以 $A \cup (X \setminus A) = X$

再证明 $A \cap (X \setminus A) = \emptyset$

反证法，假设 $A \cap (X \setminus A) \not= \emptyset$ 则至少存在一个 $x$ 满足 $x \in A \cap (X \setminus A)$

对 $x$ 分类讨论

（1） $x \in A \Longrightarrow x \notin (X \setminus A) \Longrightarrow x \notin A \cap (X \setminus A)$ 推出矛盾。

（2）$x \in (X \setminus A) \Longrightarrow x \notin A \Longrightarrow x \notin A \cap (X \setminus A)$ 推出矛盾。

所以 $A \cap (X \setminus A) = \emptyset$

(h) 证明 $X \setminus (A \cup B) = (X \setminus A) \cap (X \setminus B)$ 和 $X \setminus (A \cap B) = (X \setminus A) \cup (X \setminus B)$

先证明 $X \setminus (A \cup B) = (X \setminus A) \cap (X \setminus B)$

$\forall x \in X \setminus (A \cup B)$

$\Longrightarrow x \notin (A \cup B)$

$\Longrightarrow x \notin A$ 同时 $x \notin B$

$\Longrightarrow x \in X \setminus A$ 同时 $x \in X \setminus B$

$\Longrightarrow x \in (X \setminus A) \cap (X \setminus B)$

所以 $X \setminus (A \cup B) \subseteq (X \setminus A) \cap (X \setminus B)$

类似可证 $(X \setminus A) \cap (X \setminus B) \subseteq X \setminus (A \cup B)$

所以 $X \setminus (A \cup B) = (X \setminus A) \cap (X \setminus B)$

证明 $X \setminus (A \cap B) = (X \setminus A) \cup (X \setminus B)$

$\forall x \in X \setminus (A \cap B)$

$\Longrightarrow x \notin A \cap B$

$\Longrightarrow x \notin A$ 或者 $x \notin B$

$\Longrightarrow x \in X\setminus A$ 或者 $x \in X \setminus B$

$\Longrightarrow x \in (X\setminus A) \cup (X\setminus A)$

所以 $X \setminus (A \cap B) \subseteq (X \setminus A) \cup (X \setminus B)$

类似的 $(X \setminus A) \cup (X \setminus B) \subseteq X \setminus (A \cap B)$

所以 $X \setminus (A \cap B) = (X \setminus A) \cup (X \setminus B)$

3.1.7 证明方法类似，这里省略了

3.1.8 证明 $A \cap (A \cup B) = A$ 和 $A \cup (A \cap B) = A$

先证明 $A \cap (A \cup B) = A$

显然 $A \cap (A \cup B) \subseteq A$

因此只需证明$A \subseteq A \cap (A \cup B)$

$\forall x \in A$

$\Longrightarrow x \in A \cup B$

$\Longrightarrow x \in A \cap (A \cup B)$

$\Longrightarrow A \subseteq A \cap (A \cup B)$

所以 $A \cap (A \cup B) = A$

再证明 $A \cup (A \cap B) = A$

显然 $A \subseteq A \cup (A \cap B)$

只需证明 $A \cup (A \cap B) \subseteq A$

$\forall x \in A \cup (A \cap B)$

$\Longrightarrow x \in A$ 或者 $x \in (A \cap B)$

其中 $x \in (A \cap B) \Longrightarrow x \in A$

所以 $\forall x \in A \cup (A \cap B) \Longrightarrow x \in A$

所以 $A \cup (A \cap B) \subseteq A$

所以 $A \cup (A \cap B) = A$

3.1.9 $A \cup B = X, A\cap B = \emptyset$ 证明 $A = X \setminus B, B = X \setminus A$

因为 $A\cap B = \emptyset$

所以 $\forall x \in A, x \notin B$

所以 $A \subseteq X \setminus B$

$\forall x \in X \setminus B$

$\Longrightarrow x \in X, x \notin B$

$\Longrightarrow x \in A \cup B, x \notin B$

$\Longrightarrow x \in A$

$\Longrightarrow X \setminus B \subseteq A$

所以 $X \setminus B = A$

类似可证 $B = X \setminus A$

3.1.10 证明 $A \setminus B$、$A \cap B$、$B \setminus A$ 是不交的。他们的并是 $A \cup B$

这里只证明他们的并是 $A \cup B$

$A \cup B = (A \setminus B) \cup B = (A \setminus B) \cup (B \setminus A) \cup (A \cap B)$

3.1.11 证明替换公理蕴涵分类公理

设分类公理中的命题为 $P_0(x)$

那么可以构造替换公理中的命题 $P(x,y)$ 为 当 $P_0(x)$ 为真且 $y=x$ 时$P(x,y)$ 为真。则这时替换公理获得的集合与分类公理获得的集合相同。