泛函分析整理笔记

Reading Notes about Functional Analysis泛函分析读书笔记课程题目：泛函分析 任课教师：高云兰博士 学生姓名：崔继峰 学生学号：20081058 2008年12月10日泛函分析读书笔记Reading Notes about Functional Analysis 崔继峰 所谓的泛函呢，就是一般函数，泛函分析当然就是一般函数的分析研究。在学习泛函之前，需要有扎实的实变函数知识。大学期间，曾用半年时间学过由南开大学刘炳初教授编著，科学出版社出版的泛函分析，讲课的是哈尔滨工业大学的包革军教授，他讲泛函的最大特点是把泛函与几何图形有机结合，把艰深的纯理论讲的惟妙惟肖。在进入研究生学习阶段，泛函分析作为计算数学研究生的基础理论课程，是必选的。我们选用的教材是由武汉大学刘培德教授主编，武汉大学出版社出版的泛函分析（第二版），该教材是面向本科生的，系里之所以考虑选择此教材，是由于考虑到有些学生在本科阶段没有或者很粗浅的认识了泛函分析这门课程，主讲该课程的是高云兰博士，她的方向就是算子方面的研究，所以讲解该课程那是轻车熟路了。课时大约是48学时（粗略估计）。由于以下两方面的原因：1）对于泛函分析认识很粗浅；2）第一次写读书笔记（尤其是专业课类），不知道如何从略。所以读书笔记可能从在诸多问题，希望老师见谅！下面我从几个方面写本学期学习泛函分析的感受和认识。我本着这样态度写该笔记：1）了解泛函是什么，泛函的发展（很多教材把这个从略）2）把空间的理论知识系统学习，对于其他理论的学习作抛砖引玉之用。3）学习泛函的实际作用（也就是附录里的滤波器理论的应用）。泛函分析是研究拓扑线性空间到拓扑线性空间之间满足各种拓扑和代数条件的映射的分支学科。它是20世纪30年代形成的。从变分法、微分方程、积分方程、函数论以及量子物理等的研究中发展起来的，它运用几何学、代数学的观点和方法研究分析学的课题，可看作无限维的分析学。 一、泛函分析的产生     十九世纪以来，数学的发展进入了一个新的阶段。这就是，由于对欧几里德第五公设的研究，引出了非欧几何这门新的学科；对于代数方程求解的一般思考，最后建立并发展了群论；对数学分析的研究又建立了集合论。这些新的理论都为用统一的观点把古典分析的基本概念和方法一般化准备了条件。    本世纪初，瑞典数学家弗列特荷姆和法国数学家阿达玛发表的著作中，出现了把分析学一般化的萌芽。随后，希尔伯特和海令哲来创了“希尔伯特空间”的研究。到了二十年代，在数学界已经逐渐形成了一般分析学，也就是泛函分析的基本概念。    由于分析学中许多新部门的形成，揭示出分析、代数、集合的许多概念和方法常常存在相似的地方。比如，代数方程求根和微分方程求解都可以应用逐次逼近法，并且解的存在和唯一性条件也极其相似。这种相似在积分方程论中表现得就更为突出了。泛函分析的产生正是和这种情况有关，有些乍看起来很不相干的东西，都存在着类似的地方。因此它启发人们从这些类似的东西中探寻一般的真正属于本质的东西。    非欧几何的确立拓广了人们对空间的认知，n维空间几何的产生允许我们把多变函数用几何学的语言解释成多维空间的影响。这样，就显示出了分析和几何之间的相似的地方，同时存在着把分析几何化的一种可能性。这种可能性要求把几何概念进一步推广，以至最后把欧氏空间扩充成无穷维数的空间。    这时候，函数概念被赋予了更为一般的意义，古典分析中的函数概念是指两个数集之间所建立的一种对应关系。现代数学的发展却是要求建立两个任意集合之间的某种对应关系。    这里我们先介绍一下算子的概念。算子也叫算符，在数学上，把无限维空间到无限维空间的变换叫做算子。    研究无限维线性空间上的泛函数和算子理论，就产生了一门新的分析数学，叫做泛函分析。在二十世纪三十年代，泛函分析就已经成为数学中一门独立的学科了。二、泛函分析的特点和内容    泛函分析的特点是它不但把古典分析的基本概念和方法一般化了，而且还把这些概念和方法几何化了。比如，不同类型的函数可以看作是“函数空间”的点或矢量，这样最后得到了“抽象空间”这个一般的概念。它既包含了以前讨论过的几何对象，也包括了不同的函数空间。    泛函分析对于研究现代物理学是一个有力的工具。n维空间可以用来描述具有n个自由度的力学系统的运动，实际上需要有新的数学工具来描述具有无穷多自由度的力学系统。比如梁的震动问题就是无穷多自由度力学系统的例子。一般来说，从质点力学过渡到连续介质力学，就要由有穷自由度系统过渡到无穷自由度系统。现代物理学中的量子场理论就属于无穷自由度系统。    正如研究有穷自由度系统要求 n维空间的几何学和微积分学作为工具一样，研究无穷自由度的系统需要无穷维空间的几何学和分析学，这正是泛函分析的基本内容。因袭，泛函分析也可以通俗的叫做无穷维空间的几何学和微积分学。古典分析中的基本方法，也就是用线性的对象去逼近非线性的对象，完全可以运用到泛函分析这门学科中。    泛函分析是分析数学中最“年轻”的分支，它是古典分析观点的推广，它综合函数论、几何和代数的观点研究无穷维向量空间上的函数、算子、和极限理论。他在二十世纪四十到五十年代就已经成为一门理论完备、内容丰富的数学学科了。    半个多世纪来，泛函分析一方面以其他众多学科所提供的素材来提取自己研究的对象，和某些研究手段，并形成了自己的许多重要分支，例如算子谱理论、巴拿赫代数、拓扑线性空间理论、广义函数论等等；另一方面，它也强有力地推动着其他不少分析学科的发展。它在微分方程、概率论、函数论、连续介质力学、量子物理、计算数学、控制论、最优化理论等学科中都有重要的应用，还是建立群上调和分析理论的基本工具，也是研究无限个自由度物理系统的重要而自然的工具之一。今天，它的观点和方法已经渗入到不少工程技术性的学科之中，已成为近代分析的基础之一。    泛函分析在数学物理方程、概率论、计算数学、连续介质力学、量子物理学等学科有着广泛的应用。近十几年来，泛函分析在工程技术方面有获得更为有效的应用。它还渗透到数学内部的各个分支中去，起着重要的作用。三、泛函分析空间知识认识泛函中存在诸多空间，这里对于几个重要的空间予以认识。1. 度量空间我们在作物理、化学、生物等实验时，通过观察会得到很多值，但总是近似的，这时自然要考虑近似值与准确值的接近程度，反映在数学上这是一个极限问题。数学分析中定义中点列的极限是时，我们是用来表示和的接近程度，事实上，可表示为数轴上和这两点间的距离，那么实数集中点列收敛于也就是指和之间的距离随着而趋于0，即。于是人们就想，在一般的点集中如果也有“距离”，那么在点集中也可借这一距离来定义极限，而究竟什么是距离呢？1.1度量空间的定义Definition 1.1设为一非空集合。若存在二元函数，使得，均满足以下三个条件：（1）且（非负性）（2）（对称性）（3）（三角不等式），则称为上的一个距离函数，（）为度量空间或距离空间，为两点间的距离。Notes： 若（）为度量空间，是的一个非空子集，则（）也是一个度量空间，称为（）的子空间。我们可以验证：欧式空间，离散度量空间，连续函数空间，有界数列空间，次幂可和的数列空间，次幂可积函数空间，均满足距离空间的性质。Appendix：次幂可积函数空间介绍，在中，我们把几乎处处相等的函数视为同一函数。有下列重要性质：（1）对线性运算是封闭的。即若，则，其中是常数。（2）。设，令，则 故。（3），定义 （2.6）则是一个距离函数。称为次幂可积函数空间，简记为。1.2度量空间有重要的定理Theory 1 对度量空间有（1）任意个开集的并集是开集; 有限个开集的交集是开集;（2）任意个闭集的交集是闭集; 有限个闭集的并集是闭集;（3）与既是开集又是闭集.Theory 2设是度量空间,则是的聚点的充要条件是存在中点列,使.Theory 3 设是度量空间,则下面的三个陈述是等价的:(1) ;(2) 的任一邻域中都有的点;（3）有点列,使.Theory 4 设是度量空间, 是的非空子集,则为闭集的充要条件是.要比较透彻的研究度量空间，不得不提到一下内容：2. 映射的连续与一致连续性Definition 2.1 设X，Y是距离空间，f是X到Y的一个映射。如果对任何，存在当时，有则称f在连续。又若f在X中每一点都有连续，则称f是X上的连续映射。若对任何，存在，只要，且，就有成立，则称在上一致连续。 Example 1 是距离空间X上的连续函数，其中是X的一固定点。proof: 任取X。因为对,=所以 .于是任给，只要取,当时，就有,因此,是X上的连续函数。Theory 2.1 设，是距离空间，,则下列各命题等价。 (1)在连续；（2）对于的任一邻域(,)，都存在的一个邻域使得；（3）对于X中的任意点列xn，若，则。proof:（1）(2):由在x0连续的定义知，任给,存在，当时有.注意即,而即。所以。（2）（3）:由假设，即对,存在N,当n>N时，.由（2）有，即,因此，（3）（1）：反证法。假设在x0不连续，则必存在某个正数，使得对于每一个有满足,但这与矛盾。Theory 2.2 设，是距离空间，。则是连续映射的充分必要条件是，对Y中的任一开集，其原象是开集。proof: 必要性，不妨设非空。任取，即。因G是开集，故存在，使。由于连续，所以对，有,使得。即。说明是的内点，故是开集。充分性：任取，对任意的，取开集，则由假设是开集，因而存在，使,故，即在连续。 Definition2.2设，是两个度量空间，点 ，若对任意，都存在，使得当，且，时，恒有成立，则称二元映射在点是连续的。若在上每点都连续，则称是上点连续二元映射。若上述与点无关，则称在上一致连续。Theory 2.3 度量空间中的距离函数是上的连续二元函数。3 完备性实数空间R具有完备性，即R中任何基本列必收敛于某实数。现在我们将这些概念引到一般距离空间中来。3.1 完备性概念Definition 3.1 设xn是距离空间X中的一个点列，若对任何，存在N，当m,n>N时，有则称xn是X中的一个基本列（或Cauchy列）。如果X中的任何基本列都在X中收敛，则称X是完备的距离空间。Theory 3.1 设是度量空间，则（1）收敛点列是基本列；（2）基本列是有界的；（3）若基本列含有一收敛子列，则该基本列收敛，其极限即该子列之极限。proof:（1）设、，且。则，当时，从而，时，。（2）设为一基本列，则对，存在，当时，有，记，则对任何，均有成立，即有界。设为一基本列，且是的收敛子列，于是，当时，；，当时，。取，则当，时，从而有，故。Example 2 Ca,b是完备的距离空间。proof: 设xn是Ca,b中的基本列，即任给,存在N，当m,n>N时，即故对所有的ta,b,由一致收敛的Cauchy准则，知存在连续函数x(t)，使xn(t)在a,b上一致收敛于x(t)，即,且xCa,b.因此Ca,b完备。Example 3 空间是完备的距离空间。 proof: 取xn是中的基本列，即任给，存在N，当m,n>N时，于是对1/2k有nk,且