泛函分析知识点_第1页
泛函分析知识点_第2页
泛函分析知识点_第3页
泛函分析知识点_第4页
泛函分析知识点_第5页
已阅读5页,还剩1页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、泛函分析知识点知识体系概述(一)、度量空间和赋范线性空间第一节 度量空间的进一步例子1. 距离空间的定义:设X是非空集合,若存在一个映射d:X×XR,使得x,y,zX,下列距离公理成立:(1) 非负性:d(x,y)0,d(x,y)=0x=y;(2) 对称性:d(x,y)=d(y,x);(3) 三角不等式:d(x,y)d(x,z)+d(z,y);则称d(x,y)为x与y的距离,X为以d为距离的距离空间,记作(X,d)2.几类空间例1 离散的度量空间例2 序列空间S例3 有界函数空间B(A)例4 可测函数空M(X)例5 Ca,b空间 即连续函数空间例6 l2第二节 度量空间中的极限,稠密

2、集,可分空间1. 开球定义 设(X,d)为度量空间,d是距离,定义U(x0, )x X | d(x, x0) <为x0的以为半径的开球,亦称为x0的一领域.2. 极限定义 若xn X, xX, s.t. 则称是点列xn 的极限.3. 有界集定义 若,则称A有界4. 稠密集定义 设X是度量空间,E和M是X中两个子集,令表示M的闭包,如果,那么称集M在集E中稠密,当E=X时称M为X的一个稠密集。5. 可分空间定义 如果X有一个可数的稠密子集,则称X是可分空间。第三节 连续映射1.定义 设X=(X,d),Y=(Y, )是两个度量空间,T是X到Y中映射,x0,如果对于任意给定的正数,存在正数,使

3、对X中一切满足的x,有,则称T在连续.2.定理1 设T是度量空间(X,d)到度量空间中的映射,那么T在连续的充要条件为当时,必有3.定理2 度量空间X到Y中的映射T是X上连续映射的充要条件为Y中任意开集M的原像是X中的开集.第四节 柯西(cauchy)点列和完备度量空间1.定义 设X=(X,d)是度量空间,是X中点列,如果对任意给定的正数,存在正整数,使当n,m>N时,必有,则称是X中的柯西点列或基本点列。如果度量空间(X,d)中每个柯西点列都在(X,d)中收敛,那么称(X,d)是完备的度量空间.【注意】(1)Q不是完备集 (2)完备 (3)cauchy列不一定收敛,但收敛列一定是cau

4、chy列. (4)Ca,b完备2.定理 完备度量空间X的子空间M是完备空间的充要条件为M是X中的闭子空间.第五节 度量空间的完备化1.定义 设(X,d),( ,)是两个度量空间,如果存在X到上的保距映射T,即,则称(X,d)和( ,)等距同构,此时T称为X到上等距同构映射。2.定理1(度量空间的完备化定理) 设X=(X,d)是度量空间,那么一定存在一完备度量空间=( ,),使X与的某个稠密子空间W等距同构,并且在等距同构意义下是唯一的,即若( ,)也是一完备度量空间,且X与的某个稠密子空间等距同构,则( ,)与( ,)等距同构。3.定理1 设X=(X,d)是度量空间,那么存在唯一的完备度量空间

5、=( ,),使X为的稠密子空间。第六节 压缩映射原理及其应用1.定义 设X是度量空间,T是X到X中的映射,如果存在一个数,0<<1,使得对所有的, ,则称T是压缩映射。2. 定理1(压缩映射定理)(即Barnach不动点定理) 设X是完备的度量空间,T是X上的压缩映射,那么T有且只有一个不动点(就是说,方程Tx=x,有且只有一个解).补充定义:若Tx=x,则称x是T的不动点。 x是T的不动点x是方程Tx=x的解。3. 定理2 设函数在带状域 中处处连续,且处处有关于y的偏导数.如果还存在常数m和M满足 ,则方程在区间上必有唯一的连续函数作为解: 第七节 线性空间1.定义1 设X是一

6、非空集合,在X中定义了元素的加法运算和实数(或复数)与X中元素的乘法运算,满足下列条件:(1)关于加法成为交换群,即对任意x,yX,存在uX与之相对应,记为u=x+y,称为x和y的和,满足1);2);3)在X中存在唯一元素,使对任何,成立,称为X中零元素;4)对X中每个元素x,存在唯一元素,使,称为的负元素,记为;(2)对于X中每个元素,及任意实数(或复数)a,存在元素u与之对应,记为,称为a与x的数积,满足1);2)对任意实数(或复数)a和b成立;3),则称X按上述加法和数乘运算成为线性空间或向量空间,其中的元素称为向量。如果数积运算只对实数(复数)有意义,则称X是实(复)线性空间。例1 R

7、n,对Rn中任意两点x=(1,2,n ),y=(1,2,n)和任何实(复)数a,定义x+y=(1 +1,2 +2,n +n),ax=(a1 ,a2,an).容易验证Rn按上述加法和数乘运算成实(复)线性空间.2.定义2 设x1 ,x2,xn 是线性空间X中的向量,如果存在n个不全为零的数1,2,n,使1 x1 +2 x2 +nxn =0, (1)则称x1,x2 ,xn 线性相关,否则称为线性无关.不难看出,x1,x2,xn 线性无关的充要条件为,若,必有1 =2 =n =0.3.定义3 设M是线性空间X的一个子集,如果M 中任意有限个向量都线性无关,则称M 是X中线性无关子集.设M 和L为X中

8、两个子集,若M 中任何向量与L中任何向量都线性无关,则称M和L线性无关.4.定义4 设X是线性空间, M 是X中线性无关子集,如果·spanM= X,则称M 的基数为X的维数,记为dim X, M 称为X的一组基.如果M 的基数为有限数,则称X是有限维线性空间,否则称X是无限维线性空间.如果X只含零元素,称X为零维线性空间.第八节 赋范线性空间和巴拿赫(Banach)空间1.定义1 设X是实(或复)的线性空间,如果对每个向量xX,有一个确定的实数,记为x与之对应,并且满足:1°x0,且x=0等价于x=0;2°x=|x其中为任意实(复)数;3°x+yx+y

9、,x,yX,则称x为向量x的范数,称X按范数x成为赋范线性空间.2. 引理1(Hlder不等式) 设p>1, ,那么f(t)g(t)在a,b上L可积,并且3引理2(Minkowski不等式) 设p1,f,gLpa,b,那么f+gLpa,b,并且成立不等式f+gp fp +gp4. 定理1 当p1时,Lpa,b按(6)中范数fp 成为赋范线性空间.5. 定理2 Lp a,b(p1)是Banach空间.6. 定理3 设X是n维赋范线性空间,e1,e2,en是X的一组基,则存在常数M 和M,使得对一切成立 .7. 推论1 设在有限维线性空间上定义了两个范数x和x1 ,那么必存在常数M 和M,使

10、得Mxx1 Mx.8. 定义2 设(R1,x1 )和(R2 ,x2 )是两个赋范线性空间.如果存在从R1 到R2 上的线性映射和正数c1 ,c2,使得对一切xR1,成立c1 x2 x1 c2 x2则称(R1 ,x1)和(R2,x2 )这两个赋范空间是拓扑同构的.8. 推论2 任何有限维赋范空间都和同维数欧氏空间拓扑同构.相同维数的有限维赋范空间彼此拓扑同构.(二)有界线性算子和连续线性泛函第一节 有界线性算子和连续线性泛函定义1 设X和Y是两个同为实(或复)的线性空间,D是X的线性子空间,T为D到Y中的映射,如果对任何x,yD,及数,有T(x+y)= Tx+ Ty, (1)T(x)=Tx, (

11、2)则称T为D到Y中的线性算子,其中D称为T的定义域,记为D(T),TD称为T的值域,记为R(T),当T取值于实(或复)数域时,就称T为实(或复)线性泛函. 定义2 设X和Y是两个赋范线性空间,T是X的线性子空间D(T)到Y 中的线性算子,如果存在常数c,使对所有xD(T),有Txcx, (3)则称T是D(T)到Y中的有界线性算子,当D(T)= X时,称T为X到Y中的有界线性算子,简称为有界算子.对于不满足条件(3)的算子,称为无界算子.本书主要讨论有界算子.定理1 设T是赋范线性空间X到赋范线性空间Y中的线性算子,则T为有界算子的充要条件为T是X上连续算子.定理2 设X是赋范线性空间,f是X上线性泛函,那么f是X上连续泛函的充要条件为f的零空间N(f)是X中的闭子空间定义3 T为赋范线性空间X的子空间D(T)到赋范线性空间Y中的线性算子,称 (4)为算子T在D(T)上的范数.引理1 设T是D(T)上有界线性算子,那么 (6). 有界线性算子和连续线性泛函的例子例6 赋范线性空间X上的相似算子Tx=x是有界线性算子,且T=|,特别IX =1,O=0.第二节 有界线性算子空间和共轭空间. 有界线性算子全体所成空间定理1 当Y是Bana

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论