【现代分析】 1 距离空间(Zen学习笔记)

1.4  列紧性

  1. 全有界集(定义):  \forall \varepsilon >0,A总存在有限的\varepsilon-网,则称A是全有界集
  2. 稠密与\varepsilon-网的关系(eg.Q在R中稠密,Q是R中的一个\varepsilon-网)
  3. 全有界集有界且可分(易证)
  4. 列紧\Rightarrow全有界;完备空间内,全有界\Rightarrow列紧(易证)
  5. \left \{ G_{i} |i\in I\right \}是X中某些开集组成的集族。若A\subset \cup G_{i}, 则称\left \{ G_{i} |i\in I\right \}是A的一个开覆盖;若 此时I是有限集,则称为有限开覆盖
  6. 有限覆盖定理:A是紧集\LeftrightarrowA的任一开覆盖\left \{ G_{i} |i\in I\right \}中必可选出一有限子覆盖。(\LeftrightarrowA中每个具有有限交性质的闭子集族有非空的交*族内部集合的交
  7. \left \{ F_{i}|i\in I \right \}是X中一个集族,若其中任一有限族具有非空交,则称\left \{ F_{i}|i\in I \right \}具有有限交性质

     8.  具体空间中 集合列紧性的判别方法 

        8.1A\sqsubset C\left [ a,b \right ]列紧\Leftrightarrow【1】A有界,即存在常数K,使得对一切x \in A,有\left | x(t) \right |\leq K(t \in [a,b])                                                                                        【2】A等度连续,即\forall \varepsilon >0,\exists \delta =\delta (\varepsilon )>0,s.t.\,\forall t^{'},t^{''}\in[a,b],只要\left | t^{'}-t^{''} \right |<\delta,就有                 \left | x(t^{'})- x(t^{''})\right |<\varepsilon,对一切x\in A成立。

1.5  不动点定理

猜你喜欢

转载自blog.csdn.net/weixin_38716567/article/details/82943965