希尔伯特空间是线性
内积空间,基矢对应体系某一个力学量的本征状态集合,任一个力学量的本征状态都会形成封闭的完备集。
希尔伯特空间理论是分析
量子力学的工具。使用量子理论的希尔伯特空间表示(a Hilbert space
表征)是有用的和符合惯例的,尽管不是严格必要的。希尔伯特空间是一个
向量空间。希尔伯特空间中的任何
向量都可以用无穷多种方式写成其他向量的叠加。
提出者简介
戴维·希尔伯特(
戴维·希尔伯特,1862~1943)德国数学家,生于东
普鲁士王国加里宁格勒(
苏联加里宁格勒)附近的韦劳。中学时代,
戴维·希尔伯特就是一名勤奋好学的学生,对于科学特别是数学表现出浓厚的兴趣,善于灵活和深刻地掌握以至应用老师讲课的内容。1880年,他不顾父亲让他学法律的意愿,进入哥尼斯堡大学攻读数学。1884年获得博士学位,后来又在这所大学里取得讲师资格和升任副教授。1893年被任命为正教授,1895年,转入
哥廷根市大学任教授,此后一直在格廷根生活和工作,于1930年退休。在此期间,他成为
柏林科学院通讯院士,并曾获得施泰讷奖、
尼古拉·罗巴切夫斯基奖和波约伊奖。1930年获得瑞典科学院的米塔格-莱福勒奖,1942年成为柏林科学院荣誉院士。
戴维·希尔伯特是一位正直的科学家,
第一次世界大战前夕,他拒绝在德国政府为进行欺骗宣传而发表的《告文明世界书》上签字。战争期间,他敢于公开发表文章悼念"敌人的数学家"达布。
阿道夫·希特勒上台后,他抵制并上书反对纳粹政府排斥和迫害犹太科学家的政策。由于纳粹政府的反动政策日益加剧,许多科学家被迫移居外国,曾经盛极一时的
哥廷根市学派衰落了,希尔伯特也于1943年在孤独中逝世。希尔伯特空间以
戴维·希尔伯特的名字命名,他在对
积分方程的研究中研究了希尔伯特空间。
约翰·冯·诺依曼在其1929年出版的关于无界厄米
映射的著作中,最早使用了“希尔伯特空间”这个名词。冯·诺伊曼可能是最早清楚地认识到希尔伯特空间的重要性的数学家之一,他在进行对
量子力学的基础性和创造性地研究的时候认识到了这一点。此项研究由冯·诺伊曼与
戴维·希尔伯特和
列夫·达维多维奇·朗道展开,随后由
尤金·维格纳(Template:Lang)继续深入。“希尔伯特空间”这个名字迅速被其他科学家所接受,例如在
赫尔曼·外尔1931年出版的著作《群与量子力学的理论》(Template:Lang)中就使用这一名词。
一个抽象的希尔伯特空间中的元素往往被称为
向量。在实际应用中,它可能代表了一列
复数或是一个函数。例如在
量子力学中,一个
物理系统可以被一个复希尔伯特空间所表示,其中的向量是描述系统可能状态的
波函数。详细的资料可以参考量子力学的数学描述相关的内容。量子力学中由
平面波和
束缚态所构成的希尔伯特空间,一般被称为装备希尔伯特空间(rigged Hilbert space)。
在一个实
向量空间或复向量空间H上的给定的
点积\u003cx,y\u003e可以按照如下的方式导出一个
范数(norm):如果其对于这个范数来说是完备的,此空间称为是一个希尔伯特空间。这里的完备性是指,任何一个
奥古斯丁-路易·柯西序列都收敛到此空间中的某个元素,即它们与某个元素的范数差的极限为0。任何一个希尔伯特空间都是
巴拿赫空间,但是反之未必。任何有限维
内积空间(如
欧几里德空间及其上的
点积)都是希尔伯特空间。但从实际应用角度来看,无穷维的希尔伯特空间更有价值。内积可以帮助人们从“几何的”观点来研究希尔伯特空间,并使用有限维空间中的几何语言来描述希尔伯特空间。在所有的无穷维拓扑向量空间中,希尔伯特空间性质最好,也最接近有限维空间的情形。傅立叶分析的一个重要目的是将一个给定的函数表示成一族给定的基函数的和(可能是无穷和)。这个问题可以在希尔伯特空间中更抽象地描述为:任何一个希尔伯特空间都有一族
标准正交基,而且每个希尔伯特空间中的元素都可以唯一地表示为这族基中的元素或其
倍数的和。
n维欧几里得空间的推广,可视为“无限维的欧几里得空间”,是
泛函分析的重要研究对象之一。在三维
三维空间中,任何两个
向量之间规定了一个
点积,它是建立三维欧几里得几何学的基础。有了内积,就有向量的长度、两个向量的交角和向量到直线或平面上的投影等等。这些普通而重要的几何概念及相应的研究方法,不仅被推广到n维空间,而且在许多不同的领域,例如
积分方程、数学物理、三角
级数或更一般的
正交级数等理论中,被推广到由函数构成的无限维空间上去,成为研究有关问题的有力工具。第一个具体的
戴维·希尔伯特空间最早是由D.希尔伯特在研究积分方程时首先提出的。他在平方可积的无穷
实数列{xn}全体所组成的空间l中规定了
点积,把空间l看作
三维空间向无限维的推广,从而有效地解决了一类积分方程求解及其本征展开的问题。不久,人们就建立了一般的希尔伯特空间理论,到20世纪30年代已取得了丰富的成果。希尔伯特空间在
数学分析的各个领域中有着深厚的根基,也是描述量子物理的基本工具之一,它已经被广泛地应用于数学和物理的各个分支,如
积分方程、
微分方程、过程、函数论、
调和分析、数学物理及量子物理学等等。关于希尔伯特空间及其上的
映射理论仍然是
泛函分析的重要课题之一。
内积空间和希尔伯特空间设H是实数域或
复数域C上的
向量空间,如果对于H中任何两个
向量x和y都对应着一个数,并且满足下列条件:①正定性,对一切,而且当且仅当;②线性,对和,成立;③(共轭)对称性,对成立(实数域)或的共轭(复数域);则称(x,y)为H中x,y的一个
点积。定义了
内积的空间H称为
内积空间。在内积空间H中定义函数,x\u003e的开方为x的
范数(即x的“长度”),这时,H成为一个赋范空间。如果作为赋范空间,H是完备的(见
巴拿赫空间),就称H为希尔伯特空间。作为希尔伯特空间的例子,除了
三维空间和l空间以外,还有
亨利·勒贝格平方可积函数空间(其中内积规定为(实数域)或f(t)乘以g(t)的共轭(
复数域)在(α,b)区间的积分,而α,b也可为无限大)。在数学物理中越来越多地使用各种类型的希尔伯特空间。
平行四边形公式和柯西-施瓦茨
不等式在
内积空间中,由内积导出的
范数必满足类似于平面
几何学中的平行四边形公式,即对H中任何x、y,;反之,一个赋范
向量空间H,若它的范数满足上述平行四边形公式,则这个范数必是由定义在H上的某个内积导出的范数。内积还有重要的柯西-施瓦茨不等式:。
正交与
勾股定理在希尔伯特空间H中,如果x,y满足,就称x和y正交(或直交),记为。当时,成立勾股定理:。如果x和H的
子集M中任何元都正交,就称x和M正交,记为。与M正交的所有元素的集合记为M。投影
定理希尔伯特空间理论中的一个基本定理。设M是希尔伯特空间H的凸闭子集,则对H中每个
向量x,必存在M中惟一的y,使得||x-y||取到y在M中变化时的最小值。这个性质称为变分定理。特别,当M是H的闭
线性子空间时,必与M
正交,即对于闭线性子空间M,分解不仅惟一,而且。这就是投影定理。其中,y称为x在M中的投影(分量)。因为x在M上的投影y是达到极小值的惟一解,所以这个结果不仅在理论研究中,而且在很多应用
性学,如近似理论(包括有限元方法)、预测理论、
最优化等多方面均有着广泛的应用。正交系设是
内积空间H中一族彼此不同的
向量,如果其中任何两个向量都正交,即当k≠j时,,则称是一正交系;如果其中每个向量的
范数又都是1,即对一切k,,则称{ek}是规范
正交系。对于希尔伯特空间H的规范正交系,如果包含的最小闭
子空间就是H,就称{ek}为H的完备规范正交系。设是规范正交系,则H中任一
向量x在ek方向的投影,即x在{ek}生成的一维子空间上的投影,就是;而x在生成的闭子空间M上的投影就是H。显然有,即向量x在某个子空间M上的分量“长度”永不超过x的长度,它称为
贝塞尔不等式。如果{ek}是完备规范
正交系,那么成立着(傅里叶展式),(帕舍伐尔等式)。傅里叶展开是古典分析中傅里叶
级数或一般正交级数展开的推广。
里斯表示定理希尔伯特空间H上每个连续线性
泛函F,对应于惟一的,使,并且,这就是里斯的连续线性泛函表示定理。因此,希尔伯特空间的共轭空间与自身(保持
范数不变地)
同构(实际上是一种共轭线性同构),即H=H*。这个结果在希尔伯特空间
映射理论中具有很重要的作用。