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

3.5.1

第一种定义：
( x , y ) : = { { x } , { x , y } } (x,y) := \{\{x\},\{x,y\}\} (x,y):={{x},{x,y}}
( x ′ , y ′ ) : = { { x ′ } , { x ′ , y ′ } } (x',y'):=\{\{x'\}, \{x',y'\}\} (x′,y′):={{x′},{x′,y′}}

当 $x=x^{\prime },y=y^{\prime }$ 时，很容易证明 { { x } , { x , y } } = { { x ′ } , { x ′ , y ′ } } \{\{x\},\{x,y\}\} = \{\{x'\}, \{x',y'\}\} {{x},{x,y}}={{x′},{x′,y′}}
因此我们只要证明当 { { x } , { x , y } } = { { x ′ } , { x ′ , y ′ } } \{\{x\},\{x,y\}\} = \{\{x'\}, \{x',y'\}\} {{x},{x,y}}={{x′},{x′,y′}} 成立时，能推出 $x=x^{\prime },y=y^{\prime }$ 。
{ { x } , { x , y } } \{\{x\},\{x,y\}\} {{x},{x,y}} 和 { { x ′ } , { x ′ , y ′ } } \{\{x'\}, \{x',y'\}\} {{x′},{x′,y′}} 都是双元素集(或者都是单元素集)。 两个双元素集相等可以分两种情况。
{ x } = { x ′ } \{x\} = \{x'\} {x}={x′} 或者 { x } = { x ′ , y ′ } \{x\} =\{x',y'\} {x}={x′,y′} 下面分别来讨论。

1. { x } = { x ′ } \{x\} = \{x'\} {x}={x′} 这时有 $x=x^{\prime }$和 { x , y } = { x ′ , y ′ } \{x,y\}=\{x',y'\} {x,y}={x′,y′} ，那么可知 $y=y^{\prime }$
2. { x } = { x ′ , y ′ } \{x\} =\{x',y'\} {x}={x′,y′} 这时说明 { x ′ , y ′ } \{x',y'\} {x′,y′} 也是单元素集。所以 $x^{\prime }=y^{\prime }=x$，同理， { x , y } \{x,y\} {x,y} 也是单元素集，$y=x$
   这两种情况下都有 $x=x^{\prime },y=y^{\prime }$

第二种定义：
KaTeX parse error: No such environment: equation at position 8: \begin{̲e̲q̲u̲a̲t̲i̲o̲n̲}̲ \begin{split} …
证明这个定义也是有效的，还是需要从正反两方面来证明。
当 $x=x^{\prime },y=y^{\prime }$ 时，很容易证明 { x , { x , y } } = { x ′ , { x ′ , y ′ } } \{x,\{x,y\}\} = \{x', \{x',y'\}\} {x,{x,y}}={x′,{x′,y′}}
难点还是在反方向的证明：假设 { x , { x , y } } = { x ′ , { x ′ , y ′ } } \{x,\{x,y\}\} = \{x', \{x',y'\}\} {x,{x,y}}={x′,{x′,y′}}，如何证明 $x=x^{\prime },y=y^{\prime }$
由于等号两边都是双元素集(不能是单元素集，否则违反正则性)，所以还是分两种情况：
情形一：设 $x=x^{\prime }$ 这时有 { x , y } = { x ′ , y ′ } \{x,y\}=\{x',y'\} {x,y}={x′,y′} 必然能推出 $y=y^{\prime }$
情形二：设 x = { x ′ , y ′ } x = \{x',y'\} x={x′,y′} 这时 { x , y } ≠ { x ′ , y ′ } \{x,y\} \neq\{x',y'\} {x,y}​={x′,y′} (否则违反正则性)。
那么 x = { x ′ , y ′ } , { x , y } = x ′ x = \{x',y'\},\{x,y\}=x' x={x′,y′},{x,y}=x′ 。因此 $x^{\prime }\in x,x\in x^{\prime }$ 。
我们可以构造一个集合 { x , x ′ } \{x, x'\} {x,x′} ，对于这个集合有：
KaTeX parse error: No such environment: equation at position 8: \begin{̲e̲q̲u̲a̲t̲i̲o̲n̲}̲ \begin{split} …
这说明：
KaTeX parse error: No such environment: equation at position 8: \begin{̲e̲q̲u̲a̲t̲i̲o̲n̲}̲ \begin{split} …
而正则性公理要求 { x , x ′ } ⋂ x \{x,x'\} \bigcap x {x,x′}⋂x 和 { x , x ′ } ⋂ x ′ \{x,x'\} \bigcap x' {x,x′}⋂x′ 至少有一个是空集。所以情形二是不成立的。那么就只剩下情形一，这时有$ x=x’, y= y’$ 所以第二种定义是有效的。

3.5. 2 假设我们把有序n元组定义为一个满射函数 x : { i ∈ N , 1 ≤ i ≤ n } → X x:\{i \in N, 1 \leq i \leq n\} \rightarrow X x:{i∈N,1≤i≤n}→X，其值域是某个任意的集合X，那么我们把x(i) 写成 $x_i$，并把 $x$ 写成 $(x_i{)}_{1\le i\le n}$ ， 用这个来验证 $(x_i{)}_{1\le i\le n}=(y_i{)}_{1\le i\le n}$ 当且仅当对于一切的 $1\le i\le n$ 有 $x_i=y_i$。同时证明：如果 $(X_i{)}_{1\le i\le n}$ 是集合的一个有序n元组，那么在定义3.5.7 中定义的笛卡尔乘积的确是一个集合。

这个问题分成两问，第一问是：验证 $(x_i{)}_{1\le i\le n}=(y_i{)}_{1\le i\le n}$ 当且仅当对于一切的 $1\le i\le n$ 有 $x_i=y_i$。题目中把有序n元组定义为一个满射函数。根据定义 3.3.7，这一问就是两个函数相等的定义。所以是成立的。

第二问：如果 $(X_i{)}_{1\le i\le n}$ 是集合的一个有序n元组，那么在定义3.5.7 中定义的笛卡尔乘积的确是一个集合

构造一个满射函数 f : { i ∈ N , 1 ≤ i ≤ n } → ∪ X i f:\{i \in N, 1 \leq i \leq n\} \rightarrow \cup X_i f:{i∈N,1≤i≤n}→∪Xi​ ，那么所有不同的 f，构成一个集合 F
那么根据选择定理， { f ∈ F : f ( i ) ∈ X i } \{ f \in F : f(i) \in X_i\} {f∈F:f(i)∈Xi​} 也是一个集合，这个集合就是问题中的笛卡尔乘积

3.5.3 证明对于序偶及有序 n 元组，相等的定义遵从反身性、对称性、传递性

证明： 首先有序n元组的定义包括了序偶，因此我们下面只针对有序n元组进行证明。不再对序偶单独证明。
一个有序n元组 $(x_1,x_2,\dots ,x_n)=(y_1,y_2,\dots ,y_n)$ 根据定义，等价于 $\forall i\in [1,n],x_i=y_i$
那么 $\forall i\in [1,n],x_i=x_i$ 所有 $(x_1,x_2,\dots ,x_n)=(x_1,x_2,\dots ,x_n)$ ，所以遵从反身性

$\forall i\in [1,n],x_i=y_i$ ，那么 $\forall i\in [1,n],y_i=x_i$ 所以 $(y_1,y_2,\dots ,y_n)=(x_1,x_2,\dots ,x_n)$，所以满足对称性

$\forall i\in [1,n],x_i=y_i$ 同时，$\forall i\in [1,n],y_i=z_i$ 那么 $\forall i\in [1,n],x_i=z_i$，所以 $(x_1,x_2,\dots ,x_n)=(z_1,z_2,\dots ,z_n)$ ，所以满足传递性

3.5.4 $A,B,C$ 是集合，证明：

KaTeX parse error: No such environment: align at position 8: \begin{̲a̲l̲i̲g̲n̲}̲ A \times (B \c…

(1) 证明 $A\times (B\cup C)=(A\times B)\cup (A\times C)$
$A\times (B\cup C)$ 等价于
KaTeX parse error: No such environment: equation at position 8: \begin{̲e̲q̲u̲a̲t̲i̲o̲n̲}̲ \{(x, y): x \i…其中 { ( x , y ) : x ∈ A , y ∈ B } \{(x, y): x \in A, y \in B\} {(x,y):x∈A,y∈B} 等价于 $(A\times B)$， { ( x , y ) : x ∈ A , y ∈ C } \{(x, y): x \in A, y \in C\} {(x,y):x∈A,y∈C} 等价于 $(A\times C)$

所以 { ( x , y ) : x ∈ A , y ∈ B } ∪ { ( x , y ) : x ∈ A , y ∈ C } \{(x, y): x \in A, y \in B\} \cup \{(x, y): x \in A, y \in C\} {(x,y):x∈A,y∈B}∪{(x,y):x∈A,y∈C} 等价于 $(A\times B)\cup (A\times C)$

(2) 证明 $A\times (B\cap C)=(A\times B)\cap (A\times C)$
$A\times (B\cap C)$ 等价于 { ( x , y ) : x ∈ A , y ∈ ( B ∩ C ) } \{(x,y): x \in A, y \in (B \cap C)\} {(x,y):x∈A,y∈(B∩C)}
{ ( x , y ) : x ∈ A , y ∈ ( B ∩ C ) } = { ( x , y ) : x ∈ A , y ∈ B , y ∈ C } = { ( x , y ) : x ∈ A , y ∈ B } ∩ { ( x , y ) : x ∈ A , x ∈ C } \{(x,y): x \in A, y \in (B \cap C)\} = \{(x, y): x \in A, y \in B, y \in C\} = \{(x,y): x \in A, y \in B\} \cap \{(x,y): x \in A, x \in C\} {(x,y):x∈A,y∈(B∩C)}={(x,y):x∈A,y∈B,y∈C}={(x,y):x∈A,y∈B}∩{(x,y):x∈A,x∈C}

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

(3) 证明 $A\times (B\backslash C)=(A\times B)\backslash (A\times C)$

$A\times (B\backslash C)$ 等价于： { ( x , y ) : x ∈ A , y ∈ ( B \ C ) } = { ( x , y ) : x ∈ A , y ∈ B , y ∉ C } = { ( x , y ) : x ∈ A , y ∈ B } \ { ( x , y ) : x ∈ A , y ∈ C } \{(x, y): x \in A, y \in (B \backslash C)\} = \{(x,y): x \in A, y \in B, y\notin C\} = \{(x,y): x \in A, y \in B\} \backslash \{(x,y): x \in A, y \in C\} {(x,y):x∈A,y∈(B\C)}={(x,y):x∈A,y∈B,y∈/​C}={(x,y):x∈A,y∈B}\{(x,y):x∈A,y∈C}
所以 $A\times (B\backslash C)=(A\times B)\backslash (A\times C)$

3.5.5 设 A、B、C、D 是集合，证明：

（1） $(A\times B)\cap (C\times D)=(A\cap C)\times (B\times D)$
（2）$(A\times B)\cup (C\times D)=(A\cup C)\times (B\cup D)$ 是否成立？
（3）$(A\times B)\backslash (C\times D)=(A\backslash C)\times (B\backslash D)$ 是否成立？

（1）$(A\times B)$ 等价于 { ( x , y ) : x ∈ A , y ∈ B } \{(x,y): x \in A, y \in B\} {(x,y):x∈A,y∈B}
$(C\times D)$ 等价于 { ( x , y ) : x ∈ C , y ∈ D } \{(x,y): x \in C, y \in D\} {(x,y):x∈C,y∈D}
所以有：
KaTeX parse error: No such environment: split at position 8: \begin{̲s̲p̲l̲i̲t̲}̲ & (A \times B…

（2） 不成立，因为我们可以举出反例：
我们可以构造个序偶$(x,y)$ 满足 $x\in A\backslash C,y\in D\backslash B$。 那么 $(x,y)\notin (A\times B)$ 同时，$(x,y)\notin (C\times D)$
所以 $(x,y)\notin (A\times B)\cup (C\times D)$
但是我们知道$x\in (A\cup C),y\in (B\cup D)$，所以 $(x,y)\in (A\cup C)\times (B\cup D)$
所以 $(A\times B)\cup (C\times D)\ne (A\cup C)\times (B\cup D)$

（3）不成立，我们可以举出反例：
我们可以构造个序偶$(x,y)$ 满足$x\in A\backslash C,y\in B\cap D$
那么 $(x,y)\in A\times B$, $(x,y)\notin C\times D$, 所以 $(x,y)\in (A\times B)\backslash (C\times D)$
我们又知道 $y\notin B\backslash D$，所以 $(x,y)\notin (A\backslash C)\times (B\backslash D)$
所以 $(A\times B)\backslash (C\times D)\ne (A\backslash C)\times (B\backslash D)$

3.5.6 设 A、B、C、D 是非空集合，证明：

（1）$A\times B\subseteq C\times D$ 当且仅当 $A\subseteq C,B\subseteq D$
（2）$A\times B=C\times D$ 当且仅当 $A=C,B=D$

证明（1）：
KaTeX parse error: No such environment: split at position 8: \begin{̲s̲p̲l̲i̲t̲}̲ & A \times B …
证明（2）：
$$
\begin{split}
& A \times B = C \times D \
& \Leftrightarrow
\begin{cases}
\forall (x,y) \in A \times B \Rightarrow (x,y) \in C \times D \
\forall (x,y) \in C \times D \Rightarrow (x,y ) \in A \times B
\end{cases}\
& \Leftrightarrow
\begin{cases}
\forall x \in A \Rightarrow x \in C \
\forall x \in C \Rightarrow x \in A \
\forall y \in B \Rightarrow x \in D \
\forall y \in D \Rightarrow x \in B \
\end{cases} \
& \Leftrightarrow
\begin{cases}
A = C \
B = D
\end{cases}

\end{split}
$$

3.5.7 设 X、Y 是集合，并设 ${\pi }_{X\times Y\to X}(x,y):=x$ 和 ${\pi }_{X\times Y\to X}(x,y):=y$ 。证明对于任何函数 $f:Z\to X$ 和 $g:Z\to Y$ 存在唯一的函数 $h:Z\to X\times Y$，使得 ${\pi }_{X\times Y\to X}\circ h=f$ 和 ${\pi }_{X\times Y\to Y}\circ h=g$

证明：设 $h(z):=(h_x(z),h_y(z))$ ，那么 $h_x(z)=f(z),h_y(z)=g(z)$ 所以 $h$ 是唯一确定的。

3.5.8 设 $X_1,\dots ,X_n$ 是集合，那么笛卡尔积 ${\prod }_{i=1}^n{X}_i$ 是空的，当且仅当至少有一个$X_i$ 是空的。

（1）当 $X_i$ 是空的时，${\prod }_{i=1}^n{X}_i$ 是空的。
（2）用反证法证明 ${\prod }_{i=1}^n{X}_i$ 是空的，可以推出 $X_1,\dots ,X_n$ 至少有一个是空。
假设 $X_1,\dots ,X_n$ 全都不空，那么对于任意的$1\le i\le n$我们可以选出 $x_i\in X_i$
那么 $(x_1,\dots ,x_n)$ 是 ${\prod }_{i=1}^n{X}_i$ 的一个元素。所以 ${\prod }_{i=1}^n{X}_i$ 非空。

3.5.9 假设I 和J 是两个集合，并且对于一切 $\alpha \in I$, $A_{\alpha }$ 是一个集合，对于一切 $\beta \in J$, $B_{\beta }$ 也是一个集合。证明：

KaTeX parse error: No such environment: equation at position 8: \begin{̲e̲q̲u̲a̲t̲i̲o̲n̲}̲ (\cup_{\alpha …

（1） 先证明 $({\cup }_{\alpha \in I}{A}_{\alpha })\cap ({\cup }_{\beta \in J}{B}_{\beta })$ 中的元素都是 ${\cup }_{(\alpha ,\beta )\in I\times J}(A_{\alpha }\cap B_{\beta })$ 的元素。

设 $x\in ({\cup }_{\alpha \in I}{A}_{\alpha })\cap ({\cup }_{\beta \in J}{B}_{\beta })$
那么 $x\in {\cup }_{\alpha \in I}{A}_{\alpha }$ ，同时 $x\in {\cup }_{\beta \in J}{B}_{\beta }$
那么 $\exists \alpha \in I,x\in A_{\alpha }$ ，同时 $\exists \beta \in J,x\in B_{\beta }$
那么 $\exists (\alpha ,\beta )\in I\times J,x\in A_{\alpha }\cap B_{\beta }$
那么 $x\in {\cup }_{(\alpha ,\beta )\in I\times J}(A_{\alpha }\cap B_{\beta })$

（2） 再证明 ${\cup }_{(\alpha ,\beta )\in I\times J}(A_{\alpha }\cap B_{\beta })$ 的元素也都是 $({\cup }_{\alpha \in I}{A}_{\alpha })\cap ({\cup }_{\beta \in J}{B}_{\beta })$ 的元素。
设 $x\in {\cup }_{(\alpha ,\beta )\in I\times J}(A_{\alpha }\cap B_{\beta })$
那么 $\exists (\alpha ,\beta )\in I\times J,x\in A_{\alpha }\cap B_{\beta }$
那么 $\exists \alpha \in I,x\in A_{\alpha }$ ，同时 $\exists \beta \in J,x\in B_{\beta }$
那么 $x\in {\cup }_{\alpha \in I}{A}_{\alpha }$ ，同时 $x\in {\cup }_{\beta \in J}{B}_{\beta }$
那么 $x\in ({\cup }_{\alpha \in I}{A}_{\alpha })\cap ({\cup }_{\beta \in J}{B}_{\beta })$

3.5.10 $f:X\to Y$ 是一个函数，定义 f 的图像是由 { ( x , f ( x ) ) : x ∈ X } \{(x, f(x)): x \in X\} {(x,f(x)):x∈X} 确定的 $X\times Y$ 的子集。证明两个函数相等当且仅当它们有相同的图像。反之，如果 G 是 $X\times Y$ 的一个子集，具有这样的性质：对于每一个 $x\in X$，集合 { y ∈ Y : ( x , y ) ∈ G } \{y \in Y:(x,y) \in G\} {y∈Y:(x,y)∈G} 恰有一个元素，证明恰存在一个函数 $f:X\to Y$，它的图像等于 G。

第一问：设 $f$ 的图像为 $F$，$g$ 的图像为 $G$

（1）先证明 $f=g$ 可以推出 $F=G$。（略）
（2）再证明 $F=G$ 可以推出 $f=g$。（略）

第二问：（1）先证明存在函数 $f$，（2）再证明函数 $f$ 是唯一的。
（1） 很简单，这里略
（2）反证法，假设 $f,g$ 都满足图像为 $G$。由第一问可知，$f=g$

3.5.11 证明公理 3.10 可以从引理 3.4.9 和集合论的其他公理推导出来。于是引理3.4.9 可以作为幂集公理的替换形式。

幂集公理：设 $X$ 和 $Y$ 是集合，从 $X$ 到 $Y$ 的一切函数形成一个集合$Y^X$
集合 $X$ 和 $Y$ 可以形成笛卡尔乘积 $X\times Y$。那么由引理3.4.9可知，$X\times Y$的所有子集形成一个集合 $2^{X\times Y}$，这个集合称为 $X\times Y$ 的幂集。
使用公理 3.5 （分离公理），可以把满足垂线判别法的$X\times Y$的子集取出，这个子集就是 $Y^X$。

3.5.12 设 $f:N\times N\to N$ 是一个函数，并设 c 是一个自然数，证明存在一个函数 $a:N\to N$ ，使得 $a(0)=c$，并且对于一切 $n\in N$ 满足 $a(n++)=f(n,a(n))$，进而证明这个函数是唯一的。

3.5.13

不会做。。

3.5.14

不会做。