[实变函数]2.3 开集 (open set), 闭集 (closed set), 完备集 (complete set)-阿里云开发者社区

开发者社区> 张祖锦> 正文

[实变函数]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.
+关注继续查看

   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.    

 

版权声明:本文内容由阿里云实名注册用户自发贡献,版权归原作者所有,阿里云开发者社区不拥有其著作权,亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容,填写侵权投诉表单进行举报,一经查实,本社区将立刻删除涉嫌侵权内容。

相关文章
【开源】QuickPager ASP.NET2.0分页控件V2.0.0.7 增加了一个js函数的分页方式。
     昨天在csdn上看到一个人提出来了一种分页的需求,大致是分页控件只负责绘制总页数、上一页、下一页等信息,然后在用户翻页的时候可以触发一个js函数,然后自己实现这个js函数。并不需要提交表单,他想用ajax的方式来获取数据,但是又不想使用微软的ajax。
759 0
[实变函数]3.2 可测集 (measurable set)
1 $\bbR^n$ 中集合 $E$ 称为可测的 (measurable), 如果 $$\bee\label{3.2:Caratheodory} m^*T=m^*(T\cap E)+m^*(T\cap E^c),\quad \forall\ T\subset \bbR^n.
604 0
find_if 仿函数错误:cannot convert 'this' pointer from 'const CActTaskData' to 'CActTaskData &'
今天编写find_if的仿函数时编译报错,cannot convert 'this' pointer from 'const CActTaskData' to 'CActTaskData &'。        struct act_task_finder { public: act_task_finder(const OBJID objId) : m_ObjId
792 0
利用MaxCompute内建函数及UDTF转换json格式日志数据
本文介绍了如何使用MaxCompute UDF对JSON格式的日志进行信息提取和转换。
8204 0
[实变函数]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.
908 0
+关注
张祖锦
数学
1414
文章
0
问答
文章排行榜
最热
最新
相关电子书
更多
《2021云上架构与运维峰会演讲合集》
立即下载
《零基础CSS入门教程》
立即下载
《零基础HTML入门教程》
立即下载