01_Hilbet空间
希尔伯特空间
一百年前的数学界有两位泰斗:庞加莱和希尔伯特,而尤以后者更加出名,我想主要原因是他曾经在1900年的世界数学家大会上提出了二十三个著名的希尔伯特问题,指引了本世纪前五十年数学的主攻方向,不过还有一个原因呢,我想就是著名的希尔伯特空间了。
希尔伯特空间是希尔伯特在解决无穷维线性方程组时提出的概念,原来的线性代数理论都是基于有限维欧几里得空间的,无法适用,这迫使希尔伯特去思考无穷维欧几里得空间,也就是无穷序列空间的性质。
大家知道,在一个欧几里得空间R^n上,所有的点可以写成为:X=(x1,x2,x3,...,xn)。
那么类似的,在一个无穷维欧几里得空间上点就是:X= (x1,x2,x3,....xn,.....),一个点的序列。
欧氏空间上有两个重要的性质,一是每个点都有一个范数(绝对值,或者说是一个点到原点的距离),||X||^2=∑xn^2,可是这一重要性质在无穷维时被破坏了:对于无穷多个xn,∑xn^2可以不存在(为无穷大)。
于是希尔伯特将所有∑xn^2为有限的点做成一个子空间,并赋以X*X'=∑xn*xn' 作为两点的内积。
这个空间我们现在叫做l^2,平方和数列空间,这是最早的希尔伯特空间了。
注意到我只提了内积没有提范数,这是因为范数可以由点与自身的内积推出,所以内积是一个更加强的条件,有内积必有范数,反之不然。
只有范数的空间叫做Banach空间,(以后有时间再慢慢讲:-)。
如果光是用来解决无穷维线性方程组的话,泛函就不会被称为现代数学的支柱了。
Hilbert空间中我只提到了一个很自然的泛函空间:在无穷维欧氏空间上∑xn^2为有限的点。
这个最早的Hilbert space叫做l^2(小写的l 上标2,又叫小l2空间),非常类似于有限维的欧氏空间。
数学的发展可以说是一部抽象史。
最早的抽象大概是一个苹果和一头牛在算术运算中可以都被抽象为“一”,也就是“数学”本身的起源(脱离具体物体的数字运算)了,而Hilbert space理论发展就正是如此:“内积+ 线性”这两个性质被抽象出来,这样一大类函数空间就也成为了Hilbert space。
希尔伯特空间柯西施瓦茨不等式-概念解析以及定义
希尔伯特空间柯西施瓦茨不等式-概述说明以及解释1.引言1.1 概述希尔伯特空间是数学中一个重要的概念,它是由德国数学家希尔伯特在20世纪初提出的。
希尔伯特空间是一种完备的内积空间,其内积定义了空间中向量的长度和夹角。
希尔伯特空间不仅在数学领域有广泛的应用,还在物理学、工程学等多个领域中发挥着重要作用。
柯西施瓦茨不等式是希尔伯特空间中的一个基本定理,它描述了两个向量之间内积的性质。
柯西施瓦茨不等式指出,对于任意的两个向量,在希尔伯特空间中,其内积的绝对值不超过两个向量的范数乘积。
这一不等式揭示了希尔伯特空间中向量之间的内积关系,为后续的分析提供了重要的基础。
本文将首先介绍希尔伯特空间的定义和一些基本性质,包括内积的性质、完备性等。
然后引入柯西施瓦茨不等式的概念,并对其进行详细的证明。
最后,我们将讨论希尔伯特空间和柯西施瓦茨不等式在实际问题中的应用,并探讨其重要性和未来的研究方向。
通过本文的研究,读者将能够全面了解希尔伯特空间和柯西施瓦茨不等式的内容和应用。
对于数学、物理和工程等领域的学生和研究人员来说,掌握这些基本概念和定理是非常重要的。
希望本文能够为读者提供有益的知识和启发,促进对希尔伯特空间和柯西施瓦茨不等式的更深入理解和应用。
1.2 文章结构文章结构如下:2.正文2.1 希尔伯特空间的定义和性质2.2 柯西施瓦茨不等式的引入2.3 柯西施瓦茨不等式的证明在正文部分,我们将首先介绍希尔伯特空间的定义和性质,以便读者对后续内容有一个清晰的认识。
希尔伯特空间是一种具有内积的完备线性空间,其内积赋予了空间中向量之间的长度和角度的度量。
我们将讨论希尔伯特空间的定义以及一些重要的性质,例如空间的完备性和内积的连续性等。
接下来,我们将引入柯西施瓦茨不等式。
柯西施瓦茨不等式是希尔伯特空间中一项极为重要的基本定理,它描述了内积中的向量之间的关系。
我们将探讨柯西施瓦茨不等式的具体内容及其在希尔伯特空间中的应用。
希尔伯特空间
希尔伯特空间在数学中,希尔伯特空间(以大卫·希尔伯特命名)允许将线性代数和微积分的方法从二维和三维欧几里得空间推广到可能具有无限维数的空间。
希尔伯特空间是一个具有内积运算的向量空间,它允许定义距离函数和垂直度(称为正交性)。
此外,对于这个距离,希尔伯特空间是完备的,这意味着空间中有足够的限制,可以使用微积分技术。
希尔伯特空间在数学和物理中自然而频繁地出现,典型的是无穷维函数空间。
在偏微分方程、量子力学、傅立叶分析(包括信号处理和传热的应用)和遍历理论(形成热力学的数学基础)中,它们是不可或缺的工具。
约翰·冯·诺伊曼创造了希尔伯特空间这个术语,用来描述这些不同应用的抽象概念。
希尔伯特空间方法的成功开创了一个非常富有成果的泛函分析时代。
除了经典的欧几里得空间外,希尔伯特空间的例子还包括平方可积函数空间、序列空间、由广义函数组成的索伯列夫空间和全纯函数的哈代空间。
几何直觉在希尔伯特空间理论的许多方面都起着重要的作用。
毕达哥拉斯定理和平行四边形定律在希尔伯特空间中有确切的类比。
在更深层次上,在子空间上的垂直投影在优化问题和理论的其他方面起着重要的作用。
希尔伯特空间理论是代数、拓扑和几何的融合。
在这个意义上,代数和几何之间的“相互作用”是相当平滑的。
不过,只要考虑到无限维线性空间,情况就会发生变化,这也是拓扑学出现的地方。
对于无限维线性空间,所有的线性算子都是连续的,算子的收敛具有单一的含义,任何线性空间都与它的双重对偶自然同构,而且封闭单位球是紧凑的。
这些便利条件在无限维的情况下并不存在。
虽然基数确实存在,但其存在的证明是非结构性的,而且往往不能明确地给出基数。
因此,依靠坐标和矩阵的技术通常是不合适的。
线性算子不一定是连续的,事实上,许多感兴趣的线性算子都不是连续的。
由两个线性空间之间的所有线性算子组成的空间带有两种不同的拓扑结构,因此也有两种不同的收敛概念。
对偶空间的正确概念是所有连续线性算子进入地五十度的空间,即使如此,原空间也只嵌入其双重对偶中。
希尔伯特空间入门
希尔伯特空间入门希尔伯特空间是数学中的一个重要概念,它是由德国数学家希尔伯特在20世纪初提出的。
希尔伯特空间是一种具有内积的完备线性空间,它在数学分析、量子力学等领域中有着广泛的应用。
本文将介绍希尔伯特空间的基本概念、性质以及一些常见的例子。
一、希尔伯特空间的定义希尔伯特空间是一个向量空间,它具有内积的结构。
设H是一个实数域或复数域上的向量空间,如果在H上定义了一个满足以下条件的二元运算(内积)<x, y>,则称H为希尔伯特空间:1. 对于任意的x, y∈H,有<x, y>=<y, x>(对称性);2. 对于任意的x, y, z∈H和任意的实数a,有<a*x+y, z>=a<x,z>+<y, z>(线性性);3. 对于任意的x∈H,有<x, x>≥0,并且当且仅当x=0时,<x, x>=0(正定性)。
二、希尔伯特空间的性质1. 希尔伯特空间是一个完备的度量空间。
这意味着在希尔伯特空间中,任意一个柯西序列都收敛于该空间中的一个元素。
2. 希尔伯特空间中的范数可以由内积来定义。
对于任意的x∈H,定义||x||=√<x, x>,则||x||是H上的一个范数。
3. 希尔伯特空间中的向量可以进行正交分解。
设H是一个希尔伯特空间,x, y∈H,如果<x, y>=0,则称x和y是正交的。
4. 希尔伯特空间中的向量可以进行投影分解。
设H是一个希尔伯特空间,x, y∈H,如果y是x的一个投影,则y是x在H上的正交投影。
三、希尔伯特空间的例子1. 有限维希尔伯特空间:设V是一个n维向量空间,定义内积为<x, y>=x1y1+x2y2+...+xnyn,则V是一个希尔伯特空间。
2. L2空间:L2空间是所有平方可积函数的集合,定义内积为<f,g>=∫f(x)g(x)dx,则L2空间是一个希尔伯特空间。
第五章 Hilbert空间理论-黎永锦
第5章 Hilbert 空间只要一门科学分支能提出大量的问题,它就充满着生命力, 而问题缺乏则预示独立发展的终止或衰亡.Hilbert D .(希尔伯特)(1862-1943,德国数学家)Hilbert 空间在历史上比赋范空间出现得早,2l 是最早提出来的Hilbert 空间,它是 1912年Hilbert D .在研究积分方程时给出的,而Hilbert 空间的公理化定义直到1927年才由Neumann V J ..在量子力学的的数学基础这一论文中给出,但它的定义包含了可分性的条件,llich F Lowig H Re .,.和Riesz F .在1934年指出,对于绝大部分理论,可分性是不必要的,因此可分性的条件就去掉了.5.1 内积空间在2R 中,把一个点看成一个向量,对于2R 的任意两个点),(),,(2121y y y x x x ==,定义内积2211),(y x y x y x +=,则可把向量的垂直、交角、投影等用内积来刻画,并且内积具有很好的性质.定义 5.1.1 设X 是线性空间,若存在X X ⨯到K 的一个映射,使得对任意X z y x ∈,,, 有(1) ),(),(x y y x =;(2) ),(),(),(z y z x z y x βαβα+=+;(3) 0),(≥x x , 且0),(=x x 当且仅当0=x 时成立.则称X 内积空间.在.}C ,)||(,|){(21212为复数这里+∞<∈=∑∞=i ii i x C x x l 上,定义内积为∑∞==1),(i i i y x y x ,则明显地,2l 是一个内积空间.n R 中的S c h w a r C a u c h y -不等式可以追溯Lagrange 和Cauchy ,积分形式的S c h w a r z C a u c h y -不等式是ky Bouniakows 在1859年和Schwarz 在1885证明的.2l 中的S c h w a r z C a u c h y -不等式则是Schmidt 在1908年得到的.抽象的Schwarz Cauchy -不等式是Neumann von 在1930年证明的.在内积空间X 中,有下面的Schwarz Cauchy -不等式成立.定理5.1.1(Schwarz Cauchy -不等式) 若X 是内积空间,则对任意X y x ∈,,有),(),(|),(|2y y x x y x ⋅≤证明 明显地,只须证明0≠y 时不等式成立.对于任意0,≠∈y K λ,有2||),(}),Re{(2),(),(λλλλ⋅++=++y y y x y x y x y x 取),(),(y y y x -=λ, 则 0),(),(|),(|),(|),(|2),(222≥+-y y y y y x y y y x x x 因此),(),(|),(|2y y x x y x ⋅≤.利用S ch wa r z Ca u ch y -不等式,可以证明任意的内积空间X 都可以定义范数),(||||x x x =,使之成为赋范空间.定理5.1.2 设X 是内积空间,),(||||x x x =,则||||⋅是X 的范数.证明 由内积的定义可知0||||=x 时,有0=x . 由于),(||),(),(2x x x x x x λλλλλ==因此,||||||),(||),(||||x x x x x x λλλλλ===.对于任意X y x ∈,,由Cauchy 不等式,有),(),(),(2),(),()],Re[(2),(),(||||21212y y y y x x x x y y y x x x y x y x y x ++≤++=++=+ 因而||||||||||||y x y x +≤+,所以||||⋅是X 的范数.由上面定理可知,对于任意内积空间,),(||||x x x =是X 的范数,一般称这一范数为内积),(y x 诱导的范数,在这一范数的意义下,可以把内积空间X 看成赋范空间||)||,(⋅X ,这样的内积空间X 上可以使用赋范空间||)||,(⋅X 的所有概念,如序列的收敛和子集的列紧性、完备性等.定义 5.1.2 若内积空间X 在范数),(||||x x x =下是B a n a c h 空间,则称X 是Hilbert 空间.容易证明,2l 是Hilbert 空间. 内积空间还具有许多很好的性质.定理5.1.3 设X 是内积空间,若y y x x n n →→,,则),(),(y x y x n n →.证明 由于 |||||||||||||||||),(||),(||),(),(||),(),(||),(),(|y y x y x x y y x y x x y x y x y x y x y x y x n n n n n n n n n n n n -⋅+⋅-≤-+-=-+-≤-因此y y x x n n →→,时,有),(),(y x y x n n →.不难证明,对于内积空间X ,有如下的极化恒等式成立.定理5.1.4 设X 是实内积空间,则对任意X y x ∈,,有)||||||(||41),(22y x y x y x --+= 定理5.1.5 设X 是复内积空间,则对任意X y x ∈,,有)||||||||||||||(||41),(2222iy x i iy x i y x y x y x --++--+=由于内积空间具有很好的几何直观性,而每一个内积空间都可以引入范数),(||||x x x =, 使之成为赋范空间,因此可以考虑如下问题.问题 5.1.1 对于任意赋范空间X ,可否定义内积使之成为内积空间,且满足),(||||x x x = ?例如,在赋范空间1l 中,对于任意1,l y x ∈,定义∑∞==1),(i i i y x y x ,则),(y x 是否为 1l 的内积,并满足),(||||x x x =?定理 5.1.6 设X 是赋范线性空间,则在X 可以定义内积),(,使之成为内积空间,且),(||||x x x =的充要条件为对任意X y x ∈,,有)||||||(||2||||||||2222y x y x y x +=-++证明 若X 可以定义内积,使之成为内积空间,且),(||||x x x =,则2222||||2||||2),(2),(2),(),(||||||||y x y y x x y x y x y x y x y x y x +=+=--+++=-++反过来,若对于任意X y x ∈,,有)||||||(||2||||||||2222y x y x y x +=-++.为了简明起见,这里只证X 是实赋范空间的情形.令 )||||||(||41),(22y x y x y x --+=,则 (1) ),(),(x y y x =;(2) 0),(≥x x 且0),(=x x 且当仅当0=x ;(3) 对于任意X z y x ∈,,,有)]||2||||)2((||2)||2||||)2((||2[41])||2)2(||||2)2((||)||2)2(||||2)2([(||41)||)(||||)((||41),(2222222222y x z y x y x z y x y x z y x y x z y x y x z y x y x z y x z y x z y x z y x +++--++++=+--++++-+-+-+++++++=-+-++=+ )||2||||2(||2122z y x z y x -+-++= 由于)||2||||2(||21)]||2||||2(||2)||2||||2(||2[41])||2)2(||||2)2((||)||2)2(||||2)2([(||41)||||||||||||||(||41),(),(22222222222222z y x z y x y x z y x y x z y x y x z y x y x z y x y x z y x y x z y x z y z y z x z x z y z x -+-++=-+-+--+++=---++-+-+---+++-+++=--++--+=+ 因此,),(),(),(z y z x z y x +=+.对于任意X y x R ∈∈,,λ,令),()(y x f λλ=,则)(λf 为连续函数,且)()()(2121λλλλf f f +=+,因此)(λf 是线性的,即λλ⋅=)1()(f f ,因而),(),(y x y x λλ=. 由222||||)||||||(||41),(x x x x x x x =--+=可知),(||||x x x =,因此),(y x 是X 上的内积,且),(||||x x x =.在上面定理的证明中,当X 是复赋范空间时,令)||||||||||||||(||41),(2222iy x i iy x i y x y x y x --++--+=, 则可证明),(y x 就是X 上的内积,且满足),(||||x x x =.由以上定理可知,一般的赋范线性空间||)||,(⋅X 不一定可以定义内积),(⋅⋅,使之成为内积空间,且满足),(||||x x x =.例 5.1.1 在∞l 中,取),0,1,1(),,0,0,1,1( -==y x ,则1||||,1||||==y x ,但2||||||||=-=+y x y x ,因此)||||||(||2||||||||2222y x y x y x +≠-++,所以在∞l 上不能定义内积,使得∞l 成为内积空间,且满足),(||||x x x =.利用前面定理,还可以证明内积空间一定是严格凸的.定理5.1.8 设X 是内积空间,则X 一定是严格凸的赋范空间.证明 对于任意X y x ∈,,若y x ≠,且1||||||||==y x ,则由 )||||||(||2||||||||2222y x y x y x +=-++可知4||||4||||22<--=+y x y x ,因而1||2||<+y x ,所以X 是严格凸的.5.2 投影定理内积空间是n R 的自然推广,在内积空间X 上,可以把向量空间n R 的正交和投影等概念引进来.定义5.2.1 设X 是内积空间,X y x ∈,,若0),(=y x ,则称x 与y 正交,记为y x ⊥. 若X M X x ⊂∈,,且对任意M y ∈,有0),(=y x ,则称x 与M 正交,记为M x ⊥.若对任意N y M x ∈∈,,都有0),(=y x ,则称M 与N 正交,记为N M ⊥.若X M ⊂,则称}|{M x X x M ⊥∈=⊥为M 的正交补.例题 5.2.1 设]1,1[-C 为[-1, 1]上的实连续函数全体,内积为⎰-=11)()(),(dt t y t x y x ,若M为[-1, 1]上的实连续奇函数全体,试证明M 的正交补为[-1, 1]上的实连续偶函数全体.证明 (1) 若y 为[-1, 1]上的实连续偶函数,则对所有,M x ∈)()(t y t x 都是[-1, 1]上的实连续奇函数,从而0)()(),(11==⎰-dt t y t x y x ,因此⊥∈M y . (2) 反过来,若⊥∈M y ,令)()()(t y t y t z --=,则)()()()(t z t y t y t z -=--=-,从而)(t z为奇函数,因此M z ∈,所以0),(=z y .由于)()()()()()]()([)(2t z t y t z t y t z t y t y t z --+=--=,因此 0),(),()()()()()(1111112=+=--+=⎰⎰⎰---z y z y dt t z t y dt t z t y dt t z从而 0)]()([112=--⎰-dt t y t y 由)(t y 是连续函数可知)()(t y t y -=,即)(t y 一定是偶函数.由(1)和(2)可知,M 的正交补为[-1, 1]上的实连续偶函数全体.明显地,由以上的定义可以看出下面定理成立.定理5.2.1 设X 为内积空间,X M X x ⊂∈,,则(1) 当y x ⊥时,有222||||||||||||y x y x +=+;(2) 当y x ⊥且z x ⊥时,有)(21z y x λλ+⊥对于任意K ∈21,λλ都成立;(3) 当N M ⊥时,有⊥⊂N M ,且⊥⊂M N ;(4) 当N M ⊂时,有⊥⊥⊃N M ;(5) }0{⊂⊥M M ,对任意X M ⊂成立.定理5.2.2 设X 是内积空间,X M ⊂,则⊥M 是X 的闭线性子空间.证明 对于任意 ⊥∈M y x ,,及M z ∈,有 0),(=z x 且 0),(=z y因此,对任意 K ∈βα,,有0),(),(),(=+=+z y z x z y x βαβα故⊥∈+M y x βα,即⊥M 是线性子空间.若x x M x n n →∈⊥,,则对任意M z ∈,有0),(lim ),(==∞→z x z x n n , 因此⊥∈M x ,所以,⊥M 是X 的闭线性子空间.定理5.2.3 设X 是内积空间,X M ⊂,则⊥⊥=M M span ))((.证明: 对于M M span ⊃)(因此⊥⊥⊂M M span ))((.反过来,对任意⊥∈M x ,有⊥⊂}{x M ,由上面定理可知⊥}{x 是闭子空间, 故⊥⊂}{x M span ,因而⊥∈))((M span x ,所以⊥⊥⊂))((M span M ,从而⊥⊥=M M span ))((. 定义 5.2.2设X 是内积空间,M ,N 是X 的线性子空间,若N M ⊥,则称},|{N y M x y x H ∈∈+=为M 与N 的正交和,记为N M H +=.如在2R 中,取}|),0{(},|)0,{(2211R x x N R x x M ∈=∈=,则N M ⊥,且N M R +=2.定义5.2.3 设M 是内积空间X 的线性子空间,X x ∈,若存在⊥∈∈M y M x ,0,使得y x x +=0则称0x 为x 在M 上的投影.在3R 中,对},|)0,,{(2121R x x x x M ∈=,及任意 X x x x x ∈=),,(321,有⊥∈=∈=M x y M x x x ),0,0(,)0,,(3210,使得y x x +=0即0x 为x 在M 上的投影.定理5.2.4 设X 是内积空间,M 是X 的子空间,X x ∈,若0x 是x 在M 上的投影,则||||inf ||||0z x x x Mz -=-∈ 证明 由于0x 是x 在M 上的投影,因此M x ∈0且M x x ⊥-0,故对于任意M z ∈,有M z x ∈-0,因而z x x x -⊥-00,故2020202002||||||||||||||)()(||||||x x z x x x z x x x z x -≥-+-=-+-=-,所以,||||inf ||||0z x x x Mz -=-∈. 在3R 中,若取},|)0,,{(2121R x x x x M ∈=,则对任意X x x x x ∈=),,(321,x 在M 上的投影)0,,(210x x x =与x 的距离是x 到M 上的最短距离.Schmidt E .在讨论 Hilbert 的原型2l 空间时,在2l 证明了对任一固定的闭子空间M ,若x 是2l 的任一点,则存在唯一的⊥∈∈M y M x ,0,使得y x x +=0,这就是现在的投影定理.定理5.2.5 设M 是Hilbert 空间X 的闭子空间,则对任意X x ∈,x 在M 上存在唯一的投影,即存在⊥∈∈M y M x ,0,使得y x x +=0,且这种分解是唯一的.证明 对于X x ∈,令||||inf ),(z x M x d d Mz -==∈,则存在M x n ∈,使得 d x x n n =-∞→||||lim . 由于M x x n m ∈+2,因此d x x x n m ≥-+||2||. 故 ||)2||||||(||2)||2||2||||||(||2)||2||2(2||||22222222d x x x x x x x x x x x x x x x n m n m n m n m n m --+-≤-+--+-=-=- 由d x x n →-||||,可知}{n x 是Cauchy 列.由于X 是Hilbert 空间,且M 是闭凸集,因此存在M x ∈0,使得0x x n →,所以),(||||0M x d x x =-.令0x x y -=,则y x x +=0,因此下面只须证明M y ⊥.对任意0,≠∈z M z ,及任意K ∈λ,有M z x ∈+λ0.因此d z x x ≥+-||)(||0λ,故22202020||||||)),(Re(2||||||)(||d z z x x x x z x x ≥+---=--λλλ.取20||||),(z z x x -=λ,则 22202022022020|||||),(||||||||||),(||||||),(|2||||d z z x x x x z z x x z z x x x x ≥---=-+---由d x x =-||||0可知,一定有 0),(0=-z x x ,因此z x x ⊥-0对于任意M z ∈成立,即M y ⊥. 由上面讨论可知对于任意M x ∈,存在⊥∈∈M y M x ,0,使得y x x +=0.现证这种分解是唯一的.假设存在另一个M x ∈'0及⊥∈M y ',使得''0y x x +=,则⊥∈-∈-M y y M x x ''00,,故由M x x x x x x y y ∈-=---=-'00'00')()(,可知'y y =.结合前面的定理,还可以得下面推论.推论 5.2.1 设X 是Hilbert 内积空间,M 是X 的闭子空间,X x ∈则M x ∈0使得),(||||0M x d x x =-当且仅当M x x ⊥-0.问题 5.2.1 若M 是Hilbert 空间X 的子空间,但M 不是闭的子空间,那对任意X x ∈,x 在M 上是否存在投影呢?例5.2.2 在2l 中,M 为只有有限项非零的实数列全体构成的子空间,则M 不是2l 的闭子空间。
内积空间和希尔伯特(Hilbert)空间
内积空间是希尔伯特空间的特例
完备的内积空间具有完备的几何结构,使得向量可以 按照内积进行长度和角度的度量,并且存在一个完备 的基底来表示空间中的任意向量。
内积空间是一个具有内积运算的线性空间,其满足正 定性、对称性和线性等性质。希尔伯特空间是内积空 间的特殊情况,它是一个完备的内积空间。
希尔伯特空间是内积空间的推广
Annual Work Summary Report
2021
2022
2023
目录
Байду номын сангаас
O1
引言
coOnte2nts
内积空间的基 本性质
O3
希尔伯特空间 的基本性质
O4
内积空间与希 尔伯特空间的 关系
O5
希尔伯特空间 的几何解释
O6
希尔伯特空间 的应用
#O1
引言
#2022
什么是内积空间
内积运算用于计算向量之间的角度和长度,是线性 代数和泛函分析中的基本概念。 内积空间是一个向量空间,其中定义了一个内积运 算,满足非负性、正交性、对称性和三角不等式等 性质。
希尔伯特空间的例子
$L^2$空间
01
函数空间,其元素是平方可积函数,通常用于描述物理系统的
状态。
$L^2$空间的子空间
02
例如,$L^2(0,1)$的闭子空间,通常用于描述量子力学中的束
缚态。
有限维空间
03
例如,$R^n$(实数向量空间),其具有有限个维度。
#O4
内积空间与希尔 伯特空间的关系
#2022
描述算子
在量子力学中,概率幅可以通过希尔伯 特空间中的内积计算。
计算概率幅
在信号处理和图像处理中的应用
高等量子力学-第一章__希尔伯特空间
2、基矢
正交归一的完全集称为这个空间的一个基矢组,或一组 基矢。当然一个空间可有不同的多组基矢。
n 维空间的一组基矢{1, 2 ,..., n} 的正交归一性质可以写为
i , j ij , i, j = 1,2,…,n (1.5)
Schmidt 正交化方法: 一个矢量空间,只要知道它的一个 完全集总可以找到一组基矢。
2
1 ( 2
,2 )12 2(,)2
由于 2 0 ,所以有 (,)2 2 2
即 (,)
三角形不等式:对于任意 和 ,有
(1.2)
Байду номын сангаас
证明:因为对任意复数 a 有 Re a a ,取 的模方,利
用此关系和 Schwartz 不等式,有 ( , ) 2 22R(e(,,) ) (,2 ) 2 2 2 ( ,) 2 2 2
和一个数 a,在集合内总有一个矢量 与之对应,记为
a a
称为 与 的乘积。数乘要满足下列四个条件:
条件(5):1
条件(6): ( a)b (ab) (结合律)
条件(7): (a b) a b (第一分配律)
条件(8): ( )a a a
(第二分配律)
α是实数时,空间称为在实数域上的矢量空间; α是复数时,空间称为在复数域上的矢量空间。
第三个例子 取数学对象为一组有次序的复数,例如四个数,
可以把它们写成一个一列矩阵:
l1
l
l2
l3 l4
加法,数乘和内积的定义分别为
l1 m1
l
m
l2
l3 l4
m2 m3 m4
l1
l
l2
l3 l4
(l, m)
希尔伯特空间
希尔伯特空间量子化学维基,人人都可编辑的量子化学百科全书。
Jump to: navigation, searchTemplate:Zhwp在数学领域,希尔伯特空间是欧几里德空间的一个推广,其不再局限于有限维的情形。
与欧几里德空间相仿,希尔伯特空间也是一个内积空间,其上有距离和角的概念(及由此引伸而来的正交性与垂直性的概念)。
此外,希尔伯特空间还是一个完备的空间,其上所有的柯西列等价于收敛列,从而微积分中的大部分概念都可以无障碍地推广到希尔伯特空间中。
希尔伯特空间为基于任意正交系上的多项式表示的傅立叶级数和傅立叶变换提供了一种有效的表述方式,而这也是泛函分析的核心概念之一。
希尔伯特空间是公式化数学和量子力学的关键性概念之一。
简单介绍希尔伯特空间以大卫·希尔伯特的名字命名,他在对积分方程的研究中研究了希尔伯特空间。
冯·诺伊曼在其1929年出版的关于无界厄米算子的著作中,最早使用了“希尔伯特空间”这个名词。
冯·诺伊曼可能是最早清楚地认识到希尔伯特空间的重要性的数学家之一,他在进行对量子力学的基础性和创造性地研究的时候认识到了这一点。
此项研究由冯·诺伊曼与希尔伯特和朗道展开,随后由尤金·维格纳(Template:Lang)继续深入。
“希尔伯特空间”这个名字迅速被其他科学家所接受,例如在外尔1931年出版的著作《群与量子力学的理论》(Template:Lang)中就使用这一名词,此书的英文平装版ISBN编号为0486602699。
一个抽象的希尔伯特空间中的元素往往被称为向量。
在实际应用中,它可能代表了一列复数或是一个函数。
例如在量子力学中,一个物理系统可以被一个复希尔伯特空间所表示,其中的向量是描述系统可能状态的波函数。
详细的资料可以参考量子力学的数学描述相关的内容。
量子力学中由平面波和束缚态所构成的希尔伯特空间,一般被称为装备希尔伯特空间(rigged Hilbert space)。
第5讲(3)Hilbert空间
(2)若 Y 是有限维子空间,则 Hilbert空间;
Y 一定是
18
(3)若 X 可分,则 Y 一定可分。
3
§3 内积与范数的关系 定理4.16 (极化恒等式)在内积空间中,内积 与范数有如下关系: (1)设
证明 (1)当 X 为实内积空间时,有
x+ y − x− y
2
2
X 为实内积空间,则有
=< x + y, x + y > − < x − y, x − y > =< x, x > + < y, x > + < x, y > + < y, y >
p ≥ 1 且 p ≠ 2 时, (l p , ⋅ p )
这就是说平行四边形法则不成立,故 时, l 对范数
p
p≠2
p
⋅ p 来说不能定义内积。
x = (1,1, 0,K), y = (1, −1, 0,K) ∈ l p ,
1 p
p ≥ 1 但 p ≠ 2 时, (l [ a, b ] , ⋅ p ) 不是内积空间。
由(4.3.1)和(4.3.2)得到 (4.3.2)
X 中利用该范数无法定义内
X 中原来的范数。但可以证
22
积,也就是说, X 上不能定义一个内积,使得由它 产生的范数正好是 明,若 X 中的范数满足平行四边形公式,则可
4 < x, y >= x + y − x − y
2
2
2
+i x + iy − i x − iy .
+
< x, y > < y, y >
巴拿赫空间,希尔伯特空间的联系和区别
巴拿赫空间,希尔伯特空间的联系和区别
柯西序列
在数学中,⼀个柯西列是指⼀个这样⼀个序列,它的元素随着序数的增加⽽愈发靠近。
更确切地说,在去掉有限个元素后,可以使得余下的元素中任何两点间的距离的最⼤值不超过任意给定的正的常数。
柯西列的定义依赖于距离的定义,所以只有在度量空间(metric space)中柯西列才有意义。
在更⼀般的⼀致空间(uniform space)中,可以定义更为抽象的柯西滤⼦(Cauchy filter)和柯西⽹(Cauchy net)。
⼀个重要性质是,在完备空间(complete space)中,所有的柯西列都有极限,这就让⼈们可以在不求出这个极限(如果存在)的情况下,利⽤柯西列的判别法则证明该极限是存在的。
柯西列在构造具有完备性的代数结构的过程中也有重要价值,如构造实数。
Hilbert空间
Hilbert班级:15级自动化三班姓名:谢洪涛学号:115110001090指导老师:姚洪亮[《现代分析基础》读书报告——HILBERT 空间]摘要:本文从初学者的角度详细介绍了Hilbert空间的引出与定义,直交性与投影定理,内积空间的直交系以及Hilbert空间在量子力学中的引用。
其中包括了详细的定义定理阐述与证明,以及相应问题的典型举例。
在文章最后给出了Hilbert个人的一些介绍,可以感受到Hilbert空间理论的深刻的背景,加深对理论的学习和理解,同时也向伟大的数学家致敬。
目录1. 内积与H ILBERT空间 (1)1.1 内积的定义与性质 (1)1.2 Hilbert空间的定义 (3)2. 直交性与投影定理 (4)2.1 直交性 (4)2.2 投影定理 (5)3. 内积空间中的直交系 (8)3.1 标准直交系 (8)3.2 标准直交系的一些性质 (11)4.H ILBERT空间在量子力学中的应用 (13)4.1 对Hilbert空间的描述 (13)4.2 量子力学中对Hilbert空间的描述 (13)4.3 为何要引进Hilbert空间来描述态矢量所在空间 (14)5. 附录 (14)5.1 Hilbert简介 (14)5.3 感想与致谢 (15)5.2 参考文献 (16)1. 内积与Hilbert 空间1.1 内积的定义与性质在欧式空间中有一些重要的基本概念,如向量的内积、夹角、正交以及投影等,这些概念在欧式空间几何学中起着重要的作用。
为此,我们将把这些概念抽象化、引入到线性空间中去,就得到Hilbert 空间。
首先回顾解析几何中的有关概念:例如,在R^2中,任意两个向量),(),,(2121y y y x x x ==的内积为2211),(y x y x y x +=x 与y 的夹角为||||),(cos y x y x =α 当x=y 时,1cos =α,),(||2x x x =,从而向量长度为),(||x x x =当x 与y 正交,2πα=,0cos =α−→−0),(=y x 。
第3章 Hilbert空间
(2). 由(3.1.8)式知道 ( Ax, y ) 完全由型如 ( Az, z ) 的内积确定. 因此由
假设条件推出, 对任意 x, y Î H 成立 ( Ax, y ) = ( Bx, y ). 由结论(1)即知结 论(2)成立. ■
§ 3.2 正交投影
1 正交性
在 R n 中 我 们 已 经 熟 悉 两 个 向 量 正 交 的 概 念 . 设 x, y Î R n . 若
(1) 对任意 x, y Î H 成立
( x, y ) £ ( x, x)( y, y ) (Schwarz 不等式).
2
(3.1.1)
(2) 令 x = ( x, x) ( x Î H ), 则 是 H 上的范数, 称之为由内积导
出的范数. 证明 的 Î K,
0 £ ( x + y , x + y ) = ( x, x ) + ( x, y ) + ( y , x ) + ( y , y ) = ( x, x) + 2 Re ( x, y ) + ( y, y ).
x, y Î H 成立
2 2
⋅ 是由内积导出的范数. 则对任意
2 2
x + y + x - y = 2 ( x + y ).
这个等式称为平行四边形公式. 当 H 是实空间时成立 1 2 2 ( x , y ) = ( x + y - x - y ). 4 当 H 是复空间时成立
(3.1.2)
(3.1.3)
(1) 非负性: ( x, x) ³ 0, 并且 ( x, x) 0 当且仅当 x 0. (2) 共轭对称性: ( y, x) = ( x, y ). (3) 对第一个变元的线性性: ( x + y, z ) = ( x, z ) + ( y, z ),
希尔伯特空间 柯西施瓦布不等式
希尔伯特空间柯西施瓦布不等式全文共四篇示例,供读者参考第一篇示例:希尔伯特空间是数学中重要的概念,它是一个拓扑线性空间,满足完备性和内积结构的特殊空间。
希尔伯特空间的研究广泛应用于数学分析、泛函分析、量子力学等领域。
在希尔伯特空间中,存在着许多重要的不等式,其中柯西施瓦布不等式是其中之一。
柯西施瓦布不等式是希尔伯特空间中非常重要的不等式之一,这个不等式以19世纪著名数学家奥古斯丁·柯西和约瑟夫·施瓦布的名字命名。
柯西施瓦布不等式描述了希尔伯特空间中内积的性质,它在数学分析和泛函分析中有着广泛的应用。
在希尔伯特空间中,内积是定义在两个向量之间的一种特殊二元运算,它满足线性性、对称性和正定性。
内积可以衡量两个向量之间的夹角和长度关系,因此内积是希尔伯特空间中非常重要的概念。
柯西施瓦布不等式就是描述了内积的一种重要性质。
柯西施瓦布不等式的表述如下:对于希尔伯特空间中的任意两个向量x和y,有|⟨x, y⟨| ≤ ||x|| * ||y||其中⟨x, y⟨表示向量x和y的内积,||x||表示向量x的范数。
柯西施瓦布不等式告诉我们,希尔伯特空间中的内积的绝对值不会超过向量的范数的乘积。
这个不等式的证明比较简单,可以通过内积的性质和基本不等式来推导得到。
第二篇示例:希尔伯特空间是数学里一个非常重要的概念,它是一个完备的内积空间。
希尔伯特空间在函数分析、数学物理和量子力学等领域都有广泛的应用。
在希尔伯特空间中,有一些重要的定理和不等式,其中柯西施瓦布不等式是一个很有意义的不等式。
柯西施瓦布不等式是希尔伯特空间中一个非常重要的不等式,它是由法国数学家柯西和施瓦布在19世纪提出的。
该不等式描述了希尔伯特空间中两个向量内积的关系。
具体来说,柯西施瓦布不等式可以表述为:对于希尔伯特空间中的两个向量x 和y,有|<x, y>| ≤ ||x|| ||y||,其中<x, y> 表示x 和y 的内积,||x|| 表示向量x 的范数。
希尔伯特空间 柯西施瓦布不等式
希尔伯特空间柯西施瓦布不等式全文共四篇示例,供读者参考第一篇示例:希尔伯特空间是数学领域中重要的概念之一,它来源于对实数空间的推广,是一种具有内积运算和完备性质的向量空间。
在希尔伯特空间中,有许多重要的定理和不等式,其中最著名的之一就是柯西施瓦布不等式。
希尔伯特空间中的柯西施瓦布不等式是由两位数学家柯西和施瓦布发现的,它是描述希尔伯特空间中向量之间内积运算的一个重要不等式。
柯西施瓦布不等式的表述如下:对于希尔伯特空间中的任意两个向量x和y,有:|<x, y>| ≤ ||x|| ||y||<x, y>表示向量x和y之间的内积运算,||x||表示向量x的范数。
换句话说,柯西施瓦布不等式说明了向量之间内积运算的有界性,从这个角度来看,它在希尔伯特空间中的重要性不言而喻。
证明柯西施瓦布不等式的方法有很多种,其中一种比较简单的方法是通过三角不等式来推导。
假设向量x和y不为零向量,我们可以将向量y标准化,即令y' = y/||y||,这样||y'|| = 1。
然后我们可以将向量x表示为x = <x, y'>y' + (x - <x, y'>y'),其中<x, y'>表示向量x在向量y'上的投影。
由于内积的双线性性质,我们可以得到:<x, y'> = <x - <x, y'>y', y'> = <x, y'> - <x, y'> <y', y'> = <x, y'> - <x, y'> = 0这样,我们就得到了:利用三角不等式,我们可以得到:|x|^2 = |<x, y'>|^2 + |x - <x, y'>y'|^2 ≥ |<x, y'>|^2这样,我们就得到了柯西施瓦布不等式的一个关键部分,即:接下来,我们再将这个结论推广到一般的情况。
现代分析基础结课作业——Hilbert空间性质介绍
Hilbert空间性质介绍摘要在这篇文章中,主要是为了介绍Hilbert空间的一些性质,并且把线性分析中各个空间的性质进行了描述,这也是为了更好的描述Hilbert空间及其性质做好基础,并且把各个空间的性质关系进行了讲述,总结了在线性分析基础这门课程中的收获与感悟。
引言学习了线性分析基础的课程之后,我对于空间的理解有个更加深刻的认识,同时也对各种空间的应用与关系有着许多的困惑与不解,老师的课程十分精彩,介绍了许多原来没有接触过的知识,同时我感觉到了线性分析基础这门课程的重要性。
在接下来的文章中,我们主要想对Hilbert空间及其性质进行介绍,在介绍Hilbert空间之前,必须把Hilbert建立的基础进行描述,甚至文章的一大部分都在描述可测空间、测度空间、赋范线性空间和Banach空间等,但是这些空间的性质也在Hilbert空间中得以体现,可以认为Hilbert空间是这些空间基础上比较特殊的一类空间,它在满足这些空间所具有的性质的同时也有着自己特殊的性质以及应用。
Hilbert空间是在一个复向量空间H上的给定的内积并导出一种范数,如果其对于这个范数来说是完备的,那么这个复向量空间就是希尔伯特空间。
这里已经说明了希尔伯特空间是一个内积空间,其上有距离和角的概念(及由此引伸而来的正交性与垂直性的概念),可以根据它的特点和性质来进行扩展,得到我们想要得到的可以加以利用的空间。
另外,希尔伯特空间还是一个完备的空间。
在下面的文章中,我们将详细的对所学的知识进行整理和阐释。
关键词可测测度空间范数完备性 Banach空间内积空间 Hilbert空间1.可测空间及其性质首先我们要对拓扑空间进行一定的了解。
假设X是一个集合,如果有一个子集族,我们定义为τ,满足以下的几点性质:(1).空集ø和集合X是在子族集当中。
(2)在这个子集族τ内的元素满足交运算封闭。
(3) τ中元素族集的并运算封闭。
那么我们称τ为X上的一个拓扑,称X为拓扑空间,而τ中的元素成为拓扑的开集,在X中,如果一个集合是这个开集的余集,那么称为闭集。
量子力学中的Hilbert空间
量子力学中的Hilbert空间罗XX(XX大学物理科学学院XX级光X班)摘要解偏微分时,需要解本征值方程,常用的方法是级数法。
这时需要有一个函数空间,其轴是一组正交完备系。
由一组正交完备的基底通过线性叠加组成方程的解。
本征解既是在一个具体表象(固定坐标轴)中只有一个轴表示。
这个空间叫做希尔伯特空间。
关键词Hilbert空间、态、态矢量、表象引言在量子力学的研究中用到了Hilbert空间来描述微观系统的态空间,为研究带来了理论基础及方便。
一、对Hilbert空间的描述在数学领域,希尔伯特空间是欧几里德空间的一个推广,其不再局限于有限维的情形。
与欧几里德空间相仿,希尔伯特空间也是一个内积空间,其上有距离和角的概念(及由此引伸而来的正交性与垂直性的概念)。
此外,希尔伯特空间还是一个完备的空间,其上所有的柯西列等价于收敛列,从而微积分中的大部分概念都可以无障碍地推广到希尔伯特空间中。
希尔伯特空间为基于任意正交系上的多项式表示的傅立叶级数和傅立叶变换提供了一种有效的表述方式,而这也是泛函分析的核心概念之一。
希尔伯特空间是公式化数学和量子力学的关键性概念之一。
[1]二、量子力学中对Hilbert空间的描述同一个态可以在不同的表象中用波函数来描述,所取的表象不同,波函数的形式也不同,但他们描写同一个态。
这和几何中一个矢量可以在不同的坐标系中描写类似。
矢量A可以在直角笛卡尔坐标中用三个分量(Ax,Ay,Az)来描写,也可以在球极坐标中用三个分量(Ar,Aθ,Aφ)来描写等等。
在量子力学中,我们可以把状态Ψ看成是一个矢量——态矢量。
选取一个特定的Q表象,就相当选取一个特定的坐标系。
Q的本征函数u1(x)u2(x)u3(x)···un(x)···是这个表象的基矢。
这相当于直角坐标系中单位矢量i,j,k。
波函数((a1(t)a2(t)···)是态矢量Ψ在Q表象中沿各基矢方向的“分量”。
偏微分方程_hilbert空间_概述及解释说明
偏微分方程hilbert空间概述及解释说明1. 引言1.1 概述引言部分将介绍本篇长文的主题以及所讨论的内容。
本文将着重探讨偏微分方程和Hilbert空间的概念,并比较解析解和数值解方法在偏微分方程求解中的优劣势。
通过对问题背景和相关领域的概况进行描述,引言部分将为读者提供整体上下文框架。
1.2 文章结构本文共分为五个主要部分,每个部分都有相应的子节。
以下是各个部分的简要介绍:第二部分“偏微分方程概述”将开始对偏微分方程的定义、常见类型以及与数学建模之间的关系进行全面阐述。
第三部分“Hilbert空间介绍”将详细描述Hilbert空间的定义、性质以及在数学和物理领域中的应用。
第四部分“解析解与数值解方法比较”将重点比较解析解和数值解方法对于偏微分方程求解所具有的特点和优势,并以实际案例进行深入探讨。
最后一部分“结论与展望”则会对整篇文章进行总结,展望未来可能的研究方向和发展趋势。
1.3 目的本文的目的是全面介绍偏微分方程和Hilbert空间,并探讨解析解与数值解方法在求解偏微分方程中的应用。
通过比较不同方法之间的优劣,读者可以对该领域有更深入的了解。
此外,我们还将提供一些未来可能的研究方向,以鼓励读者进一步探索相关领域,并对本文进行总结和结束语部分。
2. 偏微分方程概述:2.1 偏微分方程定义偏微分方程是描述多变量函数与其偏导数之间关系的方程。
它涉及未知函数的各种偏导数,以及独立变量(例如时间和空间)之间的关系。
一般而言,偏微分方程包含了函数本身及其对各个自变量的各阶偏导数。
2.2 常见类型的偏微分方程在实际问题中,我们常遇到几种类型的偏微分方程。
其中,常见的一类是椭圆型偏微分方程,如拉普拉斯方程;另一类是抛物型偏微分方程,如热传导方程;还有一类是双曲型偏微分方程,如波动方程。
每种类型的偏微分方程都具有不同的性质和解法。
2.3 数学建模与偏微分方程在科学研究和工程领域中,往往需要通过建立数学模型来描述实际现象或问题。
Hilbert 空间
中 (x, x)0
2 ,证明 0(∀x ∈ H ).如记 p(x) = (x, x)0
• p(x) 是 H 中的半范数; • ker p = {x : p(x) = 0} 是线性空间. • 在商空间 L = H/ ker p 上规定: (˜ x, y ˜) = (x, y )0 , 证明 (·, ·) 是 L 上的内积. 8. 证明任何内积空间都可完备化成为 Hilbert 空间. 9. 设 p(t) 是 (−∞, ∞) 上 Lebesgue 可积的实函数,p(t) > 0(∀t ∈ R),H 是 ∞ (−∞, ∞) 上 Lebesgue 可测,并且满足 −∞ |f (t)|2 p(t) dt < ∞ 的 f (t) 全 体.证明 H 按通常函数的线性运算以及
其中 x, y, z ∈ Cn 。 在 Euclid 空间中内积概念之所以重要,是由于可以利用它在 Cn 中建立 Euclid 几何学,例如:向量的交角、垂直、投影等等重要几何概念都是由内积 表述的.在某些无限维空间中也能定义内积概念,它具有性质 (i)-(iii),例如平 方可积函数空间 L2 [a, b] 中,两向量 f (x), g (x) 的内积 (f, g ) 定义为 141
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
|(x, y )| |(x, y )|2 + (x, x) − 2 (y, y ) (y, y ) (y, y )2 这就是 (5.1)
希尔伯特空间的共轭空间
希尔伯特空间的共轭空间希尔伯特空间是数学中的一种重要的函数空间,它是一种完备的内积空间。
在希尔伯特空间中,有一个重要的概念,那就是共轭空间。
共轭空间是希尔伯特空间的一个重要扩展,它在数学分析和量子力学等领域中具有重要的应用。
我们来了解一下什么是希尔伯特空间。
希尔伯特空间是一种具有内积运算的完备线性空间。
在希尔伯特空间中,我们可以定义向量的内积、范数和距离等概念。
希尔伯特空间中的向量是无穷维的,可以是函数、序列等。
希尔伯特空间的一个重要性质是它是完备的,也就是说,任意柯西序列在希尔伯特空间中都有收敛的极限。
共轭空间是希尔伯特空间的一个重要概念。
给定一个希尔伯特空间H,它的共轭空间H*定义为所有连续线性泛函构成的空间。
简单来说,共轭空间是希尔伯特空间中的线性泛函的集合。
在共轭空间中,我们可以定义泛函的加法和数乘运算,从而使共轭空间成为一个线性空间。
希尔伯特空间的共轭空间在数学分析中具有重要的应用。
例如,在泛函分析中,共轭空间可以用来描述线性泛函的性质。
通过将线性泛函映射到共轭空间中,我们可以研究泛函的连续性、有界性、可分性等性质。
共轭空间在数学分析中的应用非常广泛,它为我们研究函数空间的性质提供了有效的工具。
希尔伯特空间的共轭空间在量子力学中也有着重要的应用。
量子力学是研究微观粒子行为的一门学科,它使用希尔伯特空间来描述量子态和量子力学算符。
在量子力学中,态矢量是希尔伯特空间中的向量,算符是希尔伯特空间上的线性算符。
通过引入共轭空间,我们可以定义量子力学中的内积、测量和演化等概念,从而建立起了量子力学的数学框架。
希尔伯特空间的共轭空间是希尔伯特空间的一个重要扩展。
共轭空间在数学分析和量子力学等领域中具有广泛的应用。
它为我们研究函数空间的性质和描述量子力学中的量子态和算符提供了有效的数学工具。
通过深入研究希尔伯特空间的共轭空间,我们可以更好地理解希尔伯特空间的性质和相关的数学理论。
Hilbert空间-矢量空间-线性算符
15
Schwartz 不等式 对于任意矢量和, || || ||.
三角不等式 对于任意矢量 和 ,有 || | || |.
16
§1.1.3 基 矢
1、线性无关
定义 矢量空间中有限个(n个)矢量的集合(i):
n
若 i i 0 只有当全部复数 i 都为零时才成立 i 1
可记: =
4
2、数乘
集合内每一矢量可以与数(实数或复数)相乘,得 出集合内另一矢量。
对于任意的数 和,数乘须满足下述条件:
( ) ( ) 1
第一分配律 第二分配律 结合律
5
3、内积 在空间中可以定义某种规则,使按一定次序任
§1.4 矢量空间的直和与直积
1 直和空间; 2 直积空间
2
§1.1 矢 量 空 间
§1.1.1 定义
矢量空间:一组称为矢量的元素 的
集合,当其满足下述加法和数乘运算时,称为 矢量空间; 希尔伯特空间:具有加法、数乘及内积三种运 算的矢量空间,称为Hilbert空间。
3
1、加法
(ii)数乘中的数为实数,以 数乘的结果是方向 不变,长度乘以;
(iii)标积是两矢量的点乘积。
这是一个实数域上的内积空间。
12
例3、取数学对象为一组有序的复数, 譬如三个
数, 可以将其写为一个列矩阵:
a1 a a2
a3
(i)加法, (ii)数乘和(iii)标积
数, 并等于单一空间中 的内积( )即
|= ( ) = c
并且规定, 内积的运算满足以下四个条件:
*;
, ; a a ,a a ;
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
设 其中
i
ˆ A ϕi = αi ϕi ,
ˆ B φj = βj φj
∫ dp
对任意态的展开
p p =1
{ϕ }− A 表象基矢,
φi =
{φ }− B 表象基矢
j
将B表象的基矢用A表象的基矢展开:
α = ∫ dp p p α = ∫ dx ψ α ( p ) x
自身表象 ˆ ⎧ x xx ' = x x x ' = x δ ( x − x ' ) ⎨ ˆ p pp ' = p p p ' = p δ ( p − p ' ) ⎩ 可直接扩展到三维
... ...
)
两个态的内积记为: ψ ⋅ φ
ϕ1 = (1 0 0 ...) ϕ2 = (0 1 0 ...)
......
≡ ψ φ
注意
ψ φ = φ ψ
*
ϕ1
ϕ2
对归一化的态,有:
ψ ψ = (c1*
* c2
⎛ c1 ⎞ ⎜ ⎟ ... ⎜ c 2 ⎟ = ⎜ ... ⎟ ⎝ ⎠
)
∑c
n
2 n
=1
ˆ sin A = ∑
ˆ cos A = ∑
ˆ ( − 1) n A 2 n +1 ( 2 n + 1)! ˆ ( − 1) n A 2 n ( 2 n )!
ˆ ˆ ˆ ˆˆ ˆ ˆˆ ˆˆ ˆ ( A − λ B ) −1 = A −1 + λ A −1 B A −1 + λ 2 A −1 B A −1 B A −1 + ...
⎛ c'1 ⎞ ⎛ F11 ⎜ ⎟ ⎜ ⎜ c'2 ⎟ = ⎜ F21 ⎜ ... ⎟ ⎜ ... ⎝ ⎠ ⎝
c 'm = ∑ c n ϕ m F ϕ n
n
完备性条件
c 'm =
∑F
n
mn
cn
∫ dx
x x =1
对任意态的展开
F12 ...⎞⎛ c1 ⎞ ⎟⎜ ⎟ F22 ...⎟⎜ c2 ⎟ ... ...⎟⎜ ... ⎟ ⎠⎝ ⎠
第一章 Hilbert空间
§1.1 矢量空间 §1.2 算符 §1.3 表象理论 §1.4 直和与直积空间
§1.1 矢量空间
一、矢量空间的定义 二、矢量空间的性质 三、基矢与Dirac符号
一、矢量空间的定义 一、矢量空间的定义
我们讨论的对象,如数列、线段等,可通称为数学 对象。同类的许多数学对象满足下述的一系列要求 时,就构成一个矢量空间;其中每一个对象称为空 间的一个元,或称为矢量。 1、加法:Χ=ψ +φ
投影算符 Pn = ϕ n ϕ n ,其作用是将态投影到其相应的本征态分量。
Pn ψ = c n ϕ n
试用Schmidt方法求出一组基矢。
而且
∑P
n
n
=I
一、算符的定义 一、算符的定义
§1.2
一、算符的定义
算 符
几种算符的定义:
ˆ ˆ ˆ 1)线性算符: A ( c1 ψ 1 + c 2 ψ 2 ) = c1 A ψ 1 + c 2 A ψ 2
2 2
综合以上两步定出 α , β 的值。
ϕ 4、再构造第三个态, n 3 = α ' ϕ n1 + β ' ϕ n 2 + γψ n 3 …依次类推
例题
2、Dirac符号
Dirac引入,优美的量子力学态表示方式。
这样,任一个态的展开可写成:
ψ ⎯ ψ ⎯→ ψ+⎯ ⎯→ ψ
右矢(ket) 左矢(bra)
基矢的正交归一: 展开系数的表示:
ϕ m ϕ n = δ mn
cn = ϕ n ψ
习题1.1
在四维列矩阵空间中,给定四个构成一完全集的矢量:
⎛ ⎝ ⎞ ⎠
可以发现:
ψ = ∑ cn ϕ n = ∑ ϕ n ψ ϕ n = ∑ ϕ n ϕ n ψ = ⎜ ∑ ϕ n ϕ n ⎟ ψ
n n n n
因此:
一、算符的矩阵表示 一、算符的矩阵表示
表象:一个力学量算符A,它的所有本征函数构成一个正交 归一的完全集,其张成的Hilbert空间称为“A表象空间” 。
假设算符F,对任意态的作用后 设在A表象中 则 用 记 即
Φ = ∑ c 'n ϕ n ,
n
二、连续谱表象 二、连续谱表象
1、连续谱表象的表示
ψ = ∫ dλ λ λ ψ
二、算符的代数运算 二、算符的代数运算
一般地,算符的函数可以表为 ˆ ˆ f ( A) = ∑ cn A n
n
几个算例
ˆ 1、计算对易子: [ x , f ( p x )] = ?
ˆ ˆ 2、设 λ 是一个小量,算符 A 之逆 A −1 存在,求证:
例如:
eA = ∑
ˆ
∞
n=0
ˆ An n!
∞ n=0 ∞
内积空间:
具有加法、数乘和内积三种运算并满足条件(1)-(12) 的集合称为内积空间。
Hilbert空间:
完备的内积空间称为Hilbert空间。
(7) (ψa,φ)=a*(ψ ,φ) (8) (ψ+φ,θ)=(ψ ,θ)+ (φ ,θ) (9) (ψ,O) = 0
例子:
例1:取数学对象为全体有理数和零,加法规定为算术加 法,数乘为算术乘法(也限于有理数),内积规定为两个 因子的算术乘积。这是一个在有理数域上的矢量空间。 例2:三维位形空间的位置矢量,加法服从平行四边形法 则;数乘为实数乘,方向不变;内积是两个矢量的点乘 积。这是一个实数域上的内积空间。 例3:取一组有序的复数,排成单列矩阵。加法、数乘、内 积遵照矩阵运算。这是一个复数域上的内积空间。 例4:在某一区间内(a £ x £ b)定义的单实变量的好函数 f(x),也可构成一个内积空间,称为函数空间。
0 = (ϕ n1 , ϕ n 2 ) = α (ϕ n1 , ϕ n1 ) + β (ϕ n1 ,ψ n 2 )
定出
(ϕ n1 ,ψ n 2 ) = −
α β
3、再由归一性的要求:
附:Schmidz正交归一方法及例子
对n个非正交态进行Schindz正交归一处理的基本步骤:
1、对第一个态进行归一,即
3、内积:(φ,ψ) = c
条件(9) : (ψ,φ)= (φ,ψ)*
c是数
条件(10) :结合律 (ψ,φ+θ)=(ψ ,φ)+ (ψ ,θ) 条件(11) :(ψ,φa)=(ψ ,φ)a 条件(12) :对任意态ψ,(ψ, ψ)≥0;若(ψ, ψ) = 0,则ψ= O
ψ+O=ψ
(φ= -ψ)
ψ+φ = O
2)幺正算符:
【定义一】一个线性算符是幺正的,假如:第一,是等距 的;第二,有一个严格意义下的逆算符。 【定义二】满足下述等式的算符为幺正算符
§1.3
表象理论
一、算符的矩阵表示 二、连续谱表象 三、表象变换 四、若干矩阵运算
A+ A = AA+ = 1
【定义三】“把任意的厄米算符仍变换到厄米算符的线性算 符为幺正算符。 思考题:投影算符有无逆算符?
α = ∫ dx x x α = ∫ dx ψ α ( x ) x
这里 ψ α ( x ) = x α 就是以前的波函数。
3、一维动量表象ˆ p p来自= p p三、表象变换 三、表象变换
从一个表象变换到另一表象,就象两个坐标系之间的转换。
p p' = δ ( p − p' )
正交归一性 完备性条件
* ˆ * ˆ ˆ 2)反线性算符: A ( c1 ψ 1 + c 2 ψ 2 ) = c1 A ψ 1 + c 2 A ψ 2
二、算符的代数运算 三、厄密算符和幺正算符
3)单位算符: Iˆ ψ = ψ 4)零算符:
ˆ Oψ = O
ˆˆ ˆ ˆ 5)算符之逆: A A −1 = A −1 A = Iˆ
2、幺正算符(unitary operator)
1)等距算符(isometric operator)
对任意的两个态ψ、φ,均有(Aψ,Aφ)= (ψ,φ)=成立,则A 即称为等距算符。 换言之,即有 A+ A = 1 成立;但这时 AA+ = 1 未必成立! 一般来说,一个算符的“逆算符”应同时既是左逆又是右逆。 但在某些情况下,只有左逆(或右逆)存在。这种情况通常 发生于定义在无穷维Hilbert空间中的算符上。例:产生算符 和湮灭算符的逆。
⎛ c1 ⎞ ⎜ ⎟ ⎜ c2 ⎟ =⎜ . ⎟ ⎜ ⎟ ⎜ . ⎟ ⎜ . ⎟ ⎝ ⎠
ψ = ∑ cn ϕ n
n
左矢与右矢互为厄米共轭
(ψ )
+
= ψ ,
(ψ )
+
= ψ
它的厄米共轭态矢为:
* ψ = ∑ ϕ n c n = (c1* n * c2
对于正交归一的基矢,可有
⎛1⎞ ⎜ ⎟ ⎜0⎟ ⎜0⎟ = ⎜ ⎟, ⎜.⎟ ⎜.⎟ ⎜ ⎟ ⎜0⎟ ⎝ ⎠ ⎛0⎞ ⎜ ⎟ ⎜1⎟ ⎜0⎟ = ⎜ ⎟ , ...... ⎜.⎟ ⎜.⎟ ⎜ ⎟ ⎜0⎟ ⎝ ⎠
3)基矢:
一个矢量空间中可以有多组完全集,正交归一的完全集构 成空间的一组基矢。一个空间可有不同的多组基矢。 问题:完全集与基矢组有何区别和联系? 一个矢量空间,只要知道它的一个完全集,总可以用Schmidt 正交化方法找到一组基矢。
2、其次考虑构造 ϕ n 2 = αϕ n1 + βψ n 2 ,利用正交性的要求
ϕ n1 = ψ n1
(ψ n1 ,ψ n1 )