《泛函分析结课论文》由会员分享，可在线阅读，更多相关《泛函分析结课论文（12页珍藏版）》请在金锄头文库上搜索。
1、泛函分析结课论文Functional Analysis Course Paper 学号 姓名 一、 泛函分析空间理论泛函中四大空间的认识第一部分我们将讨论线性空间，在线性空间的基础上引入长度和距离的概念，进而建立了赋范线性空间和度量空间。在线性空间中赋以“范数”，然后在范数的基础上导出距离，即赋范线性空间，完备的赋范线性空间称为巴拿赫空间。范数可以看出长度，赋范线性空间相当于定义了长度的空间，所有的赋范线性空间都是距离空间。在距离空间中通过距离的概念引入了点列的极限，但是只有距离结构、没有代数结构的空间，在应用过程中受到限制。赋范线性空间和内积空间就是距离结构与代数结构相结合的产物，较距离空间
2、有很大的优越性。赋范线性空间是其中每个向量赋予了范数的线性空间，而且由范数诱导出的拓扑结构与代数结构具有自然的联系。完备的赋范线性空间是空间。赋范线性空间的性质类似于熟悉的，但相比于距离空间，赋范线性空间在结构上更接近于。赋范线性空间就是在线性空间中，给向量赋予范数，即规定了向量的长度，而没有给出向量的夹角。在内积空间中，向量不仅有长度，两个向量之间还有夹角。特别是定义了正交的概念，有无正交性概念是赋范线性空间与内积空间的本质区别。任何内积空间都赋范线性空间，但赋范线性空间未必是内积空间。距离空间和赋范线性空间在不同程度上都具有类似于的空间结构。事实上，上还具有向量的内积，利用内积可以定义向量
3、的模和向量的正交。但是在一般的赋范线性空间中没有定义内积，因此不能定义向量的正交。内积空间实际上是定义了内积的线性空间。在内积空间上不仅可以利用内积导出一个范数，还可以利用内积定义向量的正交，从而讨论诸如正交投影、正交系等与正交相关的性质。空间是完备的内积空间。与一般的空间相比较，空间上的理论更加丰富、更加细致。1 线性空间（1）定义：设是非空集合，是数域，称为数域上上的线性空间，若，都有唯一的一个元素与之对应，称为的和，记作，都会有唯一的一个元素与之对应，称为的积，记作且，上述的加法与数乘运算，满足下列8条运算规律：10 20 30 在中存在零元素，使得，有40 ，存在负元素，使得50 60
4、 70 80 当时，称为实线性空间；当时，称为复线性空间（2）维数：10 设为线性空间，若不存在全为0的数，使得则称向量组是线性相关的，否则称为线性无关。20 设，若，使得则称可由向量组线性表示。30 设为线性空间，若在中存在个线性无关的向量，使得中任一向量可有个向量线性表示，则称其为的一个基，称为的维数。2 距离空间设是非空集合，若存在一个映射，使得，下列距离公理成立：10 非负性20 对称性30 三角不等式则称为的距离，为以的距离空间，记作。3 赋范线性空间设称为数域上上的线性空间，若，都有一个实数与之对应，使得，下列范数公理成立：10 正定性20 绝对齐次性30 三角不等式则称为上的范数
5、，为上的赋范空间。已知完备的距离空间中任一列均收敛，而赋范线性空间作为一类特殊的距离空间，同样可以讨论它的完备性。只是这里的距离是由范数诱导的距离。在范数的语言下，点列为列的定义改写为完备的赋范线性空间称为空间。4 内积空间设称为数域上上的线性空间，若存在映射：，使得，下列内积公理成立：对第一变元的线性共轭对称性正定性且则称为上的内积，为上的内积空间。由于完备性的概念是建立在距离定义的基础上的，故等价的说，一个内积空间称为空间，若其按由内积导出的范数是完备的距离空间。在由内积导出的范数下，内积空间成为一个赋范空间，它具有一般赋范空间的所有性质。二、 有界线性算子和连续线性泛函在线性代数中，我们
6、曾遇到过把一个维向量空间映射到另一个维向量空间的运算，就是借助于行列的矩阵对中的向量起作用来达到的。同样，在数学分析中，我们也遇到过一个函数变成另一个函数或者一个数的运算，即微分和积分的运算等。把上述的所有运算抽象化后，我们就得到一般赋范线性空间中的算子概念。撇开各类算子的具体属性，我们可以将它们分成两类：一类是线性算子；一类是非线性算子。本章介绍有界线性算子的基本知识，非线性算子的有关知识留在第5章介绍。定义3.1 由赋范线性空间中的某子集到赋范线性空间中的映射称为算子，称为算子的定义域，记为，为称像集为算子的值域，记作或。若算子满足：（1）（2）称为线性算子。对线性算子，我们自然要求是的子
7、空间。特别地，如果是由到实数（复数）域的映射时，那么称算子为泛函。我们已经在第一章引入了线性算子与线性泛函的概念，同时也介绍了算子的连续性概念. 现在让我们给出连续线性算子与连续线性泛函的一种形式上不同的定义，在基本空间是度量 空间的情况下，它们在实质上是等价的.定义 1设 X，Y 是线性赋范空间，T：XY 是线性算子.T 称为是有界的，若对于 X中的任一有界集 A，T(A)是 Y 中的有界集. 注意应该把这一定义中的有界算子的概念与数学分析中有界函数的概念加以区别，后者是指在整个定义域中所取的值为有界的函数. 同时要把线性算子与初等数学中所定义的线 性函数加以区别，后者是指形如 f (x)
8、= ax + b 的所有函数. 但只有在 b=0 的情况，它才是我 们定义的线性算子. 三、 Hilbert空间主要结论 一个Hilbertspace的对偶空间（就是所有它的线性连续泛函组成的空间）等价于它自身，进一步，所有的线性连续泛函I（f）:H-R可以表示成为内积的形式:I（f）=forsomeg*inH。（对了在这里再重新提一下，常用的平方可积函数空间L2的内积是积分的形式:f*g，f，gL2，所以所有的线性连续泛函就都是带一个因子g的积分了.）这个Hilbertspace上最根本的定理几乎把Hilbertspace和Euclideanspace（欧几里得空间）等同起来了，在那时大家都
9、很高兴，毕竟Euclideanspace的性质我们了解的最多，也最“好”。狄立克莱（Dirichlet）原理就是在这个背景下提出的：任何连续泛函在有界闭集上达到其极值。这个结论在Euclideanspace上是以公理的形式规定下来的（参见数学分析的实数基本定理部分），具体说来就叫做有界闭集上的连续函数必有极值，而且存在点使得这个函数达到它。在拓扑学上等价于局部紧性的这个东东，很可惜在一般的Hilbertspace上却是不成立的：闭区间0，1上的L2空间有一个很自然的连续泛函：I（f）=|f（x）|dx。容易证明，它的范数I=sup|I（f）|/f=1.在这个L2的单位闭球面（所有范数等于1的f
10、）上存在这么一个子序列：f_n（x）=n，当x0，1/n2;f_n（x）=0，当x1/n2。按照L2上范数的定义，f_n=f2（x）dx=1，foralln。0I（f）=I在这个有界闭集上的最小值0，而且I（f_n）=1/n0。但是我们看到，当f_n弱收敛到常函数零时，它已经不在单位闭球面上了（严格的证明可以在一些课本上找到）。一、定义线性完备内积空间称为Hilbertspace。线性（linearity）：对任意f，gH，a，bR，a*f+b*g仍然H。完备（completeness）：对H上的任意柯西序列必收敛于H上的某一点。相当于闭集的定义。内积（innerproduct）：一个从HH-
11、R的双线性映射，记为。它满足：i）0，=0f=0；ii）=a*=foranyainR；iii）=+；iv）=在复内积里是复数共轭关系四、 Banach空间主要结论Hahn-Banach 定理在理论上和应用上都是十分重要的，它往往提 供了某些学科或学科分支的理论基础. 这里介绍一些它们在逼近论方 面的应用.定义 3设 X 是线性赋范空间， E 是 X 的子集合， x X ，称 y E 是 x 关于 E 的最佳逼近元，若x - y= infzE x - z.(1)首先应该知道一般说来，最佳逼近元并不总是存在的.例 1设 E C 0,1 ，E 是 0,1 上定义的任意阶多项式全体构成 的线性子空间，
12、取 x (t ) = et C 0,1 ，尽管d ( x, E ) = infzE x - z= 0 ，但不存在 y E 使得x - y= 0 ，因为 et 不是多项式. 这说明不存在 et关于 E 的最佳逼近元.定理 1 实际上是最佳逼近元的判定定理. 下面定理可以看成最佳 逼近元的存在定理.定理 2设 X 是线性赋范空间， E X 是有限维子空间，则对于 每个 x X ， x 关于 E 的最佳逼近元存在.证 明任取 y0 E ，考虑集合F = z E;x - z x - y0 .容易验证 F 是 E 中的有界 闭 集，是 E 有限 维的，从 而 是紧集并 且d ( x, F ) = d (
13、 x, E ) . 取 zn F 使得 x - zn d ( x, F ) ，此时存在子列 n0z z F ，于是kx - z0= limnx - zn= d ( x, F ) = d ( x, E ) .z0 即是 x 关于 E 的最佳逼近元.英文翻译部分First, the functional analysis space theoryUnderstanding of the four major functional spaceThe first part we will discuss the linear space, linear space is introduced base
14、d on the concept of length and distance, thereby establishing a normed linear spaces and metric spaces.Linear space assigned to the norm, and then on the basis of export norm distance, ie normed linear space, complete normed space is called a Banach space. Norm can be seen that the length of normed linear space is equivalent to define the length of the space, all the spaces are normed linear distance spa
