希尔伯特空间
在数学裡，希尔伯特空间（）即完备的内积空间，也就是一個帶有內積的完備向量空間。希尔伯特空间是有限维欧几里得空间的一个推广，使之不局限于實數的情形和有限的维数，但又不失完备性（而不像一般的非欧几里得空间那样破坏了完备性）。与欧几里得空间相仿，希尔伯特空间也是一个内积空间，其上有距离和角的概念（及由此引申而来的正交性与垂直性的概念）。此外，希尔伯特空间还是一个完备的空间，其上所有的柯西序列會收敛到此空間裡的一點，从而微积分中的大部分概念都可以无障碍地推广到希尔伯特空间中。
希尔伯特空间为基于任意正交系上的多项式表示的傅立叶级数和傅立叶变换提供了一种有效的表述方式，而这也是泛函分析的核心概念之一。希尔伯特空间是公設化数学和量子力学的关键性概念之一。
希尔伯特空间以大卫·希尔伯特的名字命名，他在对积分方程的研究中研究了希尔伯特空间。冯·诺伊曼在其1929年出版的关于无界自伴算子的著作中，最早使用了“希尔伯特空间”这个名词。冯·诺伊曼可能是最早清楚地认识到希尔伯特空间的重要性的数学家之一，他在进行对量子力学的基础性和创造性地研究的时候认识到了这一点。此项研究由冯·诺伊曼与希尔伯特和朗道展开，随后由尤金·维格纳（）继续深入。“希尔伯特空间”这个名字迅速被其他科学家所接受，例如在外尔1931年出版的著作《群与量子力学的理论》（）中就使用了这一名词。
一个抽象的希尔伯特空间中的元素往往被称为向量。在实际应用中，它可能代表了一列複數或是一个函数。例如在量子力学中，一个物理系统可以表示为一个複希尔伯特空间，其中的向量是描述系统可能状态的波函数。详细的资料可以参考量子力学的数学表述相关的内容。量子力学中由平面波和束缚态所构成的希尔伯特空间，一般被称为装备希尔伯特空间（rigged Hilbert space）。
完备的内积空间称为希尔伯特空间（Hilbert space）。
这里的完备指：内积空间称为完备的（complete），若其中任意一个柯西序列都收敛。
任何。但从实际应用角度来看，无穷维的希尔伯特空间更有价值，例如内积可以帮助人们从“几何的”观点来研究希尔伯特空间，并使用有限维空间中的几何语言来描述希尔伯特空间。在所有的无穷维拓扑向量空间中，希尔伯特空间性质最好，也最接近有限维空间的情形。
傅立叶分析的一个重要目的是将一个给定的函数表示成一族给定的基底函数的和（可能是无穷和）。这个问题可以在希尔伯特空间中更抽象地描述为：任何一个希尔伯特空间都有一族标准正交基，而且每个希尔伯特空间中的元素都可以唯一地表示为这族基底中的元素或其倍数的和。
在以下例子中，假设所有的希尔伯特空间都是複數，尽管实际应用中大多是實數。
formula_1及其上的内积 构成了一个希尔伯特空间，其中短横线表示一个複數的复共轭。
更一般的希尔伯特空间都是无穷维的，假设formula_3是一个任意集合，可以定义其上的formula_4序列空间，记为
此空间在定义如下内积后，成为一个希尔伯特空间： 其中formula_7和formula_8是formula_9中的任意元素。在这个定义中，formula_3并非一定要是可数的，在formula_3不可数之情形下，formula_9不是可分（separable）的。在下面更具体的例子中，所有的希尔伯特空间在选定适当的formula_3的情况下，都可以表示成为formula_9的一个同构空间。特别地，当formula_15的时候，可以将其简单记为formula_4。
勒贝格空间( 這裡指 formula_17 空間 )是指定義在测度空间formula_18 上的函数空间，其中formula_19 代表函數的定義域，formula_20 的元素是 formula_19上的子集族，為 一個 formula_22 代数，一般把 formula_20 稱作可測空間(measurable space)，而 formula_24 是 formula_20 上的测度。
更仔細的說，formula_26( 簡寫做 formula_17 ) 表示 formula_19 上所有平方可积（square-integrable）的複數值的可测函数的集合。平方可积表示该函数的绝对值的平方的积分是有限的。要注意的是在 formula_17 空間裡，對於几乎处处( almost everywhere )相同的函数，也就是說如果兩函數只在一个测度为0的集合上不相等，我們把這兩函數當做在 formula_17 中相同的元素。
此时两个函数formula_31和formula_32的内积定義为但需要证明的是：这个证明可以在相关的书籍中找到，与此例相关的内容可以参看关于formula_35空间的著作。
索伯列夫空间一般表示为formula_36或者formula_37是希尔伯特空间的另一个重要实例，它多被应用于偏微分方程的研究。
给定任意两个（或更多）希尔伯特空间，利用直和或张量积的方式，可以给出一个更大的希尔伯特空间。
在希爾伯特空間 中，若兩支向量 和 滿足 ，則稱它們正交，記為 . 更一般地，若 是 的子集，則 表示 與 的每個元素都正交。
當 和 正交時，就有
對 使用數學歸納法，上式可以推廣到對任意 支正交向量 成立，即
畢達哥拉斯恆等式對每個內積空間都成立，但希爾伯特空間具有完備性，故此恆等式可推廣到對級數成立。一列 "正交" 向量組成的級數 在 中收斂當且僅當各項範數平方組成的級數收斂，且此時 此外，正交向量的級數和與求和順序無關。
由定義，每個希爾伯特空間都是巴拿赫空間。 而在每個希爾伯特空間中，以下平行四邊形恆等式成立: 反之，若一個巴拿赫空間滿足平行四邊形恆等式，則其亦為希爾伯特空間，因為它的內積可由極化恆等式唯一確定。 對實希爾伯特空間，極化恆等式是 而對複希爾伯特空間，其為 由平行四邊形恆等式，可以推出任何希爾伯特空間都是。
根據，若 是希爾伯特空間 的非空閉凸子集，為 的任一點，則存在唯一的 使其到 的距離是各個 中的點到 的距離中最小的，即
此等價於經平移的凸集 中有範數最小的元素。欲證之，可先證明對每個序列 ，若各項範數趨向於中範數的下確界，則其為柯西序列（利用平行四邊形恆等式），故由完備性知其收斂到 的某點。此結論對任意一致凸巴拿赫空間均適用。
當對 的閉子空間 應用此結論時，可以證明最靠近 的點 滿足
該點 稱為 到 上的 "正交射影" ，而這給出的映射 是線性的。此結論於應用數學有用，而數值分析尤甚，因這結論是最小二乘法的基礎。
特別到，當 不等於 時，可找到一支非零向量 與 正交（選 並考慮 ）。由此得到一個有用的判定條件：
对偶空间 是所有由 到其系數域的連續線性函數組成的空間。 其具有一個自然的範數，由下式給出：
這滿足平行四邊形恆等式，故對偶空間亦為一個內積空間。同時它也是完備的，所以希爾伯特空間的對偶空間也是希爾伯特空間。
里斯表示定理 描述了這個對偶空間。 對每個 的元素 ， 中有唯一的 滿足
則 是從 到 的反线性映射。里斯表示定理說此映射是個反線性同構。 所以對每個 的元素 ，都存在唯一的 使得
對任意 都成立。 對偶空間 上的內積滿足
注意右邊的次序反轉了，才使 的反線性變回上述內積對 的線性。當 是實希爾伯特空間時，從 到其對偶的反線性同構實際上是一般的同構，所以實希爾伯特空間自然地與其對偶同構。
表示 的向量 可藉下列方法找到。 當 時， 核 是 的閉子空間，且不等於 ，故存在非零向量 與 正交。 取向量 為 的純量倍 ，於是條件 給出
物理學上廣泛應用的狄拉克符号正利用了 的對應關係。 物理學家通常約定，內積 對右邊的運算元線性，即
於是 可以視為線性泛函 （稱為 "左矢" ）作用在向量 （稱為 "右矢" ）的結果。
里斯表示定理要求空間的完備性。事實上，從定理可知任意內積空間的拓撲對偶都與其完備化空間同構。作為里斯表示定理的直接推論， 希爾伯特空間 是 自反空间, 即由 到其對偶之對偶的自然映射是同構。
在希爾伯特空間 中，若序列 滿足對任意的 , 都有
則稱該序列到向量
例如，任何正交序列 都弱收斂到  0. 此為贝塞尔不等式的結果。根據一致有界原理，每個弱收斂序列 都有界。
反之，希爾伯特空間中的每個有界序列，都有一個弱收斂子序列，此謂巴拿赫-阿拉奧盧定理。 這可用作證明某些連續凸泛函的最小值的存在性，正如波爾查諾－魏爾斯特拉斯定理適用於 上的連續函數。一個較簡單的結果是：
此個結論（並其若干推廣）是变分法中的基礎。更抽象地說，凸泛函的最小值存在，也是因為希爾伯特空間 上的閉有界凸集均為弱緊集（因為 是自反空間）。弱收斂子序列的存在性是 的特殊情況。
希尔伯特空间的一个中间概念是标准正交基，即其上的一族函数formula_53满足：有时也使用"标准正交列"或"标准正交集"指代。
标准正交基的一些实例：