[实变函数]2.3 开集 (open set), 闭集 (closed set), 完备集 (complete set)

最新推荐文章于 2024-10-22 03:18:04 发布

weixin_30780221

最新推荐文章于 2024-10-22 03:18:04 发布

阅读量391

点赞数

CC 4.0 BY-SA版权

原文链接：http://www.cnblogs.com/zhangzujin/p/3549120.html

本文深入探讨了集合的开闭性质、紧集、自密集集与完备集的概念及其相互关系。通过数学定义与实例分析，详细解释了开集、闭集的定义与对偶性，以及紧集、自密集集与完备集的特征与判断方法。此外，还提供了具体例子来说明这些概念的应用。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

1 $$\beex \bea E\mbox{ 是开集}&\lra E^o=E\\ &\lra \forall\ P_0\in E,\ \exists\ U(P_0)\subset E. \eea \eeex$$

2 $$\beex \bea E\mbox{ 是闭集}&\lra E'\subset E\\ &\lra E^-=E\\ &\lra \mbox{若 }E\ni P_n\to P_0,\mbox{ 则 }P_0\in E. \eea \eeex$$

3 对 $E\subset \bbR^n$, $E^o$ 是开集, $E',E^-$ 是闭集.

4 (开集、闭集的对偶性): $$\bex E\mbox{ 是开 (闭) 集}\lra E^c\mbox{ 是闭 (开) 集}. \eex$$ 证明: 设 $E$ 是开集, 往证 $E^c$ 是闭集: $E^{c-}=E^{oc}=E^c$.

设 $E$ 是闭集, 往证 $E^c$ 是开集: $E^{co}=E^{-c}=E^c$.

5 任意多个开集之并是开集, 有限多个开集之交是开集;

任意多个闭集之交是闭集, 有限多个闭集之并是闭集.

证明: 设 $\sed{E_\lambda}_{\lambda\in \vLa}$ 是开集族, 往证 $\dps{\cup_{\lambda\in \vLa}E_\lambda}$ 是开集: $$\beex \bea P_0\in \cup_{\lambda\in \vLa}E_\lambda &\ra \exists\ \lambda_0\in \vLa,\st P_0\in E_{\lambda_0}\\ &\ra \exists\ U(P_0)\subset E_{\lambda_0}\subset \cup_{\lambda\in \vLa}E_\lambda. \eea \eeex$$

设 $\sed{E_i}_{i=1}^n$ 是开集, 往证 $\dps{\cap_{i=1}^m E_i}$ 是开集: $$\beex \bea P_0\in \cap_{i=1}^m E_i &\ra \forall\ i,\ P_0\in E_i\\ &\ra \forall\ i,\ \exists\ U(P_0,\delta_i)\subset E_i\\ &\ra U(P_0,\delta)\subset \cap_{i=1}^m E_i\quad\sex{\delta=\min \delta_i}. \eea \eeex$$

另外两个直接是 De Morgan 公式的推论.

6 例: $$\bex \cap_{n=1}^\infty\sex{a-\frac{1}{n},b+\frac{1}{n}}=[a,b],\quad \cup_{n=1}^\infty\sez{a+\frac{1}{n},b-\frac{1}{n}}=(a,b). \eex$$

7 (正规性) 设两闭集 $F_1,F_2$ 不交, 则存在开集 $O_1\supset F_1, O_2\supset F_2$, 使得

$O_1\cap O_2=\vno$.

8 思考: 两闭集 $F_1,F_2$ 不交, 能否推出 $d(F_1,F_2)=0$?

答案: 不能! 比如 $\bbR^2$ 中的两个闭集: $$\bex F_1=\sed{(x,0);x\in\bbR},\quad F_2=\sed{(x,e^x);x\in\bbR}. \eex$$

9 $$\beex \bea E\mbox{ 是紧集}&\lra \sex{E\subset \cup_{\lambda\in \vLa}O_\lambda\ra E\subset \cup_{i=1}^m O_i}\\ &\lra E\mbox{ 是有界闭集}. \eea \eeex$$ 证明: $\la$ Heine-Borel 有限覆盖定理.

$\ra$ $E$ 有界: $$\bex E\subset \cup_{P\in M}U(P,1)\ra E\subset U(P_1,1)\cup\cdots\cup U(P_m,1). \eex$$

$E$ 是闭集: $$\beex \bea P_0\in E^c&\ra \forall\ P\in E,\ \delta_P=d(P,P_0)>0\\ &\ra E\subset \cup_{P\in M}U\sex{P,\frac{\delta_P}{2}}\\ &\ra E\subset U\sex{P_1,\frac{\delta_{P_1}}{2}}\cup \cdots\cup U\sex{P_m,\frac{\delta_{P_m}}{2}}\\ &\ra U\sex{P,\delta}\subset M^c\quad\sex{\delta=\frac{1}{2}\min \delta_{P_i}}. \eea \eeex$$

10 $$\beex \bea E\mbox{ 是自密集 (dense-in-itself)} &\lra E\subset E'\\ &\lra E\mbox{ 没有孤立点}; \eea \eeex$$ $$\beex \bea E\mbox{ 是完备集 (complete set)}&\lra E=E'\\ &\lra E\mbox{ 是自密闭集}. \eea \eeex$$ (1) 例: $\vno$ 是自密集, 也是完备集;

在 $\bbR$ 中, $\bbQ$ 是自密集, $[a,b]$ 和 $\bbR$ 是完备集.

11 作业: Page 51, T 7.

转载于:https://www.cnblogs.com/zhangzujin/p/3549120.html