5 内积空间与希尔伯特空间(讲稿)

机动目录上页下页返回结束第1页第五章内积空间与希尔伯特空间•内积空间与希尔伯特空间•内积空间+完备性希尔伯特空间•欧氏空间线性空间+内积内积空间元素的长度（范数）两向量夹角与正交•内积空间特点：机动目录上页下页返回结束第2页1内积与内积空间一、内积空间与希尔伯特空间的概念定义1设H是数域K上的线性空间，定义函数·,·:HHK,使得：对x,y,zH,K,满足则称x,y为数域K中x与y的内积,而称定义了内积的空间H为内积空间。注：1)当数域K为实数域时，称H为实的内积空间；当数域K为复数域C时，则称H为复的内积空间。机动目录上页下页返回结束第3页2由内积诱导的范数及由内积诱导的距离定义2(1)范数xxx,称为由内积诱导的范数。(2)距离函数yxyxyxyx,),(称为由内积诱导的距离。(2)内积与由内积诱导的范数的等式关系：)(41,2222iyxiiyxiyxyxyx(3)由内积诱导的范数满足范数公理内积空间按照由内积导出的范数,是线性赋范空间。但反之不然注:(1)内积与由内积诱导的范数的三角不等式关系——许瓦兹不等式.,yxyx机动目录上页下页返回结束第4页3线性赋范空间成为内积空间（范数是由内积导出的范数）的充分必要条件定理1线性赋范空间X是内积空间x,yX,有||x+y||2+||x-y||2=2||x||2+2||y||2(平行四边形公式或中线公式)定义3设H是内积空间，若H按照由内积诱导的范数成为Banach空间，则称H是希尔伯特空间。4希尔伯特空间机动目录上页下页返回结束第5页例1n维欧氏空间Rn按照内积nkkkyxyx1,是内积空间。Rn中由内积导出的距离为2112,),(niiiyxyxyxyxRn按照由内积导出的范数nkkxx12因而是Hilbert空间。是Banach空间，机动目录上页下页返回结束第6页l2按照由内积导出的范数12kkxx是Banach空间，因而是Hilbert空间。l2中由内积导出的距离为2112,),(iiiyxyxyxyx例2l2空间按照内积1,kkkyxyx是内积空间。(许瓦兹不等式)机动目录上页下页返回结束第7页例3L2[a,b]空间按照内积dttytxyxba)()(,是内积空间。L2[a,b]按照由内积导出的范数212)(badttxx是Banach空间，因而是Hilbert空间。L2[a,b]中由内积导出的距离为212)()(,),(batytxyxyxyx机动目录上页下页返回结束第8页C[a,b]中范数不满足平行四边形公式，例4C[a,b]按照范数是线性赋范空间，)(max],[txxbat但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=54=2(||x||2+||y||2)因而不是由内积导出的范数C[a,b]不是内积空间机动目录上页下页返回结束第9页5内积空间中的极限证xnx||xn-x||0yny||yn-y||0|xn,yn-x,y|xn,yn-x,yn|+|x,yn-x,y|||xn-x||||yn||+||x||||yn-y||0xn,ynx,y(n)yxyxyxxxxnnnnn,,lim0,lim,定义4（极限）设X是内积空间，{xn}X,xX及yX,定理2设H是希尔伯特空间，则H中的内积x,y是x,y的连续函数,即{xn}、{yn}H,x,yH,若xnx,yny,则xn,ynx,y.注：距离函数、范数、内积都是连续函数（线性运算对内积的连续性）机动目录上页下页返回结束第10页6内积空间的完备化定义5(内积空间的同构)设X,Y是同一数域K上的内积空间，若存在映射T:XY,保持线性运算和内积不变,即x,yX,,K,有(1)T(x+y)=Tx+Ty,(2)Tx,Ty=x,y则称内积空间X与Y同构,而称T为内积空间X到Y的同构映射。定理3设X是内积空间，则必存在一个Hilbert空间H，使X与H的稠密子空间同构，而且在同构意义下，满足上述条件的Hilbert空间是唯一的。机动目录上页下页返回结束第11页二、内积空间中的正交分解与投影定理在解析几何中，有向量正交和向量投影的概念，而且两个向量正交的充分必要条件是它们的内积等于0，而向量x在空间中坐标平面上的正交投影向量x0是将向量的起点移到坐标原点，过向量的终点做平面的垂线所得的垂足与原点之间的有向线段而得到的。且有x=x0+x1,其中x1该坐标平面。这时称x=x0+x1为x关于做表面的正交分解。下面将把正交分解和正交投影的概念与推广到一般的内积空间中。其中的投影定理是一个理论和应用上都极其重要的定理，利用投影定理可以将内积空间分解成两个字空间的正交和。这是内积看所特有的性质，这个定理在一般的巴拿赫空间中并不成立（因为巴拿赫空间中没有正交性的概念）。在实际应用中，投影定理还常被用来判定最佳逼近的存在性和唯一性。x0x1x机动目录上页下页返回结束第12页1正交的概念定义5(正交)设H是内积空间,x,yH,M,NH.(1)xyx,y=0;(2)xMyM,都有x,y=0;(3)MNxM，yN,都有x,y=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+2Re(x,y)2）在实内积空间中，xy||x+y||2=||x||2+||y||2，即勾股定理成立机动目录上页下页返回结束第13页定义6(正交补)设H是内积空间,MH,称集合M={x|xy,yM}为M在H中的正交补。注：正交补的性质：HH}0{},0{)1(}0{,)2(MMHMMHM,)3(是H的闭线性子空间，即H的完备子空间.事实上，x,yM及zM,有x,z=0,y,z=0x+y,z=x,z+x,z=0x+y,zMM为H线性子空间{xn}L,xnx,zMx,z=limxn,z=0xMM为H的闭子空间机动目录上页下页返回结束第14页定义10(正交分解与正交投影)设H是内积空间，MH是线性子空间，xH,如果存在x0M,x1M,使得x=x0+x1（1）则称x0为x在M上的正交投影，而称(1)式为x关于M的正交分解。2正交分解与正交投影定理14(投影定理)设M是希尔伯特空间H的闭线性子空间,则对xH在M中存在唯一的正交投影x0,使得x=x0+x1(其中x1M).{yn}M,使得||yn-x||d(n)(下确界定义)证xH,令x到M的距离机动目录上页下页返回结束第15页M是H的线性子空间ym,ynM,有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-4d20(m,n)2)证明{xn}在M中收敛1)证明{yn}是基本列M是Hilbert空间的闭线性子空间M是完备的x0M,使ynx0,||yn-x||||x0-x||(n){xn}是基本列机动目录上页下页返回结束第16页3)证明x0是x在M中的正交投影记x1=x-x0,zM,z,Cx0+zM特取2020,,zxxzzzxx4)证明x0是唯一的，从而上述正交分解式也是唯一的设是x在M上的两个正交投影，则机动目录上页下页返回结束第17页注：1)由定理的证明过程易知,只要M是H的完备子空间,而H本身不完备,定理结论也成立.从而上述正交分解式也唯一.2)设{en}是内积空间H的标准正交系,xH,{ck}={x,ek},则即对任何数组1,2,…,n,有是x在内积空间H上的正交投影机动目录上页下页返回结束第18页2正交投影的应用——最佳逼近问题(1)最佳逼近问题的一般提法:设H是Hilbert空间,x,x1,x2,…,xnH,要求寻找出n个数1,2,…,n,使得即要求出使得||x-x0||最小。(2)最佳逼近问题的几何解释：记M=span{x1,x2,…,xn}H,则表示x到M上某点的距离表示x到M的最短距离表示x在M上的正交投影最佳逼近问题实际上就是求正交投影的问题机动目录上页下页返回结束第19页(2)最佳逼近问题的求解步骤：设{xn}M线性无关，记M=span{x1,x2,…,xn}H唯一的x0:使得||x-x0||=inf||x-y||,且对yM,有x-x0,y=0x-x0,xk=0(xkM,k=1,2,…,n)x0,xk=x,xk(xkM,k=1,2,…,n)M是H的闭线性子空间机动目录上页下页返回结束第20页机动目录上页下页返回结束第21页三、内积空间中的正交系与傅立叶级数1正交系的概念在解析几何中，向量i,j,k起着坐标架的作用,他们两两正交,R3中一切向量x都能由他们线性表示：x=x1i+x2j+x3k。这是解析几何的基础。R3中的向量正交概念一般内积空间中的向量正交概念定义7(正交集与标准正交系)设H是内积空间,MH,(1)如果对x,yM,xy,都有x,y=0，则称M是H中的正交系。.,1;,0,nmnmeenm(2)设{en}H,若则称{en}是H中的标准正交系。机动目录上页下页返回结束第22页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,..,xn}H是正交系，则||x1+x2+…+xn||2=||x1||2+||x2||2+…||xn||2(2)是l2中的标准正交系。机动目录上页下页返回结束第23页定理7设H是内积空间，若M={e1,e2,..,en,…}H是标准正交系,则{e1,e2,…,en,…}是线性独立系，即{e1,e2,..,en,…}中的任何有限组是线性无关的。证n,令1e1+…+nen=01e1+…+nen,ej=0jej,ej=j=0e1,…,en线性无关{e1,…,en,…}是线性独立系。定理8(Gram-Schmidt正交化定理)设H是内积空间,{x1,x2,..,xn,…}H是H中任一个线性独立系,则可将其进行标准正交化，得到一个标准正交系。机动目录上页下页返回结束第24页定理8设H是内积空间，{e1,e2,..,en,…}H是标准正交系，记Mn=span{e1,…,en}.即为x在Mn上的正交投影。(2)若则（最佳逼近定理）(3)(1)若则机动目录上页下页返回结束第25页yMnxn-yMnx-xnxn-y证(1)x,ei=1e1+…+