泛函分析结课论文资料.doc

学资学习网 ------------------------------------------------------------精品文档-------------------------------------------------------- 泛函分析结课论文 Functional Analysis Course Paper 学号 姓名 1 一、 泛函分析空间理论 泛函中四大空间的认识 第一部分我们将讨论线性空间，在线性空间的基础上引入长度和距离的概念，进而建立了赋范线性空间和度量空间。 在线性空间中赋以“范数”，然后在范数的基础上导出距离，即赋范线性空间，完备的赋范线性空间称为巴拿赫空间。范数可以看出长度，赋范线性空间相当于定义了长度的空间，所有的赋范线性空间都是距离空间。 在距离空间中通过距离的概念引入了点列的极限，但是只有距离结构、没有代数结构的空间，在应用过程中受到限制。赋范线性空间和内积空间就是距离结构与代数结构相结合的产物，较距离空间有很大的优越性。 赋范线性空间是其中每个向量赋予了范数的线性空间，而且由范数诱导出的拓扑结Banach空间。赋范线性空构与代数结构具有自然的联系。完备的赋范线性空间是nR，但相比于距离空间，赋范线性空间在结构上更接近于间的性质类似于熟悉的nR。 赋范线性空间就是在线性空间中，给向量赋予范数，即规定了向量的长度，而没有给出向量的夹角。 在内积空间中，向量不仅有长度，两个向量之间还有夹角。特别是定义了正交的概念，有无正交性概念是赋范线性空间与内积空间的本质区别。任何内积空间都赋范线性空间，但赋范线性空间未必是内积空间。 nnRR的空间结构。事实上，距离空间和赋范线性空间在不同程度上都具有类似于上还具有向量的内积，利用内积可以定义向量的模和向量的正交。但是在一般的赋范线性空间中没有定义内积，因此不能定义向量的正交。内积空间实际上是定义了内积的线性空间。在内积空间上不仅可以利用内积导出一个范数，还可以利用内积Hilbert空从而讨论诸如正交投影、正交系等与正交相关的性质。定义向量的正交，BanachHilbert空间上的理论更加丰间是完备的内积空间。与一般的空间相比较，富、更加细致。 1 线性空间 XKXK上的线性空间，若是数域，（1）定义：设称为数域上是非空集合，x与yX??x,yX?z的和，记作与之对应，称为 ，都有唯一的一个元素z?x?y ??K,x?X??与xXu?的积，记作 ，都会有唯一的一个元素与之对应，称为?x?u ???XK,,?x,yz?，上述的加法与数乘运算，满足下列8且，条运算规律： x?y?y?x 10 2 )zy?((x?y)?z?x? 20 ??x???x?XxX 中存在零元素，有30 在，使得??)x?(?xX??x?X?x? ，使得，存在负元素40 xx?1? 50 ????x()x)?( 60 ????xx+)(x?? 70 ???yx)??(x?y 80 CK?XRXK? 时，称为复线性空间为实线性空间；当当时，称 （2）维数：???K,?X,,?xx,x,,X，使的数为线性空间，若不存在全为10 设0nn1212 得 ???0x??x??x n12n21xx,x,, 则称向量组是线性相关的，否则称为线性无关。n12 ???Xxx,?,,,,,?KxX?x? 设，，若使得20 n21n12 ???xx??x?x? n12n21 x,,x,xx 线性表示。则称可由向量组n12 XXXX中任一向量中存在为线性空间，若在个线性无关的向量，使得设30 nnXX 为的一个基，称可有的维数。个向量线性表示，则称其为 2 距离空间X?y,z?x,RX?d:X?X，下列距离公设是非空集合，若存在一个映射，使得 理成立：yx?,y)=0?((dx,y)?0,dx 非负性10 )(y,x,d(xy)?d 20 对称性)y,,y)?d(xz?d(z,xd( 30 三角不等式y与x),),yd(X(dxdX 的距离空间，记作的距离，。为以为则称 赋范线性空间3 xXx??KX与之对应，使得上的线性空间，若设称为数域上，都有一个实数?KXx?,y?,? ，下列范数公理成立：0?0,?x?0x?x 正定性 10 ???x?x绝对齐次性 20 3 yx?y?x? 30 三角不等式 xxKX 上的范数，为上的赋范空间。为则称Cauchy列