线性泛函分析.doc

线性泛函分析 泛函分析的主要工作在于对积分方程而不是对变分法提供一个抽象的理论． 变分法领域里所需泛函的性质是相当特殊的，对一般的泛函并不成立．此外，这些泛函的非线性造成了困难，而这种困难对于包含在积分方程中的泛函和算子则是无关紧要的．在Schmidt，Fischer，Riesz为积分方程解的理论作具体推广时，他们和其他一些人也同时开始了相应的抽象理论的研究． 第一个试图建立线性泛函和算子的抽象理论的，是美国数学家E．H．Moore，他从1906年开始这一工作． Moore认识到，在有限多个未知数的线性方程的理论、无限多个未知数的无限多个线性方程的理论、以及线性积分方程的理论之间，有许多共同的地方．他因此着手建立一种称为“一般分析”(Generl Analysis)的抽象理论，它包含上述具体理论作为特殊情形．他用的是公理方法．我们将不叙述其细节，因为他的影响并不广，而且电没有获得很有效的方法．另外，他的符号语言很奇怪，使以后的人理解起来很困难． 在建立线性泛函和算子的抽象理论的过程中，第一个有影响的步骤是由Erhard Sohmidt和Frechet在1907年采取的．Hilbert在他的积分方程的工作中，曾经把一个函数看成是由它相应于某标准正交函数系的Fourier系数给定的．这些系数以及在他的无穷多个变量的二次型理论中他所赋予这些xi的值，都是使成为有限的序列{xn}．然而，Hilbort并没有把这些序列看成空间中点的坐标，也没有用几何的语言，这一步是由Schmidt 和Frechet采取的． 把每一个序列{x。}看成一个点，函数就被表现为无穷维空间的点．Sohmidt不仅把实数而且把复数引入序列{x0}中．这样的空间从此以后被称为Hilbort空间．我们的叙述 按照Schmidt的工作． Schmidt的函数空间的元素是复数的无穷序列z＝{zn}，使得 Schmidt引入记号；后来就称为z的范数(norm)．按照Hilbert，Sehmidt用记号(现在通用的记号是把．空间中两个元素z和ω称为正交的，当且仅当 Schmidt；接着证明了广义的Pythagoras定理：如果z1， z2， …，zn是空间的n个两两正交的元素，则由 知 由此可推出n个两两正交的元素是线性无关的．Schrnidt在他的一般空间中还得到了Bessel不等式：如果{zn}是标准正交元素的无穷序列，即是任何一个元素，那末 ≤ 此外，还证明了范数的Schwarz不等式和三角不等式． 元素序列{zn}称为强收敛于z，如果趋向于0，而每个强Cauehy序列，即每个使趋于0 (当p，q趋于0时)的序列，可以证明都收敛于某一元素z，从而序列空间是完备的．这是一条非常重要的性质． Schmidt接着引进了(强)闭子空间的概念．他的空间H的一个子集A称为闭子空间，如果在刚才定义的收敛的意义下它是闭子集，并且是代数封闭的，后者意指，如果ω1与ω2是A的元素，那末也是A的元素，其中a1，a2是任何复数．可以证明这样的闭子空间是存在的，这只需取任何一个线性无关的元素列{zn}，并取{zn}中元素的所有有限线性组合．全体这些元素的闭包就是一个代数封闭的子空间． 现在，设A是任一固定的闭子空间．Schmidt首先证明，如果z是空间的任一元素，则存在唯一的元素ω1和ω2，使得z＝ω1+ω2，其中ω1属于A， ω2和A正交，后者是指ω2和A的每个元素正交(这个结果，今天称为投影定理；ω1就是z在A中的投影)进一步， 其中y是A的变动元素，而且极小值只在称为z和A之间的距离． 在1907年，Schmidt和Frechet同时注意到，平方可和(Lebesgue可积) 函数的空间有一种几何，完全类似于序列的Hilbert空间． 这个类似性的阐明是在几个月之后，当时Riesz运用在Lebesgue平方可积函数与平方可和实数列之间建立一一对应的Riesz-Fischer定理指出，在平方可和函数的集合L2中能够定义一种距离，用它就能建立这个函数空间的一种几何． L2中，定义在区间[a， b]上的任何两个平方可积函数之间的距离这个概念，事实上也是Frechet定义的，他把它定义为 (1) 其中积分应理解为Lebesgue意义下的；并且两个函数只在一个0测集上不同时就认为是相等的．距离的平方也称为这两个函数的平均平方偏差．f和g的内积定义为． 使(f，g) = 0的两个函数f与g称为是正交的．Schwarz不等式 ≤ 以及对平方可和序列空间成立的其他性质，都适用于函数空间．特别是，这类平方可和函数形成一个完备的空间．这样，平方可和函数的空间，同这些函数相应于某一固定的完备标准正交函数系的