(53页PPT幻灯片修改版)泛函分析课件

泛函分析导引泛函分析概览形成于20世纪30年代的数学分支从变分问题，积分方程和理论物理的研究中发展而来综合运用了函数论，几何学，代数学的观点可看成是无限维向量空间的解析几何及数学分析研究内容无限维向量空间上的函数，算子和极限理论研究拓扑线性空间到拓扑线性空间之间满足各种拓扑和代数条件的映射泛函分析的产生十九世纪后数学发展进入了一个崭新阶段对欧几里得第五公设的研究，引出了非欧几何对于代数方程求解的研究，建立并发展了群论对数学分析的研究又建立了集合论二十世纪初出现了把分析学一般化的趋势瑞典数学家弗列特荷姆和法国数学家阿达玛发表的著作希尔伯特空间的提出分析学中许多新理论的形成，揭示出分析、几何、代数的许多概念和方法常常存在相似的地方代数方程求根和微分方程求解都可以应用逐次逼近法，并且解的存在和唯一性条件也极其相似非欧几何的确立拓广了人们对空间的认知，n维空间几何的产生允许我们把多变函数用几何学的语言解释成多维空间的影响泛函分析的产生函数概念被赋予了更为一般的意义古典分析中的函数概念是指两个数集之间所建立的一种对应关系现代数学的发展却是要求建立两个任意集合之间的某种对应关系在数学上，把无限维空间到无限维空间的变换叫做算子研究无限维线性空间上的泛函数和算子理论，就产生了一门新的分析数学，叫做泛函分析。泛函分析的特点把古典分析的基本概念和方法一般化几何化从有限维到无穷维泛函分析对于研究现代物理学是一个有力的工具从质点力学过渡到连续介质力学，就要由有穷自由度系统过渡到无穷自由度系统现代物理学中的量子场理论就属于无穷自由度系统泛函分析的主要研究内容泛函分析自身算子谱理论、巴拿赫代数、拓扑线性空间理论、广义函数论与其他数学学科的关联微分方程、概率论、函数论、连续介质力学、计算数学、控制论、最优化理论等学科中都有重要的应用，建立群上调和分析理论的基本工具与其他科学学科的关联连续介质力学、量子物理学，是研究无限个自由度物理系统的重要而自然的工具之一Lp[a,b]空间表示区间[a,b]绝对值的p次幂L可积函数的全体，并把几乎处处相等的函数看成是同一个函数。拓展古典分析中的概念Lebesgue测度Lebesgue积分x(t)L[a,b],x(t)dt(p1)存在bppa从Riemann积分到Lebesgue积分Riemann积分的定义：设f(x)是定义在[a,b]上的有界函数在[a,b]上任意取一组分点a=x0x1…xn-1xn=b,并任意取ξi∈[xi-1,xi](i=1,2,…,n)，作和式nSf(i)xii1若其极限存在则称Riemann可积nx0i1(R)f(x)dxlimf(i)xiba从Riemann积分到Lebesgue积分Riemann积分的思想是，将曲边梯形分成若干个小曲边梯形，并用每一个小曲边梯形的面积用小矩形来代替，小矩形的面积之和就是积分值的近似。剖分越精细，近似程度越好。不可积分的反例：Dirichlet函数该函数太不连续了，在小区间内变化很大1,D(x)当x为有理数0,当x为无理数从Riemann积分到Lebesgue积分Legesgue积分的思想是，优先照顾函数取值，将函数值相差不大的那些x集中起来，考虑集合Ei={x|yi-1f(x)yi}，然后求其长度，yim(Ei)和yi-1m(Ei)用来近似所对应的那块面积，最后再对所有的小块积分Dirichlet函数仍旧可以积分1,D(x)当x为有理数0,当x为无理数从Riemann积分到Lebesgue积分Legesgue积分方法所面临的问题：给定直线上的点集E，如何定义它的“长度”？引出了集合测度的概念对于任何实数a和b，点集{x|a≤f(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→∞时xn→a，我们应理解为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iii距离空间：Lp[a,b]Lp[a,b]表示区间[a,b]绝对值的p次幂L可积函数的全体，并把几乎处处相等的函数看成是同一个函数，对于x,y∈Lp[a,b]，规定则Lp[a,b]构成一个距离空间，称之为p次幂可积函数空间1/p(x,y)x(t)y(t)dt,p1bpa距离空间：开集与闭集邻域：给定距离空间X(x){y|(x,y),yX}开集：设GX，xG，若存在(x)G，则x为G的内点若G上的每一点都是内点，G是X的开集闭集：其补集是开集距离空间：稠密性设A,B为距离空间(X,ρ)中的两个集合，若对任意的x∈A，总存在yn∈A，使得yn→x，则称B在A中稠密例子有理数集R0在实数集R中稠密多项式集P在连续函数集C[a,b]中稠密距离空间：可分性设X是距离空间，如果X中存在一个可列子集X0，使得X0在X中稠密，则距离空间X是可分的例子n维Euclid空间是可分的连续函数集C[a,b]是可分的目的：用简单的逼近复杂的距离空间的完备性柯西序列设{xn}是(X,ρ)中的点列，若对任意的ε0，存在N0，当n,mN时，有ρ(xn,xm)ε.则称{xn}是X中的柯西(Cauchy)序列，或称基本序列收敛的序列必然是柯西序列，而柯西序列未必是收敛的序列——空间的不完备性若距离空间(X,ρ)中的每一个柯西序列都收敛于(X,ρ)中的某一元素，则称(X,ρ)是完备的距离空间距离空间的完备性C[a,b]和Lp[a,b]都是完备距离空间距离空间：不动点原理定义：设(X,ρ)为距离空间，T是X到X中的映照，如果存在数a(0a1)，使得对所有的x,y∈X都有ρ(Tx,Ty)aρ(x,y)，则称T是压缩映照定理：完备距离空间X上的压缩映照T，必存唯一的不动点x*,使得Tx*=x*.（Banach压缩映照定理）距离空间：不动点原理应用：微分方程，代数方程，积分方程解的唯一存在性例子：Fredholm第二类积分方程b对充分小的|λ|，可证当f∈C[a,b]，K(s,t)∈C[a,b;a,b]时有唯一连续解当f∈L2[a,b]，K(s,t)∈L2[a,b;a,b]时有唯一平方可积解x(s)f(s)K(s,t)x(t)dta线性空间设V是一个非空集合，K是实（或复）数域，并可在其上定义“加法”，“数乘”运算，而且满足以下公理加法交换律：x+y=y+x加法结合律：(x+y)+z=x+(y+z)存在零元：x+0=x存在逆元：x+(-x)=0数乘：1x=xa(bx)=(ab)x(a+b)x=ax+bxa(x+y)=ax+ay则称V是数域K上的线性空间x,y,z∈Va,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1211(x,y)xiyiixiyix(1,1,...,1,...),(0,0,...,0,...)i12123122(2x,)ii1121(x,)2112i2(x,)(2x,)巴拿赫(Banach)空间如果赋范线性空间(X,||.||)是完备的，则称(X,||.||)是Banach空间例子n维Euclid空间Rn是Banach空间Lp[a,b](p≥1)是Banach空间，定义范数1/px(t)dt,p1bpax巴拿赫(Banach)空间例子：Ck[a,b]是Banach空间Ck[a,b]表示定义在区间[a,b]上k阶连续可导的函数全体.在Ck[a,b]定义范数xmaxx(j)(t),x(0)(t)x(t)C[a,b]j0回忆在变分中提到的k阶接近度k有限维赋范线性空间线性空间的维数：若线性空间X中存在n个线性无关的元素e1,e2,…,en,使得任意的x∈X都可以唯一的表示为xc1e1c2e2...cnen则称{e1,e2,…,en}是X的基底，数组{c1,c2,…,cn}是x关于基底的坐标，n是线性空间的维数有限维赋范线性空间可以等价于Euclid空间有限维线性空间与Euclid空间是线性同构的有限维赋范线性空间上的范数定义是等价的有限维赋范线性空间是完备，可分的有界线性算子设T是由赋范线性空间X中的某个子集D到赋范线性空间X1中的一个映照，则称T是算子.D是T的定义域，记为D(T)，像集{y|y=Tx,x∈D}是T的值域，记为T(D).若T进一步满足可加性：T(x+y)=Tx+Ty齐次性：T(ax)=aT(x)则T是线性算子若存在正数M使得对于一切x∈D(T)，有||Tx||≤M||x||，则T是有界算子有界线性算子T是有界线性算子等价于T是连续线性算子算子的范数：对于一切x∈D(T)有||Tx||≤M||x||都成立的M的下确界，称作算子的范数，记为||T||有界线性算子对于任何x∈L[a,b]定义则T为L[a,b]到其自身的有界线性算子，且Tba容易证明线性其次等号成立情况(Tx)(t)x(s)dstax(s)dsdtTx(t)dtx(s)dsdtx(s)dsdtdtx(s)ds(b