希尔伯特空间

在数学里，希尔伯特空间（Hilbert space）即完备的内积空间，也就是一个带有内积的完备向量空间。内积的构造推广了欧几里得空间的距离和角的概念；完备则确保了其上所有的柯西序列会收敛到此空间里的一点，从而微积分中的许多概念都可以推广到希尔伯特空间中。
希尔伯特空间为基于任意正交坐标系上的多项式表示的傅立叶级数和傅立叶变换提供了一种有效的表述方式，而这也是泛函分析的核心概念之一。另外希尔伯特空间也是量子力学的重要数学基础之一。
简介.
希尔伯特空间以大卫·希尔伯特的名字命名，他在对积分方程的研究中研究了希尔伯特空间。冯·诺伊曼在其1929年出版的关于无界自伴算子的著作中，最早使用了“希尔伯特空间”这个名词。冯·诺伊曼可能是最早清楚地认识到希尔伯特空间的重要性的数学家之一，他在进行对量子力学的基础性和创造性地研究的时候认识到了这一点。此项研究由冯·诺伊曼与希尔伯特和朗道展开，随后由尤金·维格纳（Eugene Wigner）继续深入。“希尔伯特空间”这个名字迅速被其他科学家所接受，例如在外尔1931年出版的著作《群与量子力学的理论》（The Theory of Groups and Quantum Mechanics）中就使用了这一名词。
一个抽象的希尔伯特空间中的元素往往被称为向量。在实际应用中，它可能代表了一列复数或是一个函数。例如在量子力学中，一个物理系统可以表示为一个复希尔伯特空间，其中的向量是描述系统可能状态的波函数。详细的资料可以参考量子力学的数学表述相关的内容。量子力学中由平面波和束缚态所构成的希尔伯特空间，一般被称为装备希尔伯特空间（rigged Hilbert space）
在所有的无穷维拓扑向量空间中，希尔伯特空间性质最好，也最接近有限维空间的情形。例如
傅立叶分析的一个重要目的是将一个给定的函数表示成一族给定的基底函数的和（可能是无穷和）。这个问题可以在希尔伯特空间中更抽象地描述为：任何一个希尔伯特空间都有一族标准正交基，而且每个希尔伯特空间中的元素都可以唯一地表示为这族基底中的元素或其倍数的和。
定义.
若在复（或实）内积空间 formula_1 取值的柯西序列，都收敛于 formula_1 内的某个向量，那 formula_1 就被称为是希尔伯特空间，也就是说
_{i\in\N}</math> 满足 （注意 formula_4 ，详请参见 内积空间#范数）
时，就存在向量 formula_10 ，使得
这时称 formula_1 就被称为复（或实）希尔伯特空间（Hilbert space）。
例子.
欧几里得空间.
formula_17及其上的内积
构成了一个复希尔伯特空间（其中短横线表示一个复数的复共轭。），因为formula_17本身就是定义在域 formula_20上的 formula_21 维向量空间，但有限维内积空间必完备，故 formula_17是个复希尔伯特空间。
序列空间.
更一般的希尔伯特空间都是无穷维的，假设formula_23是一个任意集合，可以定义其上的formula_24序列空间，记为
此空间在定义如下内积后，成为一个希尔伯特空间：
其中formula_27和formula_28是formula_29中的任意元素。在这个定义中，formula_23并非一定要是可数的，在formula_23不可数之情形下，formula_29不是可分（separable）的。在下面更具体的例子中，所有的希尔伯特空间在选定适当的formula_23的情况下，都可以表示成为formula_29的一个同构空间。特别地，当formula_35的时候，可以将其简单记为formula_24。
勒贝格空间.
勒贝格空间( 这里指 formula_37 空间 )是指定义在测度空间formula_38 上的函数空间，其中formula_39 代表函数的定义域，formula_40 的元素是 formula_39上的子集族，为 一个 formula_42 代数，一般把 formula_40 称作可测空间(measurable space)，而 formula_44 是 formula_40 上的测度。
更仔细的说，formula_46( 简写做 formula_37 ) 表示 formula_39 上所有平方可积（square-integrable）的复数值的可测函数的集合。平方可积表示该函数的绝对值的平方的积分是有限的。要注意的是在 formula_37 空间里，对于几乎处处( almost everywhere )相同的函数，也就是说如果两函数只在一个测度为0的集合上不相等，我们把这两函数当做在 formula_37 中相同的元素。
此时两个函数formula_51和formula_52的内积定义为
但需要证明的是：
这个证明可以在相关的书籍中找到，与此例相关的内容可以参看关于formula_55空间的著作。
索伯列夫空间.
索伯列夫空间一般表示为formula_56或者formula_57是希尔伯特空间的另一个重要实例，它多被应用于偏微分方程的研究。
基本性质.
内积为连续函数.
formula_1 是个复希尔伯特空间，formula_10 为某向量则：
在希尔伯特空间 中，若序列 满足对任意的 , 都有
则称该序列到向量 
例如，任何正交序列 都弱收敛到  0. 此为贝塞尔不等式的结果。根据一致有界原理，每个弱收敛序列 都有界。
反之，希尔伯特空间中的每个有界序列，都有一个弱收敛子序列，此谓巴拿赫-阿拉奥卢定理。 这可用作证明某些连续凸泛函的最小值的存在性，正如波尔查诺－魏尔斯特拉斯定理适用于 上的连续函数。一个较简单的结果是：
此个结论（并其若干推广）是变分法中的基础。更抽象地说，凸泛函的最小值存在，也是因为希尔伯特空间 上的闭有界凸集均为弱紧集（因为 是自反空间）。弱收敛子序列的存在性是 的特殊情况。
帕塞瓦尔恒等式（勾股定理）.
在希尔伯特空间 中，若两支向量 和 满足 ，则称它们正交，记为 . 更一般地，若 是 的子集，则 表示 与 的每个元素都正交。
当 和 正交时，就有
对 使用数学归纳法，上式可以推广到对任意 支正交向量 成立，即
毕达哥拉斯恒等式对每个内积空间都成立，但希尔伯特空间具有完备性，故此恒等式可推广到对级数成立。一列 "正交" 向量组成的级数 在 中收敛当且仅当各项范数平方组成的级数收敛，且此时
此外，正交向量的级数和与求和顺序无关。
平行四边形恒等式和极化恒等式.
由定义，每个希尔伯特空间都是巴拿赫空间。 而在每个希尔伯特空间中，以下平行四边形恒等式成立:
反之，若一个巴拿赫空间满足平行四边形恒等式，则其亦为希尔伯特空间，因为它的内积可由极化恒等式唯一确定。 对实希尔伯特空间，极化恒等式是
而对复希尔伯特空间，其为
由平行四边形恒等式，可以推出任何希尔伯特空间都是。
投影定理.
最佳逼近.
根据，若 是希尔伯特空间 的非空闭凸子集，为 的任一点，则存在唯一的 使其到 的距离是各个 中的点到 的距离中最小的，即
此等价于经平移的凸集 中有范数最小的元素。欲证之，可先证明对每个序列 ，若各项范数趋向于中范数的下确界，则其为柯西序列（利用平行四边形恒等式），故由完备性知其收敛到 的某点。此结论对任意一致凸巴拿赫空间均适用。
当对 的闭子空间 应用此结论时，可以证明最靠近 的点 满足
该点 称为 到 上的 "正交射影" ，而这给出的映射 是线性的。此结论于应用数学有用，而数值分析尤甚，因这结论是最小二乘法的基础。 
特别到，当 不等于 时，可找到一支非零向量 与 正交（选 并考虑 ）。由此得到一个有用的判定条件： 
对偶性.
对偶空间 是所有由 到其系数域的连续线性函数组成的空间。 其具有一个自然的范数，由下式给出：
这满足平行四边形恒等式，故对偶空间亦为一个内积空间。同时它也是完备的，所以希尔伯特空间的对偶空间也是希尔伯特空间。
里斯表示定理 描述了这个对偶空间。 对每个 的元素 ， 中有唯一的 满足
则 是从 到 的反线性映射。里斯表示定理说此映射是个反线性同构。 所以对每个 的元素 ，都存在唯一的 使得
对任意 都成立。 对偶空间 上的内积满足
注意右边的次序反转了，才使 的反线性变回上述内积对 的线性。当 是实希尔伯特空间时，从 到其对偶的反线性同构实际上是一般的同构，所以实希尔伯特空间自然地与其对偶同构。
表示 的向量 可藉下列方法找到。 当 时， 核 是 的闭子空间，且不等于 ，故存在非零向量 与 正交。 取向量 为 的纯量倍 ，于是条件 给出
物理学上广泛应用的狄拉克符号正利用了 的对应关系。 物理学家通常约定，内积 对右边的运算元线性，即
于是 可以视为线性泛函 （称为 "左矢" ）作用在向量 （称为 "右矢" ）的结果。
里斯表示定理要求空间的完备性。事实上，从定理可知任意内积空间的拓扑对偶都与其完备化空间同构。作为里斯表示定理的直接推论， 希尔伯特空间 是 自反空间, 即由 到其对偶之对偶的自然映射是同构。
希尔伯特空间的基.
希尔伯特空间的一个中间概念是标准正交基，即其上的一族函数formula_81满足：
有时也使用"标准正交列"或"标准正交集"指代。
标准正交基的一些实例：
希尔伯特空间的相互作用.
给定任意两个（或更多）希尔伯特空间，利用直和或张量积的方式，可以给出一个更大的希尔伯特空间。