资源描述：
《泛函分析复习与总结.docx》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、精品文档《泛函分析》复习与总结(2014年6月26日星期四10:20---11:50)第一部分空间及其性质泛函分析的主要内容分为空间和算子两大部分.空间包括泛函分析所学过的各种抽象空间,函数空间,向量空间等,也包括空间的性质,例如完备性,紧性,线性性质,空间中集合的各种性质等等。以下几点是对第一部分内容的归纳和总结。一．空间（1）距离空间（集合+距离）！验证距离的三个条件：(X,)称为是距离空间，如果对于x,y,zX(i)【非负性】(x,y)0，并且(x,y)0当且仅当xy【正定性】；(ii)【对称性】(x,y)(y,x)；(iii)【三角不等式】(x,y)(x,y)(y,z)。距离
2、空间的典型代表：s空间、S空间、所有的赋范线性空间、所有的内积空间。（2）赋范线性空间（线性空间+范数）！(X,
3、
4、
5、
6、)称为是赋范线性空间，如果X验证范数的三个条件：是数域K?（或K￡aK和x,yX，）上的线性空间，对于成立(i)【非负性】
7、
8、x
9、
10、0，并且
11、
12、x
13、
14、0当且仅当x0【正定性】；。1欢迎下载精品文档(ii)【齐次性】
15、
16、ax
17、
18、
19、a
20、
21、
22、x
23、
24、；(iii)【三角不等式】
25、
26、xy
27、
28、
29、
30、x
31、
32、
33、
34、y
35、
36、。赋范线性空间的典型代表：?n空间（n1,2,3,L）、￡n空间（n1,2,3,L）、lp空间（1p）、Lp[,(ab)]空间（1p）、Cab[,]空间、Ck[a,b]空
37、间、Banach空间、所有的内积空间（范数是由内积导出的范数）。（3）内积空间（线性空间+内积）！验证内积的四个条件：(X,(,))称为是内积空间，如果X是数域K?（或K￡aK和）上的线性空间，对于x,y,zX，成立(i)【非负性】(x,x)0，并且(x,x)0当且仅当x0【正定性】；(ii)【第一变元可加性】(xy,z)(x,z)(x,z)；(iii)【第一变元齐次性】(ax,z)a(x,z)；(iv)【共轭对称性】(x,z)(z,x)。内积空间的典型代表：?n空间（n1,2,3,L）、￡n空间（n1,2,3,L）、l2空间、L2([a,b])空间。注.1)从概念的外延来理解,有如
38、下的关系:{内积空间}{赋范线性空间}{距离空间}.2)内积可导出范数,范数可导出距离,反之未必.例如在赋范线性空间中,如果范数满足平行四边形公式,则由范数可以定义内积.3)在距离空间中，xkx0(xk,x0)0，当k；赋范线性空间中，xk
39、
40、
41、
42、x0
43、
44、xkx0
45、
46、0，当k；内积空间中，xk
47、
48、
49、
50、x0(xkx0,xkx0)0，当。2欢迎下载精品文档k.重点.！要求会验证距离,范数和内积.二．完备性，稠密性，可分性（1）！完备性距离的完备性是指“空间中的任何基本列都是收敛的”具有完备性的距离空间称为完备距离空间；完备的赋范线性空间称为Banach空间；完备的内积性空间称为Hilbe
51、rt空间.重点.验证一个距离是否完备是泛函分析基本的技能。注.距离空间的*完备化不是本课程的重点.（2）稠密性若AB,则称A在B中稠密.当AB时,也称A是B的稠密子集.关于A在B中稠密的等价命题:A在B中稠密yB,存在xnA,使得xny;0,US(x,)B.xA！（3）可分性如果B有可数的稠密子集A,则称B具有可分性.类似地可以定义可分的距离空间,可分的赋范线性空间,可分的内积空间等.不具有可分性的空间B称为不可分空间.可分空间的典型代表：?n空间（n1,2,3,L）、￡n空间（n1,2,3,L）、lp空间（1p）、Lp[,(ab)]空间（1p）、Cab[,]空间、Ck[,]空间.a
52、b不可分空间的典型代表：l空间、L([a,b])空间.重点.要求会找出具体的可分空间中可数稠子集.掌握不可分空间的证明方法.！不可分空间的证明方法:如果空间X中含有一个不可数子集A,且其中任何两个不同点之间的距离大等于一个确定的正数,则X是。3欢迎下载精品文档不可分的.（例如l中这样的集合是分量为零和1的无穷维向量全体；L([a,b])中这样的集合是[a,t]上的集特征函数全体）三空间中的集合（1）开集、闭集、有界集、无界集；（2）疏朗集、稠密集；（3）列紧集！、完全有界集！、紧集.具体空间中列紧集的判别条件：a．?n和￡n或有限维赋范线性空间中：Weierstrass定理（有界集是
53、列紧集）;b.！C[a,b]中：Arzela-Ascoli定理（一致有界且等度连续）；（4）内积空间中的正交集，！正交基.Parseval恒等式、Bessel不等式。（5）有限维赋范线性空间的性质：1.有界集即列紧集；2.有限维赋范线性空间中任何两个范数都是等价的。四具体的空间已经学过的具体空间有：?n空间（n1,2,3,L￡n空间（n1,2,3,L）;）;lp空间（1p）;Lp([a,b])空间（1p）;C[a,b]空间;Ck[,]空间。ab注.1.要
