01_Hilbet空间
设 其中
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 )
希尔伯特空间
一百年前的数学界有两位泰斗:庞加莱和希尔伯特,而尤以后者更加出名,我想主要原因是他曾经在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)中,所有的柯西列都有极限,这就让⼈们可以在不求出这个极限(如果存在)的情况下,利⽤柯西列的判别法则证明该极限是存在的。
柯西列在构造具有完备性的代数结构的过程中也有重要价值,如构造实数。
