【泛函分析】 1 距离空间

 

 

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  不动点定理

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

  • 0
    点赞
  • 7
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值