数学分析原理答案——第二章 习题17、18

【第二章 习题17】

令$E$是所有$x\in [0,1]$，其十进制小数展开式中只有数码$4$和$7$（$4$和$7$个数无限，$x$不是有限小数！！）。$E$是否可数？$E$是否在$[0,1]$稠密？$E$是否紧？$E$是否完全？

【证明】

1. $E$在$[0,1]$不稠密，因为

$$0.44444\dots \dots =\frac{4}{9}\le x\le 0.77777\dots \dots =\frac{7}{9}$$

2. $E$是紧集

首先

$$E^c\cap {\mathbb{R}}^{+}$$

是开集，这是因为，任意

$$y\in E^c\cap {\mathbb{R}}^{+}$$

$y$的小数形式必然与$x$在第$n$位小数不同，那么$x$的第$n+1$位仍然是$4$或$7$，所以

$$|x-y|>{0.1}^{n+1}$$

也就是说$y$的某邻域在$E^c\cap {\mathbb{R}}^{+}$中，所以$E^c\cap {\mathbb{R}}^{+}$是开集。由于开集的余集是闭集，所以$E$为闭集，而$E\subset [0,1]$------$E$有界，所以根据Heine-Borel定理，$E$是紧集。

3. $E$是完全集

对于任意

$$x\in E$$

都有无限靠近的

$$x^{{}^{\prime }}\in E$$

只要让$x^{{}^{\prime }}$的前几位与$x$保持一致，一致的位数越多，它们就越靠近。

4. $E$不可数

这是因为$E$是$R^1$中的非空完全集

【第二章 习题18】

$R^1$中是否存在不含有理数的不空完全集？

【证明】

存在

将17题中的$E$加上一个小数部分仅含有0、1的无理数（如$0.1010010001\dots \dots$）即可，此时$E$中的小数部分将包含无限不循环的$5、8$，从而求和结果后的$E$中的所有数都变成了无理数。