泛函分析ppt课件.pptx

,泛函分析导引,泛函分析概览,形成于20世纪30年代的数学分支从变分问题，积分方程和理论物理的研究中发 展而来综合运用了函数论，几何学，代数学的观点可看成是无限维向量空间的解析几何及数学分 析,研究内容,无限维向量空间上的函数，算子和极限理论研究拓扑线性空间到拓扑线性空间之间满足各 种拓扑和代数条件的映射,泛函分析的产生,十九世纪后数学发展进入了一个崭新阶段对欧几里得第五公设的研究，引出了非欧几何对于代数方程求解的研究，建立并发展了群论对数学分析的研究又建立了集合论二十世纪初出现了把分析学一般化的趋势瑞典数学家弗列特荷姆和法国数学家阿达玛发表的著作希尔伯特空间的提出分析学中许多新理论的形成，揭示出分析、几何、代数的许多概念和方 法常常存在相似的地方代数方程求根和微分方程求解都可以应用逐次逼近法，并且解的存在和唯一性 条件也极其相似非欧几何的确立拓广了人们对空间的认知，n维空间几何的产生允许我们把多 变函数用几何学的语言解释成多维空间的影响,泛函分析的产生,函数概念被赋予了更为一般的意义古典分析中的函数概念是指两个数集之间所建立的一种对应 关系现代数学的发展却是要求建立两个任意集合之间的某种对应 关系在数学上，把无限维空间到无限维空间的变换叫做算 子研究无限维线性空间上的泛函数和算子理论，就产生 了一门新的分析数学，叫做泛函分析。,泛函分析的特点,把古典分析的基本概念和方法一般化几何化从有限维到无穷维泛函分析对于研究现代物理学是一个有力的工具从质点力学过渡到连续介质力学，就要由有穷自由度系 统过渡到无穷自由度系统现代物理学中的量子场理论就属于无穷自由度系统,泛函分析的主要研究内容,泛函分析自身算子谱理论、巴拿赫代数、拓扑线性空间理论、广义函数论与其他数学学科的关联 微分方程、概率论、函数论、连续介质力学、计算数学、控 制论、最优化理论等学科中都有重要的应用，建立群上调和 分析理论的基本工具与其他科学学科的关联 连续介质力学、量子物理学，是研究无限个自由度物理系统 的重要而自然的工具之一,Lpa,b空间,表示区间a,b绝对值的p次幂L可积函数的全 体，并把几乎处处相等的函数看成是同一个函 数。,拓展古典分析中的概念Lebesgue测度Lebesgue积分,x(t)L a,b,x(t),dt(p 1)存在,b,p,p,a,从Riemann积分到Lebesgue积分,Riemann积分的定义：设 f(x)是定义在a,b上的有界函数,在a,b上任意取一组分点a=x0 x1xn-1xn=b,并任 意取i xi-1,xi(i=1,2,n)，作和式nS f(i)xii1若其极限存在则称Riemann可积n,x 0 i1,(R)f(x)dx lim f(i)xi,b,a,从Riemann积分到Lebesgue积分,Riemann积分的思想是，将曲边梯形分成若干个小曲 边梯形，并用每一个小曲边梯形的面积用小矩形来代 替，小矩形的面积之和就是积分值的近似。剖分越精 细，近似程度越好。不可积分的反例：Dirichlet函数,该函数太不连续了，在小区间内 变化很大,1,D(x),当x为有理数0,当x为无理数,从Riemann积分到Lebesgue积分,Legesgue积分的思想是，优先照顾函数取值，将函数值相差不大的那些x集中起来，考虑集合Ei=x|yi-1f(x)yi，然后求其长度，yi m(Ei)和yi-1 m(Ei)用来近似所对应的那块面积，最后再对所有的小块积分Dirichlet函数仍旧可以积分,1,D(x),当x为有理数0,当x为无理数,从Riemann积分到Lebesgue积分,Legesgue积分方法所面临的问题：给定直线上的点集E，如何定义它的“长度”？引 出了集合测度的概念对于任何实数a和b，点集 x|af(x)b是否 有长度？该问题与函数y=f(x)的性质密切相 关，引出了可测函数的概念,泛函分析中的三个“空间”概念,距离空间Banach空间（完备的赋范线性空间）Hilbert空间（完备的内积空间）,大千世界，具云：三千大千世界。四大部洲之上，加须弥山半腰的四天王天，及须弥山顶的忉利天，并空间中的夜摩天、兜率天、化乐天、他化自在天等六 天为欲界。再加上层的大梵天、梵众天、梵辅天等，色界初禅天为一世界，千 个世界为小千世界。又一小千世界，具千日、千月、千须弥山、千四大部洲、千四天王天、千忉利天、千夜摩天、千兜率天、千化乐天、千他化自在天、千 梵天等。又千个小千世界为中千世界，具百万日月、百万须弥山、百万四天下、百万六欲天、百万初禅天及千个二禅天。又千个中千世界为大千世界，具百亿 日月、百亿须弥山、百亿四天下、百亿六欲天、百亿初禅天、百亿二禅天及千 个三禅天。所谓三千世界，乃小千、中千、大千之所指三数目的千世界。又云 大千，即指三千之中的大为目标，故说三千大千世界，略云大千世界。,距离空间：定义,设X是非空集合，对于X中的任意两元素x与y，按某一法则都对 应唯一的实数(x,y)，并满足以下三条公理（距离公理）：1.非负性：(x,y)0，(x,y)=0当且仅当x=y；2.对称性：(x,y)=(y,x)；3.三角不等式；对任意的x,y,z(x,y)(x,z)+(z,y)则称(x,y)为x与 y间的距离（或度量），并称X是以为距离的 距离空间（或度量空间），记成(X,)，或简记为X；X中的元 素称为X中的点,距离空间：注记,所谓距离空间，就是在集合X内引入了距离在一个集合中，定义距离的方式不唯一。如果对同一个集合X引入的距离不同那么所构成的距离空间也不同在集合互中引入距离后，我们就说在X中引入了拓扑结构 极限是数学分析中的基本概念之一，有了它可以派生 出许多其它概念泛函分析用距离来导出一般化的极 限概念如n时xna，我们应理解为xn与a的距离当n时趋向 于零,距离空间：Rn,n 维实（或复）Euclid空间 Rn 是 n 维向量x=(a1,a2,an)的全体，其中ai是实（或复）数.对 任何的x=(a1,a2,an),y=(b1,b2,bn),规定,则Rn是距离空间,1/2,(x,y)(a b)2,i i,i,距离空间：Lpa,b,Lpa,b表示区间a,b绝对值的p次幂L可积函数 的全体，并把几乎处处相等的函数看成是同一 个函数，对于x,yLpa,b，规定,则Lpa,b构成一个距离空间，称之为p次幂可 积函数空间,1/p,(x,y),x(t)y(t),dt,p 1,b,p,a,距离空间：开集与闭集,邻域：给定距离空间 X(x)y|(x,y),y X 开集：设G X，x G，若存在(x)G，则x为G的内点若G上的每一点都是内点，G是X的开集闭集：其补集是开集,距离空间：稠密性,设A,B为距离空间(X,)中的两个集合，若对任意 的x A，总存在ynA，使得yn x，则称B在A中 稠密例子有理数集R0在实数集R中稠密多项式集P在连续函数集Ca,b中稠密,距离空间：可分性,设 X 是距离空间，如果 X 中存在一个可列子集X0，使得X0在X 中稠密，则距离空间 X 是可分的例子n维Euclid空间是可分的连续函数集Ca,b是可分的目的：用简单的逼近复杂的,距离空间的完备性,柯西序列 设xn是(X,)中的点列，若对任意的0，存在N0，当n,mN时，有(xn,xm).则称 xn是X中的柯西(Cauchy)序 列，或称基本序列收敛的序列必然是柯西序列，而柯西序列未必是收敛 的序列空间的不完备性若距离空间(X,)中的每一个柯西序列都收敛于(X,)中的某一元素，则称(X,)是完备的距离空间,距离空间的完备性,Ca,b和 Lpa,b都是完备距离空间,距离空间：不动点原理,定义：设(X,)为距离空间，T是 X 到 X中 的 映照，如果存在数a(0a1)，使得对所有的x,yX都有(Tx,Ty)a(x,y)，则称T是压缩映照 定理：完备距离空间 X 上的压缩映照T，必存 唯一的不动点x*,使得Tx*=x*.（Banach压缩映 照定理）,距离空间：不动点原理,应用：微分方程，代数方程，积分方程解的唯一存在 性,例子：Fredholm第二类积分方程b,对充分小的|，可证当f Ca,b，K(s,t)Ca,b;a,b时有唯一连续解当f L2a,b，K(s,t)L2 a,b;a,b时有唯一平方可积解,x(s)f(s)K(s,t)x(t)dt,a,线性空间,设V是一个非空集合，K是实（或复）数域，并可在其上定义“加法”，“数乘”运算，而且满足以下公理,加法交换律：x+y=y+x加法结合律：(x+y)+z=x+(y+z)存在零元：x+0=x存在逆元：x+(-x)=0数乘：1x=xa(bx)=(ab)x(a+b)x=ax+bxa(x+y)=ax+ay则称V是数域K上的线性空间,x,y,z V a,b K,范数与赋范线性空间,设X是实（或复）线性空间，如果对于X中每个元素x，按照一定的法则对应于实数|x|，且满足：|x|0，|x|=0当且仅当x等于零元（x=0）|ax|=|a|x|，a是实（或复）数|x+y|x|+|y|则称X是实（或复）赋范线性空间，|x|称为x的范数赋范线性空间必然是距离空间：定义(x,y)=|x y|,范数与赋范线性空间,距离空间未必是赋范空间,反例：所有数列构成的空间定义距离：,取,S(x1,x2,.,xn,.)|xi R,i 1 21,1,(x,y),xi yi,i,xi yi,x(1,1,.,1,.),(0,0,.,0,.),i 1 21 23,1 2 2,(2x,),i,i 1,1 2 1,(x,),2112,i,2(x,)(2x,),巴拿赫(Banach)空间,如果赋范线性空间(X,|.|)是完备的，则称(X,|.|)是Banach空间,例子n 维Euclid空间Rn是Banach空间Lpa,b(p1)是Banach空间，定义范数,1/p,x(t),dt,p 1,b,p,a,x,巴拿赫(Banach)空间,例子：Cka,b是Banach空间Cka,b表示定义在区间a,b上k阶连续可导的函数全 体.在Cka,b定义范数,x max x(j)(t),x(0)(t)x(t)Ca,bj 0回忆在变分中提到的k阶接近度,k,有限维赋范线性空间,线性空间的维数：若线性空间 X 中存在 n 个线性无关的元素e1,e2,en,使得任意的xX 都可以唯一的表示为x c1e1 c2 en则称e1,e2,en是X的基底，数组c1,c2,cn是x关于基底的坐 标，n是线性空间的维数有限维赋范线性空间可以等价于Euclid空间有限维线性空间与Euclid空间是线性同构的有限维赋范线性空间上的范数定义是等价的有限维赋范线性空间是完备，可分的,有界线性算子,设T是由赋范线性空间 X 中的某个子集 D 到赋范线性空 间 X1 中的一个映照，则称 T 是算子.D 是 T 的定义 域，记为D(T)，像集y|y=Tx,xD是T 的值域，记为 T(D).若T进一步满足可加性：T(x+y)=Tx+Ty齐次性：T(ax)=aT(x)则T是线性算子若存在正数M使得对于一切xD(T)，有|Tx|M|x|，则T是有界算子,有界线性算子,T是有界线性算子等价于T是连续线性算子,算子的范数：对于一切xD(T)有|Tx|M|x|都成立的M的下确 界，称作算子的范数，记为|T|,有界线性算子,对于任何xLa,b定义,则T为La,b到其自身的有界线性算子，且T b a,容易证明线性其次等号成立情况,(Tx)(t)x(s)ds,t,a,x(s)dsdt,Tx(t)dt x(s)ds dt,x(s)ds dt dt,x(s)ds(b a)x,b,bt,a,aa,b,t,a,a,b,b,b,b,a,a,a,a,Tx,有界线性算子空间,定理：设 X 和 X1 都是赋范线性空间，在B(X,X1)中定 义加法和数乘运算：(T1+T2)x=T1x+T2x(T1,T2 B(X,X1)，x X),(aT)x=a(Tx),(T B(X,X1)，a是数),则B(X,X1)按照以上的线性运算是一个线性空间，并以 前述算子范数的定义构成赋范线性空间若X1是Banach空间，则B(X,X1)也是Banach空间,有界线性算子空间：共轭空间,若X1是实数（或复数）域R，则B(X,X1)称为共 轭空间，记为 X*X*是定义在X上的所有有界线性泛函所构成的 赋范线性空间，泛函f X*的范数是f supf(x),x 1实数（或复数）域R是完备的，因此共轭空间 必定是Banach空间,不同的收敛方式,定义Tn，T B(X,X1)，n=1,2,若|Tn-T|0,称Tn按算子范数收敛于T(n)，或称Tn一致收敛于T若对于任意的x，均有|Tnx-Tx|0，则称Tn强收敛于T定义fn，f X*，n=1,2,若|fn f|0，则称fn强收敛于f(n)若对于任意的x，均有|fnx fx|0，则称 fn 弱*收敛于f(n)若对于任意的f，均有|f(xn)f(x)|0，则称 xn 弱收敛于x(n),Lpa,b(p1)上的有界线性泛函,设xLpa,b，yLqa,b，且1/p+1/q=1，则Lpa,b上的有界线性泛函是,且(Lpa,b)*=Lqa,b当p=q=2时，(Lpa,b)*=Lqa,b，故空间L2a,b是自共轭空间,f(x)x(t)y(t)dt,b,a,赋范线性空间的几个重要定理,非零有界线性泛函存在定理逆算子定理类似于反函数定理：单调函数必存在反函数有界线性算子T将Banach空间 X 一一的映照到Banach空间 Y，则 T 的逆算子线性有界特例：Fourier变换，Laplace变换,赋范线性空间的几个重要定理,闭图象定理设T是定义在Banach空间X上值域包含在Banach空间Y上的 线性算子，则T是有界算子的充要条件是T是闭算子线性算子T的图像GT(x,Tx)|x D(T)X Y是 XY中的闭集，则称T是闭算子闭图象定理常用来验证算子的连续性,赋范线性空间的几个重要定理,共鸣定理：对于有界线性算子序列，若代入每一个值都有上 界，则有界线性算子序列本身有界。可用于证明Lagrange插值多项式作为连续函数近似表达时，插 值点无限增多并不能更好的逼近插值函数。存在连续函数其Fourier级数无法一致收敛,有界线性算子的正则集与谱,相似性矩阵的特征分解 Ax x=yFourier级数展开,内积空间,几何化：引入正交投影的概念 定义：设 X 是定义在实（或复）数域K上的线性 空间，若对于X 任意一对有序元素x,y,恒对应数 域K的值(x,y)，且满足(ax,y)=a(x,y)；(x+y,z)=(x,z)+(x,z),(x,x)0，且(x,x)=0的充要条件是x=0则称X为内积空间，(x,y)称为x,y的内积,(x,y)(y,x),Hilbert空间,可由内积导出范数,完备的内积空间称为希尔伯特(Hilbert)空间Hilbert空间必为Banach空间,x x,x,Hilbert空间,L2a,b中定义x,y的内积(x,y)为,因此，L2a,b是一个可分的Hilbert空间,Lpa,b(p2)不可能诱导由范数诱导出内积空 间,(x,y)x(t)y(t)dt,x(t),y(t)L2 a,b,b,a,Hilbert空间,赋范线性空间X成为内积空间的充要条件是它 的范数满足中线公式2222x yx y 2x 2y而且内积可表示为,2 x y,2 ix iy,2 ix y 2),(x,y)1(x y,4,Hilbert空间,正交,(x,y)=0，记为xy,正交补,勾股定理,正交分解：设M是内积空间X的完备子空间，则对 任意xX，均有以下唯一的正交分解,x|x A,x X X,A,2,2,2,x y x y,xy,x x0 z,x0 M,z M,内积空间中的标准正交系,定义：内积空间X中的元素列ek，如果满足(ei,ej)0,i j则称ek是一正交系.进一步，如果满足,则称ek是一标准正交系有限维空间，将给定向量展开成正交单位向量的线性组合无限维空间，将给定函数展开成Fourier级数,0i j i j,(e,e),1,ij,ij,内积空间中的标准正交系,L2-,中，三角函数列 1,1 cos x,1 sin x,1 cos 2x,1 sin 2x.是标准正交系,Gram-Schmidt正规化过程,Gram-Schmidt正规化过程,完备的标准正交系,可列的完备标准正交系,Hilbert空间的自共轭性,