数学分析原理答案——第二章 习题6

【第二章 习题6】

令$E^{{}^{\prime }}$是集$E$的一切极限点的集。证明$E^{{}^{\prime }}$是闭集。证明$E$与$\overline{E}$有相同的极限点（回想$\overline{E}=E\cup E^{{}^{\prime }}$）。$E$与$E^{{}^{\prime }}$是否总有相同的极限点呢？

【证明】

1. 证明$E^{{}^{\prime }}$是闭集

对于$E^{{}^{\prime }}$的任意极限点$e^{{}^{\prime \prime }}$，对于任意的邻域半径$\frac{r}{2}>0$，总有

$$\exists e^{{}^{\prime }}\in E^{{}^{\prime }}\left(\left|e^{{}^{\prime \prime }}-e^{{}^{\prime }}\right|<\frac{r}{2}\right)$$

由于$e^{{}^{\prime }}\in E^{{}^{\prime }}$，所以$e^{{}^{\prime }}$是集$E$的极限点，也就是对于邻域半径$\frac{r}{2}$，总有

$$\exists e\in E\left(\left|e^{{}^{\prime }}-e\right|<\frac{r}{2}\right)$$

综合这两个不等式可得

$$\exists e^{{}^{\prime }}\in E^{{}^{\prime }},e\in E\left(\left|e^{{}^{\prime \prime }}-e\right|\le \left|e^{{}^{\prime \prime }}-e^{{}^{\prime }}\right|+\left|e^{{}^{\prime }}-e\right|<r\right)$$

即

$$\exists e\in E\left(\left|e^{{}^{\prime \prime }}-e\right|<r\right)$$

这就是说$e^{{}^{\prime \prime }}$是集$E$的极限点，而$E^{{}^{\prime }}$是集$E$的一切极限点的集，所以

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

即$E^{{}^{\prime }}$一定是闭集。

2. 证明$E$与$\overline{E}$有相同的极限点

首先，$E$的极限点必是$\overline{E}$的极限点。

由于$\overline{E}$是两个集合的并集，所以$\overline{\mathbf{E}}$的极限点是$\mathbf{E}$的极限点或者${\mathbf{E}}^{{}^{\prime }}$的极限点（结合并集特点，利用反证法可知）。根据1的结论，$E^{{}^{\prime }}$的极限点都是集$E$的极限点，所以$\overline{E}$的极限点是$E$的极限点。

综上可得，$E$与$\overline{E}$有相同的极限点

3. $E$与$E^{{}^{\prime }}$并不一定有相同的极限点

设

$$E=\left\{\frac{1}{n}|n\in {\mathbb{N}}^{+}\right\}$$

则$E$的极限点是$0$，但 E ′ = { 0 } E^{'} = \left\{ 0 \right\} E′={0}，没有极限点，只有一个孤立点。