专题十 内积空间与希尔伯特空间(讲稿)

专题十内积空间与希尔伯特空间元素的长度（范数）•内积空间与希尔伯特空间•内积空间+完备性希尔伯特空间•欧氏空间线性空间+内积内积空间两向量夹角与正交•内积空间特点：1内积与内积空间一、内积空间与希尔伯特空间的概念内积公理定义1设H是数域K上的线性空间，定义函数·,·:HHK,使对对x,y,zH,K,满足1)x+y,z=x,z+y,z)2)x,z=x,z4)x,x0,且x,x=0x=0则称x,y为数域K中x与y的内积,而称定义了内积的空间H为内积空间。注：1)当数域K为实数域时，称H为实的内积空间；当数域K为复数域C时，则称H为复的内积空间。2)x+y,z=x,z+y,z3)x,y=y,x4)x,y=y,x=x,y3)x,y+z=y+z,x=x,y+x,z2由内积诱导的范数及由内积诱导的距离定义2(1)范数xxx,称为由内积诱导的范数。(2)距离函数yxyxyxyx,),(称为由内积诱导的距离。注:(1)内积与由内积诱导的范数的三角不等式关系——许瓦兹不等式|x,y|||x||||y||(2)内积与由内积诱导的范数的等式关系：)(41,2222iyxiiyxiyxyxyx(3)由内积诱导的范数满足范数公理内积空间按照由内积导出的范数，是线性赋范空间。但反之不然3线性赋范空间成为内积空间（范数是由内积导出的范数）的充分必要条件定理1线性赋范空间X是内积空间x,yX,有||x+y||2+||x-y||2=2||x||2+2||y||(平行四边形公式或中线公式)定义3设H是内积空间，若H按照由内积诱导的范数成为Banach空间，则称H是希尔伯特空间。4希尔伯特空间例1n维欧氏空间Rn按照内积nkkkyxyx1,是内积空间。Rn中由内积导出的距离为2112,),(niiiyxyxyxyxRn按照由内积导出的范数nkkxx12因而是Hilbert空间。是Banach空间，例2l2空间按照内积1,kkkyxyx是内积空间。l2按照由内积导出的范数nkkxx12是Banach空间，因而是Hilbert空间。l2中由内积导出的距离为2112,),(iiiyxyxyxyx(许瓦兹不等式)例3L2[a,b]空间按照内积dttytxyxba)()(,是内积空间。L2[a,b]按照由内积导出的范数212)(badttxx是Banach空间，因而是Hilbert空间。L2[a,b]中由内积导出的距离为212)()(,),(batytxyxyxyx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]不是内积空间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注：距离函数、范数、内积都是连续函数（线性运算对内积的连续性）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空间是唯一的。二、内积空间中的正交分解与投影定理在解析几何中，有向量正交和向量投影的概念，而且两个向量正交的充分必要条件是它们的内积等于0，而向量x在空间中坐标平面上的正交投影向量x0是将向量的起点移到坐标原点，过向量的终点做平面的垂线所得的垂足与原点之间的有向线段而得到的。且有x=x0+x1,其中x1该坐标平面。这时称x=x0+x1为x关于做表面的正交分解。下面将把正交分解和正交投影的概念与推广到一般的内积空间中。其中的投影定理是一个理论和应用上都极其重要的定理，利用投影定理可以将内积空间分解成两个字空间的正交和。这是内积看所特有的性质，这个定理在一般的巴拿赫空间中并不成立（因为巴拿赫空间中没有正交性的概念）。在实际应用中，投影定理还常被用来判定最佳逼近的存在性和唯一性。x0x1x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，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，即勾股定理成立定义6(正交补)设H是内积空间,MH,称集合M={x|xy,yM}为M在H中的正交补。注：正交补的性质：UU}0{},0{)1(}0{,)2(MMUMMUM,)3(是U的闭线性子空间，即U的完备子空间，事实上，x,yL及zL,有x,z=0,y,z=0x+y,z=x,z+x,z=0x+y,zLL为H线性子空间{xn}L,xnx,zLx,z=limxn,z=0xLL为H的闭子空间定义10(正交分解与正交投影)设U是内积空间，MU是线性子空间，xU,如果存在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的距离(x,M)=inf||x=y||0yMM是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)dxyyMyynmnm222)证明{xn}在M中收敛1)证明{yn}是基本列M使Hilbert空间的闭线性子空间M是完备的x0M,使ynx0,||yn-x||||x0-x||(n)d=||x-x0||=inf||x-y||yM{xn}是基本列3)证明x0是x在M中的正交投影记x1=x-x0,zM,z,Cx0+zM||x-x0||2||x-(x0+z)||2=||x-x0||2-x-x0,z-z,x-x0-||2||z||2x-x0,z+z,x-x0-||2||z||20特取2020,,zxxzzzxx|x-x0,z|20|x-x0,z|=04)证明x0是唯一的，从而上述正交分解式也是唯一的x1=x-x0Mx=x0+x1x-x0,z=0x-x0z设x0,x0’使x在M上的两个正交投影，则||x0-x0’||=0,x1=x0=x0’注：1)由定理的证明过程易知,只要M是H的完备子空间,而H本身不完备,定理结论也成立。从而上述正交分解式也唯一.2)设{en}是内积空间H的标准正交系,xH,{ck}={x,ek},则nkkknkkkexecx11即对任何数组1,2,…,n,有nkkknkkkeexecx110,是x在内积空间H上的正交投影2正交投影的应用——最佳逼近问题(1)最佳逼近问题的一般提法：设H是Hilbert空间，x,x1,x2,…,xnH,要求寻找出n个数1,2,…,n,使得nkkknkkkxxxxn1),...,(11min即要求出},...,{2110nnkkkxxxspanxx使得||x-x0||最小。(2)最佳逼近问题的几何解释：记M=span{x1,x2,…,xn}H,则nkkkxx1表示x到M上某点的距离nkkknkkkxxxxn1),...,(11min表示x到M的最短距离nkkkxx10表示x在M上的正交投影最佳逼近问题实际上就是求正交投影的问题(2)最佳逼近问题的求解步骤：设{xn}M线性无关，记M=span{x1,x2,…,xn}H唯一的x0:Mxxnkkk10使得||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)),...2,1(,,,1nkxxxxkknkkk),...2,1(,,,1nkxxxxkknkkkM是H的闭线性子空间),...2,1(,,,,,,,,,,,,1111111111nkxxxxxxxxxxxxxxxxxxxxxxxxnnnknnknnnnnk0110,xxxxxnkkk三、内积空间中的正交系与傅立叶级数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中的标准正交系。2正交的性质例如（1）i,j,k是R3中的标准正交系。,...}cos1,cos1,...,sin1,cos1,21{ntnttt是L2[-,]中的标准正交系。（3）e1=(1,0,…,0,0,0,…),e2=(0,1,…,0,0,0,…),…,en=(0,0,…,0,1,0,…)定理4(勾股定理的推广)设H是内积空间，若