希尔伯特空间

在数学裡，希尔伯特空间（）即完备的内积空间，也就是一個帶有內積的完備向量空間。內積的構造推廣了欧几里得空间的距离和角的概念；完備則確保了其上所有的柯西序列會收敛到此空間裡的一點，从而微积分中的許多概念都可以推广到希尔伯特空间中。

希尔伯特空间为基于任意正交系上的多项式表示的傅立叶级数和傅立叶变换提供了一种有效的表述方式，而这也是泛函分析的核心概念之一。另外希尔伯特空间也是量子力学的重要數學基礎之一。

简介

希尔伯特空间以大卫·希尔伯特的名字命名，他在对积分方程的研究中研究了希尔伯特空间。冯·诺伊曼在其1929年出版的关于无界自伴算子的著作中，最早使用了“希尔伯特空间”这个名词。冯·诺伊曼可能是最早清楚地认识到希尔伯特空间的重要性的数学家之一，他在进行对量子力学的基础性和创造性地研究的时候认识到了这一点。此项研究由冯·诺伊曼与希尔伯特和朗道展开，随后由尤金·维格纳（）继续深入。“希尔伯特空间”这个名字迅速被其他科学家所接受，例如在外尔1931年出版的著作《群与量子力学的理论》（）中就使用了这一名词。

一个抽象的希尔伯特空间中的元素往往被称为向量。在实际应用中，它可能代表了一列複數或是一个函数。例如在量子力学中，一个物理系统可以表示为一个複希尔伯特空间，其中的向量是描述系统可能状态的波函数。详细的资料可以参考量子力学的数学表述相关的内容。量子力学中由平面波和束缚态所构成的希尔伯特空间，一般被称为装备希尔伯特空间（rigged Hilbert space）

在所有的无穷维拓扑向量空间中，希尔伯特空间性质最好，也最接近有限维空间的情形。例如

 酉群（unitary group）的表示论。
 平方可积的随机过程理论。
 偏微分方程的希尔伯特空间理论，特别是狄利克雷问题。
 函数的谱分析及小波分析。
 量子力学的数学描述。

傅立叶分析的一个重要目的是将一个给定的函数表示成一族给定的基底函数的和（可能是无穷和）。这个问题可以在希尔伯特空间中更抽象地描述为：任何一个希尔伯特空间都有一族标准正交基，而且每个希尔伯特空间中的元素都可以唯一地表示为这族基底中的元素或其倍数的和。

定义

若在複（或實）内积空间  取值的柯西序列，都收斂於  內的某個向量，那  就被稱為是希尔伯特空间，也就是說

例子

欧几里得空间

及其上的内积

构成了一个複希尔伯特空间（其中短横线表示一个複數的复共轭。）

序列空间

更一般的希尔伯特空间都是无穷维的，假设是一个任意集合，可以定义其上的序列空间，记为

此空间在定义如下内积后，成为一个希尔伯特空间：

其中和是中的任意元素。在这个定义中，并非一定要是可数的，在不可数之情形下，不是可分（separable）的。在下面更具体的例子中，所有的希尔伯特空间在选定适当的的情况下，都可以表示成为的一个同构空间。特别地，当的时候，可以将其简单记为。

勒贝格空间

勒贝格空间( 這裡指  空間 )是指定義在测度空间 上的函数空间，其中 代表函數的定義域， 的元素是 上的子集族，為 一個  代数，一般把  稱作可測空間(measurable space)，而  是  上的测度。

更仔細的說，( 簡寫做  ) 表示  上所有平方可积（square-integrable）的複數值的可测函数的集合。平方可积表示该函数的绝对值的平方的积分是有限的。要注意的是在  空間裡，對於几乎处处( almost everywhere )相同的函数，也就是說如果兩函數只在一个测度为0的集合上不相等，我們把這兩函數當做在  中相同的元素。

此时两个函数和的内积定義为

 因為 ，所以這內積的定義沒有問題。

但需要证明的是：

 此空间在此内积下是完备的。

这个证明可以在相关的书籍中找到，与此例相关的内容可以参看关于空间的著作。

索伯列夫空间

索伯列夫空间一般表示为或者是希尔伯特空间的另一个重要实例，它多被应用于偏微分方程的研究。

基本性質

有限維必完備

內積為連續函數 

在希爾伯特空間  中，若序列  滿足對任意的 , 都有

則稱該序列到向量  

例如，任何正交序列  都弱收斂到  0. 此為贝塞尔不等式的結果。根據一致有界原理，每個弱收斂序列  都有界。

反之，希爾伯特空間中的每個有界序列，都有一個弱收斂子序列，此謂巴拿赫-阿拉奧盧定理。 這可用作證明某些連續凸泛函的最小值的存在性，正如波爾查諾－魏爾斯特拉斯定理適用於  上的連續函數。一個較簡單的結果是：

若  為凸的連續函數，使得當  趨向於  時，就有  趨向於 ，則  在某點  取得最小值。

此個結論（並其若干推廣）是变分法中的基礎。更抽象地說，凸泛函的最小值存在，也是因為希爾伯特空間  上的閉有界凸集均為弱緊集（因為  是自反空間）。弱收斂子序列的存在性是  的特殊情況。

帕塞瓦尔恒等式（勾股定理）

在希爾伯特空間  中，若兩支向量  和  滿足 ，則稱它們正交，記為 . 更一般地，若  是  的子集，則  表示  與  的每個元素都正交。

當  和  正交時，就有

對  使用數學歸納法，上式可以推廣到對任意  支正交向量  成立，即

畢達哥拉斯恆等式對每個內積空間都成立，但希爾伯特空間具有完備性，故此恆等式可推廣到對級數成立。一列 正交 向量組成的級數  在  中收斂當且僅當各項範數平方組成的級數收斂，且此時

此外，正交向量的級數和與求和順序無關。

平行四邊形恆等式和極化恆等式

由定義，每個希爾伯特空間都是巴拿赫空間。 而在每個希爾伯特空間中，以下平行四邊形恆等式成立:
 
反之，若一個巴拿赫空間滿足平行四邊形恆等式，則其亦為希爾伯特空間，因為它的內積可由極化恆等式唯一確定。 對實希爾伯特空間，極化恆等式是

而對複希爾伯特空間，其為

由平行四邊形恆等式，可以推出任何希爾伯特空間都是。

投影定理

最佳逼近
根據，若  是希爾伯特空間  的非空閉凸子集，為  的任一點，則存在唯一的  使其到  的距離是各個  中的點到  的距離中最小的，即

此等價於經平移的凸集  中有範數最小的元素。欲證之，可先證明對每個序列 ，若各項範數趨向於中範數的下確界，則其為柯西序列（利用平行四邊形恆等式），故由完備性知其收斂到 的某點。此結論對任意一致凸巴拿赫空間均適用。

當對  的閉子空間  應用此結論時，可以證明最靠近  的點  滿足

該點  稱為  到  上的  正交射影 ，而這給出的映射  是線性的。此結論於應用數學有用，而數值分析尤甚，因這結論是最小二乘法的基礎。 

特別到，當  不等於  時，可找到一支非零向量  與  正交（選  並考慮 ）。由此得到一個有用的判定條件： 

 的子集  線性生成一個稠密的子空間當且僅當向量  是  中與  正交的唯一向量。

對偶性 
对偶空间  是所有由 到其系數域的連續線性函數組成的空間。 其具有一個自然的範數，由下式給出：

這滿足平行四邊形恆等式，故對偶空間亦為一個內積空間。同時它也是完備的，所以希爾伯特空間的對偶空間也是希爾伯特空間。

里斯表示定理 描述了這個對偶空間。 對每個  的元素  ，  中有唯一的  滿足

則  是從  到  的反线性映射。里斯表示定理說此映射是個反線性同構。  所以對每個  的元素 ，都存在唯一的  使得

對任意  都成立。 對偶空間  上的內積滿足

注意右邊的次序反轉了，才使  的反線性變回上述內積對  的線性。當  是實希爾伯特空間時，從  到其對偶的反線性同構實際上是一般的同構，所以實希爾伯特空間自然地與其對偶同構。

表示  的向量  可藉下列方法找到。 當  時， 核  是  的閉子空間，且不等於  ，故存在非零向量  與  正交。 取向量  為  的純量倍 ，於是條件  給出

物理學上廣泛應用的狄拉克符号正利用了 的對應關係。 物理學家通常約定，內積  對右邊的運算元線性，即

於是  可以視為線性泛函  （稱為 左矢 ）作用在向量  （稱為 右矢 ）的結果。

里斯表示定理要求空間的完備性。事實上，從定理可知任意內積空間的拓撲對偶都與其完備化空間同構。作為里斯表示定理的直接推論， 希爾伯特空間  是 自反空间, 即由  到其對偶之對偶的自然映射是同構。

希尔伯特空间的基

希尔伯特空间的一个中间概念是标准正交基，即其上的一族函数满足：

 所有元素都是单位化的：即对于任意，，。
 所有元素彼此正交：若和是这族基中的不同元素，那么。
 其线性扩张稠密：即其中的所有元素的有限的线性组合是的一个稠密子集。

有时也使用标准正交列或标准正交集指代。

标准正交基的一些实例：

 集合（）

希尔伯特空间的相互作用

给定任意两个（或更多）希尔伯特空间，利用直和或张量积的方式，可以给出一个更大的希尔伯特空间。

请参见
 完备的度量空间或完备的距离空间
 完备的赋范空间
 n维欧几里得空间

参考文献

引用

书目 

 .
 .
 .
 .
 .
 .
 .
 .
 .
 .
 .
 .
 .

 .
 .
 .
 .
 .
 .
 
 .
 .
 .
 .
 .
 .
 

 .
 .
 .
 .
 .
.
 .
 .
 .
 .
 .
  
 .
.
 .
 
 
 .
 .
 .
 .
 .
 .
 .
  
 .
 ; originally published Monografje Matematyczne, vol. 7, Warszawa, 1937.
  
 .
 .
 .
 .
 .
 .
 .
 .
 .
 .
 .
 .
 .
 .
 Jean Dieudonné, Foundations of Modern Analysis, Academic Press, 1960.

X
X
X