【希尔伯特空间】
希尔伯特空间可以用来研究振动的弦的谐波。
在数学里，希尔伯特空间（Hilbert space）即完备的内积空间，也就是一个带有内积的完备向量空间。内积的构造推广了欧几里得空间的距离和角的概念；完备则确保了其上所有的柯西序列会收敛到此空间里的一点，从而微积分中的许多概念都可以推广到希尔伯特空间中。
希尔伯特空间为基于任意正交系上的多项式表示的傅立叶级数和傅立叶变换提供了一种有效的表述方式，而这也是泛函分析的核心概念之一。另外希尔伯特空间也是量子力学的重要数学基础之一。
==简介==
希尔伯特空间以大卫·希尔伯特的名字命名，他在对积分方程的研究中研究了希尔伯特空间。冯·诺伊曼在其1929年出版的关于无界自伴算子的著作中，最早使用了“希尔伯特空间”这个名词。冯·诺伊曼可能是最早清楚地认识到希尔伯特空间的重要性的数学家之一，他在进行对量子力学的基础性和创造性地研究的时候认识到了这一点。此项研究由冯·诺伊曼与希尔伯特和朗道展开，随后由尤金·维格纳（Eugene Wigner）继续深入。“希尔伯特空间”这个名字迅速被其他科学家所接受，例如在外尔1931年出版的著作《群与量子力学的理论》（The Theory of Groups and Quantum Mechanics）中就使用了这一名词。
一个抽象的希尔伯特空间中的元素往往被称为向量。在实际应用中，它可能代表了一列复数或是一个函数。例如在量子力学中，一个物理系统可以表示为一个复希尔伯特空间，其中的向量是描述系统可能状态的波函数。详细的资料可以参考量子力学的数学表述相关的内容。量子力学中由平面波和束缚态所构成的希尔伯特空间，一般被称为装备希尔伯特空间（rigged Hilbert space）
在所有的无穷维拓扑向量空间中，希尔伯特空间性质最好，也最接近有限维空间的情形。例如
* 酉群（unitary group）的表示论。
* 平方可积的随机过程理论。
* 偏微分方程的希尔伯特空间理论，特别是狄利克雷问题。
* 函数的谱分析及小波分析。
* 量子力学的数学描述。
傅立叶分析的一个重要目的是将一个给定的函数表示成一族给定的基底函数的和（可能是无穷和）。这个问题可以在希尔伯特空间中更抽象地描述为：任何一个希尔伯特空间都有一族标准正交基，而且每个希尔伯特空间中的元素都可以唯一地表示为这族基底中的元素或其倍数的和。
==定义==
若在复（或实）内积空间  取值的柯西序列，都收敛于  内的某个向量，那  就被称为是希尔伯特空间，也就是说
是个复（或实）内积空间，若其上的向量序列  满足 （注意  ，详请参见 内积空间#范数）
「对所有的正实数  ，存在正整数  使所有的正整数  ，只要有  就有 」
时，就存在向量   ，使得
「对所有的正实数  ，存在正整数  使所有的正整数  ，只要有  就有 」
这时称  就被称为复（或实）希尔伯特空间（Hilbert space）。
==例子==
===欧几里得空间===
及其上的内积
:
构成了一个复希尔伯特空间（其中短横线表示一个复数的复共轭。）
===序列空间===
更一般的希尔伯特空间都是无穷维的，假设是一个任意集合，可以定义其上的序列空间，记为
:
此空间在定义如下内积后，成为一个希尔伯特空间：
:
其中和是中的任意元素。在这个定义中，并非一定要是可数的，在不可数之情形下，不是可分（separable）的。在下面更具体的例子中，所有的希尔伯特空间在选定适当的的情况下，都可以表示成为的一个同构空间。特别地，当的时候，可以将其简单记为。
===勒贝格空间===
勒贝格空间( 这里指  空间 )是指定义在测度空间 上的函数空间，其中 代表函数的定义域， 的元素是 上的子集族，为 一个  代数，一般把  称作可测空间(measurable space)，而  是  上的测度。
更仔细的说，( 简写做  ) 表示  上所有平方可积（square-integrable）的复数值的可测函数的集合。平方可积表示该函数的绝对值的平方的积分是有限的。要注意的是在  空间里，对于几乎处处( almost everywhere )相同的函数，也就是说如果两函数只在一个测度为0的集合上不相等，我们把这两函数当做在  中相同的元素。
此时两个函数和的内积定义为
:
* 因为 ，所以这内积的定义没有问题。
但需要证明的是：
* 此空间在此内积下是完备的。
这个证明可以在相关的书籍中找到，与此例相关的内容可以参看关于空间的著作。
===索伯列夫空间===
索伯列夫空间一般表示为或者是希尔伯特空间的另一个重要实例，它多被应用于偏微分方程的研究。
==基本性质==
=== 有限维必完备 ===
=== 内积为连续函数 ===
在希尔伯特空间 H 中，若序列  满足对任意的 v ∈ H, 都有
则称该序列Weak topology#Weak convergence到向量 x ∈ H.
例如，任何正交序列  都弱收敛到  0. 此为贝塞尔不等式的结果。根据一致有界原理，每个弱收敛序列  都有界。
反之，希尔伯特空间中的每个有界序列，都有一个弱收敛子序列，此谓巴拿赫-阿拉奥卢定理。 这可用作证明某些连续凸泛函的最小值的存在性，正如波尔查诺－魏尔斯特拉斯定理适用于 ℝd 上的连续函数。一个较简单的结果是：
若 f : H → ℝ 为凸的连续函数，使得当 ‖x‖ 趋向于 ∞ 时，就有 f(x) 趋向于 +∞，则 f 在某点 x0 ∈ H 取得最小值。
此个结论（并其若干推广）是变分法中direct direct method in the calculus of variations的基础。更抽象地说，凸泛函的最小值存在，也是因为希尔伯特空间 H 上的闭有界凸集均为弱紧集（因为 H 是自反空间）。弱收敛子序列的存在性是 Eberlein–Šmulian theorem 的特殊情况。
===帕塞瓦尔恒等式（勾股定理）===
在希尔伯特空间 H 中，若两支向量 u 和 v 满足 ，则称它们正交，记为 u ⊥ v. 更一般地，若 S 是 H 的子集，则 u ⊥ S 表示 u 与 S 的每个元素都正交。
当 u 和 v 正交时，就有
对 n 使用数学归纳法，上式可以推广到对任意 n 支正交向量 u1, ..., un 成立，即
毕达哥拉斯恒等式对每个内积空间都成立，但希尔伯特空间具有完备性，故此恒等式可推广到对级数成立。一列 正交 向量组成的级数 ∑uk 在 H 中收敛当且仅当各项范数平方组成的级数收敛，且此时
此外，正交向量的级数和与求和顺序无关。
===平行四边形恒等式和极化恒等式===
几何上，平行四边形恒等式给出 . 换言之，两对角线的平方和等于两邻边平方和的两倍。
由定义，每个希尔伯特空间都是巴拿赫空间。 而在每个希尔伯特空间中，以下平行四边形恒等式成立:
反之，若一个巴拿赫空间满足平行四边形恒等式，则其亦为希尔伯特空间，因为它的内积可由极化恒等式唯一确定。 对实希尔伯特空间，极化恒等式是
而对复希尔伯特空间，其为
由平行四边形恒等式，可以推出任何希尔伯特空间都是uniformly convex space。
== 投影定理 ==
===最佳逼近===
根据Hilbert projection theorem，若 C 是希尔伯特空间 H 的非空闭凸子集，x为 H 的任一点，则存在唯一的 y ∈ C 使其到 x 的距离是各个 C 中的点到 x 的距离中最小的，即
此等价于经平移的凸集  中有范数最小的元素。欲证之，可先证明对每个序列 (dn) ⊂ D，若各项范数趋向于D中范数的下确界，则其为柯西序列（利用平行四边形恒等式），故由完备性知其收敛到D 的某点。此结论对任意一致凸巴拿赫空间均适用。
当对 H 的闭子空间 F 应用此结论时，可以证明最靠近 x 的点 y ∈ F 满足
该点 y 称为 x 到 F 上的  正交射影 ，而这给出的映射 PF : x ↦ y 是线性的。此结论于应用数学有用，而数值分析尤甚，因这结论是最小二乘法的基础。
特别到，当 F 不等于 H 时，可找到一支非零向量 v 与 F 正交（选 x ∉ F 并考虑 ）。由此得到一个有用的判定条件：
H 的子集 S 线性生成一个稠密的子空间当且仅当向量 0 是 H 中与 S 正交的唯一向量。
=== 对偶性 ===
对偶空间 H* 是所有由H 到其系数域的连续线性函数组成的空间。 其具有一个自然的范数，由下式给出：
这满足平行四边形恒等式，故对偶空间亦为一个内积空间。同时它也是完备的，所以希尔伯特空间的对偶空间也是希尔伯特空间。
里斯表示定理 描述了这个对偶空间。 对每个 H 的元素 u ， H* 中有唯一的 φu 满足
则 u ↦ φu 是从 H 到 H* 的反线性映射。里斯表示定理说此映射是个反线性同构。  所以对每个 H* 的元素 φ，都存在唯一的 uφ ∈ H 使得
对任意 x ∈ H 都成立。 对偶空间 H* 上的内积满足
注意右边的次序反转了，才使 uφ 的反线性变回上述内积对 φ 的线性。当 H 是实希尔伯特空间时，从 H 到其对偶的反线性同构实际上是一般的同构，所以实希尔伯特空间自然地与其对偶同构。
表示 φ 的向量 uφ 可藉下列方法找到。 当 φ ≠ 0 时， 核  是 H 的闭子空间，且不等于 H ，故存在非零向量 v 与 F 正交。 取向量 u 为 v 的纯量倍 λv，于是条件  给出
物理学上广泛应用的狄拉克符号正利用了φ ↔ u 的对应关系。 物理学家通常约定，内积  对右边的运算元线性，即
于是  可以视为线性泛函  （称为 左矢 ）作用在向量  （称为 右矢 ）的结果。
里斯表示定理要求空间的完备性。事实上，从定理可知任意内积空间的拓扑对偶都与其完备化空间同构。作为里斯表示定理的直接推论， 希尔伯特空间 H 是 自反空间, 即由 H 到其对偶之对偶的自然映射是同构。
==希尔伯特空间的基==
希尔伯特空间的一个中间概念是标准正交基，即其上的一族函数满足：
* 所有元素都是单位化的：即对于任意，，。
* 所有元素彼此正交：若和是这族基中的不同元素，那么。
* 其线性扩张稠密：即其中的所有元素的有限的线性组合是的一个稠密子集。
有时也使用标准正交列或标准正交集指代。
标准正交基的一些实例：
* 集合（）
==希尔伯特空间的相互作用==
给定任意两个（或更多）希尔伯特空间，利用直和或张量积的方式，可以给出一个更大的希尔伯特空间。
==请参见==
* 完备的度量空间或完备的距离空间
* 完备的赋范空间
* n维欧几里得空间
== 参考文献 ==
=== 引用 ===
=== 书目 ===
* Citation | last1=Bachman | first1=George | last2=Narici | first2=Lawrence | last3=Beckenstein | first3=Edward | title=Fourier and wavelet analysis | publisher=Springer-Verlag | location=Berlin, New York | series=Universitext | isbn=978-0-387-98899-3 | mr=1729490 | year=2000.
* isbn=978-0-8218-0049-2.
* isbn=978-0-201-00767-1.
* isbn=978-3-540-13627-9.
* url=https://archive.org/details/historyofmathema00boye.
* isbn=978-0-387-95451-6.
*  volume=15.
* doi-access=free.
* year=1953.
*  year= 1960.
* title-link=The Principles of Quantum Mechanics.
* year=1958.
* location= New York.
* edition=Reprint of Wadsworth and Brooks/Cole 1992.
* isbn= 978-0-691-08527-2.
* year=1907.
* jstor=1986278.
* isbn=978-981-238-043-2.
* Citation | last1=Grattan-Guinness | first1=Ivor | title=The search for mathematical roots, 1870–1940 | publisher=Princeton University Press | series=Princeton Paperbacks | isbn=978-0-691-05858-0 | mr=1807717 | year=2000.
* isbn=978-0-387-90685-0.
*  location = New York.
*  s2cid=120986758.
* oclc=318268606.
* citation|last=Kac|first=Mark|author-link=Mark Kac|title=Can one hear the shape of a drum?|journal=American Mathematical Monthly|volume=73|issue=4, part 2|year=1966|pages=1–23|doi=10.2307/2313748|jstor=2313748.
* Citation | last1=Kadison | first1=Richard V. | last2=Ringrose | first2=John R. | title=Fundamentals of the theory of operator algebras. Vol. I | publisher=American Mathematical Society | location=Providence, R.I. | series=Graduate Studies in Mathematics | isbn=978-0-8218-0819-1 | mr=1468229 | year=1997 | volume=15.
* publisher= Academic Press, Inc.
*  doi-access=free .
* Citation | last1=Kline | first1=Morris | author1-link=Morris Kline | title=Mathematical thought from ancient to modern times, Volume 3 | year=1972 | publisher=Oxford University Press | edition=3rd | isbn=978-0-19-506137-6 | publication-date=1990 | url=https://archive.org/details/mathematicalthou00morr .
*  url = https://archive.org/details/introductoryreal00kolm_0.
* Citation | last1=Krantz | first1=Steven G. | author-link=Steven Krantz|title=Function Theory of Several Complex Variables | publisher=American Mathematical Society | location=Providence, R.I. | isbn=978-0-8218-2724-6 | year=2002.
*  url=https://books.google.com/books?as_isbn=0-486-65656-X.
*publisher=Gauthier-Villars.
* last=Levitan.
* Citation | last1=Lindenstrauss | first1=J. | last2=Tzafriri | first2=L. | title=On the complemented subspaces problem | mr=0276734 | year=1971 | journal=Israel Journal of Mathematics | issn=0021-2172 | volume=9 | pages=263–269 | doi=10.1007/BF02771592 | doi-access=free | issue=2| s2cid=119575718 .
*  year=1974.
* isbn=0-12-511360-9.
*  s2cid=121249803.
* edition=2
*  doi-access=free.
*Citation | last1=von Neumann | first1=John | author1-link=John von Neumann | title=Mathematical Foundations of Quantum Mechanics | publisher=Princeton University Press | series=Princeton Landmarks in Mathematics | isbn=978-0-691-02893-4 | mr=1435976 | publication-date=1996|year=1955| title-link=Mathematical Foundations of Quantum Mechanics |translator-first=Robert T. |translator-last=Beyer.
* citation|last1=Nielsen|first=Michael A.|author-link1=Michael Nielsen |last2=Chuang|first2=Isaac L. |author-link2=Isaac Chuang |title=Quantum Computation and Quantum Information|title-link=Quantum Computation and Quantum Information|publisher=Cambridge University Press|location=Cambridge|year=2000|edition=1st|oclc=634735192|isbn=978-0-521-63503-5.
* date=1996
* citation | last=Peres | first=Asher |author-link = Asher Peres |title=Quantum Theory: Concepts and Methods |publisher=Kluwer |year=1993 |isbn=0-7923-2549-4 |oclc=28854083
* isbn=978-0-486-45327-9.
* isbn= 978-0-12-585050-6.
* isbn=9780125850025 .
* author-link=Eleanor Rieffel.
* year=1907.
* year=1934.
* isbn= 978-0-486-66289-3.
* edition=1
* isbn=978-0-07-100276-9.
* isbn=978-0-486-44648-6; originally published Monografje Matematyczne, vol. 7, Warszawa, 1937.
* edition=2
*  s2cid=120666844.
* Citation | last1=Shubin | first1=M. A. | title=Pseudodifferential operators and spectral theory | publisher=Springer-Verlag | location=Berlin, New York | series=Springer Series in Soviet Mathematics | isbn=978-3-540-13621-7 | mr=883081 | year=1987.
*  doi-access=free .
* year=2006.
* url=https://archive.org/details/singularintegral0000stei.
* url=https://archive.org/details/introductiontofo0000stei.
* publisher=W. A. Benjamin, Inc.
* cite book| last = Teschl| given = Gerald| author-link = Gerald Teschl| title = Mathematical Methods in Quantum Mechanics; With Applications to Schrödinger Operators| publisher = American Mathematical Society| place = Providence| year = 2009| url = https://www.mat.univie.ac.at/~gerald/ftp/book-schroe/| isbn = 978-0-8218-4660-5| access-date = 2022-09-19| archive-date = 2022-08-12| archive-url = https://web.archive.org/web/20220812080117/https://www.mat.univie.ac.at/~gerald/ftp/book-schroe/| dead-url = no.
* location=Oxford University.
* year=1967.
* Citation | last1=Warner | first1=Frank | title=Foundations of Differentiable Manifolds and Lie Groups | publisher=Springer-Verlag | location=Berlin, New York | isbn=978-0-387-90894-6 | year=1983.
* Citation | last1=Weidmann | first1=Joachim | title=Linear operators in Hilbert spaces | publisher=Springer-Verlag | location=Berlin, New York | series=Graduate Texts in Mathematics | isbn=978-0-387-90427-6 | mr=566954 | year=1980 | volume=68.
*  isbn= 978-0-486-60269-1.
* isbn=978-0-521-33071-8.
* Jean Dieudonné, Foundations of Modern Analysis, Academic Press, 1960.
*author=B.M. Levitan