陶哲轩实分析习题9.1.1

设$X$是实直线的子集合，并设$Y$是集合，使得$X\subseteq Y\subseteq \overline{X}$,证明$\overline{Y}=\overline{X}$.

证明:因为$X\subseteq Y$,根据引理9.1.11，可知
\begin{align*}
  \overline{X}\subseteq \overline{Y}
\end{align*}
又因为$Y\subseteq \overline{X}$,可知
\begin{align*}
  \overline{Y}\subseteq \overline{\overline{X}}
\end{align*}
根据陶哲轩实分析定义9.1.10 注记：闭包和闭集易得$\overline{\overline{X}}=\overline{X}$,因此$\overline{Y}\subseteq \overline{X}$.综上$\overline{Y}=\overline{X}$.

转载于:https://www.cnblogs.com/yeluqing/archive/2013/01/27/3827505.html