陶哲轩实分析 3.2 节 习题试解
陶哲軒實分析 3.2 節(jié) 習題試解
習題3.2.2 原來的解答有問題,有更新。
習題 3.2
這一小節(jié)只有三道習題。不過卻花了我很長的時間。主要是被這本書關于正則公理的中文翻譯給坑了。
書中正則公理是這么表達的:如果AAA 是一個非空的集合,那么AAA至少有一個元素 xxx,要么xxx不是集合,要么xxx 是與AAA不同的集合。
"xxx 是與AAA不同的集合" 我理解為 x≠Ax \neq Ax??=A,實際上正則公理說的是 x?A=?x \bigcap A = \emptysetx?A=?…
3.2.1
(1) 證明萬有分類公理蘊含公理 3.2
構造一個性質 P(x)P(x)P(x) 這個性質恒為假。那么 {x:P(x)}\{x: P(x)\}{x:P(x)} 就是 空集 ?\emptyset?。
(2) 證明萬有分類公理蘊含公理 3.3
構造一個性質
P(x)={truex=afalseotherP(x) = \begin{cases} true & x = a\\ false & other \end{cases} P(x)={truefalse?x=aother?
那么{x:P(x)}\{x:P(x)\}{x:P(x)} 就是單點集{a}\{a\}{a}。
構造一個性質
P(x)={truex=aorx=bfalseotherP(x) = \begin{cases} true & x = a \ or \ x =b\\ false & other \end{cases} P(x)={truefalse?x=a?or?x=bother?
那么{x:P(x)}\{x:P(x)\}{x:P(x)} 就是雙元素集{a,b}\{a, b\}{a,b}。
(3) 證明萬有分類公理蘊含公理 3.4
構造一個性質
P(x)={truex∈Aorx∈BfalseotherP(x) = \begin{cases} true & x \in A\ or\ x \in B\\ false & other \end{cases} P(x)={truefalse?x∈A?or?x∈Bother?
那么 {x:P(x)}\{x: P(x)\}{x:P(x)} 就是集合 A?BA \bigcup BA?B。
(4) 證明萬有分類公理蘊含公理 3.5
構造一個性質
Q(x)={truex∈AandP(x)=truefalseotherQ(x) = \begin{cases} true & x \in A\ and\ P(x) = true\\ false & other \end{cases} Q(x)={truefalse?x∈A?and?P(x)=trueother?
那么 {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)={true?x∈A使得P(x,y)=truefalseotherQ(y) = \begin{cases} true & \exists x \in A\ 使得\ P(x,y) = true\\ false & other \end{cases} Q(y)={truefalse??x∈A?使得?P(x,y)=trueother?
那么 {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?AA \notin AA∈/?A
反證法:假如存在一個集合 A 使得 A∈AA \in AA∈A 成立。
那么由于A∈AA \in AA∈A 且 A∈{A}A \in \{A\}A∈{A}
所以 A?A?{A}A \subseteq A \bigcap\{A\}A?A?{A}
而正則公理要求 A?{A}=?A \bigcap\{A\}=\emptysetA?{A}=?, 空集不存在子集。
出現(xiàn)矛盾,所以不存在這樣的集合 AAA。
(2) 如果 AAA 和 BBB 是集合,那么要么 A?BA \notin BA∈/?B 要么 B?AB \notin AB∈/?A,或者二者同時成立。
反證法:
假設A∈BA\in BA∈B 和 B∈AB \in AB∈A 同時成立。
由于 A∈{A,B}A \in \{A,B\}A∈{A,B} 和 A∈BA \in BA∈B 所以
A?{A,B}?BA \subseteq \{A,B\} \bigcap B A?{A,B}?B
同理:
B?{A,B}?AB \subseteq \{A,B\} \bigcap A B?{A,B}?A
與正則公理矛盾,正則公理要求至少有一個 xxx 滿足 {A,B}?x=?\{A,B\} \bigcap x= \emptyset{A,B}?x=?。
3.2.3
(1)構造性質P(x)P(x)P(x) 使得對于任何 xxx, P(x)P(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)}。
總結
以上是生活随笔為你收集整理的陶哲轩实分析 3.2 节 习题试解的全部內(nèi)容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: oceanbase基于mysql吗_OC
- 下一篇: layui二级下拉菜单