内积空间与希尔伯特空间(讲稿)课件.ppt

第五章 内积空间与希尔伯特空间,内积空间与希尔伯特空间,内积空间+完备性希尔伯特空间,欧氏空间线性空间+内积内积空间,第五章 内积空间与希尔伯特空间内积空间与希尔伯特空间内积空,1 内积与内积空间,一、内积空间与希尔伯特空间的概念,定义1 设H是数域K上的线性空间，定义函数:HHK,使得：对x,y,zH,K,满足,则称为数域K中x与y的内积,而称定义了内积的空间H为内积空间。,注：1)当数域K为实数域时，称H为实的内积空间；当数域K为复数域C时，则称H为复的内积空间。,1 内积与内积空间一、内积空间与希尔伯特空间的概念定义1,2 由内积诱导的范数及由内积诱导的距离,(2)内积与由内积诱导的范数的等式关系：,(3)由内积诱导的范数满足范数公理内积空间按照由内积导出的范数,是线性赋范空间。但反之不然,注:(1)内积与由内积诱导的范数的三角不等式关系 许瓦兹不等式,2 由内积诱导的范数及由内积诱导的距离定义2(1),3 线性赋范空间成为内积空间（范数是由内积导出的范数）的充分必要条件,定理1 线性赋范空间X是内积空间x,yX,有|x+y|2+|x-y|2=2|x|2+2|y|2,(平行四边形公式或中线公式),定义3 设H是内积空间，若H按照由内积诱导的范数成为Banach空间，则称H是希尔伯特空间。,4 希尔伯特空间,3 线性赋范空间成为内积空间（范数是由内积导出的范数）的充,Rn中由内积导出的距离为,Rn按照由内积导出的范数,因而是Hilbert空间。,是Banach空间，,例1 n维欧氏空间Rn按照内积是内积空间。Rn中由内积导出的,l 2按照由内积导出的范数,是Banach空间，因而是Hilbert空间。,l 2中由内积导出的距离为,l 2按照由内积导出的范数 是Banach空间，因而是H,L2a,b按照由内积导出的范数,是Banach空间，因而是Hilbert空间。,L2a,b中由内积导出的距离为,例3 L2a,b空间按照内积是内积空间。L2a,b,Ca,b中范数不满足平行四边形公式，,但Ca,b不是内积空间.,证 取x=1,y=(t-a)/(b-a)Ca,b,|x|=1,|y|=1,|x+y|=max|1+(t-a)/(b-a)|=2,|x-y|=max|1-(t-a)/(b-a)|=1,|x+y|2+|x-y|2=54=2(|x|2+|y|2),因而不是由内积导出的范数,Ca,b不是内积空间,Ca,b中范数不满足平行四边形公式，例4 Ca,5 内积空间中的极限,证 xnx|xn-x|0,yny|yn-y|0,|-|-|+|-|,|xn-x|yn|+|x|yn-y|0,(n),定义4（极限）设X是内积空间，xnX,xX 及yX,定理2 设H是希尔伯特空间，则H中的内积是x,y的连续函数,即xn、ynH,x,yH,若xnx,yny,则.,注：距离函数、范数、内积都是连续函数,（线性运算对内积的连续性）,5 内积空间中的极限证 xnx|xn-x|,6 内积空间的完备化,定义5(内积空间的同构)设X,Y是同一数域K上的内积空间，若存在映射T:XY,保持线性运算和内积不变,即x,yX,K,有(1)T(x+y)=Tx+Ty,(2)=则称内积空间X与Y同构,而称T为内积空间X到Y的同构映射。,定理3 设X是内积空间，则必存在一个Hilbert空间H，使X与H的稠密子空间同构，而且在同构意义下，满足上述条件的Hilbert空间是唯一的。,6 内积空间的完备化定义5(内积空间的同构)设X,Y,二、内积空间中的正交分解与投影定理,在解析几何中，有向量正交和向量投影的概念，而且两个向量正交的充分必要条件是它们的内积等于0，而向量x在空间中坐标平面上的正交投影向量x0是将向量的起点移到坐标原点，过向量的终点做平面的垂线所得的垂足与原点之间的有向线段而得到的。且有x=x0+x1,其中x1该坐标平面。这时称x=x0+x1为x关于做表面的正交分解。,下面将把正交分解和正交投影的概念与推广到一般的内积空间中。其中的投影定理是一个理论和应用上都极其重要的定理，利用投影定理可以将内积空间分解成两个字空间的正交和。这是内积看所特有的性质，这个定理在一般的巴拿赫空间中并不成立（因为巴拿赫空间中没有正交性的概念）。在实际应用中，投影定理还常被用来判定最佳逼近的存在性和唯一性。,二、内积空间中的正交分解与投影定理 在解析几何中，有向量正,1 正交的概念,定义5(正交)设H是内积空间,x,yH,M,N H.(1)xy=0;(2)xM yM,都有=0;(3)MNxM，yN,都有=0.,定理4(勾股定理)设H是内积空间,若x,yH,且xy,则|x+y|2=|x|2+|y|2,注:1）在一般的内积空间中，若xy，则有勾股定理|x+y|2=|x|2+|y|2成立，但反之不然。事实上，|x+y|2=|x|2+|y|2+2Re(x,y),2）在实内积空间中，xy|x+y|2=|x|2+|y|2，即勾股定理成立,1 正交的概念 定义5(正交)设H是内积空间,x,y,定义6(正交补)设H是内积空间,MH,称集合 M=x|xy,yM 为M在H中的正交补。,注：正交补的性质：,是H的闭线性子空间，即H的,完备子空间.,事实上，x,yM及zM,有=0,=0=+=0 MM为H线性子空间 xnL,xnx,zM=lim=0 xM M为H的闭子空间,定义6(正交补)设H是内积空间,MH,称集合,定义10(正交分解与正交投影)设H是内积空间，MH是线性子空间，xH,如果存在x0M,x1M,使得 x=x0+x1（1）则称x0为x在M上的正交投影，而称(1)式为x关于M的正交分解。,2 正交分解与正交投影,定理14(投影定理)设M是希尔伯特空间H的闭线性子空间,则对 xH在M中存在唯一的正交投影x0,使得 x=x0+x1(其中x1M).,ynM,使得|yn-x|d(n)(下确界定义),证 xH,令x到M的距离,定义10(正交分解与正交投影)设H是内积空间，MH,M是H的线性子空间ym,ynM,有,0|ym-yn|2=|(ym-x)+(x-yn)|2=|(ym-x)+(x-yn)|2+|(ym-x)-(x-yn)|2-|(ym-x)-(x-yn)|2=2|ym-x|2+2|x-yn|2-|(ym+yn)-2x|2(平行四边形公式)2|ym-x|2+2|x-yn|2-4d 20(m,n),2)证明 xn在M中收敛,1)证明 yn是基本列,M 是Hilbert空间的闭线性子空间M是完备的 x0M,使ynx0,|yn-x|x0-x|(n),xn是基本列,M是H的线性子空间ym,ynM,有0|ym-,3)证明x0 是x在M中的正交投影,记x1=x-x0,zM,z,C x0+zM,特取,4)证明x0 是唯一的，从而上述正交分解式也是唯一的,设 是x在M上的两个正交投影，则,3)证明x0 是x在M中的正交投影记x1=x-x0,z,注：1)由定理的证明过程易知,只要M是H的完备子空间,而H本身不完备,定理结论也成立.从而上述正交分解式也唯一.,2)设en是内积空间H的标准正交系,xH,ck=,则,即对任何数组1,2,n,有,是x在内积空间H上的正交投影,注：1)由定理的证明过程易知,只要M是H的完备子空间,而H本,2 正交投影的应用最佳逼近问题,(1)最佳逼近问题的一般提法:设H是Hilbert空间,x,x1,x2,xnH,要求寻找出n个数1,2,n,使得,(2)最佳逼近问题的几何解释：记M=spanx1,x2,xnH,则,表示x到M上某点的距离,表示x到M的最短距离,表示x在M上的正交投影,最佳逼近问题实际上就是求正交投影的问题,2 正交投影的应用最佳逼近问题(1)最佳逼近问题的一般提,(2)最佳逼近问题的求解步骤：,设xnM线性无关，记M=spanx1,x2,xnH,唯一的x0:,使得|x-x0|=inf|x-y|,且对yM,有=0,=0(xkM,k=1,2,n),=(xkM,k=1,2,n),M是H的闭线性子空间,(2)最佳逼近问题的求解步骤：设xnM线性无关，记M,三、内积空间中的正交系与傅立叶级数,1 正交系的概念,在解析几何中，向量i,j,k起着坐标架的作用,他们两两正交,R3中一切向量x都能由他们线性表示：x=x1i+x2j+x3k。这是解析几何的基础。R3中的向量正交概念 一般内积空间中的向量正交概念,定义7(正交集与标准正交系)设H是内积空间,MH,(1)如果对x,yM,xy,都有=0，则称M是H中的正交系。,(2)设enH,若,则称en是H中的标准正交系。,三、内积空间中的正交系与傅立叶级数1 正交系的概念 在,2 正交的性质,例如(1)i,j,k 是R3中的标准正交系。,是L2-,中的标准正交系。,(3)e1=(1,0,0,0,0,),e2=(0,1,0,0,0,),en=(0,0,0,1,0,),定理4(勾股定理的推广)设H是内积空间，若x1,x2,.,xnH是正交系，则,|x1+x2+xn|2=|x1|2+|x2|2+|xn|2,(2),是l 2 中的标准正交系。,2 正交的性质 例如(1)i,j,k 是R3中的标,定理7 设H是内积空间，若M=e1,e2,.,en,H是标准正交系,则e1,e2,en,是线性独立系，即e1,e2,.,en,中的任何有限组是线性无关的。,证 n,令1e1+nen=0=0 j=j=0 e1,en线性无关e1,en,是线性独立系。,定理8(Gram-Schmidt正交化定理)设H是内积空间,x1,x2,.,xn,H是H中任一个线性独立系,则可将其进行标准正交化，得到一个标准正交系。,定理7 设H是内积空间，若M=e1,e2,.,en,定理8 设H是内积空间，e1,e2,.,en,H是标准正交系，记 Mn=spane1,en.,即为x在Mn上的正交投影。,（最佳逼近定理）,(3),定理8 设H是内积空间，e1,e2,.,en,H是,yMnxn-yMnx-xnxn-y,证(1)=i=i,(2)显然 xn=e1+en Mn,=(i=1,2,n),x-xnMn x-xn,e1,en两两正交,且x-xnxn.,=0(i=1,2,n).,|xn|2=|e1+en|2=|e1|2+|en|2=|2+|2,|x|2=|(x-xn)+xn|2=|x-xn|2+|xn|2|x-xn|2=|x|2-|xn|2,|x-y|2=|(x-xn)+(xn-y)|2=|x-xn|2+|xn-y|2|x-xn|2,yMnxn-yMnx-xnxn-y,定理9(贝塞尔(Bessel)不等式)设H是内积空间,e1,e2,.,en,H 是标准正交系，则xH,有,证由定理8有,xn=e1+en,xH,|x|2=|x-xn|2+|xn|2|xn|2=|x|2-|x-xn|2|x|2|2+|2|x|2|2+|2+|x|2(n),推论 设H是内积空间,e1,e2,.,en,H是标准正交系,则xH,有,证 根据定理9，级数|2收敛,定理9(贝塞尔(Bessel)不等式)设H是内积空间,e,3 内积空间中的傅立叶级数,定义8(Fourier级数)设H是内积空间,en(n=1,2,)是H中的标准正交系,xH,则称cn=(n=1,2,)为x关于en的Fourier系数,而称,为x关于en的Fourier级数。记作,注：1)xH,x的Fourier系数cn=(n=1,2,)满足Bessel不等式,2)微积分学中的Fourier级数是L2a,b上元素x关于标准正交系,的Fourier级数。,3 内积空间中的傅立叶级数定义8(Fourier级数)设H是,3)xH,x的Fourier系数cn=(n=1,2,)是平方可和的，即cnl 2.,问题：由定理8 可知，对xH,及任何n,xn=e1+en 到x的距离最小，那么当n时，xn是否收敛于x呢？,即x的Fourier级数e1+en+是否收敛于x？或者说 x能否展开成傅立叶级数？,3)xH,x的Fourier系数cn=,4 内积空间中的傅立叶级数的收敛性,定理11(Fourier级数收敛的充要条件)设en是内积空间H的标准正交系,xH,则x关于en的Fourier级数收敛于x的充要条件是成立巴塞弗(Parseval)等式：,证 由定理8知,若xX,取xn=e1+en,则x-xnxn,且,4 内积空间中的傅立叶级数的收敛性定理11(Fourier级,问题：对于n维欧氏空间而言，如果基向量的个数小于n,则空间中的一些向量就无法用这些基向量线性表示。这时可以认为基向量没有选“完全”。此时不能保证Parseval等式成立，而只有Bessel不等式成立。只有基向量的个数等于n时，才能认为基向量是“完全”的。,对于一般的无限维内积空间，也只有当基选完全时，才能保证Parseval等式成立，从而使得空间中的任何元素都能由这组完全的基线性表示，其傅立叶级数才能收敛于自身，或者说，H中的任何元素都可以展开成傅立叶级数。那么，如何确认其基向量是完全的呢？为此引入下面的定义：,问题：对于n维欧氏空间而言，如果基向量的个数小于n,则空间中,定义9(完全的标准正交系)设H是内积空间，en(n=1,2,)是H中的标准正交系，如果在H中不再存在于所有en(n=1,2,)都正交的非零元素，即如果xH,xen(n=1,2,),必有x=,则称en是H中的完全标准正交系。,是L2-,中的完全标准正交系。,（2）勒让德(Legendre)多项式表示的正交系,例如，（1）三角函数系,是L2-1,1中的完全标准正交系。,定义9(完全的标准正交系)设H是内积空间，en(n,(4)xH,Parseval等式成立。,定理12(正交系完全的充要条件)设en是希尔伯特空间H的标准正交系,则下列四个命题是等价的：,(3)xH,x关于en的Fourier级数收敛于x,即x可以展开成关于en的Fourier级数:,(1)en是H中的完全标准正交系；,(4)xH,Parseval等式成立。定理12(正,五、可分希尔伯特空间,根据前面的讨论，L2-,上的确存在至多可列的完全标准正交系。事实上，这个结论与可分的希尔伯特空间也是成立的。,定理15(H可分的充要条件完全标准正交系的存在性)H是可分的希尔伯特空间H有至多可列的完全标准正交系en.,定理16(可分希尔伯特空间的同构性)(1)任意有限维可分的希尔伯特空间必与Rn同构；(2)任意无限维可分的希尔伯特空间必与l 2同构。,证 H是可分存在H的完全标准正交系e1,e2,en或e1,e2,en,.,作映像:HRn（或l 2）,(x)=(,)（或(x)=(,)）,是一一映像且保持线性运算和内积不变，即H与Rn(或l 2）同构,五、可分希尔伯特空间 根据前面的讨论，L2-,注:(1)欧式空间Rn任可以看作是有限维可分的希尔伯特空间的模型；(2)l 2空间可以看作是无限维可分的希尔伯特空间的模型。(3)对可分的希尔伯特空间的研究可以转化为对Rn或l 2的研究，要研究某可分的希尔伯特空间中的函数，只要研究该函数的傅立叶系数就够了。,注:,