泛函分析知识总结

泛函分析知识总结与举例、应用学习泛函分析主要学习了五大主要内容

一、度量空间和赋范线性空间；

二、有界线性算子和连续线性泛函；

三、内积空间和希尔伯特空间；

四、巴拿赫空间中的基本定理；

五、线性算子的谱本文主要对前面两大内容进行总结、举例、应用

一、度量空间和赋范线性空间-度量空间度量空间在泛函分析中是最基本的概念，它是维欧氏空间有限维空间的推广，所以学好它有助于后面知识的学习和理解

1.度量定义设X是一个集合，若对于X中任意两个元素X,y,都有唯一确定的实数dx,y与之对应，而且这一对应关系满足下列条件1°dx,y》O,dx,y=0非负性2°dx,y=dy,x对称性3对z,都有dx,yWdx,z+dz,y三点不等式则称dx,y是x、y之间的度量或距离metric或distance,称为X,d度量空间或距离空间metric spaceo这个定义是证明度量空间常用的方法注意:⑴定义在X中任意两个元素X,y确定的实数dx,y,只要满足

1、

2、3都称为度量这里“度量”这个名称已由现实生活中的意义引申到一般情况，它用来描述X中两个事物接近的程度，而条件

1、

2、3被认为是作为一个度量所必须满足的最本质的性质⑵度量空间中由集合X和度量函数d所组成，在同一个集合X上若有两个不同的度量函数和，则我们认为X,和窃，是两个不同的度量空间⑶集合X不一定是数集，也不一定是代数结构为直观起见，今后称度量空间X,d中的元素为“点”，例如若，则称为“X中的点”⑷在称呼度量空间x,d时可以省略度量函数d,而称“度量空间X”o举例

1.11离散的度量空间设X是任意的非空集合，对X中任意两点x,y£X,令于x,0x=0a xb★可见，压缩映射原理在处理迭代数列的收敛、微分方程定解等问题上有着重要的应用，其观点与方法已经渗透到数学的各个分支如常微分方程、数值计算,加深了各分支间的相互联系，应用压缩映射原理解决问题也十分简洁、灵活和方便

（二）赋范线性空间

1.线性空间设是非空集合，是实数域或复数域，称为上的线性空间，如果满足以下条件:对两个元素，中惟一个元素与之对应，称为与的和，记为，且满足:

（1）交换律x+y=+x（x,y£X）；

（2）结合律工+（丁+2）=（工+丁）+2（乂乂2£乂）；

（3）在中存在一个元素，称为零元，使；

（4）对每个，存在，使，称为的负元对任意数及，存在中惟一元素与之对应，记为，称为与的数乘，且满足

（1）结合律

（2）；lx=x

（3）数乘对加法分配律（2+/7）%=办+偿；

（4）加法对数乘分配律（x+y）=改+例如果，称为实线性空间；如果（复数域），称为复线性空间对于线性空间是线性空间（满足加法和数乘运算），是的非空子集，任意及任意ae R,都有及，那么按中加法和数乘运算也成为线性空间，称为的子空间，和｛0｝是平凡子空间若，则称是的真子空间

2.赋范线性空间和巴拿赫（Banach）空间（重点内容）

2.1定义设X为实（或复）的线性空间，如果对每一个向量，有一个确定的实数，记为1x11与之对应，并且满足1||x||20且||x||二0Ox=02||ax||二a||x||其中a为任意实复数3I x+y||W||x||+||y||X,y GX则称II x||为向量x的范数，称按范数||x||成为赋范线性空间扩展

①II II是的连续函数要会证明

②设｛｝是乂中的点列，如果，使||||-0n—8则称｛｝依范数收敛于，记为nf8或

③如果令dx,y=I x-y I,｛｝依范数收敛于｛｝按距离d x,y收敛于,称d x,y为是由范数|||导出的距离★注意线性贱范空间一定是度量空间，反过来不一定成立

2.2完备的线性赋范空间称为巴拿赫Banach空间

2.

2.1巴拿赫空间的举例

①n维欧式空间R

②C[a,b]

③④L[a,b]

⑤其他

①霍尔德Horder不等式dt；

②闵可夫斯基不等式记住结论并会应用

二、有界线性算子和连续线性泛函

1.算子定义赋范线性空间X到另一个赋范线性空间Y的映射，被称为算子,如果Y是数域，则被称为泛函

2.线性算子和线性泛函

2.1定义设X和Y是两个同为实或复的线性空间，⑴是X的线性子空间，T为到Y中的映射，如果对任何x,y e及数都有T x+y=Tx+Ty1T ax=a Tx2则称T为到Y中的线性算子，其中称为T的定义域，记为T,T称为T的值域记为T,当T取值于实或复数域时，称T为实或复线性泛函

2.2几种常见的线性算子和线性泛函的例子

①相似算子Tx二a x当a=1时为恒等算子；当a=0时为零算子；

②p[0,1]是[0,1]上的多项式全体，定义微分算子,若toe[0,1],对xep[O,1],定义X二x to则是P[0,1]上的线性泛函

③积分算子xeC[a,b]Tx t=f x由积分线性性质知T为线性算子，若令二/x则是C[a,b]中的线性泛函

④乘法算子x^C[a,b]Tx t=tx t

⑤R n中的线性变换是线性算子

3.有界线性算子

3.1定义设X和Y是两个线性赋范空间，T是X的线性子空间T到Y中线性算子，如果存在常数c,使对所有*£T,有||Tx||〈c||x||,则称T是T到Y中的线性有界算子，当T二X时，称T为X到Y中的线性有界算子，简称为有界算子否则，称为无界算子

3.2定理1:设T是线必性赋范空间X到线性赋范空间丫中的线性算子，则T为有界的充要条件是T是X上的连续算子重要定理要会证明

3.3定理2:设X是线性赋范空间，是X上线性泛函，是X上连续泛函的0的零空间N是X中的闭子空间重要定理要会证明若f为有界线性算子，则结论不成立，同时这也是证明泛函连续常用的方法

3.4扩展

3.

4.1II TXII CII XII,则T是有界线性算子

3.

4.2定理T为有界算子T是X上的连续算子证明有界方法

①II TII8

②定义法

③定理法

3.

4.3例子

①TX t=有界；

②TX t=—X t无界记住结论dx联系只有X、丫是两个赋范线性空间，并且满足一定条件下，才能形成T是有界线性算子

4.共轲空间

4.1定义连续线性泛函全体所成的空间为共辄空间，

4.2性质

①任何赋范线性空间的共轨空间是巴拿赫空间

②当Y是巴拿赫Banach空间时，/X-Y也是巴拿赫Banach空间（注巴拿赫Banach空间是完备的赋范线性空间）

4.3例子（记住结论）

①=但；同样，但

②=,其中+=1

③（尸），=尸联系共飘空间是线性泛函和赋范线性空间的基础上形成的，因此共轨空间是它们的后续全部知识的联系度量空间映射线性泛函；线性空间赋范线性空间有界线性算子和连续线性泛函共轨空间完备化的有（完备的度量空间和完备的赋范线性空间即巴拿赫空间）从以上的知识可以知道一般情况下证明的有定义及定理,计算就大约只有求范数并且一般都是证明左右互相包含即可参考文献［1］程其襄，张奠宙，魏国强，胡善文，王漱石.实变函数与泛函分析基础［M］.北京高等教育出版社，2010,

（3）.［2］孙清华，侯谦民，孙昊.泛函分析内容、方法与技巧［M］.湖北华中科技大学出版社，2006,

（3）.［3］王宗尧，薛以锋，钱张军.应用泛函分析［M］.上海华东理工大学出版社,

2002.［4］李大华.应用泛函简明教程湖北华中科技大学出版社，1999,

（4）.，则称（X,d）为离散度量空间

1.12序列空间S:S表示实数列（或复数列）的全体，d（x,y）=；

1.13有界函数空间B（A）A是给定的集合，B（A）表示A上有界实值（或复值）函数全体，对B（A）中任意两点x,y,定义d（x,y）=

1.14可测函数空间M（X）:M（X）为X上实值（或复值）的L可测函数全体

1.15C［a,b］空间（重要的度量空间）C［a,b］表示闭区间［a,b］上实值（或复值）连续函数全体，对C［a,b］中任意两点x,y,定义d x,y=maxatb

1.16:无限维空间（重要的度量空间）★例L

15.L16是考试中常考的度量空间

2.度量空间中的极限，稠密集，可分空间

2.1的一领域设（X,d）为度量空间，d是距离，定义为的以为半径的开球，亦称为/的£一领域注通过这个定义我们可以从点集这一章学到的知识来定义距离空间中一个点集的内点，外点，边界点及聚点，导集，闭包，开集等概念

2.2度量空间的收敛点列设（X,d）是一个度量空间，是（X,d）中点列，如果存在,收敛于，使，即，称点列是（X,d）中的收敛点列，x叫做点列的极限，且收敛点列的极限是唯一的注度量空间中点列收敛性质与数列的收敛性质有许多共同之处

2.3有界集设M是度量空间（X,d）中的点集，定义为点集M的直径若,则称M为（X,d）中的有界集（类似于，我们可以证明一个度量空间中收敛点列是有界点集）

2.4闭集A是闭集A中任意收敛点列的极限都在A中，即若,n=l,2,.，则（要会证明）

2.5举例

2.

5.1n维欧氏空间中，点列依距离收敛依分量收敛

2.

5.2C[a,b]空间中，点列依距离收敛依分量一致收敛

2.

5.3序列空间S中，点列依坐标收敛

2.

5.4可测函数空间MX函数列依测度收敛于f,即

2.6稠密子集和可分度量空间有理数集在实数集中的稠密性，它属于实数集中，现把稠密性推广到一般的度量空间中定义:设X是度量空间，E和M是X的两个子集，令表示M的闭包，如果Eu,则称集M在集E中稠密，当E二X时，称M为X的一个稠密子集，如果X有一个可数的稠密子集,则称X为可分空间注可分空间与稠密集的关系由可分空间定义知，在可分空间X中一定有稠密的可数集这时必有X中的有限个或可数个点在X中稠密

2.

6.2举例

①n维欧式空间是可分空间坐标为有理数的全体是的可数稠密子集

②离散度量空间X可分OX是可数集因为X中无稠密真子集，X中唯一的稠密只有X本身

③厂是不可分空间数学知识间都有联系，现根据直线上函数连续性的定义，引进了度量空间中映射连续性的概念

3.连续映射

3.1定义设X=X,d Y=Y,是两个度量空间，T是X到Y中的映射出，如果对£0,60,使对X中一切满足dx,3的元有,则称T在连续度量空间之间的连续映射是数学分析中连续函数概念的推广，特别，当映射是值域空间时，映射就是度量空间上的函数注对于连续可以用定义证明，也可以用邻域的方法证明下面用邻域描述:存在对T的£-邻域U,的某个5一邻域V,使TV U,其中TV表示V在映射T作用下的像

3.2定理1:设T是度量空间X,d到度量空间Y,中映射，T在连续Q当时，必有在映射中我们知道像与原像的概念，下面对原像给出定义

3.3原像的定义映射T在X的每一点都连续，则称T是X上的连续映射，称集合｛x|x£X,TxuMu Y｝为集合M在映射T下的原像，简记为★可见，对于度量空间中的连续映射可以用定理来证明，也可以用原像的定义来证明

3.4定理2度量空间X到Y中的映射T是X上连续映射QY中任意开集M的原像是X中的开集（除此之外，利用（M的补集）=（）的补集，可将定理中开集改成闭集，定理也成立）注像升原像开，像闭原像闭，映射连续在数学分析中有学过收敛点列，柯西点列，但研究都在R中现在我们可类似的给出度量空间中柯西点列的概念

4.柯西（）点列和完备的度量空间

4.1柯西点列的定义设X=（X,d）是度量空间，｛｝是乂中的点列，对e0,正整数N=N（£）,使当n,mN时，必有d（,）〈£，则称｛｝是X中的柯西（Cauchy）点列或基本点列【会判断柯西点列是有界点列】我们知道实数集的完备性，同时在学习数列收敛时，数列收敛的充要条件是数列是Cauchy歹U,这由实数的完备性所致在度量空间中，这一结果未必成立但在度量空间中的确存在完备的度量空间

4.2完备的度量空间的定义如果度量空间（X,d）中每一个柯西点列都在（X,d）中收敛,那么称（X,d）是完备的度量空间.★但要注意，在定义中要求X中存在一点，使该柯西点列收敛到这一点

4.3举例（记住结论）

4.

3.1有理数全体按绝对值距离构成的空间不完备，但n维欧式空间是完备的度量空间在一般度量空间中，柯西点列不一定收敛，但是度量空间中的每一个收敛点列都是柯西点列C、C[a,b],也是完备的度量空间

4.4定理完备度量空间X的子空间M,是完备空间M是X中的闭子空间P b]（表示闭区间[a,b]上实系数多项式全体，作为C[a,b]的子空间）是不完备的度量空间.

5.度量空间的完备化

5.1等距映射设（X,d）,是两个度量空间，T是从X到上的映射，即对x,y,（Tx,Ty）=d（x,y）,则称T是等距映射

5.2定义设（X,d）,是两个度量空间，如果存在一个从X到上的等距映射T,则称（X,d）和等距同构，此时T称为X到上的等距同构映射（像的距离等于原像的距离）注在泛函分析中往往把两个等距同构的度量空间不加区别而视为同一的

5.2定理1（度量空间的完备化定理）设X二（X,d）是度量空间，那么一定存在完备度量空间，使XV的某个稠密子空间W等距同构，并且在等距同构下是唯一的，即若（,）也是一个完备的度量空间，且X与的某个稠密子空间等距同构，则与（，）等距同构（不需要掌握证明但是要记住结论）

5.

2.1定理1的改述设是度量空间，那么存在唯一的完备度量空间，使为的稠密子空间

6.压缩映射原理及其应用（重点内容，要求掌握并会证明）学习完备度量空间概念，就需要应用，而压缩映像原理是求解代数方程、微分方程、积分方程，以及数值分析中迭代算法收敛性很好的工具，另外要学会如何求不动点

6.1压缩映射定义X是度量空间，T是X到X的映射，如果存在一个数，，使对x,y,d（Tx,Ty）Wad（x,y）则称T为压缩映射

6.2（压缩映射定理）设X是完备的度量空间，T是X上的压缩映射，那么T有且仅有一个不动点（即方程Tx二x,有且只有一个解）（X是T的不动点OX是方程Tx=x的解）这个定理对代数方程、微分方程、积分方程、数值分析的解的存在性和唯一性的证明中起重要作用

6.3压缩映射原理的应用在众多情况下，求解各种方程的问题可以转化为求其某一映射的不动点，现在以大家熟悉的一阶常微分方程3=/（x,y）⑴为例来说明这一点求微分方程1满足初始条件》%=%的解与求积分方程X2yx=%+J等价我们做映射X幻=%+J/x,y力%则方程2的解就转化为求，使之满足也就是求这样的，它经映射作用后仍变为因此，求解方程1就变为求映射的不动点，这种求解方程变为求解映射的不动点的做法在数学中是常用的那么如何求解映射的不动点呢？在中求方程解的逐次逼近法给了我们启示这种迭代原理是解决映射不动点问题最基本的方法在解决上述问题中，看到实数完备性的重要作用代数方程、微分方程、积分方程及其他方程求解的逐次逼近法在泛函分析中成了一个一般原理，即压缩映射原理，压缩映射原理就是某一类映射不动点存在性和惟一性问题，不动点可以通过迭代序列求出注1从定理的证明过程中发现，迭代序列的初始值可任意选取，最终都能收敛到惟一不动点2该定理提供了近似计算不动点的误差估计公式，即夕x*,x-——X7x,x n001—a因为完备度量空间的任何子集在原有度量下仍然是完备的，所以定理中的压缩映射不需要在整个空间上有定义，只要在某个闭集上有定义，且像也在该闭集内，定理的结论依然成立在实际应用过程中，有时本身未必是压缩映射，但的若干次复合是压缩映射,这时仍然有惟一不动点，下面是压缩映射原理的应用及相关证明例1线性代数方程=均可写成如下形式3x=Cx+D其中=%〃山=4，出，・・・，〃如果矩阵c满足条件2同1（，=12・・・2）j=l则式

（3）存在惟一解，且此解可由迭代求得证明取，定义度量为「（〃）=max%-bi\inJ=（al，—

一、％）,，〃=Si也,…，〃）,构造映射为，那么方程

（3）的解等价于映射的不动点对于，由于夕（7\7）=胃中2（居•+1/）—ZC力+力）[-l-n j=i j=i=1嘿xZ%a厂匕）v僚fZ同「（内）J=1尸1记，由条件，因此是压缩映像，于是有惟一不动点，所以方程

（3）有惟一解，且此解可由如下迭代序列）D”=T+近似计算求得例2考察如下常微分方程的初值问题（）—=f x,y dxJ y

（4）j（x）=y0如果在上连续，且关于第二元满足条件，即|，（%，一）-于（X,%）|KI y—必I这里是常数，则方程

（4）在上有惟一解证明方程

（4）的解等价于如下方程y）=o+1/«，y（t））出

（5）的解取连续函数空间，定义其上的映射T:—5,+b]—C[XQ—5,x0+5]为7x=Vo+「ytdt则积分方程

（5）的解等价于的不动点对任意两个连续函数，，由于一P Ty,72=max「9y0fQ,为⑺Wx于max「|/Q,y Q-©%Q|力x日Xo»,Xo+b]max*口%⑺—％|力SK0y,%年[闻-3,而+5]令，则，故是压缩映射，从而有惟一不动点，即积分方程

（5）有唯一解，从而微分方程

（4）在上有惟一解例3设是定义在上的二元连续函数，则对于任何常数及任何给定的连续函数，如下型积分方程xt=2J Ks,txsds+ft存在唯一解证明取连续函数空间，其上定义映射为7x0=4Ks/xsds+/⑺则方程

（6）的解等价于的不动点由于在上连续，于是在有最大值，记为，即M=max{Ks,/|s e[a^b]x[a,£]}对任何两个连续函数，由于八0-7x r|=|2|£Ksg s-x s]心22\A\J\4Qt—a maRxis—s=|2|MZ—ap{x,x x2|T2x,a-T2x2o|=|2|£Ks,t[Tx}Xs-T X2S.|1|2M2/X,A:J5—dds12\A\2M2（t-a）2=------------------------夕区，々）一般地，对自然数，归纳可得\A\nMnt-an（厂X）（-（厂上）（力4夕（国,九2）〃!因此pTnx.,Tnx=maxatb I\A\nMf\b-an4----------:--------夕区,々rv.注意到，因此存在自然数，满足〃严b—a-------------------------a\〃！这说明是压缩映射，由压缩映射原理可知，有惟一不动点，亦即型积分方程6有惟一解例4隐函数存在定理设函数在带状域，中处处连续，且处处有关于的偏导数o如果存在常数和，满足0m/x,yAf,mMv则方程在区间上必有惟一的连续函数作为解，即fx,px=O,x^[a,b]证明在完备空间中作映射，使对于任意的函数，有7Vx=0x--L fx,0xM按定理条件，是连续的，所以也是连续的，即，故是到的映射现证是压|7023-丁/X|=%%-十于X,02X—0]%+T7於X冲%M缩映射，由微分中值定理存在使2X-X--f[羽X+9®X-P\x]•02x-\x M|夕2尤—91%|1一~又所以令，则，且\T pX-T p x|c\p x-px2x2x按中距离的定义，有，所以是压缩映像，存在使，即，即，所以。