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

机动 目录 上页 下页 返回 结束,第,1,页,第五章 内积空间与希尔伯特,空间,内积空间与,希尔伯特空间,内积空间,+,完备性,希尔伯特空间,欧氏空间,线性空间,+,内积,内积,空间,元素的长度（范数）,两向量夹角与正交,内积空间特点,：,第五章 内积空间与希尔伯特空间内积空间与希尔伯特空间内积空,1,内积与内积空间,一、内积空间与希尔伯特空间的概念,定义,1,设,H,是数域,K,上的线性空间,，定义函数,:,H,H,K,使得：对,x,y,z,H,K,满足,则称,为数域,K,中,x,与,y,的内积,而称定义了内积的空间,H,为内积空间。,注,：,1),当数域,K,为实数域时，称,H,为实的内积空间；,当数域,K,为复数域,C,时，则称,H,为复的内积空间。,1 内积与内积空间一、内积空间与希尔伯特空间的概念定义1,2,由内积诱导的范数及由内积诱导的距离,定义,2 (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 线性赋范空间成为内积空间（范数是由内积导出的范数）的充,例,1,n,维欧氏空间,R,n,按照内积,是内积空间。,R,n,中由内积导出的距离为,R,n,按照由内积导出的范数,因而是,Hilbert,空间。,是,Banach,空间，,例1 n维欧氏空间Rn按照内积是内积空间。Rn中由内积导出的,l,2,按照由内积导出的范数,是,Banach,空间，因而是,Hilbert,空间。,l,2,中由内积导出的距离为,例,2,l,2,空间按照内积,是内积空间。,(,许瓦兹不等式,),l 2按照由内积导出的范数 是Banach空间，因而是H,例,3,L,2,a,b,空间按照内积,是内积空间。,L,2,a,b,按照由内积导出的范数,是,Banach,空间，因而是,Hilbert,空间。,L,2,a,b,中由内积导出的距离为,例3 L2a,b空间按照内积是内积空间。L2a,b,C,a,b,中范数不满足平行四边形公式，,例,4,C,a,b,按照范数,是线性赋范空间，,但,C,a,b,不是内积空间,.,证 取,x,=,1,y,=(,t-a,)/(,b-a,),C,a,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,),因而不是由内积导出的范数,C,a,b,不是内积空间,Ca,b中范数不满足平行四边形公式，例4 Ca,5,内积空间中的极限,证,x,n,x,|,x,n,-x,|,0,y,n,y,|,y,n,-y,|,0,|,-,|,-,|+|,-,|,|,x,n,-x,|,y,n,|+|,x,|,|,y,n,-y,|,0,(,n,),定义,4,（极限）设,X,是内积空间，,x,n,X,x,X,及,y,X,定理,2,设,H,是希尔伯特空间，则,H,中的内积,是,x,y,的连续函数,即,x,n,、,y,n,H,x,y,H,若,x,n,x,y,n,y,则,.,注,：距离函数、范数、内积都是连续函数,（线性运算对内积的连续性）,5 内积空间中的极限证 xnx|xn-x|,6,内积空间的完备化,定义,5,(,内积空间的同构,),设,X,Y,是同一数域,K,上的内积空间，若存在映射,T:X,Y,保持线性运算和内积不变,即,x,y,X,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,在空间中坐标平面上的正交投影向量,x,0,是将向量的起点移到坐标原点，过向量的终点做平面的垂线所得的垂足与原点之间的有向线段而得到的。且有,x=x,0,+x,1,其中,x,1,该坐标平面。这时称,x=x,0,+x,1,为,x,关于做表面的正交分解。,下面将把正交分解和正交投影的概念与推广到一般的内积空间中。其中的投影定理是一个理论和应用上都极其重要的定理，利用投影定理可以将内积空间分解成两个字空间的正交和。这是内积看所特有的性质，这个定理在一般的巴拿赫空间中并不成立（因为巴拿赫空间中没有正交性的概念）。在实际应用中，投影定理还常被用来判定最佳逼近的存在性和唯一性。,x,0,x,1,x,二、内积空间中的正交分解与投影定理 在解析几何中，有向量正,1,正交的概念,定义,5,(,正交,),设,H,是内积空间,x,y,H,M,N,H,.,(1),x,y,=0,;,(2),x,M,y,M,都有,=,0,;,(3),M,N,xM,，,yN,都有,=0,.,定理,4,(,勾股定理,),设,H,是内积空间,若,x,y,H,且,x,y,则,|,x+y,|,2,=|,x,|,2,+|,y,|,2,注,:,1,）,在一般的内积空间中，若,x,y,，,则有,勾股定理,|,x+y,|,2,=|,x,|,2,+|,y,|,2,成立，但反之不然。,事实上，,|,x+y,|,2,=|,x,|,2,+|,y,|,2,+2,Re,(,x,y,),2）,在实内积空间中，,x,y,|,x+y,|,2,=|,x,|,2,+|,y,|,2,，,即,勾股定理,成立,1 正交的概念 定义5 (正交)设H是内积空间,x,y,定义,6,(,正交补,),设,H,是内积空间,M,H,称集合,M,=,x,|,x,y,y,M,为,M,在,H,中的正交补。,注,：正交补的性质：,是,H,的闭线性子空间，即,H,的,完备子空间,.,事实上，,x,y,M,及,z,M,有,=,0,=0,=,+,=,0,M,M,为,H,线性子空间,x,n,L,x,n,x,z,M,=,lim,=,0,x,M,M,为,H,的闭子空间,定义6 (正交补)设H是内积空间,MH,称集合,定义,10,(,正交分解与正交投影,),设,H,是内积空间，,M,H,是线性子空间，,x,H,如果存在,x,0,M,x,1,M,使得,x=x,0,+x,1,（1）,则称,x,0,为,x,在,M,上的正交投影，而称,(,1,),式为,x,关于,M,的,正交分解,。,2,正交分解与正交投影,定理,14,(,投影定理,),设,M,是希尔伯特空间,H,的闭线性子空间,则对,x,H,在,M,中存在唯一的正交投影,x,0,使得,x,=,x,0,+,x,1,(,其中,x,1,M,).,y,n,M,使得,|,y,n,-x,|,d,(,n,),(,下确界定义,),证,x,H,令,x,到,M,的距离,定义10 (正交分解与正交投影)设H是内积空间，MH,M,是,H,的线性子空间,y,m,y,n,M,有,0,|,y,m,-y,n,|,2,=|(,y,m,-x,)+(,x-y,n,)|,2,=|(,y,m,-x,)+(,x-y,n,)|,2,+|(,y,m,-x,)-(,x-y,n,)|,2,-|(,y,m,-x,)-(,x-y,n,)|,2,=2|,y,m,-x,|,2,+2|,x-y,n,|,2,-|(,y,m,+,y,n,)-2,x,|,2,(,平行四边形公式,),2|,y,m,-x,|,2,+2|,x-y,n,|,2,-4,d,2,0 (,m,n,),2),证明,x,n,在,M,中收敛,1),证明,y,n,是基本列,M,是,Hilbert,空间的闭线性子空间,M,是完备的,x,0,M,使,y,n,x,0,|,y,n,-x,|,x,0,-,x,|,(,n,),x,n,是基本列,M是H的线性子空间ym,ynM,有0|ym-,3),证明,x,0,是,x,在,M,中的正交投影,记,x,1,=,x-x,0,z,M,z,C,x,0,+,z,M,特取,4),证明,x,0,是唯一的，从而上述正交分解式也是唯一的,设 是,x,在,M,上的两个正交投影，则,3)证明x0 是x在M中的正交投影记x1=x-x0,z,注,：,1),由定理的证明过程易知,只要,M,是,H,的完备子空间,而,H,本身不完备,定理结论也成立,.,从而上述正交分解式也唯一,.,2),设,e,n,是内积空间,H,的标准正交系,x,H,c,k,=,则,即对任何数组,1,2,n,有,是,x,在内积空间,H,上的正交投影,注：1)由定理的证明过程易知,只要M是H的完备子空间,而H本,2,正交投影的应用,最佳逼近问题,(1),最佳逼近问题的一般提法,:,设,H,是,Hilbert,空间,x,x,1,x,2,x,n,H,要求寻找出,n,个数,1,2,n,使得,即要求出,使得,|,x-x,0,|,最小。,(2),最佳逼近问题的几何解释：,记,M,=span,x,1,x,2,x,n,H,则,表示,x,到,M,上某点的距离,表示,x,到,M,的最短距离,表示,x,在,M,上的正交投影,最佳逼近问题实际上就是求正交投影的问题,2 正交投影的应用最佳逼近问题(1)最佳逼近问题的一般提,(2),最佳逼近问题的求解步骤：,设,x,n,M,线性无关，记,M,=span,x,1,x,2,x,n,H,唯一的,x,0,:,使得,|,x-x,0,|=,inf,|,x-y,|,且对,y,M,有,=0,=,0,(,x,k,M,k=,1,2,n,),=(,x,k,M,k=,1,2,n,),M,是,H,的闭线性子空间,(2)最佳逼近问题的求解步骤：设xnM线性无关，记M,三、内积空间中的正交系与傅立叶级数,1,正交系的概念,在解析几何中，向量,i,j,k,起着坐标架的作用,他们两两正交,R,3,中一切向量,x,都能由他们线性表示：,x=x,1,i+x,2,j+x,3,k,。这是解析几何的基础。,R,3,中的向量正交概念 一般内积空间中的向量正交概念,定义,7,(,正交集与标准正交系,),设,H,是内积空间,M,H,(1),如果对,x,y,M,xy,都有,=,0,，,则称,M,是,H,中的正交系。,(2),设,e,n,H,若,则称,e,n,是,H,中的标准正交系。,三、内积空间中的正交系与傅立叶级数1 正交系的概念 在,2,正交的性质,例如,(,1),i,j,k,是,R,3,中的标准正交系。,是,L,2,-,中的标准正交系。,(3),e,1,=(,1,0,0,0,0,),e,2,=(,0,1,0,0,0,),e,n,=(,0,0,0,1,0,),定理,4,(,勾股定理,的推广,),设,H,是内积空间，若,x,1,x,2,.,x,n,H,是正交系,，则,|,x,1,+,x,2,+,x,n,|,2,=|,x,1,|,2,+|,x,2,|,2,+|,x,n,|,2,(2),是,l,2,中的标准正交系。,2 正交的性质 例如(1)i,j,k 是R3中的标,定理,7,设,H,是内积空间，若,M,=,e,1,e,2,.,e,n,H,是标准正交系,则,e,