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

   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.    

 

上一篇:python问题汇总


下一篇:linux中错误日志等级