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

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

简介
--

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

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

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

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

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

定义
--

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

**希爾伯特空間的定義** — H 是個複（或實）內積空間，若其上的向量序列 {\displaystyle {\{v\_{i}\in H\}}\_{i\in \mathbb {N} }} 滿足 （注意 {\displaystyle d(v,\,w):=\|v-w\|={\sqrt {\langle v-w,\,v-w\rangle }}} ，詳請參見 内积空间#范数）

「對所有的正實數 \epsilon >0 ，存在正整數 n\in \mathbb{N}  使所有的正整數 {\displaystyle i,\,j\in \mathbb {N} } ，只要有 {\displaystyle i,\,j>n} 就有 {\displaystyle d(v\_{i},\,v\_{j})<\epsilon }」
時，就存在向量 {\displaystyle v\in H} ，使得

「對所有的正實數 \epsilon >0 ，存在正整數 n\in \mathbb{N}  使所有的正整數 {\displaystyle i,\in \mathbb {N} } ，只要有 {\displaystyle i>n} 就有 {\displaystyle d(v\_{i},\,v)<\epsilon }」
這時稱 H 就被稱為複（或實）**希尔伯特空间**（Hilbert space）。

例子
--

### 欧几里得空间

\mathbb{C}^n及其上的内积

\langle x, y \rangle = \sum\_{k=1}^n \overline{x\_k} y\_k
构成了一个複希尔伯特空间（其中短横线表示一个複數的复共轭。）

### 序列空间

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

\ell^2(B) =\left\{ x:B \rightarrow \mathbb{C}\,\bigg|\,\sum\_{b \in B} \left|x \left(b\right)\right|^2 < \infty \right\}
此空间在定义如下内积后，成为一个希尔伯特空间：

\langle x, y \rangle = \sum\_{b \in B} \overline{x(b)} y(b)
其中x和y是\ell^2(B)中的任意元素。在这个定义中，B并非一定要是可数的，在B不可数之情形下，\ell^2(B)不是可分（separable）的。在下面更具体的例子中，所有的希尔伯特空间在选定适当的B的情况下，都可以表示成为\ell^2(B)的一个同构空间。特别地，当B = \mathbb(N)的时候，可以将其简单记为\ell^2。

### 勒贝格空间

勒贝格空间( 這裡指 L^2(X) 空間 )是指定義在测度空间(X, \mathcal{M}, \mu) 上的函数空间，其中X 代表函數的定義域，{\mathcal {M}} 的元素是 X上的子集族，為 一個 \sigma  代数，一般把 {\mathcal {M}} 稱作可測空間(measurable space)，而 \mu  是 {\mathcal {M}} 上的测度。

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

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

\langle f,g\rangle=\int\_X \overline{f(t)} g(t) \ d \mu(t)
* 因為 f,g\in L^2(X)，所以這內積的定義沒有問題。

但需要证明的是：

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

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

### 索伯列夫空间

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

基本性質
----

### 有限維必完備

**定理** — 有限维内积空间都是希尔伯特空间

**證明**
若複內積空間 V 為 N 維，那根據格拉姆-施密特正交化，存在一個有限集合

{\displaystyle \{e\_{1},\,e\_{2},\,\ldots ,\,e\_{N}\}}
滿足

「對所有正整數 {\displaystyle i,\,j\in \mathbb {N} } ，只要 {\displaystyle 1\leq i\neq j\leq N} 就有 {\displaystyle \langle e\_{i},\,e\_{j}\rangle =0} 與 {\displaystyle \langle e\_{i},\,e\_{i}\rangle =1} 」
為 V 的正交基底，現在假設其上的序列 {\displaystyle {\{v\_{i}\in V\}}\_{i\in \mathbb {N} }} 滿足

「對所有的正實數 \epsilon >0 ，存在正整數 n\in \mathbb{N}  使所有的正整數 {\displaystyle i,\,j\in \mathbb {N} } ，只要有 {\displaystyle i,\,j>n} 就有 {\displaystyle d(v\_{i},\,v\_{j})<\epsilon }」
這樣，對每個正整數 {\displaystyle i\in \mathbb {N} } 存在唯一的一組複數 {\displaystyle z\_{i1},\,z\_{i2},\,\ldots ,\,z\_{iN}\in \mathbb {C} } 使得

{\displaystyle v\_{i}=\sum \_{k=1}^{N}z\_{ik}\cdot e\_{k}}
這樣根據内积空间的勾股定理有

{\displaystyle {[d(v\_{i},\,v\_{j})]}^{2}=\sum \_{k=1}^{N}{|z\_{ik}-z\_{jk}|}^{2}<\epsilon ^{2}}
取 {\displaystyle \operatorname {Re} (z\_{ik})=x\_{ik}} 和 {\displaystyle \operatorname {Im} (z\_{ik})=y\_{ik}}，則有

{\displaystyle \sum \_{k=1}^{N}{|z\_{ik}-z\_{jk}|}^{2}=\sum \_{k=1}^{N}{|x\_{ik}-x\_{jk}|}^{2}+\sum \_{k=1}^{N}{|y\_{ik}-y\_{jk}|}^{2}<\epsilon ^{2}}
所以

{\displaystyle {|x\_{ik}-x\_{jk}|}<\epsilon }
{\displaystyle {|y\_{ik}-y\_{jk}|}<\epsilon }
這樣的話，對每個正整數 {\displaystyle k\in \mathbb {N} } ，实数数列 {\displaystyle {\{x\_{ik}\in \mathbb {R} \}}\_{i\in \mathbb {N} }} 和 {\displaystyle {\{y\_{ik}\in \mathbb {R} \}}\_{i\in \mathbb {N} }} 是柯西數列，這樣根據实数完备性，存在唯一的 {\displaystyle x\_{k}\in \mathbb {R} } 和 {\displaystyle y\_{k}\in \mathbb {R} } 使得

{\displaystyle \lim \_{i\to \infty }x\_{ik}=x\_{k}}
{\displaystyle \lim \_{i\to \infty }y\_{ik}=y\_{k}}
那這樣根據數列極限的定義，對每個正整數 {\displaystyle k\in \mathbb {N} } ，和所有的正實數 \epsilon >0 ，存在正整數 {\displaystyle n\_{1},\,n\_{2},\,\ldots ,\,n\_{2N}\in \mathbb {N} } 使所有的正整數 {\displaystyle i\in \mathbb {N} } ，只要有 {\displaystyle i>\max\{n\_{1},\,n\_{2},\,\ldots ,\,n\_{2N}\}} 就有

{\displaystyle {|x\_{ik}-x\_{k}|}<{\frac {\epsilon }{\sqrt {2N}}}}
{\displaystyle {|y\_{ik}-y\_{k}|}<{\frac {\epsilon }{\sqrt {2N}}}}
這樣的話，取 {\displaystyle z\_{k}=x\_{k}+iy\_{k}} 和 {\displaystyle v=\sum \_{k=1}^{N}z\_{k}\cdot e\_{k}} 會有 

{\displaystyle {[d(v\_{i},\,v)]}^{2}=\sum \_{k=1}^{N}{|x\_{ik}-x\_{k}|}^{2}+\sum \_{k=1}^{N}{|y\_{ik}-y\_{k}|}^{2}<\epsilon ^{2}}
這樣就證明了 V 裡的柯西序列必然收斂於 V 裡的向量，故 V 為希爾伯特空間。\Box 

### 內積為連續函數

条目：弱收斂（希爾伯特空間）
在希爾伯特空間 *H* 中，若序列 {*xn*} 滿足對任意的 *v* ∈ *H*, 都有

{\displaystyle \lim \_{n}\langle x\_{n},v\rangle =\langle x,v\rangle ,}
則稱該序列弱收斂（英语：）到向量 *x* ∈ *H*. 

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

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

若 *f* : *H* → **ℝ** 為凸的連續函數，使得當 ‖*x*‖ 趨向於 ∞ 時，就有 *f*(*x*) 趨向於 +∞，則 *f* 在某點 *x*0 ∈ *H* 取得最小值。
此個結論（並其若干推廣）是变分法中直接法（英语：）的基礎。更抽象地說，凸泛函的最小值存在，也是因為希爾伯特空間 *H* 上的閉有界凸集均為弱緊集（因為 *H* 是自反空間）。弱收斂子序列的存在性是 Eberlein–Šmulian theorem（英语：） 的特殊情況。

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

条目：帕塞瓦尔恒等式
在希爾伯特空間 *H* 中，若兩支向量 *u* 和 *v* 滿足 ⟨*u*,*v*⟩ = 0，則稱它們正交，記為 *u* ⊥ *v*. 更一般地，若 *S* 是 *H* 的子集，則 *u* ⊥ *S* 表示 *u* 與 *S* 的每個元素都正交。

當 *u* 和 *v* 正交時，就有

{\displaystyle \|u+v\|^{2}=\langle u+v,u+v\rangle =\langle u,u\rangle +2\,\operatorname {Re} \langle u,v\rangle +\langle v,v\rangle =\|u\|^{2}+\|v\|^{2}\,.}
對 *n* 使用數學歸納法，上式可以推廣到對任意 *n* 支正交向量 *u*1, ... *un* 成立，即

{\displaystyle \|u\_{1}+\cdots +u\_{n}\|^{2}=\|u\_{1}\|^{2}+\cdots +\|u\_{n}\|^{2}\,.}
畢達哥拉斯恆等式對每個內積空間都成立，但希爾伯特空間具有完備性，故此恆等式可推廣到對級數成立。一列 *正交* 向量組成的級數 ∑*uk* 在 *H* 中收斂當且僅當各項範數平方組成的級數收斂，且此時

{\displaystyle \left\|\sum \_{k=0}^{\infty }u\_{k}\right\|^{2}=\sum \_{k=0}^{\infty }\left\|u\_{k}\right\|^{2}\,.}
此外，正交向量的級數和與求和順序無關。

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

幾何上，平行四邊形恆等式給出 AC2 + BD2 = 2(AB2 + AD2). 換言之，兩對角線的平方和等於兩鄰邊平方和的兩倍。
由定義，每個希爾伯特空間都是巴拿赫空間。 而在每個希爾伯特空間中，以下平行四邊形恆等式成立:

{\displaystyle \|u+v\|^{2}+\|u-v\|^{2}=2\left(\|u\|^{2}+\|v\|^{2}\right)\,.}
反之，若一個巴拿赫空間滿足平行四邊形恆等式，則其亦為希爾伯特空間，因為它的內積可由極化恆等式唯一確定。 對實希爾伯特空間，極化恆等式是

{\displaystyle \langle u,v\rangle ={\tfrac {1}{4}}\left(\|u+v\|^{2}-\|u-v\|^{2}\right)\,.}
而對複希爾伯特空間，其為

{\displaystyle \langle u,v\rangle ={\tfrac {1}{4}}\left(\|u+v\|^{2}-\|u-v\|^{2}+i\|u+iv\|^{2}-i\|u-iv\|^{2}\right)\,.}
由平行四邊形恆等式，可以推出任何希爾伯特空間都是一致凸巴拿赫空間（英语：）。

投影定理
----

### 最佳逼近

根據希爾伯特射影定理（英语：），若 *C* 是希爾伯特空間 *H* 的非空閉凸子集，*x*為 *H* 的任一點，則存在唯一的 *y* ∈ *C* 使其到 *x* 的距離是各個 *C* 中的點到 *x* 的距離中最小的，即

{\displaystyle y\in C\,,\quad \|x-y\|=\operatorname {dist} (x,C)=\min\{\|x-z\|:z\in C\}\,.}
此等價於經平移的凸集 *D* = *C* − *x* 中有範數最小的元素。欲證之，可先證明對每個序列 (*dn*) ⊂ *D*，若各項範數趨向於*D*中範數的下確界，則其為柯西序列（利用平行四邊形恆等式），故由完備性知其收斂到*D* 的某點。此結論對任意一致凸巴拿赫空間均適用。

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

{\displaystyle y\in F\,,\quad x-y\perp F\,.}
該點 *y* 稱為 *x* 到 *F* 上的 *正交射影* ，而這給出的映射 *PF* : *x* ↦ *y* 是線性的。此結論於應用數學有用，而數值分析尤甚，因這結論是最小二乘法的基礎。 

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

*H* 的子集 *S* 線性生成一個稠密的子空間當且僅當向量 0 是 *H* 中與 *S* 正交的唯一向量。
### 對偶性

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

{\displaystyle \|\varphi \|=\sup \_{\|x\|=1,x\in H}|\varphi (x)|\,.}
這滿足平行四邊形恆等式，故對偶空間亦為一個內積空間。同時它也是完備的，所以希爾伯特空間的對偶空間也是希爾伯特空間。

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

{\displaystyle \varphi \_{u}(x)=\langle x,u\rangle \,.}
則 *u* ↦ *φu* 是從 *H* 到 *H*\* 的反线性映射。里斯表示定理說此映射是個反線性同構。  所以對每個 *H*\* 的元素 *φ*，都存在唯一的 *uφ ∈ H* 使得

{\displaystyle \langle x,u\_{\varphi }\rangle =\varphi (x)}
對任意 *x* ∈ *H* 都成立。 對偶空間 *H*\* 上的內積滿足

{\displaystyle \langle \varphi ,\psi \rangle =\langle u\_{\psi },u\_{\varphi }\rangle \,.}
注意右邊的次序反轉了，才使 *uφ* 的反線性變回上述內積對 *φ* 的線性。當 *H* 是實希爾伯特空間時，從 *H* 到其對偶的反線性同構實際上是一般的同構，所以實希爾伯特空間自然地與其對偶同構。

表示 *φ* 的向量 *uφ* 可藉下列方法找到。 當 *φ* ≠ 0 時， 核 *F* = Ker(*φ*) 是 *H* 的閉子空間，且不等於 *H* ，故存在非零向量 *v* 與 *F* 正交。 取向量 *u* 為 *v* 的純量倍 *λv*，於是條件 *φ*(*v*) = ⟨*v*,*u*⟩ 給出

{\displaystyle u=\langle v,v\rangle ^{-1}\,{\overline {\varphi (v)}}\,v\,.}
物理學上廣泛應用的狄拉克符号正利用了*φ* ↔ *u* 的對應關係。 物理學家通常約定，內積 ⟨*x*|*y*⟩ 對右邊的運算元線性，即

{\displaystyle \langle x|y\rangle =\langle y,x\rangle \,.}
於是 ⟨*x*|*y*⟩ 可以視為線性泛函 ⟨*x*| （稱為 *左矢* ）作用在向量 |*y*⟩ （稱為 *右矢* ）的結果。

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

希尔伯特空间的基
--------

希尔伯特空间的一个中间概念是标准正交基，即其上的一族函数\{e\_k\}\_{k \in B}满足：

* 所有元素都是单位化的：即对于任意x，\Vert e\_k \Vert = 1，\forall k \in B。
* 所有元素彼此正交：若x和y是这族基中的不同元素，那么<x, y> = 0。
* 其线性扩张稠密：即其中的所有元素的有限的线性组合是H的一个稠密子集。

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

标准正交基的一些实例：

* 集合（\{(1,0,0),(0,1,0),(0,0,1)\}）

希尔伯特空间的相互作用
-----------

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

请参见
---

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

参考文献
----

### 引用

1. ↑  Von Neumann, John.. Mathematische Annalen. 1929, **102**: 49–131.
2. ↑  Hilbert, David; Lothar Nordheim and John von Neumann.. Mathematische Annalen. 1927, **98**: 1–30.  引文使用过时参数`coauthors` (帮助)[永久]
3. ↑  Weyl, Hermann.  English edition (1950). Dover Press. 1931. ISBN 978-0-486-60269-1.
4. ↑  Weidmann 1980，§4.5
5. ↑  Buttazzo, Giaquinta & Hildebrandt 1998，Theorem 5.17
6. ↑  Young 1988，第23頁.
7. ↑  Clarkson 1936.
8. ↑  Rudin 1987，Theorem 4.10
9. ↑  Dunford & Schwartz 1958，II.4.29
10. ↑  Rudin 1987，Theorem 4.11
11. ↑  Blanchet, Gérard; Charbit, Maurice.. Digital Signal and Image Processing **1** Second. New Jersey: Wiley. 2014: 349–360. ISBN 978-1848216402.
12. ↑  Weidmann 1980，Theorem 4.8

### 书目

* Bachman, George; Narici, Lawrence; Beckenstein, Edward, Universitext, Berlin, New York: Springer-Verlag, 2000, ISBN 978-0-387-98899-3, MR 1729490 .
* Bers, Lipman; John, Fritz; Schechter, Martin, American Mathematical Society, 1981, ISBN 978-0-8218-0049-2 .
* Bourbaki, Nicolas, Elements of mathematics, Berlin: Springer-Verlag, 1986, ISBN 978-0-201-00767-1 .
* Bourbaki, Nicolas, Elements of mathematics, Berlin: Springer-Verlag, 1987, ISBN 978-3-540-13627-9 .
* Boyer, Carl Benjamin; Merzbach, Uta C,  2nd, John Wiley & Sons, Inc. 1991, ISBN 978-0-471-54397-8 .
* Brenner, S.; Scott, R. L.  2nd, Springer, 2005, ISBN 978-0-387-95451-6 .
* Buttazzo, Giuseppe; Giaquinta, Mariano; Hildebrandt, Stefan, Oxford Lecture Series in Mathematics and its Applications **15**, The Clarendon Press Oxford University Press, 1998, ISBN 978-0-19-850465-8, MR 1694383 .
* Clarkson, J. A. Trans. Amer. Math. Soc. 1936, **40** (3): 396–414, JSTOR 1989630, doi:10.2307/1989630 可免费查阅 .
* Courant, Richard; Hilbert, David, Interscience, 1953 .
* Dieudonné, Jean, Academic Press, 1960 .
* Dirac, P.A.M. Oxford: Clarendon Press, 1930 .
* Dunford, N.; Schwartz, J.T. Wiley-Interscience, 1958 .
* Duren, P. New York: Academic Press, 1970 .
* Folland, Gerald B.  Reprint of Wadsworth and Brooks/Cole 1992, American Mathematical Society Bookstore, 2009, ISBN 978-0-8218-4790-9 .
* Folland, Gerald B. Annals of Mathematics Studies **122**, Princeton University Press, 1989, ISBN 978-0-691-08527-2 .
* Fréchet, Maurice, C. R. Acad. Sci. Paris, 1907, **144**: 1414–1416 .
* Fréchet, Maurice, Transactions of the American Mathematical Society, 1904, **5** (4): 493–499, JSTOR 1986278, doi:10.2307/1986278 .
* Giusti, Enrico, World Scientific, 2003, ISBN 978-981-238-043-2 .
* Grattan-Guinness, Ivor, Princeton Paperbacks, Princeton University Press, 2000, ISBN 978-0-691-05858-0, MR 1807717 .
* Halmos, Paul, Chelsea Pub. Co, 1957
* Halmos, Paul, Springer-Verlag, 1982, ISBN 978-0-387-90685-0 .
* Hewitt, Edwin; Stromberg, Karl, New York: Springer-Verlag, 1965 .
* Hilbert, David; Nordheim, Lothar Wolfgang; von Neumann, John, Mathematische Annalen, 1927, **98**: 1–30, S2CID 120986758, doi:10.1007/BF01451579 可免费查阅 .
* Holevo, Alexander S. Lecture Notes in Physics, Springer, 2001, ISBN 3-540-42082-7, OCLC 318268606 .
* Kac, Mark, American Mathematical Monthly, 1966, **73** (4, part 2): 1–23, JSTOR 2313748, doi:10.2307/2313748 .
* Kadison, Richard V.; Ringrose, John R. Graduate Studies in Mathematics **15**, Providence, R.I.: American Mathematical Society, 1997, ISBN 978-0-8218-0819-1, MR 1468229 .
* Kadison, Richard V.; Ringrose, John R. New York: Academic Press, Inc. 1983

* Kakutani, Shizuo, Japanese Journal of Mathematics, 1939, **16**: 93–97, MR 0000895, doi:10.4099/jjm1924.16.0\_93 可免费查阅 .
* Kline, Morris,  3rd, Oxford University Press, 19721990, ISBN 978-0-19-506137-6 .
* Kolmogorov, Andrey; Fomin, Sergei V.  Revised English edition, trans. by Richard A. Silverman (1975), Dover Press, 1970, ISBN 978-0-486-61226-3 .
* Krantz, Steven G. Providence, R.I.: American Mathematical Society, 2002, ISBN 978-0-8218-2724-6 .
* Lanczos, Cornelius,  Reprint of 1956 Prentice-Hall, Dover Publications, 1988, ISBN 978-0-486-65656-4 .
* Lebesgue, Henri, Gauthier-Villars, 1904 .
* Levitan, B.M. Hazewinkel, Michiel (编), Springer, 2001, ISBN 978-1-55608-010-4 .
* Lindenstrauss, J.; Tzafriri, L. Israel Journal of Mathematics, 1971, **9** (2): 263–269, ISSN 0021-2172, MR 0276734, S2CID 119575718, doi:10.1007/BF02771592 可免费查阅 .
* Marsden, Jerrold E. W. H. Freeman and Co. 1974, MR 0357693 .
* Murphy, Gerald J. Academic Press, 1990, ISBN 0-12-511360-9 .
* von Neumann, John, Mathematische Annalen, 1929, **102**: 49–131, S2CID 121249803, doi:10.1007/BF01782338 .
* Template:Narici Beckenstein Topological Vector Spaces
* von Neumann, John, Proc Natl Acad Sci USA, 1932, **18** (3): 263–266, Bibcode:1932PNAS...18..263N, JSTOR 86260, PMC 1076204 可免费查阅, PMID 16587674, doi:10.1073/pnas.18.3.263 可免费查阅 .
* von Neumann, John, Princeton Landmarks in Mathematics, 由Beyer, Robert T.翻译, Princeton University Press, 19551996, ISBN 978-0-691-02893-4, MR 1435976 .
* Nielsen, Michael A.; Chuang, Isaac L.  1st, Cambridge: Cambridge University Press, 2000, ISBN 978-0-521-63503-5, OCLC 634735192 .
* 約翰·J·奧康納; 埃德蒙·F·羅伯遜（英语：）, , 1996 （英语）
* Peres, Asher, Kluwer, 1993, ISBN 0-7923-2549-4, OCLC 28854083
* Prugovečki, Eduard,  2nd, Dover, 19812006, ISBN 978-0-486-45327-9 .
* Reed, Michael; Simon, Barry, Methods of Modern Mathematical Physics, Academic Press, 1980, ISBN 978-0-12-585050-6 .
* Reed, Michael; Simon, Barry, Methods of Modern Mathematical Physics, Academic Press, 1975, ISBN 9780125850025 .
* Rieffel, Eleanor G.; Polak, Wolfgang H. MIT Press, 2011-03-04, ISBN 978-0-262-01506-6 （英语） .
* Riesz, Frigyes, C. R. Acad. Sci. Paris, 1907, **144**: 1409–1411 .
* Riesz, Frigyes, Acta Sci. Math. Szeged, 1934, **7**: 34–38 .
* Riesz, Frigyes; Sz.-Nagy, Béla, Dover, 1990, ISBN 978-0-486-66289-3 .
* Template:Rudin Walter Functional Analysis
* Rudin, Walter, McGraw-Hill, 1987, ISBN 978-0-07-100276-9 .
* Saks, Stanisław,  2nd Dover, Dover, 2005, ISBN 978-0-486-44648-6 ; originally published *Monografje Matematyczne*, vol. 7, Warszawa, 1937.
* Template:Schaefer Wolff Topological Vector Spaces
* Schmidt, Erhard, Rend. Circ. Mat. Palermo, 1908, **25**: 63–77, S2CID 120666844, doi:10.1007/BF03029116 .
* Shubin, M. A. Springer Series in Soviet Mathematics, Berlin, New York: Springer-Verlag, 1987, ISBN 978-3-540-13621-7, MR 0883081 .
* Sobrino, Luis, River Edge, New Jersey: World Scientific Publishing Co. Inc. 1996, Bibcode:1996lnrq.book.....S, ISBN 978-981-02-2386-1, MR 1626401, doi:10.1142/2865 可免费查阅 .
* Stewart, James,  3rd, Thomson/Brooks/Cole, 2006 .
* Stein, E, 需要免费注册, Princeton Univ. Press, 1970, ISBN 978-0-691-08079-6  含有內容需登入查看的頁面 (link).
* Stein, Elias; Weiss, Guido, 需要免费注册, Princeton, N.J.: Princeton University Press, 1971, ISBN 978-0-691-08078-9  含有內容需登入查看的頁面 (link).
* Streater, Ray; Wightman, Arthur, W. A. Benjamin, Inc, 1964 .
* Teschl, Gerald.. Providence: American Mathematical Society. 2009  [2022-09-19]. ISBN 978-0-8218-4660-5. （原始内容存档于2022-08-12）. .
* Titchmarsh, Edward Charles, Oxford University: Clarendon Press, 1946 .
* Trèves, François, Academic Press, 1967 .
* Warner, Frank, Berlin, New York: Springer-Verlag, 1983, ISBN 978-0-387-90894-6 .
* Weidmann, Joachim, Graduate Texts in Mathematics **68**, Berlin, New York: Springer-Verlag, 1980, ISBN 978-0-387-90427-6, MR 0566954 .
* Weyl, Hermann,  English 1950, Dover Press, 1931, ISBN 978-0-486-60269-1 .
* Young, Nicholas, Cambridge University Press, 1988, ISBN 978-0-521-33071-8, Zbl 0645.46024 .
* Jean Dieudonné, *Foundations of Modern Analysis*, Academic Press, 1960.
* B.M. Levitan, Hazewinkel, Michiel (编), Springer, 2001, ISBN 978-1-55608-010-4


|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
泛函分析 |
| --- |
|  |
| 集合 / 子集 | 
* 绝对凸集
* 吸收集
* 平衡集
* 有界集 (拓扑向量空间)（英语：）
* 凸集
* 径向集
* 星形域
* 对称集
* 凸锥

 |
|  |
| 拓撲向量空間 | 
* 巴拿赫空间
* 欧几里得空间
* 希尔伯特空间
* 索伯列夫空間
* 局部凸（英语：）
* 賦範向量空間 （范数）
* 拟赋范空间
* 自反空间
* 拓扑张量积（英语：） (希尔伯特空间中)
* 速降函数空间

 |
|  |
| 映射拓扑 | 
* 对偶空间
* 算子拓扑（英语：）
* 弱拓扑（英语：）
* 强拓扑（英语：）
* 拓扑的一致收敛（英语：）

 |
|  |
| 线性算子 | 
* 伴随
* 双线性
	+ 形式
* 有界 / 无界
* 连续线性
* 紧
* Fredholm（英语：）
* 希尔伯特-施密特
* 泛函
* 正规
* 核型（英语：）
* 自伴
* 严格奇异算子（英语：）
* 迹类
* 有限秩
* 转置（英语：）
* 酉 / 幺正

 |
|  |
| 集合运算 | 
* 代数内部
* 内部
* 閔可夫斯基和
* 极性集

 |
|  |
| 算子理论 | 
* 巴拿赫代数
* C\*-代数
* 谱 (泛函分析) （谱半径）
* 谱理论（谱定理）
* 极分解
* 奇异值分解

 |
|  |
| 定理 | 
* 阿尔泽拉-阿斯科利定理
* 巴拿赫-阿勞格魯定理
* 巴拿赫-马祖尔定理（英语：）
* 贝尔纲定理
* 贝塞尔不等式
* 柯西-施瓦茨不等式
* 闭值域定理
* 閉圖像定理
* 哈恩-巴拿赫定理
* 角谷不动点定理
* 不变子空间问题
* Riesz延拓定理（英语：）
* 开映射定理
* 拉克斯-米尔格拉姆定理
* 帕塞瓦尔恒等式
* 肖德尔不动点定理（英语：）

 |
|  |
| 分析 | 
* 导数 (加托导数
* 泛函导数)
* 积分 (博赫纳积分
* 佩蒂斯积分（英语：）)
* 泛函演算（英语：） (波莱尔泛函演算（英语：）
* 连续泛函演算（英语：）)
* 反函数定理
* 向量测度
* 弱可测函数

 |

 |

|  |  |  |
| --- | --- | --- |
| 

|  |  |
| --- | --- |
| 规范控制 編輯維基數據鏈接 | 
* BNE: XX531621
* BNF: cb11979628h (data)
* GND: 4159850-7
* J9U: 987007560453005171
* LCCN: sh85060803
* NDL: 00563198
* NKC: ph117602

 |

 |