《泛函分析知识总结汇总.doc》由会员分享,可在线阅读,更多相关《泛函分析知识总结汇总.doc(14页珍藏版)》请在三一办公上搜索。
1、泛函分析知识总结与举例、应用学习泛函分析主要学习了五大主要内容:一、度量空间和赋范线性空间;二、有界线性算子和连续线性泛函;三、内积空间和希尔伯特空间;四、巴拿赫空间中的基本定理;五、线性算子的谱。本文主要对前面两大内容进行总结、举例、应用。一、 度量空间和赋范线性空间(一)度量空间度量空间在泛函分析中是最基本的概念,它是维欧氏空间(有限维空间)的推广,所以学好它有助于后面知识的学习和理解。1度量定义:设X是一个集合,若对于X中任意两个元素x,y,都有唯一确定的实数d(x,y)与之对应,而且这一对应关系满足下列条件:1d(x,y)0 ,d(x,y)=0 (非负性)2d(x,y)= d(y,x)
2、 (对称性)3对z ,都有d(x,y)d(x,z)+d(z,y) (三点不等式)则称d(x,y)是x、y之间的度量或距离(matric或distance),称为(X,d)度量空间或距离空间(metric space)。(这个定义是证明度量空间常用的方法)注意: 定义在X中任意两个元素x,y确定的实数d(x,y),只要满足1、2、3都称为度量。这里“度量”这个名称已由现实生活中的意义引申到一般情况,它用来描述X中两个事物接近的程度,而条件1、2、3被认为是作为一个度量所必须满足的最本质的性质。 度量空间中由集合X和度量函数d所组成,在同一个集合X上若有两个不同的度量函数和,则我们认为(X, )和
3、(X, )是两个不同的度量空间。 集合X不一定是数集,也不一定是代数结构。为直观起见,今后称度量空间(X,d)中的元素为“点” ,例如若,则称为“X中的点” 。 在称呼度量空间(X,d)时可以省略度量函数d,而称“度量空间X” 。1.1举例1.11离散的度量空间:设X是任意的非空集合,对X中任意两点x,yX,令,则称(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上实值(
4、或复值)的L可测函数全体。1.15 Ca,b空间(重要的度量空间):Ca,b表示闭区间a,b上实值(或复值)连续函数全体,对Ca,b中任意两点x,y,定义d(x,y)1.16 :无限维空间(重要的度量空间) 例1.15、1.16是考试中常考的度量空间。2度量空间中的极限,稠密集,可分空间2.1 的领域:设(X,d)为度量空间,d是距离,定义为的以为半径的开球,亦称为的领域。注:通过这个定义我们可以从点集这一章学到的知识来定义距离空间中一个点集的内点,外点,边界点及聚点,导集,闭包,开集等概念。2.2度量空间的收敛点列:设(X,d)是一个度量空间,是(X,d)中点列,如果存在,收敛于,使,即,称
5、点列是(X,d)中的收敛点列,x叫做点列的极限,且收敛点列的极限是唯一的。注:度量空间中点列收敛性质与数列的收敛性质有许多共同之处。2.3有界集:设M是度量空间(X,d)中的点集,定义为点集M的直径。若,则称M为(X,d)中的有界集。(类似于,我们可以证明一个度量空间中收敛点列是有界点集)2.4闭集:A是闭集A中任意收敛点列的极限都在A中,即若,n=1,2,.,则。(要会证明)2.5举例2.5.1 n维欧氏空间中,点列依距离收敛依分量收敛。2.5.2 Ca,b空间中,点列依距离收敛依分量一致收敛。2.5.3 序列空间S中,点列依坐标收敛。2.5.4 可测函数空间M(X):函数列依测度收敛于f,
6、即 。2.6稠密子集和可分度量空间有理数集在实数集中的稠密性,它属于实数集中,现把稠密性推广到一般的度量空间中。2.6.1定义:设 X是度量空间,E和M是X的两个子集,令表示M的闭包,如果E,则称集M在集E中稠密,当E=X时,称M为X的一个稠密子集,如果X有一个可数的稠密子集,则称X为可分空间。注:可分空间与稠密集的关系:由可分空间定义知,在可分空间X中一定有稠密的可数集。这时必有X中的有限个或可数个点在X中稠密。2.6.2举例n维欧式空间是可分空间:坐标为有理数的全体是的可数稠密子集。离散度量空间X可分X是可数集。(因为X中无稠密真子集,X中唯一的稠密只有X本身)是不可分空间。数学知识间都有
7、联系,现根据直线上函数连续性的定义,引进了度量空间中映射连续性的概念。3. 连续映射3.1定义:设X=(X,d) Y=(Y,)是两个度量空间,T是X到Y中的映射X,如果对0,0 ,使对X中一切满足d(x,)0,正整数N=N(),使当,N时,必有(,),则称是X中的柯西(Cauchy)点列或基本点列。【会判断:柯西点列是有界点列】我们知道实数集的完备性,同时在学习数列收敛时,数列收敛的充要条件是数列是Cauchy列,这由实数的完备性所致。在度量空间中,这一结果未必成立。但在度量空间中的确存在完备的度量空间。4.2完备的度量空间的定义:如果度量空间(X,d)中每一个柯西点列都在(X,d)中收敛,那
8、么称(X,d)是完备的度量空间但要注意,在定义中要求X中存在一点,使该柯西点列收敛到这一点。4.3举例(记住结论)4.3.1有理数全体按绝对值距离构成的空间不完备,但n维欧式空间是完备的度量空间。4.3.2 在一般度量空间中,柯西点列不一定收敛,但是度量空间中的每一个收敛点列都是柯西点列:C、Ca,b、也是完备的度量空间。4.4定理 完备度量空间X的子空间M,是完备空间M是X中的闭子空间。P,(表示闭区间,上实系数多项式全体,作为C,的子空间)是不完备的度量空间5. 度量空间的完备化。5.1等距映射:设(X,d),是两个度量空间,T是从X到上的映射,即对x,y,(Tx,Ty)=d(x,y),则
9、称T是等距映射。5.2定义:设(X,d),是两个度量空间,如果存在一个从X到上的等距映射T,则称(X,d)和等距同构,此时T称为X到上的等距同构映射。(像的距离等于原像的距离)注:在泛函分析中往往把两个等距同构的度量空间不加区别而视为同一的。5.2定理1(度量空间的完备化定理):设X=(X,d)是度量空间,那么一定存在完备度量空间,使X与的某个稠密子空间W等距同构,并且在等距同构下是唯一的,即若(,)也是一个完备的度量空间,且X与的某个稠密子空间等距同构,则与(,)等距同构。(不需要掌握证明但是要记住结论)5.2.1定理1的改述:设是度量空间,那么存在唯一的完备度量空间,使为的稠密子空间。6.
10、 压缩映射原理及其应用(重点内容,要求掌握并会证明)学习完备度量空间概念,就需要应用,而压缩映像原理是求解代数方程、微分方程、积分方程,以及数值分析中迭代算法收敛性很好的工具,另外要学会如何求不动点。6.1压缩映射定义:X是度量空间,T是X到X的映射,如果存在一个数,使对 x,y ,d(Tx,Ty)d(x,y) 则称T为压缩映射。6.2(压缩映射定理)设X是完备的度量空间,T是X上的压缩映射,那么T有且仅有一个不动点(即方程Tx=x,有且只有一个解)。(x是T的不动点x是方程Tx=x的解)这个定理对代数方程、微分方程、积分方程、数值分析的解的存在性和唯一性的证明中起重要作用。6.3压缩映射原理
11、的应用:在众多情况下,求解各种方程的问题可以转化为求其某一映射的不动点,现在以大家熟悉的一阶常微分方程 (1)为例来说明这一点。求微分方程(1)满足初始条件的解与求积分方程 (2)等价。我们做映射 则方程(2)的解就转化为求,使之满足。也就是求这样的,它经映射作用后仍变为。因此,求解方程(1)就变为求映射的不动点,这种求解方程变为求解映射的不动点的做法在数学中是常用的。那么如何求解映射的不动点呢?在中求方程解的逐次逼近法给了我们启示。这种迭代原理是解决映射不动点问题最基本的方法。在解决上述问题中,看到实数完备性的重要作用。代数方程、微分方程、积分方程及其他方程求解的逐次逼近法在泛函分析中成了一
12、个一般原理,即压缩映射原理,压缩映射原理就是某一类映射不动点存在性和惟一性问题,不动点可以通过迭代序列求出。注:(1)从定理的证明过程中发现,迭代序列的初始值可任意选取,最终都能收敛到惟一不动点。(2)该定理提供了近似计算不动点的误差估计公式,即因为完备度量空间的任何子集在原有度量下仍然是完备的,所以定理中的压缩映射不需要在整个空间上有定义,只要在某个闭集上有定义,且像也在该闭集内,定理的结论依然成立。在实际应用过程中,有时本身未必是压缩映射,但的若干次复合是压缩映射,这时仍然有惟一不动点,下面是压缩映射原理的应用及相关证明。例1 线性代数方程均可写成如下形式 (3)其中,。如果矩阵满足条件则
13、式(3)存在惟一解,且此解可由迭代求得。证明:取,定义度量为构造映射为,那么方程(3)的解等价于映射的不动点。对于,由于 记,由条件,因此是压缩映像,于是有惟一不动点,所以方程(3)有惟一解,且此解可由如下迭代序列近似计算求得。例2 考察如下常微分方程的初值问题 (4)如果在上连续,且关于第二元满足条件,即这里是常数,则方程(4)在上有惟一解。证明:方程(4)的解等价于如下方程 (5)的解。取连续函数空间,定义其上的映射为则积分方程(5)的解等价于的不动点。对任意两个连续函数,由于 令,则,故是压缩映射,从而有惟一不动点,即积分方程(5)有唯一解,从而微分方程(4)在上有惟一解。例3 设是定义
14、在上的二元连续函数,则对于任何常数及任何给定的连续函数,如下型积分方程 (6)存在唯一解。证明:取连续函数空间,其上定义映射:为则方程(6)的解等价于的不动点。由于在上连续,于是在有最大值,记为,即对任何两个连续函数,由于 一般地,对自然数,归纳可得因此 注意到,因此存在自然数,满足这说明是压缩映射,由压缩映射原理可知,有惟一不动点,亦即型积分方程(6)有惟一解。例4(隐函数存在定理) 设函数在带状域,中处处连续,且处处有关于的偏导数。如果存在常数和,满足,则方程在区间上必有惟一的连续函数作为解,即证明:在完备空间中作映射,使对于任意的函数,有按定理条件,是连续的,所以也是连续的,即,故是到的
15、映射。现证是压缩映射,由微分中值定理存在使 又所以令,则,且按中距离的定义,有,所以是压缩映像,存在使,即,即,所以可见,压缩映射原理在处理迭代数列的收敛、微分方程定解等问题上有着重要的应用,其观点与方法已经渗透到数学的各个分支如常微分方程、数值计算,加深了各分支间的相互联系,应用压缩映射原理解决问题也十分简洁、灵活和方便。(二)赋范线性空间1.线性空间设是非空集合,是实数域或复数域,称为上的线性空间,如果满足以下条件:对两个元素,中惟一个元素与之对应,称为与的和,记为,且满足:(1)交换律;(2)结合律;(3)在中存在一个元素,称为零元,使;(4)对每个,存在,使,称为的负元。对任意数及,存
16、在中惟一元素与之对应,记为,称为与的数乘,且满足:(1)结合律 :(2);(3)数乘对加法分配律;(4)加法对数乘分配律。如果,称为实线性空间;如果(复数域),称为复线性空间。对于线性空间:是线性空间(满足加法和数乘运算),是的非空子集,任意及任意R ,都有及,那么按中加法和数乘运算也成为线性空间,称为的子空间,和0是平凡子空间。若,则称 是的真子空间。2.赋范线性空间和巴拿赫(Banach)空间(重点内容)2.1定义:设X为实(或复)的线性空间,如果对每一个向量,有一个确定的实数,记为x 与之对应,并且满足: (1) x0 且x=0 x=0 (2) x=x 其中为任意实(复)数 (3) x+
17、yx+y 则称x为向量x的范数,称按范数x成为赋范线性空间扩展:是的连续函数。(要会证明)设 是X中的点列,如果,使0 (n)则称依范数收敛于,记为(n)或如果令d(x,y)=x-y (),依范数收敛于按距离d(x,y)收敛于,称d(x,y)为是由范数导出的距离。注意:线性贱范空间一定是度量空间,反过来不一定成立。 2.2 完备的线性赋范空间称为巴拿赫(Banach)空间2.2.1巴拿赫空间的举例 n维欧式空间R Ca,b La,b 2.2.2其他:霍尔德Horder(不等式):dt;闵可夫斯基不等式: 。(记住结论并会应用)二、有界线性算子和连续线性泛函1.算子定义:赋范线性空间X到另一个赋
18、范线性空间Y的映射,被称为算子,如果Y是数域,则被称为泛函。2.线性算子和线性泛函 2.1定义:设X和Y是两个同为实(或复)的线性空间,()是X的线性子空间,T为到Y中的映射,如果对任何x,y 及数,都有 T(x+y)=Tx+Ty (1) T(x)=Tx (2)则称T为到Y中的线性算子,其中称为T的定义域,记为(T),T称为T的值域 记为(T),当T取值于实(或复)数域时,称T为实(或复)线性泛函。 2.2几种常见的线性算子和线性泛函的例子: 相似算子Tx=x 当=1时为恒等算子;当=0时为零算子; P0,1是0,1上的多项式全体,定义微分算子:,若t00,1,对xP0,1,定义(x)=x(t
19、0)则是P0,1上的线性泛函。积分算子:xCa,b Tx(t)=x 由积分线性性质知T为线性算子,若令=x则是Ca,b中的线性泛函乘法算子:xCa,b Tx(t)=tx(t)R中的线性变换是线性算子 3.有界线性算子 3.1 定义:设X和Y是两个线性赋范空间,T是X的线性子空间(T)到Y中线性算子,如果存在常数c,使对所有x(T),有:Txcx,则称T是(T)到Y中的线性有界算子,当(T)=X时,称T为X到Y中的线性有界算子,简称为有界算子。否则,称为无界算子。3.2定理1:设T是线必性赋范空间X到线性赋范空间Y中的线性算子,则T为有界的充要条件是T是X 上的连续算子。(重要定理要会证明)3.
20、3定理2:设X是线性赋范空间,是X上线性泛函,是X上连续泛函的的零空间()是X中的闭子空间。(重要定理要会证明)(若f为有界线性算子,则结论不成立,同时这也是证明泛函连续常用的方法。)3.4扩展3.4.1 TXCX,则T是有界线性算子。3.4.2 定理:T为有界算子T是X上的连续算子(证明有界方法:T 定义法 定理法)3.4.3例子:(TX)(t)=d有界;(TX)(t) (X(t)无界。(记住结论)联系:只有X、Y是两个赋范线性空间,并且满足一定条件下,才能形成T是有界线性算子4.共轭空间4.1定义:连续线性泛函全体所成的空间为共轭空间,4.2性质:任何赋范线性空间的共轭空间是巴拿赫空间。
21、当Y是巴拿赫(Banach)空间时, (XY)也是巴拿赫Banach空间。(注:巴拿赫Banach空间是完备的赋范线性空间)4.3例子:(记住结论)但;同样,但,其中+1联系:共轭空间是线性泛函和赋范线性空间的基础上形成的,因此共轭空间是它们的后续。全部知识的联系:度量空间映射线性泛函;线性空间赋范线性空间有界线性算子和连续线性泛函共轭空间。完备化的有(完备的度量空间和完备的赋范线性空间即巴拿赫空间)。从以上的知识可以知道一般情况下证明的有定义及定理,计算就大约只有求范数并且一般都是证明左右互相包含即可。参考文献:1程其襄,张奠宙,魏国强,胡善文,王漱石.实变函数与泛函分析基础M.北京:高等教育出版社,2010,(3).2孙清华,侯谦民,孙昊.泛函分析内容、方法与技巧M.湖北:华中科技大学出版社,2006,(3).3王宗尧,薛以锋,钱张军.应用泛函分析M.上海:华东理工大学出版社,2002.4 李大华.应用泛函简明教程M.湖北:华中科技大学出版社,1999,(4).