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

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

习题3.2.2 原来的解答有问题，有更新。

习题 3.2

这一小节只有三道习题。不过却花了我很长的时间。主要是被这本书关于正则公理的中文翻译给坑了。
书中正则公理是这么表达的：如果$A$ 是一个非空的集合，那么$A$至少有一个元素 $x$，要么$x$不是集合，要么$x$ 是与$A$不同的集合。
"$x$ 是与$A$不同的集合" 我理解为 $x̸=A$，实际上正则公理说的是 $x\bigcap A=\varnothing$…

3.2.1

(1) 证明万有分类公理蕴含公理 3.2

构造一个性质 $P(x)$ 这个性质恒为假。那么 { x : P ( x ) } \{x: P(x)\} {x:P(x)} 就是 空集 $\varnothing$。

(2) 证明万有分类公理蕴含公理 3.3

构造一个性质

$$P(x)=\{\begin{array}{ll}true& x=a\\ false& other\end{array}$$

那么 { x : P ( x ) } \{x:P(x)\} {x:P(x)} 就是单点集 { a } \{a\} {a}。

构造一个性质

$$P(x)=\{\begin{array}{ll}true& x=aorx=b\\ false& other\end{array}$$

那么 { x : P ( x ) } \{x:P(x)\} {x:P(x)} 就是双元素集 { a , b } \{a, b\} {a,b}。

(3) 证明万有分类公理蕴含公理 3.4

构造一个性质

$$P(x)=\{\begin{array}{ll}true& x\in Aorx\in B\\ false& other\end{array}$$

那么 { x : P ( x ) } \{x: P(x)\} {x:P(x)} 就是集合 $A\bigcup B$。

(4) 证明万有分类公理蕴含公理 3.5

构造一个性质

$$Q(x)=\{\begin{array}{ll}true& x\in AandP(x)=true\\ false& other\end{array}$$

那么 { x : Q ( x ) } \{x: Q(x)\} {x:Q(x)} 就是集合 { x ∈ A : P ( x ) 为 真 } \{x \in A: P(x) 为真\} {x∈A:P(x)为真}。

(5) 证明万有分类公理蕴含公理 3.6

构造一个性质

$$Q(y)=\{\begin{array}{ll}true& \exists x\in A使得P(x,y)=true\\ false& other\end{array}$$

那么 { x : Q ( x ) } \{x: Q(x)\} {x:Q(x)} 就是集合 { y : P ( x , y ) 对 于 某 个 x ∈ A 成 立 } \{y:P(x, y) 对于某个 x \in A 成立\} {y:P(x,y)对于某个x∈A成立}。

3.2.2

(1) 证明 $A\notin A$

反证法：假如存在一个集合 A 使得 $A\in A$ 成立。
那么由于$A\in A$ 且 A ∈ { A } A \in \{A\} A∈{A}
所以 A ⊆ A ⋂ { A } A \subseteq A \bigcap\{A\} A⊆A⋂{A}
而正则公理要求 A ⋂ { A } = ∅ A \bigcap\{A\}=\emptyset A⋂{A}=∅, 空集不存在子集。
出现矛盾，所以不存在这样的集合 $A$。

(2) 如果 $A$ 和 $B$ 是集合，那么要么 $A\notin B$ 要么 $B\notin A$，或者二者同时成立。

反证法：
假设$A\in B$ 和 $B\in A$ 同时成立。
由于 A ∈ { A , B } A \in \{A,B\} A∈{A,B} 和 $A\in B$ 所以
A ⊆ { A , B } ⋂ B A \subseteq \{A,B\} \bigcap B A⊆{A,B}⋂B
同理：
B ⊆ { A , B } ⋂ A B \subseteq \{A,B\} \bigcap A B⊆{A,B}⋂A

与正则公理矛盾，正则公理要求至少有一个 $x$ 满足 { A , B } ⋂ x = ∅ \{A,B\} \bigcap x= \emptyset {A,B}⋂x=∅。

3.2.3

（1）构造性质$P(x)$ 使得对于任何 $x$, $P(x)$ 始终为真。那么 { P ( x ) } \{P(x)\} {P(x)}就是万有集合 $\Omega$。

（2）如果存在万有集合$\Omega$， 那么任何公理3.8生成的集合 { P ( x ) } \{P(x)\} {P(x)} 都可以由分类公理构造 { x ∈ Ω : P ( x ) } \{x\in \Omega:P(x)\} {x∈Ω:P(x)}。