专题十内积空间与希尔伯特空间讲稿.doc

专题十内积空间与希尔伯特空间讲稿 专题十内积空间与希尔伯特空间元素的长度（范数）?内积空间与希尔伯特空间?内积空间+完备性?希尔伯特空间?欧氏空间?线性空间+内积?内积空间两向量夹角与正交?内积空间特点1内积与内积空间 一、内积空间与希尔伯特空间的概念内积公理理定义1设H是数域K上的线性空间，定义函数:H?H?K,使对对?x,y,z?H,?K,满足1)=+=?4)?0,且=0?x=0则称为数域K中x与y的的内积,而称定义了内积的空间H为为内积空间。 注1)当当数域K为实数域时，称H为实的内积空间；当数域K为复数域C时，则称H为复的内积空间。 2)=?+?3)=4)=?3)=?+?2由内积诱导的范数及由内积诱导的距离定义2 (1)范数?x x x,称为由内积诱导的范数。 (2)距离函数?y x y x y x y x,),(?称为由内积诱导的距离。 注注: (1)内积与由内积诱导的范数的三角不等式关系许瓦兹不等式|?|x|y| (2)内积与由内积诱导的范数的等式关系)(41,2222iy x i iy xiy x y x y x? (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维欧氏空间R n按照内积?nkk ky x y x1,是内积空间。 R n中由内积导出的距离为2112,),(?nii iy x y x y x yx?R n按照由内积导出的范数?nkkx x12因而是Hilbert空间。 是Banach空间，例例2l2空间按照内积?1,kk kyxyx是内积空间。 l2按照由内积导出的范数?nkkx x12是是Banach空间，因而是Hilbert空间。 l2中由内积导出的距离为2112,),(?ii iyxyxyxyx?(许瓦兹不等式)例例3L2a,b空间按照内积dt ty t xyxba?)()(,是内积空间。 L2a,b按照由内积导出的范数212)(?badt t x x是是Banach空间，因而是Hilbert空间。 L2a,b中由内积导出的距离为212)()(,),(?bat ytxyxyxyx?Ca,b中范数不满足平行四边形公式，例例4Ca,b按照范数是线性赋范空间，)(max,tx xb at?但但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=5?4=2(|x|2+|y|2)?因而不是由内积导出的范数?Ca,b不是内积空间5内积空间中的极限证证x n?x?|x n-x|?0y n?y?|y n-y|?0?|-?|-|+|-|?|x n-x|y n|+|x|y n-y|?0?(n?)?yxyxyx x x xnnnnn,lim0,lim,定义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,则则?注距离函数、范数、内积都是连续函数（线性运算对内积的连续性）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空间是唯一的。 二、内积空间中的正交分解与投影定理在解析几何中，有向量正交和向量投影的概念，而且两个向量正交的充分必要条件是它们的内积等于0，而向量x在空间中坐标平面上的正交投影向量x0是将向量的起点移到坐标原点，过向量的终点做平面的垂线所得的垂足与原点之间的有向线段而得到的。 且有x=x0+x1,其中x1?该坐标平面。 这时称x=x0+x1为为x关于做表面的正交分解。 下面将把正交分解和正交投影的概念与推广到一般的内积空间中。 其中的投影定理是一个理论和应用上都极其重要的定理，利用投影定理可以将内积空间分解成两个字空间的正交和。 这是内积看所特有的性质，这个定理在一般的巴拿赫空间中并不成立（因为巴拿赫空间中没有正交性的概念）。 在实际应用中，投影定理还常被用来判定最佳逼近的存在性和唯一性。 x0x1x?1正交的概念定义5(正交)设H是内积空间，x,y?H,M,N?H. (1)x?y?=0; (2)x?M?y?M,都有=0; (3)M?N?x?，?y?N,都有=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中的正交补。 注正交补的性质U U?0,0)1(0,)2(?M M U M?MUM,)3(是是U的闭线性子空间，即U的完备子空间，事实上，?x,y?L?及及?z?L,有=0,=0?=?+?=0?L?L?为为H线性子空间?x n?L?,x n?x,?z?L?=lim=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?).?y n?M,使得|y n-x|?d(n?)(下确界定义)证证?x?H,令x到M的距离?(x,M)=inf|x=y|?0y?M 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)-2x|2(平行四边形公式)?2|y m-x|2+2|x-y n|2-4d2?0(m,n?)d xyyMy ynm nm?222)证明x n在M中收敛1)证明y n是基本列M使Hilbert空间的闭线性子空间?M是完备的?x0?M,使y n?x0,|y n-x|?|x0-x|(n?)?d=|x-x0|=inf|x-y|y?M?x n是基本列3)证明x0是是x在M中的正交投影记记x1=x-x0,?z?M,z?,?C?x0+?z?M|x-x0|2?|x-(x0+?z)|2=|x-x0|2-?-?-|?|2|z|2?+?-|?|2|z|2?0特取2020,zx xzzz x x?|2?0?|=04)证明x0是唯一的，从而上述正交分解式也是唯一的?x1=x-x0?M?x=x0+x1?=0?x-x0?z设设x0,x0使使x在M上的两个正交投影，则|x0-x0|=0,x1=x0=x0注1)由定理的证明过程易知,只要M是H的完备子空间,而而H本身不完备,定理结论也成立。 从而上述正交分解式也唯一一.2)设e n是内积空间H的标准正交系,x?H,c k=,则?nkk knkk ke x e c x11?即对任何数组?1,?2,?n,有?nkk knkk ke e x ecx110,是是x在内积空间H上的正交投影2正交投影的应用最佳逼近问题 (1)最佳逼近问题的一般提法设H是Hilbert空间，x,x1,x2,x n?H,要求寻找出n个数?1,?2,?n,使得?nkk knkk kx x x xn1),.,(11min?即要求出,.,2110nnkk kx x xspan x x?使得|x-x0|最小。 (2)最佳逼近问题的几何解释记记M=spanx1,x2,x n?H,则?nkkkxx1?表示x到M上某点的距离?nkk knkk kx x x xn1),.,(11min?表示x到M的最短距离?nkkkx x10?表示x在M上的正交投影最佳逼近问题实际上就是求正交投影的问题 (2)最佳逼近问题的求解步骤设设x n?M线性无关，记M=spanx1,x2,x n?H?唯一的x0:M x xnkk k?10?使得|x-x0|=inf|x-y|,且对?y?M,有=0?=0(x k?M,k=1,2,n)?=(x k?M,k=1,2,n),.2,1(,1n kx x x xkknkkk?),.2,1(,1n kx x x xkknkkk?M是H的闭线性子空间?),.2,1(,1111111111n kx x xxx xx xxxxxx xxxxxxxxxxxn n nk nnkn n n nnk?0110,xxxxxnkk k? 三、内积空间中的正交系与傅立叶级数1正交系的概念在解析几何中，向量i,j,k起着坐标架的作用，他们两两正交，R3中一切向量x都能由他们线性表示x=x1i+x2j+x3k。 这是解析几何的基础。 R3中的向量正交概念?一般内积空间中的向量正交概念定义7(正交集与标准正交系)设H是内积空间,M?H,（ （1）如果对?x,y?M,x?y,都有=0，则称M是H中中的正交系。 ?.,1;,0,n mnme enm（ （2）e n?H,若则称e n是H中的标准正交系。 2正交的性质例如 （1）i,j,k是R3中的标准正交系。 ,.cos1,cos1,.,sin1,cos1,21nt nt t t?是是L2-?,?中的标准正交系。 （ （3）e1=(1,0,0,0,0,),e2=(0,1,0,0,0,),e n=(0,0,0,1,0,)定理4(勾股定理的推广)设H是内积空间，若x1,x2,.,x n?H是正交系，则有|x1+x2+x n|2=|x1|2+|x2|2+|x n|2 （2）是是l2中的标准正交系。 定理7设H是内积空间，若M=e1,e2,.,e n,?H是标准正交系，则e1,e2,e n,是线性独立系，即e1,e2,.,e n,中的任何有限组是线性无关的。 证证?n,令?1e1+?n e n=0?=0?j=?j=0?e1,e n线性无关?e1,e n,是线性独立系。 定理8(Gram-Schmidt正交化定理)设H是内积空间,x1,x2,.,x n,?H是H中任一个线性独立系，则可将其进行标准正交化，得到一个标准正交系。 定理8设H是内积空间，e1,e2,.,e n,?H是标准正交系，记记M n=spane1,e n. (1)若x=?1e1+?2e2+?n e n,则?i=; (2)若?x?X,x n=e1+e n?M n,则y?M n|x-x n|2=|x|2-|x n|2=?(x,M n)=inf|x-y|x-x n?M n,|x n|2=|2+|2 (3)?x?X,x n=e1+e n?M n即为x在M n上上的正交投影。 （最佳逼近定理）?y?M n?x n-y?M n?x-x n?x n-y?|x-y|2=|(x-x n)+(x n-y)|2=|x-x n|2+|x n-z|2?|x-x n|2?|x-x n|2=inf|x-z|=?(x,M n)y?M n证证 (1)=?i=?i (2)显然x n=e1+e n?M n,=(i=1,2,n)?x-x n?M n?x-x n,e1,e n两两正交,且x-x n?x n.?=0(i=1,2,n).?|x n|2=|e1+e n|2=|e1|2+|e n|2=|2+|2?|x|2=|(x-x n)+x n|2=|x-x n|2+|x n|2?|x-x n|2=|x|2-|x n|2定理9(贝塞尔(bessel)不等式)设H是内积空间,e1,e2,.,e n,?H是标准正交系，则?x?H,有?122,iix ex证证由定理8有，x n=e1+e n,?x?H,|x|2=|x-x n|2+|x n|2?|x n|2=|x|2-|x-x n|2?|x|2?|2+|2?|x|2?|2+|2+?|x|2(n?)推论设H是内积空间,e1,e2,.,e n,?H是标准正交系，则则?x?H,有lim=0.n?证证根据定理9，级数?|2收敛?lim=0.n?3内积空间中的傅立叶级数定义8(Fourier级数)设H是内积空间，e n(n=1,2,)是是H中的标准正交系，x?H,则称c n=(n=1,2,)为x关于e n的Fourier系数，而称?11,nn nnn ne exec为为x关于e n的Fourier级数。 记作注1)?x?H,x的Fourier系数c n=(n=1,2,)满足Bessel不等式2)微积分学中的Fourier级数是L2a,b上元素x关于标准正交系,.cos1,cos1,.,sin1,cos1,212b aL nt nt tt?的的Fourier级数。 ?1,nnneexx3)?x?H,x的Fourier系数c n=(n=1,2,)是平方可和的，即c n?l2.问题由定理8可知，对?x?H,及任何n,x n=e1+e n到x的距离最小，那么当n?时，x n是否收敛于x呢？即即x的Fourier级数e1+e n+是否收敛于于x？或者说x能否展开成傅立叶级数？4内积空间中的傅立叶级数的收敛性定理11(Fourier级数收敛的充要条件)设e n是内积空间H的标准正交系,x?H,则x关于e n的Fourier级数收敛于x的充要条件是成立巴塞弗(Parseval)等式?122,iix ex证证由定理8知，若?x?X,取x n=e1+e n,则则x-x n?x n,且222n nxxxx?122222,lim0)(limii nnnnexxxxx,122?nii nexx0,lim0lim lim1?ninnnnnne xxxxxx问题对于nn维欧氏空间而言，如果基向量的个数小于n,则空间中的一些向量就无法用这些基向量线性表示。 这时可以认为基向量没有选“完全”。 此时不能保证Parseval等式成立，而只有Bessel不等式成立。 只有基向量的个数等于nn时，才能认为基向量是“完全”的。 对于一般的无限维内积空间，也只有当基选完全时，才能保证Parseval等式成立，从而使得空间中的任何元素都能由这组完全的基线性表示，其傅立叶级数才能收敛于自身，或者说，H H中的任何元素都可以展开成傅立叶级数。 那么，如何确认其基向量是完全的呢？为此引入下面的定义定义