泛函分析度量空间知识和不动点的应用第七章度量空间和赋范线性空间知识总结 一、度量空间的例子定义：设X 为一个集合，一个映射d ：X ×X →R 。

若对于任何x,y,z 属于X ，有 （I ）（正定性）d(x,y ）≥0，且d(x,y)=0当且仅当 x = y ； （Ⅱ）（对称性）d(x,y)=d(y,x ）；（Ⅲ）（三角不等式）d(x,z ）≤d(x,y)+d(y,z ）则称d 为集合X 的一个度量（或距离）。

称偶对（X ，d ）为一个度量空间，或者称X 为一个对于度量d 而言的度量空间。

根据定义引入度量空间有离散的度量空间、序列空间、有界函数空间、可测函数空间、C 【a ，b 】空间、2l 空间，这6个空间是根据度量空间的定义可证它们是度量空间，在后面几节中给出它们相关的性质。

二、度量空间中的极限，抽密集，可分空间： 证明极限有二种方法：1、定义法：设{}n x 是（X ，d ）中点列，如果存在x ∈X ，是lim (,)n x d x x →∞=0，则称点列{}n x是（X ，d ）中的收敛点列，x 是点列{}n x 的极限。

2、M 是闭集是充要条件是M 中任何收敛点列的极限都在M 中。

即若n x M ∈，n=1、，2……，n x x →，则x M ∈。

给出n 维欧氏空间、C[a,b]序列空间、可测函数空间中点列收敛的具体意义，由这些系列例子可以看到，尽管在各个具体空间中各种极限概念不完全一致，所以我们引入度量空间中的稠密子集和可分空间的概念，根据定义可得出n 维欧氏空间nR 是可分空间，坐标为有理数的全体是nR 的可数稠密集，离散度量空间X 可分的充要条件为X 是可数集。

l ∞是不可分空间。

三、连续映射证明度量空间的连续映射有四种方法：1、定义法：设X=（X ，d ），Y=（Y ，d ）是两个度量空间，T 是X 到Y 中的映射，0x X ∈，如果对于任意给定的正数ε，存在正数δ0，使对X 中一切满足d （x ，0x ）δ 的x ，有(,)d Tx Tx ε ，则称T 在0x 连续。

2、对0Tx 的每个ε-领域U ，必有0x 得某个δ—邻域V 使TV ⊂U ，其中TV 表示V 在映射T 作用下的像。

3、定理1：设T 是度量空间（X ，d ）到度量空间（Y ，d ）中的映射，那么T 在0x X ∈连续的充要条件为当0n x x →（n →∞）时，必有0()n Tx Tx n →→∞。

4、定理2：度量空间X 到Y 中的映射T 是X 上连续映射的充要条件为Y 中任意开集M 的原象1T M -是X 中的开集。

（注意：把定理中的开集改为闭集仍然成立）。

四、柯西点列和完备度量空间定义：在度量空间的基础上度量空间（X ，d ）中每个柯西点列都在（X ，d ）中收敛的空间叫做完备度量空间，根据定义得出n 维欧氏空间nR 、l ∞、C[a,b]空间都是完备度量空间，而有理数全体按绝对值距离构成的空间不完备，柯西点列−−−−→←−−−−完备条件下度量空间收敛点列。

证明完备度量空间有二种方法：1、定义法：度量空间（X ，d ）中每个柯西点列都在（X ，d ）中收敛。

2、定理：完备度量空间X 的子空间M 是完备空间的充要条件为M 是X 中的闭子空间。

五、 度量空间的完备化直线上有理数全体Q 作为1R 的子空间不是完备的度量空间，但是可以将Q 扩大成完备的度量空间1R ，即在Q 中加入“无理数”，使之成为新的度量空间1R ，并且Q 在1R 中稠密，下面介绍每个不完备的度量空间都可以加以“扩大”，首先介绍等距同构和等距同构映射的定义，但是在泛函分析中把两个等距同构的度量空间不加于区别而视为同一的，如何完备化呢?接下来就介绍度量空间的完备化定理：设X=（X ，d ）是度量空间，那么一定存在一完备度量空间X=X d （，），使X 与X 的某个稠密子空间W 等距同构，并且X 在等距同构意义下唯一的，即若X d （，）也是一完备度量空间，且X 与X 的某个稠密子空间等距同构，则X d （，）与X d （，）等距同构。

等价于定理1” 设X=（X ，d ）是度量空间，那么存在唯一的完备空间X=X d （，），使X 为X的稠密子空间。

六、压缩映射原理以其应用关于存在唯一性的定理的证明，在完备度量空间中巴拿赫的压缩映射原理是一个很有力的证明工具，先定义：设X=（X ，d ）是度量空间，T 是X 到X 中的映射，如果存在一个数α，01α ，使得对所有的x ，y X ∈，d （Tx ，Ty ）α≤d （x ，y ），则称T 是压缩映射，几何意义：点x 和y 经T 的映射后，它们像的距离缩短了，那么T 有且只有一个不动点。

是根据构造柯西点列和有压缩映射定义可证明。

压缩映射原理在分析、微分方程、积分方程、代数方程解的存在和唯一性定理证明中起了重要作用，这里介绍隐函数存在定理以及常微分方程解的存在性和唯一性定理，定理2：设函数f （x ，y ）在带状域a xb y ≤≤-∞∞ ，中处处连续，且处处有关于y 的偏导数y f x y '（，）。

如果还存在常数m 和M ，满足y 0m f x y M m M '≤≤ （，），，则方程f （x ，y ）=0在区间【a ，b 】上必有唯一的连续函数y=x ϕ（）作为解：f （x ，x ϕ（））=0，x [,]a b ∈。

这个证明是利用压缩映射和微分中值定理。

七、 赋范线性空间和巴拿赫空间 在泛函分析中，特别重要和有用的一类度量空间是赋范线性空间，所以给出范数的定义，而X 按照范数赋‖x ‖成为赋范线性空间，在赋范线性空间中也给出极限的定义，而且得出空间的度量结构和线性结构之间具有某种协调性。

可以证明‖x ‖是x 的连续函数。

完备的赋范线性空间叫做巴拿赫空间。

根据定义可以得出欧氏空间nR 、空间l ∞、空间C 【a ，b 】、空间pL 【a ，b 】都是巴拿赫空间，而要证明pL 【a ，b 】是巴拿赫空间以前必须了解霍尔德（Holder ）不等式和民科夫斯基（Minkowski ）不等式，利用这两个不等式得证pL 【a ，b 】是巴拿赫空间。

同理空间pL 也是完备的。

如果是有限维赋范线性空间的性质，那么有什么性质？定理3：设X 是n 维赋范线性空间，{12,,...,n e e e }是X 的一组基，则存在常数M 和M '，使得对一切1nk kk x e ε==∑成立，推论1：设在有限维线性空间上定义了两个范数‖x ‖和1x ‖‖，那么必存在常数M 和M '，使得M ‖x ‖《1x ‖‖《M '‖x ‖。

推论2：任何有限维赋范空间和同维数欧氏空间拓补同构，相同维数的有限维赋范空间彼此拓补同构。

第八章有界线性算子和连续线性泛函知识总结 一、有界线性算子和连续线性泛函根据线性算子和线性泛函的定义，分别给出相似算子、恒等算子、零算子、微分算子、 乘法算子和对应的线性泛函定义。

根据算子和泛函的关系得出1、算子和有限维空间中的方阵相对应。

2、泛函与有限维空间中的向量相对应。

算子和泛函是映射，所以就有有界和无界的区别， 定义2：设X 和Y 是赋范线性空间，T 是X 的线性子空间()T ϕ到Y 中的线性算子，如果存在常数c ，使对所有()x T ϕ∈，有‖Tx ‖《c ‖x ‖，则称T 是()T ϕ到Y 中的有界线性算子，当()T ϕ=X 时，称T 为X 到Y 中的有界线性算子，简称有界算子，否则称为无界算子。

证明有界算子的方法：定理1 设T 是赋范线性空间X 到赋范线性空间Y 中的线性算子，则T 为有界算子的充要条件为T 是X 上的连续算子。

证明连续泛函的方法：定理2 设X 是赋范线性空间，f 是X 上的线性泛函，那么f 是X 上连续泛函的充要条件为f 的零空间()f ϑ是X 中的闭子空间。

从定义2中可以看出对于()x T ϑ∈成立的最小c ，引入定义3：T 为赋范线性空间X 的子空间()T ϑ到赋范线性空间Y 中的线性算子，称‖T ‖=0()supx x T Tx ϑ≠∈‖‖‖x ‖为算子T 在()T ϑ上范数。

若T 是()T ϑ上有界线性算子，则‖T ‖是一有限，反之，当T ∞ ‖‖时，由T 是线性，则有‖Tx ‖《‖T ‖‖x ‖，()x T ϑ∈， 根据引理 设T 是()T ϕ上有界线性算子，那么()()sup sup x T x T x x T Tx Tx ϑϑ∈∈≤‖‖=1‖‖1‖‖=‖‖=‖‖二、有界线性算子空间和共轭空间有界线性算子全体所成空间()X Y β→成为赋范线性空间，定理1：当Y 是巴拿赫空间是()X Y β→也是巴拿赫空间。

或者当{0}x ≠时，()X Y β→也是巴拿赫空间。

如果f 是连续()M f ⇔闭集。

（若f 是有界线性算子，就不成立）。

当X 是完备时，(X)X β→X 为巴拿赫代数。

如果X 是赋范线性空间，令X '表示X 上连续线性泛函全体所成的空间，成为X 的共轭空间。

由于定理可知，任何赋范线性空间的共轭空间是巴拿赫空间。

引出两个赋范线性空间同构的概念：设X 和Y 是两个赋范线性空间，T 是X 到Y 中的线性算子，并且对所有x X ∈，有‖Tx ‖=‖x ‖，则称T 是X 到Y 中的保距算子，如果T 又是映射到Y 上的，则称T 是同构映射，此时称X 与Y 同构。

根据定义可得1l 的共轭空间是为l ∞，即1()l l ∞'=；(1)p l p ∞ 的共轭空间为q l ，其中111p q+=；2()()L L ∞'=有界可测函数;11()(2)1p q L L p p q'=+= ; 总结：度量空间包括赋范线性空间，而赋范线性空间包括有界线性算子和连续线性泛函，一步一步具体化，一步一步详细，而有界线性算子和连续线性泛函有些性质在赋范线性空间是不成立的。

而赋范线性空间也有些性质在度量空间是不成立，它们之间相互联系，又相互区别。

应用不动点思想解决数列通项公式、方程的解、函数的解析式等问题。

并对隐函数定理、微分方程解的存在性定理、积分方程解的存在性定理做出了证明。

1 应用不动点定理证明数列极限定理求数列极限的方法有多种, 比较典型的有单调有界原理和迫敛法。

若能熟练掌握不动点原理, 也能方便求出一些数列极限。

定理 对于数列{}n x ，若存在常数r ：01r <<，使得一切n ∈N 有11n n n n x x r x x +--≤-，则{}n x 收敛。

若递推公式由一元可微函数()1n n x f x -=给出，则可通过f 的导数f '来考察。

若存在实数r ，使得()1f x r '≤<，则应用微分中值定理, 可知{}n x 满足压缩映射的条件()()()1111n n n n n n n n x x f x f x f x x x r x x +---'-≤-=-≤-，不过，这时必须验证，{}n x 是否保持在()f x r '≤成立的范围之内。