希尔伯特空间

在数学裡，希尔伯特空间（英語：Hilbert space）即完备的内积空间，也就是一個帶有內積的完備向量空間。內積的構造推廣了欧几里得空间的距离和角的概念；完備則確保了其上所有的柯西序列會收敛到此空間裡的一點，从而微积分中的許多概念都可以推广到希尔伯特空间中。 希尔伯特空间为基于任意正交坐标系上的多项式表示的傅立叶级数和傅立叶变换提供了一种有效的表述方式，而这也是泛函分析的核心概念之一。另外希尔伯特空间也是量子力学的重要數學基礎之一。 希尔伯特空间以大卫·希尔伯特的名字命名，他在对积分方程的研究中研究了希尔伯特空间。冯·诺伊曼在其1929年出版的关于无界自伴算子的著作中，最早使用了“希尔伯特空间”这个名词。冯·诺伊曼可能是最早清楚地认识到希尔伯特空间的重要性的数学家之一，他在进行对量子力学的基础性和创造性地研究的时候认识到了这一点。此项研究由冯·诺伊曼与希尔伯特和朗道展开，随后由尤金·维格纳（Eugene Wigner）继续深入。“希尔伯特空间”这个名字迅速被其他科学家所接受，例如在外尔1931年出版的著作《群与量子力学的理论》（The Theory of Groups and Quantum Mechanics）中就使用了这一名词。 一个抽象的希尔伯特空间中的元素往往被称为向量。在实际应用中，它可能代表了一列複數或是一个函数。例如在量子力学中，一个物理系统可以表示为一个複希尔伯特空间，其中的向量是描述系统可能状态的波函数。详细的资料可以参考量子力学的数学表述相关的内容。量子力学中由平面波和束缚态所构成的希尔伯特空间，一般被称为装备希尔伯特空间（rigged Hilbert space） 在所有的无穷维拓扑向量空间中，希尔伯特空间性质最好，也最接近有限维空间的情形。例如 酉群（unitary group）的表示论。 平方可积的随机过程理论。 偏微分方程的希尔伯特空间理论，特别是狄利克雷问题。 函数的谱分析及小波分析。 量子力学的数学描述。 傅立叶分析的一个重要目的是将一个给定的函数表示成一族给定的基底函数的和（可能是无穷和）。这个问题可以在希尔伯特空间中更抽象地描述为：任何一个希尔伯特空间都有一族标准正交基，而且每个希尔伯特空间中的元素都可以唯一地表示为这族基底中的元素或其倍数的和。 若在複（或實）内积空间 H {\displaystyle H} 取值的柯西序列，都收斂於 H {\displaystyle H} 內的某個向量，那 H {\displaystyle H} 就被稱為是希尔伯特空间，也就是說 希爾伯特空間的定義 —  H {\displaystyle H} 是個複（或實）內積空間，若其上的向量序列 { v i ∈ H } i ∈ N {\displaystyle {\{v_{i}\in H\}}_{i\in \mathbb {N} }} 滿足 （注意 d ( v , w ) := ‖ v − w ‖ = ⟨ v − w , v − w ⟩ {\displaystyle d(v,\,w):=\|v-w\|={\sqrt {\langle v-w,\,v-w\rangle }}} ，詳請參見 内积空间#范数） 「對所有的正實數 ϵ > 0 {\displaystyle \epsilon >0} ，存在正整數 n ∈ N {\displaystyle n\in \mathbb {N} } 使所有的正整數 i , j ∈ N {\displaystyle i,\,j\in \mathbb {N} } ，只要有 i , j > n {\displaystyle i,\,j>n} 就有 d ( v i , v j ) < ϵ {\displaystyle d(v_{i},\,v_{j})<\epsilon } 」 時，就存在向量 v ∈ H {\displaystyle v\in H} ，使得 「對所有的正實數 ϵ > 0 {\displaystyle \epsilon >0} ，存在正整數 n ∈ N {\displaystyle n\in \mathbb {N} } 使所有的正整數 i , ∈ N {\displaystyle i,\in \mathbb {N} } ，只要有 i > n {\displaystyle i>n} 就有 d ( v i , v ) < ϵ {\displaystyle d(v_{i},\,v)<\epsilon } 」 這時稱 H {\displaystyle H} 就被稱為複（或實）希尔伯特空间（Hilbert space）。 C n {\displaystyle \mathbb {C} ^{n}} 及其上的内积 ⟨ x , y ⟩ = ∑ k = 1 n x k ¯ y k {\displaystyle \langle x,y\rangle =\sum _{k=1}^{n}{\overline {x_{k}}}y_{k}} 构成了一个複希尔伯特空间（其中短横线表示一个複數的复共轭。），因為 C n {\displaystyle \mathbb {C} ^{n}} 本身就是定義在域 ( C n , + , × ) {\displaystyle (\mathbb {C} ^{n},+,\times )} 上的 n {\displaystyle n} 維向量空间，但有限維內積空間必完備，故 C n {\displaystyle \mathbb {C} ^{n}} 是個複希尔伯特空间。 更一般的希尔伯特空间都是无穷维的，假设 B {\displaystyle B} 是一个任意集合，可以定义其上的 ℓ 2 {\displaystyle \ell ^{2}} 序列空间，记为 ℓ 2 ( B ) = { x : B → C | ∑ b ∈ B | x ( b ) | 2 < ∞ } {\displaystyle \ell ^{2}(B)=\left\{x:B\rightarrow \mathbb {C} \,{\bigg |}\,\sum _{b\in B}\left|x\left(b\right)\right|^{2}<\infty \right\}} 此空间在定义如下内积后，成为一个希尔伯特空间： ⟨ x , y ⟩ = ∑ b ∈ B x ( b ) ¯ y ( b ) {\displaystyle \langle x,y\rangle =\sum _{b\in B}{\overline {x(b)}}y(b)} 其中 x {\displaystyle x} 和 y {\displaystyle y} 是 ℓ 2 ( B ) {\displaystyle \ell ^{2}(B)} 中的任意元素。在这个定义中， B {\displaystyle B} 并非一定要是可数的，在 B {\displaystyle B} 不可数之情形下， ℓ 2 ( B ) {\displaystyle \ell ^{2}(B)} 不是可分（separable）的。在下面更具体的例子中，所有的希尔伯特空间在选定适当的 B {\displaystyle B} 的情况下，都可以表示成为 ℓ 2 ( B ) {\displaystyle \ell ^{2}(B)} 的一个同构空间。特别地，当 B = ( N ) {\displaystyle B=\mathbb {(} N)} 的时候，可以将其简单记为 ℓ 2 {\displaystyle \ell ^{2}} 。 勒贝格空间( 這裡指 L 2 ( X ) {\displaystyle L^{2}(X)} 空間 )是指定義在测度空间 ( X , M , μ ) {\displaystyle (X,{\mathcal {M}},\mu )} 上的函数空间，其中 X {\displaystyle X} 代表函數的定義域， M {\displaystyle {\mathcal {M}}} 的元素是 X {\displaystyle X} 上的子集族，為 一個 σ {\displaystyle \sigma } 代数，一般把 M {\displaystyle {\mathcal {M}}} 稱作可測空間(measurable space)，而 μ {\displaystyle \mu } 是 M {\displaystyle {\mathcal {M}}} 上的测度。 更仔細的說， L 2 ( X , μ ) {\displaystyle L^{2}(X,\mu )} ( 簡寫做 L 2 ( X ) {\displaystyle L^{2}(X)} ) 表示 X {\displaystyle X} 上所有平方可积（square-integrable）的複數值的可测函数的集合。平方可积表示该函数的绝对值的平方的积分是有限的。要注意的是在 L 2 ( X ) {\displaystyle L^{2}(X)} 空間裡，對於几乎处处( almost everywhere )相同的函数，也就是說如果兩函數只在一个测度为0的集合上不相等，我們把這兩函數當做在 L 2 ( X ) {\displaystyle L^{2}(X)} 中相同的元素。 此时两个函数 f {\displaystyle f} 和 g {\displaystyle g} 的内积定義为 ⟨ f , g ⟩ = ∫ X f ( t ) ¯ g ( t )   d μ ( t ) {\displaystyle \langle f,g\rangle =\int _{X}{\overline {f(t)}}g(t)\ d\mu (t)} 因為 f , g ∈ L 2 ( X ) {\displaystyle f,g\in L^{2}(X)} ，所以這內積的定義沒有問題。 但需要证明的是： 此空间在此内积下是完备的。 这个证明可以在相关的书籍中找到，与此例相关的内容可以参看关于 L p {\displaystyle L^{p}} 空间的著作。 索伯列夫空间一般表示为 H s {\displaystyle H^{s}} 或者 W s , 2 {\displaystyle W^{s,2}} 是希尔伯特空间的另一个重要实例，它多被应用于偏微分方程的研究。 定理 — 有限维内积空间都是希尔伯特空间 H {\displaystyle H} 是個複希爾伯特空間， v ∈ H {\displaystyle v\in H} 為某向量則： 函数 f ( h ) = ⟨ v , h ⟩ ( h ∈ H ) {\displaystyle f(h)=\langle v,h\rangle \;(h\in H)} 為 τ H {\displaystyle \tau _{H}} - τ R {\displaystyle \tau _{\mathbb {R} }} 连续 函数 f ( h ) = ⟨ h , h ⟩ ( h ∈ H ) {\displaystyle f(h)=\langle h,h\rangle \;(h\in H)} 為 τ H {\displaystyle \tau _{H}} - τ R {\displaystyle \tau _{\mathbb {R} }} 连续 在希爾伯特空間 H 中，若序列 {xn} 滿足對任意的 v ∈ H, 都有 lim n ⟨ x n , v ⟩ = ⟨ x , v ⟩ , {\displaystyle \lim _{n}\langle x_{n},v\rangle =\langle x,v\rangle ,} 則稱該序列弱收斂（英语：Weak topology#Weak convergence）到向量 x ∈ H. 例如，任何正交序列 {fn} 都弱收斂到  0. 此為贝塞尔不等式的結果。根據一致有界原理，每個弱收斂序列 {xn} 都有界。 反之，希爾伯特空間中的每個有界序列，都有一個弱收斂子序列，此謂巴拿赫-阿拉奧盧定理。 這可用作證明某些連續凸泛函的最小值的存在性，正如波爾查諾－魏爾斯特拉斯定理適用於 ℝd 上的連續函數。一個較簡單的結果是： 若 f : H → ℝ 為凸的連續函數，使得當 ‖x‖ 趨向於 ∞ 時，就有 f(x) 趨向於 +∞，則 f 在某點 x0 ∈ H 取得最小值。 此個結論（並其若干推廣）是变分法中直接法（英语：direct direct method in the calculus of variations）的基礎。更抽象地說，凸泛函的最小值存在，也是因為希爾伯特空間 H 上的閉有界凸集均為弱緊集（因為 H 是自反空間）。弱收斂子序列的存在性是 Eberlein–Šmulian theorem（英语：Eberlein–Šmulian theorem） 的特殊情況。 在希爾伯特空間 H 中，若兩支向量 u 和 v 滿足 ⟨u,v⟩ = 0，則稱它們正交，記為 u ⊥ v. 更一般地，若 S 是 H 的子集，則 u ⊥ S 表示 u 與 S 的每個元素都正交。 當 u 和 v 正交時，就有 ‖ u + v ‖ 2 = ⟨ u + v , u + v ⟩ = ⟨ u , u ⟩ + 2 Re ⁡ ⟨ u , v ⟩ + ⟨ v , v ⟩ = ‖ u ‖ 2 + ‖ v ‖ 2 . {\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 支正交向量 u1, ..., un 成立，即 ‖ u 1 + ⋯ + u n ‖ 2 = ‖ u 1 ‖ 2 + ⋯ + ‖ u n ‖ 2 . {\displaystyle \|u_{1}+\cdots +u_{n}\|^{2}=\|u_{1}\|^{2}+\cdots +\|u_{n}\|^{2}\,.} 畢達哥拉斯恆等式對每個內積空間都成立，但希爾伯特空間具有完備性，故此恆等式可推廣到對級數成立。一列 正交 向量組成的級數 ∑uk 在 H 中收斂當且僅當各項範數平方組成的級數收斂，且此時 ‖ ∑ k = 0 ∞ u k ‖ 2 = ∑ k = 0 ∞ ‖ u k ‖ 2 . {\displaystyle \left\|\sum _{k=0}^{\infty }u_{k}\right\|^{2}=\sum _{k=0}^{\infty }\left\|u_{k}\right\|^{2}\,.} 此外，正交向量的級數和與求和順序無關。 由定義，每個希爾伯特空間都是巴拿赫空間。 而在每個希爾伯特空間中，以下平行四邊形恆等式成立: ‖ u + v ‖ 2 + ‖ u − v ‖ 2 = 2 ( ‖ u ‖ 2 + ‖ v ‖ 2 ) . {\displaystyle \|u+v\|^{2}+\|u-v\|^{2}=2\left(\|u\|^{2}+\|v\|^{2}\right)\,.} 反之，若一個巴拿赫空間滿足平行四邊形恆等式，則其亦為希爾伯特空間，因為它的內積可由極化恆等式唯一確定。 對實希爾伯特空間，極化恆等式是 ⟨ u , v ⟩ = 1 4 ( ‖ u + v ‖ 2 − ‖ u − v ‖ 2 ) . {\displaystyle \langle u,v\rangle ={\tfrac {1}{4}}\left(\|u+v\|^{2}-\|u-v\|^{2}\right)\,.} 而對複希爾伯特空間，其為 ⟨ u , v ⟩ = 1 4 ( ‖ u + v ‖ 2 − ‖ u − v ‖ 2 + i ‖ u + i v ‖ 2 − i ‖ u − i v ‖ 2 ) . {\displaystyle \langle u,v\rangle ={\tfrac {1}{4}}\left(\|u+v\|^{2}-\|u-v\|^{2}+i\|u+iv\|^{2}-i\|u-iv\|^{2}\right)\,.} 由平行四邊形恆等式，可以推出任何希爾伯特空間都是一致凸巴拿赫空間（英语：uniformly convex space）。 根據希爾伯特射影定理（英语：Hilbert projection theorem），若 C 是希爾伯特空間 H 的非空閉凸子集，x為 H 的任一點，則存在唯一的 y ∈ C 使其到 x 的距離是各個 C 中的點到 x 的距離中最小的，即 y ∈ C , ‖ x − y ‖ = dist ⁡ ( x , C ) = min { ‖ x − z ‖ : z ∈ C } . {\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 滿足 y ∈ 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 到其系數域的連續線性函數組成的空間。 其具有一個自然的範數，由下式給出： ‖ φ ‖ = sup ‖ x ‖ = 1 , x ∈ H | φ ( x ) | . {\displaystyle \|\varphi \|=\sup _{\|x\|=1,x\in H}|\varphi (x)|\,.} 這滿足平行四邊形恆等式，故對偶空間亦為一個內積空間。同時它也是完備的，所以希爾伯特空間的對偶空間也是希爾伯特空間。 里斯表示定理 描述了這個對偶空間。 對每個 H 的元素 u ， H* 中有唯一的 φu 滿足 φ u ( x ) = ⟨ x , u ⟩ . {\displaystyle \varphi _{u}(x)=\langle x,u\rangle \,.} 則 u ↦ φu 是從 H 到 H* 的反线性映射。里斯表示定理說此映射是個反線性同構。 所以對每個 H* 的元素 φ，都存在唯一的 uφ ∈ H 使得 ⟨ x , u φ ⟩ = φ ( x ) {\displaystyle \langle x,u_{\varphi }\rangle =\varphi (x)} 對任意 x ∈ H 都成立。 對偶空間 H* 上的內積滿足 ⟨ φ , ψ ⟩ = ⟨ u ψ , u φ ⟩ . {\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⟩ 給出 u = ⟨ v , v ⟩ − 1 φ ( v ) ¯ v . {\displaystyle u=\langle v,v\rangle ^{-1}\,{\overline {\varphi (v)}}\,v\,.} 物理學上廣泛應用的狄拉克符号正利用了φ ↔ u 的對應關係。 物理學家通常約定，內積 ⟨x|y⟩ 對右邊的運算元線性，即 ⟨ x | y ⟩ = ⟨ y , x ⟩ . {\displaystyle \langle x|y\rangle =\langle y,x\rangle \,.} 於是 ⟨x|y⟩ 可以視為線性泛函 ⟨x| （稱為 左矢 ）作用在向量 |y⟩ （稱為 右矢 ）的結果。 里斯表示定理要求空間的完備性。事實上，從定理可知任意內積空間的拓撲對偶都與其完備化空間同構。作為里斯表示定理的直接推論， 希爾伯特空間 H 是 自反空间, 即由 H 到其對偶之對偶的自然映射是同構。 希尔伯特空间的一个中间概念是标准正交基，即其上的一族函数 { e k } k ∈ B {\displaystyle \{e_{k}\}_{k\in B}} 满足： 所有元素都是单位化的：即对于任意 x {\displaystyle x} ， ‖ e k ‖ = 1 {\displaystyle \Vert e_{k}\Vert =1} ， ∀ k ∈ B {\displaystyle \forall k\in B} 。 所有元素彼此正交：若 x {\displaystyle x} 和 y {\displaystyle y} 是这族基中的不同元素，那么 < x , y >= 0 {\displaystyle <x,y>=0} 。 其线性扩张稠密：即其中的所有元素的有限的线性组合是 H {\displaystyle H} 的一个稠密子集。 有时也使用标准正交列或标准正交集指代。 标准正交基的一些实例： 集合（ { ( 1 , 0 , 0 ) , ( 0 , 1 , 0 ) , ( 0 , 0 , 1 ) } {\displaystyle \{(1,0,0),(0,1,0),(0,0,1)\}} ） 给定任意两个（或更多）希尔伯特空间，利用直和或张量积的方式，可以给出一个更大的希尔伯特空间。 完备的度量空间或完备的距离空间 完备的赋范空间 n维欧几里得空间 Von Neumann, John. Allgemeine Eigenwerttheorie Hermitescher Funktionaloperatoren. Mathematische Annalen. 1929, 102: 49–131.  Hilbert, David; Lothar Nordheim and John von Neumann. Über die Grundlagen der Quantenmechanik. Mathematische Annalen. 1927, 98: 1–30.  引文使用过时参数coauthors (帮助)[永久失效連結] Weyl, Hermann. The Theory of Groups and Quantum Mechanics English edition (1950). Dover Press. 1931. ISBN 978-0-486-60269-1.  Weidmann 1980，§4.5 Buttazzo, Giaquinta & Hildebrandt 1998，Theorem 5.17 Young 1988，第23頁. Clarkson 1936. Rudin 1987，Theorem 4.10 Dunford & Schwartz 1958，II.4.29 Rudin 1987，Theorem 4.11 Blanchet, Gérard; Charbit, Maurice. Digital Signal and Image Processing Using MATLAB. Digital Signal and Image Processing 1 Second. New Jersey: Wiley. 2014: 349–360. ISBN 978-1848216402.  Weidmann 1980，Theorem 4.8 Bachman, George; Narici, Lawrence; Beckenstein, Edward, Fourier and wavelet analysis, Universitext, Berlin, New York: Springer-Verlag, 2000, ISBN 978-0-387-98899-3, MR 1729490 . Bers, Lipman; John, Fritz; Schechter, Martin, Partial differential equations, American Mathematical Society, 1981, ISBN 978-0-8218-0049-2 . Bourbaki, Nicolas, Spectral theories, Elements of mathematics, Berlin: Springer-Verlag, 1986, ISBN 978-0-201-00767-1 . Bourbaki, Nicolas, Topological vector spaces, Elements of mathematics, Berlin: Springer-Verlag, 1987, ISBN 978-3-540-13627-9 . Boyer, Carl Benjamin; Merzbach, Uta C, A History of Mathematics 2nd, John Wiley & Sons, Inc., 1991, ISBN 978-0-471-54397-8 . Brenner, S.; Scott, R. L., The Mathematical Theory of Finite Element Methods 2nd, Springer, 2005, ISBN 978-0-387-95451-6 . Buttazzo, Giuseppe; Giaquinta, Mariano; Hildebrandt, Stefan, One-dimensional variational problems, 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., Uniformly convex spaces, Trans. Amer. Math. Soc., 1936, 40 (3): 396–414, JSTOR 1989630, doi:10.2307/1989630  . Courant, Richard; Hilbert, David, Methods of Mathematical Physics, Vol. I, Interscience, 1953 . Dieudonné, Jean, Foundations of Modern Analysis, Academic Press, 1960 . Dirac, P.A.M., The Principles of Quantum Mechanics, Oxford: Clarendon Press, 1930 . Dunford, N.; Schwartz, J.T., Linear operators, Parts I and II, Wiley-Interscience, 1958 . Duren, P., Theory of Hp-Spaces, New York: Academic Press, 1970 . Folland, Gerald B., Fourier analysis and its application Reprint of Wadsworth and Brooks/Cole 1992, American Mathematical Society Bookstore, 2009, ISBN 978-0-8218-4790-9 . Folland, Gerald B., Harmonic analysis in phase space, Annals of Mathematics Studies 122, Princeton University Press, 1989, ISBN 978-0-691-08527-2 . Fréchet, Maurice, Sur les ensembles de fonctions et les opérations linéaires, C. R. Acad. Sci. Paris, 1907, 144: 1414–1416 . Fréchet, Maurice, Sur les opérations linéaires, Transactions of the American Mathematical Society, 1904, 5 (4): 493–499, JSTOR 1986278, doi:10.2307/1986278 . Giusti, Enrico, Direct Methods in the Calculus of Variations, World Scientific, 2003, ISBN 978-981-238-043-2 . Grattan-Guinness, Ivor, The search for mathematical roots, 1870–1940, Princeton Paperbacks, Princeton University Press, 2000, ISBN 978-0-691-05858-0, MR 1807717 . Halmos, Paul, Introduction to Hilbert Space and the Theory of Spectral Multiplicity, Chelsea Pub. Co, 1957  Halmos, Paul, A Hilbert Space Problem Book, Springer-Verlag, 1982, ISBN 978-0-387-90685-0 . Hewitt, Edwin; Stromberg, Karl, Real and Abstract Analysis, New York: Springer-Verlag, 1965 . Hilbert, David; Nordheim, Lothar Wolfgang; von Neumann, John, Über die Grundlagen der Quantenmechanik, Mathematische Annalen, 1927, 98: 1–30, S2CID 120986758, doi:10.1007/BF01451579  . Holevo, Alexander S., Statistical Structure of Quantum Theory, Lecture Notes in Physics, Springer, 2001, ISBN 3-540-42082-7, OCLC 318268606 . Kac, Mark, Can one hear the shape of a drum?, American Mathematical Monthly, 1966, 73 (4, part 2): 1–23, JSTOR 2313748, doi:10.2307/2313748 . Kadison, Richard V.; Ringrose, John R., Fundamentals of the theory of operator algebras. Vol. I, 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., Fundamentals of the Theory of Operator Algebras, Vol. I: Elementary Theory, New York: Academic Press, Inc., 1983  Kakutani, Shizuo, Some characterizations of Euclidean space, Japanese Journal of Mathematics, 1939, 16: 93–97, MR 0000895, doi:10.4099/jjm1924.16.0_93  . Kline, Morris, Mathematical thought from ancient to modern times, Volume 3 3rd, Oxford University Press, 19721990, ISBN 978-0-19-506137-6 . Kolmogorov, Andrey; Fomin, Sergei V., Introductory Real Analysis Revised English edition, trans. by Richard A. Silverman (1975), Dover Press, 1970, ISBN 978-0-486-61226-3 . Krantz, Steven G., Function Theory of Several Complex Variables, Providence, R.I.: American Mathematical Society, 2002, ISBN 978-0-8218-2724-6 . Lanczos, Cornelius, Applied analysis Reprint of 1956 Prentice-Hall, Dover Publications, 1988, ISBN 978-0-486-65656-4 . Lebesgue, Henri, Leçons sur l'intégration et la recherche des fonctions primitives, Gauthier-Villars, 1904 . Levitan, B.M., Hilbert space, Hazewinkel, Michiel (编), 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4 . Lindenstrauss, J.; Tzafriri, L., On the complemented subspaces problem, Israel Journal of Mathematics, 1971, 9 (2): 263–269, ISSN 0021-2172, MR 0276734, S2CID 119575718, doi:10.1007/BF02771592  . Marsden, Jerrold E., Elementary classical analysis, W. H. Freeman and Co., 1974, MR 0357693 . Murphy, Gerald J., C*-algebras and Operator Theory, Academic Press, 1990, ISBN 0-12-511360-9 . von Neumann, John, Allgemeine Eigenwerttheorie Hermitescher Funktionaloperatoren, Mathematische Annalen, 1929, 102: 49–131, S2CID 121249803, doi:10.1007/BF01782338 . Template:Narici Beckenstein Topological Vector Spaces von Neumann, John, Physical Applications of the Ergodic Hypothesis, 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, Mathematical Foundations of Quantum Mechanics, 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., Quantum Computation and Quantum Information 1st, Cambridge: Cambridge University Press, 2000, ISBN 978-0-521-63503-5, OCLC 634735192 . 約翰·J·奧康納; 埃德蒙·F·羅伯遜, Abstract linear spaces, MacTutor数学史档案, 1996 （英语）  Peres, Asher, Quantum Theory: Concepts and Methods, Kluwer, 1993, ISBN 0-7923-2549-4, OCLC 28854083  Prugovečki, Eduard, Quantum mechanics in Hilbert space 2nd, Dover, 19812006, ISBN 978-0-486-45327-9 . Reed, Michael; Simon, Barry, Functional Analysis (vol I of 4 vols), Methods of Modern Mathematical Physics, Academic Press, 1980, ISBN 978-0-12-585050-6 . Reed, Michael; Simon, Barry, Fourier Analysis, Self-Adjointness (vol II of 4 vols), Methods of Modern Mathematical Physics, Academic Press, 1975, ISBN 9780125850025 . Rieffel, Eleanor G.; Polak, Wolfgang H., Quantum Computing: A Gentle Introduction, MIT Press, 2011-03-04, ISBN 978-0-262-01506-6 （英语） . Riesz, Frigyes, Sur une espèce de Géométrie analytique des systèmes de fonctions sommables, C. R. Acad. Sci. Paris, 1907, 144: 1409–1411 . Riesz, Frigyes, Zur Theorie des Hilbertschen Raumes, Acta Sci. Math. Szeged, 1934, 7: 34–38 . Riesz, Frigyes; Sz.-Nagy, Béla, Functional analysis, Dover, 1990, ISBN 978-0-486-66289-3 . Template:Rudin Walter Functional Analysis Rudin, Walter, Real and Complex Analysis, McGraw-Hill, 1987, ISBN 978-0-07-100276-9 . Saks, Stanisław, Theory of the integral 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, Über die Auflösung linearer Gleichungen mit unendlich vielen Unbekannten, Rend. Circ. Mat. Palermo, 1908, 25: 63–77, S2CID 120666844, doi:10.1007/BF03029116 . Shubin, M. A., Pseudodifferential operators and spectral theory, Springer Series in Soviet Mathematics, Berlin, New York: Springer-Verlag, 1987, ISBN 978-3-540-13621-7, MR 0883081 . Sobrino, Luis, Elements of non-relativistic quantum mechanics, 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, Calculus: Concepts and Contexts 3rd, Thomson/Brooks/Cole, 2006 . Stein, E, Singular Integrals and Differentiability Properties of Functions, Princeton Univ. Press, 1970, ISBN 978-0-691-08079-6  含有內容需登入查看的頁面 (link). Stein, Elias; Weiss, Guido, Introduction to Fourier Analysis on Euclidean Spaces, Princeton, N.J.: Princeton University Press, 1971, ISBN 978-0-691-08078-9  含有內容需登入查看的頁面 (link). Streater, Ray; Wightman, Arthur, PCT, Spin and Statistics and All That, W. A. Benjamin, Inc, 1964 . Teschl, Gerald. Mathematical Methods in Quantum Mechanics; With Applications to Schrödinger Operators. Providence: American Mathematical Society. 2009 [2022-09-19]. ISBN 978-0-8218-4660-5. （原始内容存档于2022-08-12）. . Titchmarsh, Edward Charles, Eigenfunction expansions, part 1, Oxford University: Clarendon Press, 1946 . Trèves, François, Topological Vector Spaces, Distributions and Kernels, Academic Press, 1967 . Warner, Frank, Foundations of Differentiable Manifolds and Lie Groups, Berlin, New York: Springer-Verlag, 1983, ISBN 978-0-387-90894-6 . Weidmann, Joachim, Linear operators in Hilbert spaces, Graduate Texts in Mathematics 68, Berlin, New York: Springer-Verlag, 1980, ISBN 978-0-387-90427-6, MR 0566954 . Weyl, Hermann, The Theory of Groups and Quantum Mechanics English 1950, Dover Press, 1931, ISBN 978-0-486-60269-1 . Young, Nicholas, An introduction to Hilbert space, 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, Hilbert space, Hazewinkel, Michiel (编), 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4