【第二章 习题17】
令 E E E是所有 x ∈ [ 0 , 1 ] x \in \lbrack 0,1\rbrack x∈[0,1],其十进制小数展开式中只有数码 4 4 4和 7 7 7( 4 4 4和 7 7 7个数无限, x x x不是有限小数!!)。 E E E是否可数? E E E是否在 [ 0 , 1 ] \lbrack 0,1\rbrack [0,1]稠密? E E E是否紧? E E E是否完全?
【证明】
- E E E在 [ 0 , 1 ] \lbrack 0,1\rbrack [0,1]不稠密,因为
0.44444 … … = 4 9 ≤ x ≤ 0.77777 … … = 7 9 0.44444\ldots\ldots = \frac{4}{9} \leq x \leq 0.77777\ldots\ldots = \frac{7}{9} 0.44444……=94≤x≤0.77777……=97
- E E E是紧集
首先
E c ∩ R + E^{c} \cap \mathbb{R}^{+} Ec∩R+
是开集,这是因为,任意
y ∈ E c ∩ R + y \in E^{c} \cap \mathbb{R}^{+} y∈Ec∩R+
y y y的小数形式必然与 x x x在第 n n n位小数不同,那么 x x x的第 n + 1 n + 1 n+1位仍然是 4 4 4或 7 7 7,所以
∣ x − y ∣ > 0.1 n + 1 |x - y| > {0.1}^{n + 1} ∣x−y∣>0.1n+1
也就是说 y y y的某邻域在 E c ∩ R + E^{c} \cap \mathbb{R}^{+} Ec∩R+中,所以 E c ∩ R + E^{c} \cap \mathbb{R}^{+} Ec∩R+是开集。由于开集的余集是闭集,所以 E E E为闭集,而 E ⊂ [ 0 , 1 ] E \subset \lbrack 0,1\rbrack E⊂[0,1]------ E E E有界,所以根据Heine-Borel定理, E E E是紧集。
- E E E是完全集
对于任意
x ∈ E x \in E x∈E
都有无限靠近的
x ′ ∈ E x^{'} \in E x′∈E
只要让 x ′ x^{'} x′的前几位与 x x x保持一致,一致的位数越多,它们就越靠近。
- E E E不可数
这是因为 E E E是 R 1 R^{1} R1中的非空完全集
【第二章 习题18】
R 1 R^{1} R1中是否存在不含有理数的不空完全集?
【证明】
存在
将17题中的 E E E加上一个小数部分仅含有0、1的无理数(如 0.1010010001 … … 0.1010010001\ldots\ldots 0.1010010001……)即可,此时 E E E中的小数部分将包含无限不循环的 5 、 8 5、8 5、8,从而求和结果后的 E E E中的所有数都变成了无理数。