ヒルベルト空間

数学において、ヒルベルト空間（ダヴィド・ヒルベルトにちなんで名付けられた）は、線型代数と微積分の方法を（有限次元の）ユークリッドベクトル空間から無限次元の可能性のある空間に一般化することを可能にする。ヒルベルト空間は、典型的には関数空間として、数学と物理学において自然に頻繁に現れる。正式には、ヒルベルト空間は、空間が完全な計量空間となる距離関数を誘導する内積を備えたベクトル空間である。ヒルベルト空間はバナッハ空間の特殊なケースである。

ヒルベルト空間は、20 世紀の最初の 10 年間に、デイヴィッド・ヒルベルト、エアハルト・シュミット、フリジェシュ・リースらによって研究され始めました。これらは、偏微分方程式、量子力学、フーリエ解析(信号処理や熱伝達への応用を含む)、エルゴード理論(熱力学の数学的基礎を形成) などの理論において欠かせないツールです。ジョン・フォン・ノイマンは、これらの多様な応用の多くに基礎となる抽象概念に対して、ヒルベルト空間という用語を作り出したのです。ヒルベルト空間法の成功は、関数解析にとって非常に実り多い時代の到来を告げました。古典的なユークリッドベクトル空間の他に、ヒルベルト空間の例には、平方積分可能関数の空間、数列の空間、一般関数からなるソボレフ空間、正則関数のハーディ空間などがあります。

幾何学的直観は、ヒルベルト空間理論の多くの側面で重要な役割を果たします。ピタゴラスの定理と平行四辺形の法則の正確な類似は、ヒルベルト空間で成り立ちます。より深いレベルでは、線形部分空間への垂直 射影は、最適化問題や理論のその他の側面で重要な役割を果たします。ヒルベルト空間の要素は、古典幾何学の直交座標と同様に、正規直交基底に対する座標によって一意に指定できます。この基底が可算無限 である場合、ヒルベルト空間を、平方和可能な無限列の空間と同一視できます。後者の空間は、古い文献ではしばしばヒルベルト空間と呼ばれています。

ヒルベルト空間の最もよく知られた例の1つは、R ³で表され、ドット積を備えた3次元ベクトルで構成されるユークリッドベクトル空間です。ドット積は、2つのベクトルxとyを取り、実数x ⋅ yを生成します。xとy が直交座標で表されている場合、ドット積は次のように定義されます。 $${\displaystyle {\begin{pmatrix}x_{1}\\x_{2}\\x_{3}\end{pmatrix}}\cdot {\begin{pmatrix}y_{1}\\y_{2}\\y_{3}\end{pmatrix}}=x_{1}y_{1}+x_{2}y_{2}+x_{3}y_{3}\,.}$$

ドット積は^{[1]の性質を満たす。}

1. xとyに関して対称です: x ⋅ y = y ⋅ x。
2. 最初の引数では線形です: 任意のスカラーa、b、およびベクトルx ₁、x ₂、yに対して、 ( a x ₁ + b x ₂ ) ⋅ y = a ( x ₁ ⋅ y ) + b ( x ₂ ⋅ y )です。
3. これは正定値です。つまり、すべてのベクトルxに対して、x ⋅ x ≥ 0であり、 x = 0の場合にのみ 等式となります。

ドット積のようにこれら3つの性質を満たすベクトルのペアに対する演算は、（実）内積として知られている。このような内積を備えたベクトル空間は、（実）内積空間として知られている。すべての有限次元内積空間はヒルベルト空間でもある。^[2]ドット積とユークリッド幾何学を結びつける基本的な特徴は、ドット積が、ベクトル‖ x ‖の長さ（またはノルム）と、2つのベクトルxとy の間の角度θの両方に、次の式によって 関連していることである。$${\displaystyle \mathbf {x} \cdot \mathbf {y} =\left\|\mathbf {x} \right\|\left\|\mathbf {y} \right\|\,\cos \theta \, 。}$$

ユークリッド空間における多変数微積分は、極限を計算する能力と、極限が存在すると結論付けるための有用な基準を持つことに依存している。R ³ のベクトルからなる数学的級数は 、長さの合計が実数の通常の級数として収束する場合、絶対収束する： ^[3]$${\displaystyle \sum _{n=0}^{\infty }\mathbf {x} _{n}}$$ $${\displaystyle \sum _{k=0}^{\infty }\|\mathbf {x} _{k}\|<\infty \,.}$$

スカラーの系列と同様に、絶対収束するベクトルの系列も、ユークリッド空間内の 極限ベクトルLに収束する。$${\displaystyle {\Biggl \|}\mathbf {L} -\sum _{k=0}^{N}\mathbf {x} _{k}{\Biggr \|}\to 0\quad {\text{as }}N\to \infty \,.}$$

この性質は、ユークリッド空間の完全性、すなわち絶対収束する級数は通常の意味でも収束するということを表現します。

ヒルベルト空間は、しばしば複素数上をとられます。Cで表される複素平面には、大きさの概念、複素係数 | z |が備わっており、これは、 zとその複素共役の積の平方根として定義されます。 $${\displaystyle |z|^{2}=z{\overline {z}}\,.}$$

z = x + iyがzを実部と虚部に分解したものであれば、係数は通常のユークリッドの 2 次元長さになります。 $${\displaystyle |z|={\sqrt {x^{2}+y^{2}}}\,.}$$

複素数zとwの内積は、 zとwの複素共役との積です。 $${\displaystyle \langle z,w\rangle =z{\overline {w}}\,.}$$

これは複素数値です。⟨ z , w ⟩の実部は通常の2次元ユークリッド内積を与えます。

2番目の例は、複素数z = ( z ₁ , z ₂ )のペアを要素とする空間C ²です。この場合、 zと別のそのようなベクトルw = ( w ₁ , w ₂ )の内積は次のように表されます。 $${\displaystyle \langle z,w\rangle =z_{1}{\overline {w_{1}}}+z_{2}{\overline {w_{2}}}\,.}$$

⟨ z , w ⟩の実部は4次元ユークリッド内積です。この内積はエルミート対称であり、つまりzとw を入れ替えた結果は複素共役になります。 $${\displaystyle \langle w,z\rangle ={\overline {\langle z,w\rangle }}\,.}$$

ヒルベルト空間は実数または複素数の 内積空間であり、内積によって誘導される距離関数に関して完全な距離空間でもある。 ^[4]

複素ベクトル空間Hが複素内積空間であるということは、 Hの各要素のペアに複素数を関連付ける内積が存在し、それが次の特性を満たすことを意味します。 ${\displaystyle \langle x,y\rangle }$${\displaystyle x,y}$

1. 内積は共役対称です。つまり、一対の要素の内積は、交換された要素の内積の複素共役に等しくなります。重要なのは、これが が実数であることを意味することです。$${\displaystyle \langle y,x\rangle ={\overline {\langle x,y\rangle }}\,.}$$${\displaystyle \langle x,x\rangle }$
2. 内積は最初の引数において線形である^。すべての複素数と${\displaystyle a}$${\displaystyle b,}$ $${\displaystyle \langle ax_{1}+bx_{2},y\rangle =a\langle x_{1},y\rangle +b\langle x_{2},y\rangle \,.}$$
3. 要素とそれ自身の内積は正定値である:$${\displaystyle {\begin{alignedat}{4}\langle x,x\rangle >0&\quad {\text{ if }}x\neq 0,\\\langle x,x\rangle =0&\quad {\text{ if }}x=0\,.\end{alignedat}}}$$

性質1と2から、複素内積は第2引数において 反線型、つまり共役線型であることがわかる。つまり、$${\displaystyle \langle x,ay_{1}+by_{2}\rangle ={\bar {a}}\langle x,y_{1}\rangle +{\bar {b}}\langle x,y_{ 2}\rangle \,.}$$

実内積空間も同様に定義されるが、Hは実ベクトル空間であり、内積は実数値をとる。このような内積は双線型写像となり、双対系を形成する。^[5]${\displaystyle (H,H,\langle \cdot ,\cdot \rangle )}$

ノルムは実数値関数であり 、 H内の2点間の 距離はノルムによって次のように定義される。 $${\displaystyle \|x\|={\sqrt {\langle x,x\rangle }}\,,}$$${\displaystyle d}$${\displaystyle x,y}$$${\displaystyle d(x,y)=\|xy\|={\sqrt {\langle xy,xy\rangle }}\,.}$$

この関数が距離関数であるということは、第一に、それが で対称であること、第二に、 と 自体の距離が 0 であること、そうでない場合はとの間の距離が正でなければならないこと、そして最後に、三角形の不等式が成り立つこと、つまり三角形xyzの 1 辺の長さが他の 2 辺の長さの合計を超えることができないことを意味します。 ${\displaystyle x}$${\displaystyle y,}$${\displaystyle x}$${\displaystyle x}$${\displaystyle y}$$${\displaystyle d(x,z)\leq d(x,y)+d(y,z)\,.}$$

この最後の特性は、最終的には、 と が線型従属で ある場合に限り が等しいことを主張する、 より基本的なコーシー・シュワルツの不等式の結果です。 $${\displaystyle \left|\langle x,y\rangle \right|\leq \|x\|\|y\|}$$${\displaystyle x}$${\displaystyle y}$

このように距離関数が定義されると、任意の内積空間は距離空間となり、プレヒルベルト空間と呼ばれることもあります。^[6]プレヒルベルト空間でさらに完全空間でもあるものはヒルベルト空間です。^[7]

Hの完全性は、 H内の数列に対するコーシー基準の形式を使用して表現されます。プレヒルベルト空間Hが完全であるとは、すべてのコーシー数列がこのノルムに関して空間内の元に収束する場合です。完全性は、次の同値な条件によって特徴付けることができます。ベクトルの系列が の 意味で 絶対収束する場合、 その系列はHで収束し、部分和がHの元に収束するという意味になります。^[8] $${\displaystyle \sum _{k=0}^{\infty }u_{k}}$$ $${\displaystyle \sum _{k=0}^{\infty }\|u_{k}\|<\infty \,,}$$

完全なノルム空間であるヒルベルト空間は、定義によりバナッハ空間でもあります。したがって、それらは位相ベクトル空間であり、部分集合の開性や閉性などの位相概念が明確に定義されています。特に重要なのは、制限によって誘導される内積により、ヒルベルト空間の閉線型部分空間の概念であり、これは完全なもの（完全な距離空間内の閉集合）であり、したがってそれ自体がヒルベルト空間です。

数列空間 l ²は、次の数列が収束するような複素数の無限数列 z = ( z ₁ , z ₂ , ...)から構成される: ^[9] $${\displaystyle \sum _{n=1}^{\infty }|z_{n}|^{2}}$$

l ²上の内積は次のように定義されます。 $${\displaystyle \langle \mathbf {z} ,\mathbf {w} \rangle =\sum _{n=1}^{\infty }z_{n}{\overline {w_{n}}}\,,}$$

この 2 番目の級数は、コーシー・シュワルツの不等式と前の級数の 収束の結果として収束します。

空間の完全性は、l ²の要素の系列が絶対収束（ノルム収束）する場合は常に、l ²の要素に収束するという条件で成立する。この証明は数学的解析の基本であり、空間の要素の数学的系列を複素数（または有限次元ユークリッド空間のベクトル）の系列と同じ容易さで操作できるようにする。^[10]

ヒルベルト空間が開発される以前、ユークリッド空間の他の一般化は数学者や物理学者に知られていた。特に、抽象線型空間（ベクトル空間）の考え方は、19世紀末に向けて注目を集めていた。^[11]これは、要素を加算したり、スカラー（実数や複素数など）で乗算したりできる空間であり、これらの要素を必ずしも「幾何学的」ベクトル（物理システムの位置ベクトルや運動量ベクトルなど）と同一視する必要はない。20世紀初頭に数学者が研究した他の対象、特に数列の空間（級数を含む）や関数の空間^[12]は、当然線型空間と考えることができる。たとえば、関数は定数スカラーで加算したり乗算したりすることができ、これらの演算は空間ベクトルの加算とスカラー乗算が満たす代数法則に従う。

20世紀の最初の10年間に、ヒルベルト空間の導入につながる並行した発展が起こった。その最初のものは、デイヴィッド・ヒルベルトとエアハルト・シュミットの積分方程式の研究中に生じた観察である^[13]。区間[a,b]上の2つの平方積分可能な実数値関数fとgは内積

${\displaystyle \langle f,g\rangle =\int _{a}^{b}f(x)g(x)\,\mathrm {d} x}$

ユークリッド内積のよく知られた性質の多くを持つ。特に、関数の直交族という概念は意味がある。シュミットは、この内積と通常の内積の類似性を利用して、次の形式の演算子の スペクトル分解の類似性を証明した。

${\displaystyle f(x)\mapsto \int _{a}^{b}K(x,y)f(y)\,\mathrm {d} y}$

ここで、Kはxとyに関して対称な連続関数である。結果として得られる固有関数展開は、関数Kを次の形式の級数として 表す。

${\displaystyle K(x,y)=\sum _{n}\lambda _{n}\varphi _{n}(x)\varphi _{n}(y)}$

ここで関数φ _{n は、すべての}n ≠ mに対して⟨ φ _n , φ _m ⟩ = 0となる意味で直交する。この級数の個々の項は、基本積分解と呼ばれることもある。しかし、適切な意味で二乗積分可能な関数に収束しない固有関数展開が存在する。収束を保証する欠けている要素は完全性である。^[14]

2 つ目の発展は、 1904 年にアンリ・ルベーグによって導入されたリーマン積分の代替となるルベーグ積分でした。 ^[15]ルベーグ積分により、はるかに幅広いクラスの関数を積分できるようになりました。1907 年、フリジェス・リースとエルンスト・ジギスムント・フィッシャーはそれぞれ独立に、平方ルベーグ積分可能関数の空間L ^{2 が}完全な計量空間であることを証明しました。^[16]幾何学と完全性の相互作用の結果として、19 世紀のジョセフ・フーリエ、フリードリヒ・ベッセル、マルク・アントワーヌ・パーセヴァルの三角級数に関する結果は、これらのより一般的な空間に簡単に適用でき、現在ではリース・フィッシャーの定理としてよく知られている幾何学的および解析的な装置が生まれました。^[17]

20世紀初頭には、さらに基本的な結果が証明された。例えば、リースの表現定理は、 1907年にモーリス・フレシェとフリジェス・リースによって独立に確立された。 ^[18] ジョン・フォン・ノイマンは、非有界エルミート作用素に関する研究で、抽象ヒルベルト空間という用語を作った。 [19 ^]ヘルマン・ワイルやノルベルト・ウィーナーなどの他の数学者は、多くの場合、物理的に動機付けられた観点から、特定のヒルベルト空間をすでに詳細に研究していたが、フォン・ノイマンは、それらの完全かつ公理的な扱いを初めて行った。^[20]フォン・ノイマンは、後に量子力学の基礎に関する独創的な研究でそれらを使用し、^[21]ユージン・ウィグナーとの継続的な研究でも使用した。「ヒルベルト空間」という名前は、すぐに他の人にも採用され、例えば、ヘルマン・ワイルは、量子力学と群論に関する著書で使用しました。^[22]

ヒルベルト空間の概念の重要性は、それが量子力学の最も優れた数学的定式化の1 つを提供するという認識によって強調されました。^[23]簡単に言えば、量子力学システムの状態は特定のヒルベルト空間内のベクトルであり、観測量はその空間上のエルミート演算子であり、システムの対称性はユニタリ演算子であり、測定値は直交射影です。量子力学的対称性とユニタリ演算子の関係は、ヘルマン・ワイルの 1928 年の研究で始まった群のユニタリ 表現理論の発展の原動力となりました。 ^[22]一方、1930 年代初頭には、古典力学はヒルベルト空間 (クープマン - フォン・ノイマン古典力学) で記述できること、および古典的な動的システムの特定の特性はエルゴード理論の枠組みでヒルベルト空間技術を使用して分析できることが明らかになりました。^[24]

量子力学における観測量の代数は、量子論のヴェルナー・ハイゼンベルクの行列力学による定式化によれば、当然ヒルベルト空間上で定義された作用素の代数である。 ^[25]フォン・ノイマンは、1930年代にヒルベルト空間上の作用素の環として作用素代数の研究を始めた。フォン・ノイマンと彼の同時代人が研究した種類の代数は現在フォン・ノイマン代数として知られている。^[26] 1940年代に、イスラエル・ゲルファンド、マーク・ナイマーク、アーヴィング・シーガルは、一方では基礎となるヒルベルト空間を参照せず、他方では以前に研究されていた作用素代数の有用な特徴の多くを外挿する、C *-代数と呼ばれる作用素代数の一種の定義を与えた。特に、既存のヒルベルト空間理論の多くを基礎づける自己随伴作用素のスペクトル定理は、C*-代数に一般化されました。^[27]これらの手法は現在、抽象調和解析と表現論の基礎となっています。

ルベーグ空間は測度空間( X , M , μ )に関連付けられた関数空間です。ここで、Xは集合、MはXの部分集合のσ 代数、μはM上の可算加法測度です。L ² ( X , μ )を、 関数の絶対値の二乗のルベーグ積分が有限である、つまりL ² ( X , μ )内の関数fに対するX上の複素数値測定関数の空間とし、関数は測度ゼロの集合 上でのみ異なる場合のみ同一視されます。 $${\displaystyle \int _{X}|f|^{2}\mathrm {d} \mu <\infty \,,}$$

L ² ( X , μ )における関数fとgの内積は次のように定義されます 。$${\displaystyle \langle f,g\rangle =\int _{X}f(t){\overline {g(t)}}\,\mathrm {d} \mu (t)}$$$${\displaystyle \langle f,g\rangle =\int _{X}{\overline {f(t)}}g(t)\,\mathrm {d} \mu (t)\,,}$$

ここで、2番目の形式（最初の要素の共役）は理論物理学の文献でよく見られる。L ²のfとgに対して、コーシー・シュワルツ不等式により積分は存在し、空間上の内積を定義する。この内積があれば、L ^{2 は}実際完全である。^[28]ルベーグ積分は完全性を保証するために不可欠である。例えば、実数の領域では、リーマン積分可能な関数は十分ではない。^[29]

ルベーグ空間は多くの自然な状況で現れる。実数直線上および単位区間上のルベーグ測度に関する平方積分可能関数の空間L ² ( R )およびL ² ([0,1])は、それぞれフーリエ変換およびフーリエ級数を定義するための自然な領域である。他の状況では、測度は実数直線上の通常のルベーグ測度以外のものである可能性がある。たとえば、w が任意の正の測定可能関数である場合、次を満たす 区間[0, 1]上のすべての測定可能関数fの空間は、重み付きL ²空間L と呼ばれる。$${\displaystyle \int _{0}^{1}{\bigl |}f(t){\bigr |}^{2}w(t)\,\mathrm {d} t<\infty }$$ ²
_週間([0, 1]) であり、w は重み関数と呼ばれる。内積は次のように定義される。 $${\displaystyle \langle f,g\rangle =\int _{0}^{1}f(t){\overline {g(t)}}w(t)\,\mathrm {d} t\,.}$$

重み付き空間L²
_週間([0, 1])はヒルベルト空間L ² ([0, 1], μ )と同一であり、ルベーグ可測集合Aの測度μは次のように定義される。 $${\displaystyle \mu (A)=\int _{A}w(t)\,\mathrm {d} t\,.}$$

このような重み付きL2空間^は、異なる直交多項式の族が異なる重み関数に関して直交するため、直交多項式の研究に頻繁に使用されます。 ^[30]

ソボレフ空間はH ^sまたはW ^{s ,2}で表され、ヒルベルト空間である。これらは微分が実行できる特殊な関数空間であるが、（ヘルダー空間などの他のバナッハ空間とは異なり）内積の構造をサポートする。微分が許可されているため、ソボレフ空間は偏微分方程式の理論の便利な設定である。^{[31]また、}変分法における直接法の理論の基礎を形成している。^[32]

s が非負の整数でΩ ⊂ R ⁿの場合、ソボレフ空間H ^s (Ω)には、 sまでの弱導関数もL ^2であるL ²関数が含まれます。H s (Ω)の内積は、 ^各次数の偏導関数のユークリッド空間におけるドット積を示します。ソボレフ空間は、 sが整数でない 場合にも定義できます。$${\displaystyle \langle f,g\rangle =\int _{\Omega }f(x){\bar {g}}(x)\,\mathrm {d} x+\int _{\Omega }Df(x)\cdot D{\bar {g}}(x)\,\mathrm {d} x+\cdots +\int _{\Omega }D^{s}f(x)\cdot D^{s}{\bar {g}}(x)\,\mathrm {d} x}$$

ソボレフ空間はスペクトル理論の観点からも研究されており、より具体的にはヒルベルト空間構造に依存している。Ωが適切な領域である場合、ソボレフ空間H ^s (Ω)をベッセルポテンシャルの空間として定義することができる。^[33]大まかに言えば、 $${\displaystyle H^{s}(\Omega )=\left\{(1-\Delta )^{-s/2}f\mathrel {\Big |} f\in L^{2}(\Omega )\right\}\,.}$$

ここでΔはラプラシアンであり、(1 − Δ) ^{− s  / 2 は}スペクトル写像定理の観点から理解される。非整数sに対するソボレフ空間の実用的な定義を提供することとは別に、この定義はフーリエ変換の下で特に望ましい特性を持ち、擬微分作用素の研究に理想的である。これらの方法をコンパクトな リーマン多様体に使用すると、例えばホッジ理論の基礎となるホッジ分解を得ることができる。^[34]

ハーディ空間は、複素解析と調和解析で生じる関数空間であり、その要素は複素領域内の特定の正則関数である。 ^[35] U を複素平面上の単位円とする。すると、ハーディ空間H ² ( U )は、平均が r < 1 に対して有界であるようなU上の正則関数fの空間として定義される。このハーディ空間のノルムは次のように定義される。 $${\displaystyle M_{r}(f)={\frac {1}{2\pi }}\int _{0}^{2\pi }\left|f{\bigl (}re^{i\theta }{\bigr )}\right|^{2}\,\mathrm {d} \theta }$$$${\displaystyle \left\|f\right\|_{2}=\lim _{r\to 1}{\sqrt {M_{r}(f)}}\,.}$$

円板上のハーディ空間はフーリエ級数と関連している。関数fがH ² ( U )に属するの は 、 $${\displaystyle f(z)=\sum _{n=0}^{\infty }a_{n}z^{n}}$$$${\displaystyle \sum _{n=0}^{\infty }|a_{n}|^{2}<\infty \,.}$$

したがって、H ² ( U ) は円上のL ²であり、負の周波数フーリエ係数がゼロになる 関数で構成されます。

ベルクマン空間は、正則関数のヒルベルト空間の別の族である。^[36] D を複素平面（または高次元複素空間）内の有界開集合とし、L ^{2, h} ( D )を、積分がD 内のルベーグ測度に関して取られるという意味で L ² ( D )にも含まれるD内の正則関数fの空間とする。明らかにL ^{2, h} ( D )はL ² ( D )の部分空間である。実際、それは閉部分空間であり、したがってそれ自体がヒルベルト空間である。これは、Dのコンパクト部分集合Kに対して有効な推定値の結果であり、 これはコーシーの積分公式 から順に従属する。したがって、 L ² ( D )内の正則関数の列が収束することは、コンパクト収束も意味し、したがって極限関数も正則である。この不等式のもう 1 つの帰結は、関数f をDの点で評価する線型関数は、実際にはL ^{2, h} ( D )上で連続であるということです。リースの表現定理は、評価関数がL ^{2, h} ( D )の要素として表現できることを意味します。したがって、すべてのz ∈ Dに対して、 すべてのf ∈ L ^{2, h} ( D )に対してとなる 関数η _z ∈ L ^{2, h} ( D )があります。積分関数は Dのベルクマン核 として知られています。この積分核は、再生特性を満たします。 $${\displaystyle \|f\|^{2}=\int _{D}|f(z)|^{2}\,\mathrm {d} \mu (z)<\infty \,,}$$$${\displaystyle \sup _{z\in K}\left|f(z)\right|\leq C_{K}\left\|f\right\|_{2}\,,}$$$${\displaystyle f(z)=\int _{D}f(\zeta ){\overline {\eta _{z}(\zeta )}}\,\mathrm {d} \mu (\zeta )}$$$${\displaystyle K(\zeta ,z)={\overline {\eta _{z}(\zeta )}}}$$$${\displaystyle f(z)=\int _{D}f(\zeta )K(\zeta ,z)\,\mathrm {d} \mu (\zeta )\,.}$$

ベルクマン空間は再生核ヒルベルト空間の一例であり、これは関数のヒルベルト空間であり、これに類似した再生特性を証明する核K ( ζ , z )を伴う。ハーディ空間H ² ( D )も、セゲー核として知られる再生核を許容する。^[37]再生核は数学の他の分野でも一般的である。例えば、調和解析では、ポアソン核は単位球内の平方積分可能な調和関数のヒルベルト空間の再生核である。後者がヒルベルト空間であるということは、調和関数の平均値定理の結果である。

ヒルベルト空間の応用の多くは、ヒルベルト空間が、通常の有限次元の設定からの射影や基底変換などの単純な幾何学的概念の一般化をサポートしているという事実を利用しています。特に、ヒルベルト空間上の連続自己随伴線型作用素のスペクトル理論は、行列の通常のスペクトル分解を一般化し、これが数学や物理学の他の分野への理論の応用で重要な役割を果たすことがよくあります。

常微分方程式の理論では、適切なヒルベルト空間上のスペクトル法を使用して、微分方程式の固有値と固有関数の挙動を研究します。たとえば、シュトゥルム–リウヴィル問題は、バイオリンの弦や太鼓の波の倍音の研究で発生し、常微分方程式の中心的な問題です。^[38]この問題は、一般同次ロビン境界条件を満たす区間[ a , b ]上の 未知の関数yに対する形式の微分方程式です 。 関数p、q、およびw は事前に与えられ、方程式が解を持つ関数yと定数λ を見つけることが問題です。この問題は、システムの固有値と呼ばれる特定のλの値に対してのみ解を持ち、これは、システムのグリーン関数によって定義される積分演算子に適用されたコンパクト演算子のスペクトル定理の結果です。さらに、この一般的な結果のもう一つの帰結は、系の固有値λが無限大に向かう増加系列に並べられるということである。^{[39] [注2]}$${\displaystyle -{\frac {\mathrm {d} }{\mathrm {d} x}}\left[p(x){\frac {\mathrm {d} y}{\mathrm {d} x}}\right]+q(x)y=\lambda w(x)y}$$ $${\displaystyle {\begin{cases}\alpha y(a)+\alpha 'y'(a)&=0\\\beta y(b)+\beta 'y'(b)&=0\,.\end{cases}}}$$

ヒルベルト空間は偏微分方程式の研究における基本的なツールです。^[31]線形楕円方程式などの多くのクラスの偏微分方程式では、関数のクラスを拡大することで一般化された解（弱解と呼ばれる）を考えることができます。多くの弱定式化には、ヒルベルト空間であるソボレフ関数のクラスが含まれます。適切な弱定式化は、解を見つける解析的な問題、または多くの場合より重要な、与えられた境界データに対して解が存在し一意であることを示すという幾何学的な問題に帰着します。線形楕円方程式の場合、多くのクラスの問題に対して一意に解けることを保証する1つの幾何学的結果は、ラックス-ミルグラム定理です。この戦略は、偏微分方程式の数値解法に対するガラーキン法（有限要素法）の基礎を形成します。 ^[40]

典型的な例は、R ²の有界領域Ωにおけるディリクレ境界条件を伴うポアソン方程式 −Δ u = gである。弱定式化は、境界上でゼロとなる Ω内のすべての連続微分可能関数vに対して、次の関数u を見つけることから構成される。$${\displaystyle \int _{\Omega }\nabla u\cdot \nabla v=\int _{\Omega }gv\,.}$$

これをヒルベルト空間Hで表現すると、¹
₀(Ω) は関数uから成り、uとその弱偏導関数はΩ上で二乗積分可能であり、境界上ではゼロである。問題は、この空間でu を見つけ、この空間の すべてのvに対して$${\displaystyle a(u,v)=b(v)}$$

ここで、aは連続双線形形式、bは連続線形関数であり、それぞれ次のように表される。 $${\displaystyle a(u,v)=\int _{\Omega }\nabla u\cdot \nabla v,\quad b(v)=\int _{\Omega }gv\,.}$$

ポアソン方程式は楕円型なので、ポアンカレの不等式から双線型形式aは強制型であることがわかる。ラックス・ミルグラム定理は、この方程式の解の存在と一意性を保証する。^[41]

ヒルベルト空間では多くの楕円型偏微分方程式を同様の方法で定式化することができ、ラックス・ミルグラム定理はそれらの解析における基本的なツールとなる。適切な修正を加えることで、同様の手法を放物型偏微分方程式や特定の双曲型偏微分方程式に適用することができる。^[42]

エルゴード理論の分野は、カオス的 力学系の長期的挙動を研究する分野である。エルゴード理論が適用される分野の典型的な例は熱力学であり、系の微視的状態は極めて複雑であるが（物質粒子間の個々の衝突の集合を理解することは不可能である）、十分に長い時間間隔での平均的な挙動は扱いやすい。熱力学の法則は、そのような平均的な挙動についての主張である。特に、熱力学の第 0 法則の 1 つの定式化では、十分に長い時間スケールでは、平衡状態にある熱力学系について実行できる唯一の機能的に独立した測定は、温度という形での全エネルギーであると主張している。^[43]

エルゴード的力学系とは、ハミルトニアンで測定されるエネルギー以外に、位相空間上に機能的に独立な保存量が存在しない力学系である。より明確には、エネルギーEが固定されており、Ω _{E が}エネルギーEのすべての状態（エネルギー面）からなる位相空間の部分集合であり、 T _tが位相空間上の発展演算子を表すものとする。力学系がエルゴード的であるのは、Ω _E上のすべての不変測定可能関数がほぼすべての場所で一定である場合である。^[44]不変関数fは、 Ω _E上の すべてのwとすべての時間tに対してとなる関数である 。リウヴィルの定理は、時間変換に対して不変なエネルギー面上の測度μ が存在することを意味する。結果として、時間変換は、内積に関して エネルギー面Ω _E上の二乗積分可能関数からなるヒルベルト空間L ² (Ω _E , μ )のユニタリ変換である。$${\displaystyle f(T_{t}w)=f(w)}$$ $${\displaystyle \left\langle f,g\right\rangle _{L^{2}\left(\Omega _{E},\mu \right)}=\int _{E}f{\bar {g}}\,\mathrm {d} \mu \,.}$$

フォン・ノイマンの平均エルゴード定理^[24]は次のように述べている。

• U _{t が}ヒルベルト空間H上のユニタリ作用素の（強連続）1パラメータ半群であり、P がU _tの共通不動点の空間への直交射影である場合、{ x ∈ H | U _t x = x、 ∀ t > 0}、$${\displaystyle Px=\lim _{T\to \infty }{\frac {1}{T}}\int _{0}^{T}U_{t}x\,\mathrm {d} t\,.}$$

^{エルゴード系では、時間発展の固定集合は定数関数}_のみで構成されるため、エルゴード定理は以下を意味する：^[45]任意の関数f∈L2（ΩE、μ）に対して、 $${\displaystyle {\underset {T\to \infty }{L^{2}-\lim }}{\frac {1}{T}}\int _{0}^{T}f(T_{t}w)\,\mathrm {d} t=\int _{\Omega _{E}}f(y)\,\mathrm {d} \mu (y)\,.}$$

つまり、観測可能なfの長時間平均は、エネルギー面上の期待値に等しくなります。

フーリエ解析の基本的な目標の1つは、関数を与えられた基底関数の（おそらく無限の）線形結合、すなわち関連するフーリエ級数に分解することです。区間[0, 1]で定義された関数fに関連する古典的なフーリエ級数は 、次の 形式の級数です 。$${\displaystyle \sum _{n=-\infty }^{\infty }a_{n}e^{2\pi in\theta }}$$$${\displaystyle a_{n}=\int _{0}^{1}f(\theta )\;\!e^{-2\pi in\theta }\,\mathrm {d} \theta \,.}$$

鋸歯状関数のフーリエ級数の最初の数項を加算する例を図に示す。基底関数は波長を持つ正弦波である⁠λ/ん⁠ (整数nの場合) のこぎり波自体の波長λよりも短い (基本波であるn = 1を除く)。

古典的なフーリエ級数における重要な問題は、フーリエ級数が関数fに収束するとしたら、どのような意味で収束するかという問題である。ヒルベルト空間法は、この問いに対する一つの答えを提供する。^[46]関数e _n ( θ ) = e ^{2π inθ}は、ヒルベルト空間L ² ([0, 1])の直交基底を形成する。したがって、任意の二乗積分可能な関数は級数として表すことができ 、さらに、この級数はヒルベルト空間の意味（つまり、L ²平均）で収束する。 $${\displaystyle f(\theta )=\sum _{n}a_{n}e_{n}(\theta )\,,\quad a_{n}=\langle f,e_{n}\rangle }$$

この問題は抽象的な観点からも研究できる。すなわち、すべてのヒルベルト空間は正規直交基底を持ち、ヒルベルト空間のすべての要素はこれらの基底要素の倍数の和として一意に表すことができる。これらの基底要素に現れる係数は、抽象的には空間の要素のフーリエ係数と呼ばれることがある。^{[47]この抽象化は、} L ² ([0, 1])などの空間に異なる基底関数を使用する方が自然な場合に特に有用である。多くの場合、関数を三角関数に分解するのではなく、たとえば直交多項式やウェーブレットに分解することが望ましい。 ^{[48]また、高次元では}球面調和関数に分解することが望ましい。^[49]

例えば、e _{n が}L ² [0, 1]の任意の正規直交基底関数である場合、 L ² [0, 1]の与えられた関数は有限線形結合として近似できる^[50] $${\displaystyle f(x)\approx f_{n}(x)=a_{1}e_{1}(x)+a_{2}e_{2}(x)+\cdots +a_{n}e_{n}(x)\,.}$$

係数{ a _j }は、差‖f−fn‖2の大きさが可能な限り小さくなるように選択される。幾何学的に_は^{、最良の近似は}、 { e _j }のすべての線形結合からなる部分空間へのfの直交射影であり、^{[51]で計算できる。} $${\displaystyle a_{j}=\int _{0}^{1}{\overline {e_{j}(x)}}f(x)\,\mathrm {d} x\,.}$$

この式が差‖ f − f _n ‖ ²を最小化することは、ベッセルの不等式とパーセバルの公式の結果です。

物理的問題への様々な応用において、関数は微分演算子（典型的にはラプラス演算子）の物理的に意味のある固有関数に分解することができる。これは、微分演算子のスペクトルを参照して、関数のスペクトル研究の基礎を形成する。^[52]具体的な物理的応用には、ドラムの形状を聞き分ける問題が含まれる。ドラムヘッドが生成できる基本的な振動モードが与えられている場合、ドラム自体の形状を推測できるだろうか？^[53]この問題の数学的定式化には、平面におけるラプラス方程式のディリクレ固有値が含まれる。これは、バイオリンの弦の基本的な振動モードを表す整数と直接類似して、基本的な振動モードを表す。

スペクトル理論は、関数のフーリエ変換の特定の側面にも基礎を置いています。フーリエ解析は、コンパクト セット上で定義された関数をラプラシアンの離散スペクトル (バイオリンの弦やドラムの振動に対応) に分解しますが、関数のフーリエ変換は、ユークリッド空間全体で定義された関数をラプラシアンの連続スペクトルの成分に分解します。フーリエ変換は、プランシュレルの定理によって明確にされた意味では幾何学的でもあります。プランシュレルの定理は、フーリエ変換が 1 つのヒルベルト空間 (「時間領域」) と別のヒルベルト空間 (「周波数領域」) の等長変換であると主張しています。フーリエ変換のこの等長変換特性は、抽象調和解析で繰り返し登場するテーマです(連続フーリエ変換のエネルギー保存を反映しているため)。これは、たとえば、非可換調和解析で発生する球面関数のプランシュレルの定理によって証明されています。

ジョン・フォン・ノイマン[ ^54]によって開発された量子力学の厳密な数学的定式化では、量子力学システムの可能な状態（より正確には、純粋状態）は、ノルム1（位相因子）の複素数まで明確に定義された、状態空間として知られる複素可分ヒルベルト空間に存在する単位ベクトル（状態ベクトルと呼ばれる）によって表される。言い換えれば、可能な状態は、通常複素射影空間と呼ばれるヒルベルト空間の射影化における点である。このヒルベルト空間の正確な性質はシステムに依存する。たとえば、単一の非相対論的スピンゼロ粒子の位置と運動量の状態は、すべての二乗可積分関数の空間であるが、単一の陽子のスピンの状態は、スピノルの2次元複素ヒルベルト空間の単位要素である。各観測量は、状態空間に作用する自己随伴線型演算子によって表される。観測可能な各固有状態は演算子の固有ベクトルに対応し、関連する固有値はその固有状態における観測可能な値に対応する。^[55]

2 つの状態ベクトルの内積は、確率振幅と呼ばれる複素数です。量子力学システムの理想的な測定中、システムが特定の初期状態から特定の固有状態に崩壊する確率は、初期状態と最終状態の間の確率振幅の絶対値の 2 乗で与えられます。 ^[56]測定の可能な結果は演算子の固有値です。これは、すべての固有値が実数でなければならないため、自己随伴演算子の選択を説明しています。特定の状態における観測可能なものの確率分布は、対応する演算子のスペクトル分解を計算することによって見つけることができます。^[57]

一般のシステムでは、状態は通常純粋ではなく、密度行列:ヒルベルト空間上のトレース1の自己随伴演算子によって与えられる純粋状態の統計的混合、または混合状態として表されます。 ^[58]さらに、一般的な量子力学システムでは、単一の測定の影響がシステムの他の部分に影響を及ぼす可能性があり、これは正の演算子値の測度によって記述されます。したがって、一般理論における状態と観測可能な量の構造は、純粋状態の理想化よりもかなり複雑です。^[59]

確率論においても、ヒルベルト空間は多様な応用を持っています。ここで、基本ヒルベルト空間は、クラス（有限の第 1 モーメントと第 2モーメント）を持つ、与えられた確率空間上のランダム変数の空間です。統計学における一般的な操作は、ランダム変数の期待値を減算してその中心化を行うことです。したがって、がランダム変数である場合、その中心化は行われます。ヒルベルト空間の観点では、これは期待値演算子の核への の直交射影であり、期待値演算子はヒルベルト空間上の連続線型関数（実際には、定数ランダム変数 1 との内積）であり、したがってこの核は閉じた部分空間です。 ${\displaystyle L^{2}}$${\displaystyle X}$${\displaystyle X-E(X)}$${\displaystyle X}$

条件付き期待値はヒルベルト空間で自然な解釈ができる。^[60]確率空間が与えられており、 は集合上のシグマ代数、 は測度空間 上の確率測度であるとする。が のシグマ部分代数である場合、条件付き期待値は の-測定可能な関数からなるの部分空間への直交射影である。 の確率変数がシグマ代数から独立している場合、条件付き期待値、つまりその -測定可能な関数への射影は定数である。同様に、その中心化の射影はゼロである。 ${\displaystyle (\Omega ,P,{\mathcal {B}})}$${\displaystyle {\mathcal {B}}}$${\displaystyle \Omega }$${\displaystyle P}$${\displaystyle (\Omega ,{\mathcal {B}})}$${\displaystyle {\mathcal {F}}\leq {\mathcal {B}}}$${\displaystyle {\mathcal {B}}}$${\displaystyle E[X|{\mathcal {F}}]}$${\displaystyle X}$${\displaystyle L^{2}(\Omega ,P)}$${\displaystyle {\mathcal {F}}}$${\displaystyle X}$${\displaystyle L^{2}(\Omega ,P)}$${\displaystyle {\mathcal {F}}}$${\displaystyle E(X|{\mathcal {F}})=E(X)}$${\displaystyle {\mathcal {F}}}$

特に、2 つのランダム変数と( ) が独立している場合、中心ランダム変数と は直交します。 (これは、2 つの変数の共分散がゼロであることを意味します。つまり、2 つの変数は相関していません。) その場合、期待値演算子のカーネルのピタゴラスの定理は、およびの分散が恒等式を満たすことを意味します。 これは統計のピタゴラスの定理と呼ばれることもあり、線形回帰で重要です。^[61] Stapleton (1995) が述べているように、「分散分析は、ピタゴラスの定理を使用して、ベクトルの長さの 2 乗をいくつかのベクトルの長さの 2 乗の和に分解するものと見なすことができます。」 ${\displaystyle X}$${\displaystyle Y}$${\displaystyle L^{2}(\Omega ,P)}$${\displaystyle X-E(X)}$${\displaystyle Y-E(Y)}$${\displaystyle X}$${\displaystyle Y}$$${\displaystyle \operatorname {Var} (X+Y)=\operatorname {Var} (X)+\operatorname {Var} (Y),}$$

マルチンゲールの理論はヒルベルト空間で定式化できる。ヒルベルト空間のマルチンゲールはヒルベルト空間の要素の列であり、各nに対して はの線型包への直交射影となる。^[62]がランダム変数の場合、これは（離散）マルチンゲールの通常の定義を再現する。 の期待値はを条件として に等しい。 ${\displaystyle x_{1},x_{2},\dots }$${\displaystyle x_{n}}$${\displaystyle x_{n+1}}$${\displaystyle x_{1},\dots ,x_{n}}$${\displaystyle x_{k}}$${\displaystyle x_{n+1}}$${\displaystyle x_{1},\dots ,x_{n}}$${\displaystyle x_{n}}$

ヒルベルト空間は伊藤計算の基礎にも使われている。^[63]任意の二乗積分可能なマルチンゲールには、マルチンゲールに関する漸進的測定可能過程の同値類の空間にヒルベルトノルムを関連付けることが可能である（測度としてマルチンゲールの二次変分を用いる）。伊藤積分は、まず単純な過程に対して定義し、次にヒルベルト空間におけるそれらの密度を利用することで構築できる。注目すべき結果は伊藤等長変換であり、これは、二次変分測度を持つ任意のマルチンゲールMと任意の漸進的測定可能過程Hに対して、 右辺の期待値が有限であるときはいつでも次のことを証明する。 ${\displaystyle d\langle M\rangle _{t}}$$${\displaystyle E\left[\left(\int _{0}^{t}H_{s}dM_{s}\right)^{2}\right]=E\left[\int _{0}^{t}H_{s}^{2}d\langle M\rangle _{s}\right]}$$

ヒルベルト空間のより深い応用で、ガウス過程の理論で特に重要なのが、レナード・グロスらによる、量子場の理論からのファインマン経路積分のような、無限次元空間上の特定の形式的積分の意味を理解しようとする試みである。このような積分の問題は、無限次元のルベーグ測度が存在しないことである。抽象的なウィーナー空間の概念により、バナッハ空間B上の測度を構成することができる。この測度には、ヒルベルト空間H を稠密な部分集合として含むキャメロン・マーティン空間と呼ばれる空間が、 H上の有限加法円筒集合測度から構成される。結果として得られるB上の測度は可算加法で、Hの元による平行移動に対して不変であり、これにより、ウィーナー測度をソボレフ空間上のガウス測度として数学的に厳密に考える方法が得られる。^[64]${\displaystyle H^{1}([0,\infty ))}$

真の物理的な色は、純粋なスペクトル色の組み合わせで表現できます。物理的な色は任意の数のスペクトル色で構成できるため、物理的な色の空間はスペクトル色上のヒルベルト空間で適切に表現できます。人間は色を知覚するために3種類の錐体細胞を持っているため、知覚できる色は3次元ユークリッド空間で表現できます。物理的な色のヒルベルト空間から人間の知覚できる色のユークリッド空間への多対1の線形マッピングにより、多くの異なる物理的な色が人間によって同一であると知覚される理由が説明されます（たとえば、純粋な黄色の光と赤と緑の光の混合、メタメリズムを参照）。^{[65] [66]}

ヒルベルト空間Hの2 つのベクトル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 ₁ , ..., u _{nに拡張され、}$${\displaystyle \left\|u_{1}+\cdots +u_{n}\right\|^{2}=\left\|u_{1}\right\|^{2}+\cdots +\left\|u_{n}\right\|^{2}.}$$

前述のピタゴラスの等式は任意の内積空間で有効であるが、ピタゴラスの等式を級数に拡張するには完全性が必要である。[ ^67]直交ベクトルの級数Σukが_Hで収束するのは、ノルムの2乗の級数が収束する場合のみであり、 さらに、直交ベクトルの級数の和は、それが取られる順序に依存しない。 $${\displaystyle {\Biggl \|}\sum _{k=0}^{\infty }u_{k}{\Biggr \|}^{2}=\sum _{k=0}^{\infty }\left\|u_{k}\right\|^{2}\,.}$$

定義により、任意のヒルベルト空間はバナッハ空間でもある。さらに、任意のヒルベルト空間では次の平行四辺形の恒等式が成り立つ: ^[68] $${\displaystyle \|u+v\|^{2}+\|u-v\|^{2}=2{\bigl (}\|u\|^{2}+\|v\|^{2}{\bigr )}\,.}$$

逆に、平行四辺形恒等式が成り立つすべてのバナッハ空間はヒルベルト空間であり、その内積はノルムと分極恒等式によって一意に決定される。^[69]実ヒルベルト空間の場合、分極恒等式は $${\displaystyle \langle u,v\rangle ={\tfrac {1}{4}}{\bigl (}\|u+v\|^{2}-\|u-v\|^{2}{\bigr )}\,.}$$

複素ヒルベルト空間の場合、 $${\displaystyle \langle u,v\rangle ={\tfrac {1}{4}}{\bigl (}\|u+v\|^{2}-\|u-v\|^{2}+i\|u+iv\|^{2}-i\|u-iv\|^{2}{\bigr )}\,.}$$

平行四辺形法則は、任意のヒルベルト空間が一様凸バナッハ空間であることを意味する。^[70]

この節ではヒルベルト射影定理を用いる。Cがヒルベルト空間Hの空でない閉凸部分集合であり、xがH内の点である場合、 xとC内の点の間の距離を最小化する唯一の点y ∈ Cが存在する。^[71] $${\displaystyle y\in C\,,\quad \|x-y\|=\operatorname {dist} (x,C)=\min {\bigl \{}\|x-z\|\mathrel {\big |} z\in C{\bigr \}}\,.}$$

これは、平行移動した凸集合D = C − xに最小ノルムを持つ点が存在するということと同等である。証明は、すべての最小化シーケンス( d _n ) ⊂ Dがコーシーである（平行四辺形恒等式を使用）ため、（完全性を使用して）D内の最小ノルムを持つ点に収束することを示すことである。より一般的には、これは任意の一様凸バナッハ空間で成り立つ。^[72]

この結果をHの閉部分空間Fに適用すると、 xに最も近い点y∈Fは^[73]によって特徴付けられることが示される。 $${\displaystyle y\in F\,,\quad x-y\perp F\,.}$$

この点y はxからFへの直交射影であり、写像P _F  : x → y は線形である（§直交補写像と射影を参照）。この結果は応用数学、特に数値解析において特に重要であり、最小二乗法の基礎となっている。 ^[74]

特に、F がHと等しくない場合、 Fに直交する非ゼロベクトルv を見つけることができます（x ∉ Fおよびv = x − yを選択）。この観察をHのサブセットSによって生成される閉じた部分空間Fに適用すると、非常に便利な基準が得られます。

Hの部分集合Sが稠密なベクトル部分空間を張るのは、ベクトル 0 がSに直交する唯一のベクトルv ∈ Hである場合のみです。

双対空間 H *は、空間Hから基底体への すべての連続線形関数の空間です。これは、 によって定義される自然ノルムを持ちます。 このノルムは平行四辺形法則を満たすため、双対空間は内積空間でもあり、この内積は、分極恒等式を使用することで、この双対ノルムに関して定義できます。双対空間は完全でもあるため_、それ自体がヒルベルト空間です。e • = ( e i ) i ∈ I が H の完全な正規直交基底である場合、任意の₂つ_{の双対空間}上の内積は となり、 この級数の項のうち可算数個を除くすべての項が 0 になります。 $${\displaystyle \|\varphi \|=\sup _{\|x\|=1,x\in H}|\varphi (x)|\,.}$$${\displaystyle f,g\in H^{*}}$$${\displaystyle \langle f,g\rangle _{H^{*}}=\sum _{i\in I}f(e_{i}){\overline {g(e_{i})}}}$$

リースの表現定理は、双対空間の便利な記述法である。H のあらゆる元 u に対して、 H *の一意の元φ _uが存在し、 これは 次のように定義される。さらに、$${\displaystyle \varphi _{u}(x)=\langle x,u\rangle }$$${\displaystyle \left\|\varphi _{u}\right\|=\left\|u\right\|.}$

リースの表現定理によれば、HからH *への写像はu ↦ φ _uによって定義され、射影的であるため、この写像は等長 反線型同型となる。^[75]したがって、双対H *のあらゆる元φに対して、 Hにはu _{φ が}1 つだけ存在し、すべてのx ∈ H に対して次のようになる 。双対空間H *上の内積は次を満たす。 $${\displaystyle \langle x,u_{\varphi }\rangle =\varphi (x)}$$$${\displaystyle \langle \varphi ,\psi \rangle =\langle u_{\psi },u_{\varphi }\rangle \,.}$$

右辺の順序の逆転により、u _φの反線型性からφの線型性が復元されます。実際のケースでは、Hからその双対への反線型同型は実際には同型であり、そのため実ヒルベルト空間は自然にそれ自身の双対と同型になります。

表現ベクトルu _φは次のようにして得られる。φ ≠ 0のとき、核 F = Ker( φ )はHの閉ベクトル部分空間であり、 Hと等しくないため、 Fに直交する非ゼロベクトルvが存在する。ベクトルuはvの適切なスカラー倍λvである。 φ ( v ) = ⟨ v , u ⟩という要件は次式をもたらす。 $${\displaystyle u=\langle v,v\rangle ^{-1}\,{\overline {\varphi (v)}}\,v\,.}$$

この対応φ ↔ u は物理学でよく使われるブラ・ケット表記法で利用されています。^{[76]物理学では、} ⟨ x | y ⟩で表される内積が右側で線形であると仮定するのが一般的です。 結果⟨ x | y ⟩は、線形関数⟨ x | (ブラ) がベクトル| y ⟩ (ケット) に作用したものと見ることができます。 $${\displaystyle \langle x|y\rangle =\langle y,x\rangle \,.}$$

リースの表現定理は、基本的に内積の存在だけでなく、空間の完備性にも依存している。実際、この定理は、任意の内積空間の位相的双対はその完備性と同一視できることを意味する。 ^{[77]リースの表現定理の直接的な帰結は、ヒルベルト空間}Hが反射的であることであり、これはHからその二重双対空間への自然な写像が同型であることを意味する。

ヒルベルト空間Hにおいて、任意の v ∈ H に対して、シーケンス{ x _n }はベクトルx ∈ Hに弱収束します。 $${\displaystyle \lim _{n}\langle x_{n},v\rangle =\langle x,v\rangle }$$

たとえば、任意の正規直交列{ f _n }は、ベッセル不等式の結果として、0 に弱収束します。すべての弱収束列{ x _n }は、一様有界性原理によって有界になります。

逆に、ヒルベルト空間内の任意の有界列は弱収束する部分列を許容する（アラオグルの定理）。^{[78]この事実は、}ボルツァーノ・ワイエルシュトラスの定理がR ^d上の連続関数に用いられるのと同じように、連続凸関数の最小化結果を証明するのに用いられる。いくつかのバリエーションがあるが、1つの単純なステートメントは次の通りである：^[79]

f  : H → Rが凸連続関数で、 ‖ x ‖ が ∞ に向かうときにf ( x )が+ ∞に向かう場合、 fはある点x ₀ ∈ Hで最小値を持ちます。

この事実（およびそのさまざまな一般化）は、変分法における直接法の基礎となります。凸関数の最小化の結果は、ヒルベルト空間 H が反射的であるため、閉有界凸部分集合は弱コンパクトであるという、やや抽象的な事実の直接的な帰結でもあります。弱収束部分列の存在は、エーベルライン・シュムリアンの定理の特殊なケースです。

バナッハ空間の一般的な性質は、ヒルベルト空間でも成り立つ。開写像定理は、あるバナッハ空間から別のバナッハ空間への連続的な全 射線型変換は開写像であり、開集合を開集合に写すことを意味すると述べている。系として有界逆定理があり、これはあるバナッハ空間から別のバナッハ空間への連続かつ全単射な線型関数は同型（つまり、逆も連続である連続線型写像）であることを示す。この定理は、ヒルベルト空間の場合の方が一般のバナッハ空間の場合よりもかなり簡単に証明できる。^{[80]開写像定理は}閉グラフ定理と同値であり、これは、あるバナッハ空間から別のバナッハ空間への線型関数が連続であるための必要十分条件は、そのグラフが閉集合である場合であると主張する。^{[81]ヒルベルト空間の場合、これは}非有界演算子の研究の基本である（閉演算子を参照）。

（幾何学的）ハーン・バナッハの定理は、閉凸集合はヒルベルト空間の超平面によってその外部の任意の点から分離できることを主張する。これは最良近似特性から直接導かれる結果である。すなわち、 yが閉凸集合Fのxに最も近い要素である場合、分離超平面はその中点を通る線分xyに垂直な平面である。^[82]

ヒルベルト空間H ₁から別のヒルベルト空間H ₂への連続 線型作用素 A :  H 1 _→ H 2_は、有界集合を有界集合に写すという意味で有界である。 ^[83]逆に、作用素が有界であれば、それは連続である。このような有界線型作用素の空間はノルムを持ち、作用素ノルムは次のように与えられる。 $${\displaystyle \lVert A\rVert =\sup {\bigl \{}\|Ax\|\mathrel {\big |} \|x\|\leq 1{\bigr \}}\,.}$$

2 つの有界線型作用素の和と合成は、やはり有界かつ線型である。H 2 の y に対して、 x ∈ _H 1を⟨ _Ax , y ⟩に写す写像は線型かつ連続であり、リースの表現定理によれば、 H ₁の あるベクトルA * yに対しての形で表現できる 。これは、別の有界線型作用素A * : H ₂ → H ₁、つまりAの随伴作用素を定義する。随伴作用素はA ** = Aを満たす。リースの表現定理を用いて各ヒルベルト空間をその連続双対空間と同一視すると、Aの随伴作用素は Aの転置t ^A :  H 2 _* → H ₁ *と同一であることが示され、定義により関数$${\displaystyle \left\langle x,A^{*}y\right\rangle =\langle Ax,y\rangle }$$ ${\displaystyle \psi \in H_{2}^{*}}$${\displaystyle \psi \circ A\in H_{1}^{*}.}$

H上のすべての有界線型作用素（つまり、作用素H → H ）の集合B( H )は、加算演算と合成演算、ノルム演算と随伴演算とともに、作用素代数の一種であるC* 代数である。

B( H )の元A は、 A * = Aのとき「自己随伴」または「エルミート」と呼ばれます。A がエルミートで、任意のxに対して⟨ Ax , x ⟩ ≥ 0 である場合、Aは「非負」と呼ばれ、A ≥ 0と書きます。 x = 0のときのみ等式が成り立つ場合、 A は「正」と呼ばれます。自己随伴演算子の集合は、 A − B ≥ 0 のとき A ≥ B となるような部分順序を許容します。 Aが何らかのBに対してB * Bの形をとる場合、 Aは非負です。 Bが可逆である場合、 Aは正です。逆もまた真であり、非負演算子Aに対して、次の式で表される唯一の非負平方根Bが存在するという意味で真です。 $${\displaystyle A=B^{2}=B^{*}B\,.}$$

スペクトル定理によって明確にされた意味では、自己随伴演算子は「実数」の演算子として考えることができます。B ( H )の元A は、 A * A = AA *の場合に正規と呼ばれます。正規演算子は、互いに交換可能な自己随伴演算子と自己随伴演算子の虚数倍の和に分解されます 。正規演算子は、実部と虚部の観点から考えることもできます。 $${\displaystyle A={\frac {A+A^{*}}{2}}+i{\frac {A-A^{*}}{2i}}}$$

B( H )の元Uがユニタリであるとは、Uが可逆であり、その逆がU *で与えられる場合を言う。これは、 Uが全射であり、すべてのx、y ∈ Hに対して⟨ Ux、Uy ⟩ = ⟨ x、y ⟩であることを要求することによっても表現できる。ユニタリ演算子は合成に関して群を形成し、これがHの等長変換群である。

B( H )の元がコンパクトであるとは、有界集合を比較的コンパクトな集合に送る場合である。同様に、有界演算子Tがコンパクトであるとは、任意の有界シーケンス{ x _k }に対してシーケンス{ Tx _k }が収束する部分シーケンスを持つ場合である。多くの積分演算子はコンパクトであり、実際、積分方程式の研究で特に重要なヒルベルト・シュミット演算子と呼ばれる演算子の特別なクラスを定義している。フレドホルム演算子は、コンパクト演算子とは単位元の倍数だけ異なり、有限次元の核と余核を持つ演算子として同等に特徴付けられる。フレドホルム演算子Tのインデックスは次のように定義される。 $${\displaystyle \operatorname {index} T=\dim \ker T-\dim \operatorname {coker} T\,.}$$

指数はホモトピー不変であり、アティヤ・シンガー指数定理を通じて微分幾何学において重要な役割を果たします。

非有界作用素はヒルベルト空間でも扱いやすく、量子力学への重要な応用がある。^[84]ヒルベルト空間H上の非有界作用素Tは、その定義域D ( T )がHの線型部分空間であるような線型作用素として定義される。多くの場合、定義域D ( T )はHの稠密な部分空間であり、その場合T は稠密に定義された作用素として知られている。

稠密に定義された非有界作用素の随伴作用素は、有界作用素の場合と本質的に同じ方法で定義される。自己随伴非有界作用素は、量子力学の数学的定式化における観測量の役割を果たす。ヒルベルト空間L ² ( R )上の自己随伴非有界作用素の例は以下の通りである: ^[85]

• 微分演算子の適切な拡張。ここで、iは虚数単位、f はコンパクトなサポートの微分可能関数です。$${\displaystyle (Af)(x)=-i{\frac {\mathrm {d} }{\mathrm {d} x}}f(x)\,,}$$
• xによる乗算演算子:$${\displaystyle (Bf)(x)=xf(x)\,.}$$

これらは、それぞれ運動量と位置観測量に対応します。Aの場合、導関数が存在する必要がなく、Bの場合、積関数が二乗積分可能である必要がないため、 AもBもH全体に対して定義されません。 どちらの場合も、可能な引数の集合はL ² ( R )の稠密な部分空間を形成します。

2つのヒルベルト空間H ₁とH ₂は、別のヒルベルト空間に結合することができ、これは（直交）直和と呼ばれ、^[86]と表記される。 $${\displaystyle H_{1}\oplus H_{2}\,,}$$

全ての順序付きペア （x ₁、x ₂）の集合から成り、 x _i ∈ H _i、i = 1、2であり、内積は次のように定義される。 $${\displaystyle {\bigl \langle }(x_{1},x_{2}),(y_{1},y_{2}){\bigr \rangle }_{H_{1}\oplus H_{2}}=\left\langle x_{1},y_{1}\right\rangle _{H_{1}}+\left\langle x_{2},y_{2}\right\rangle _{H_{2}}\,.}$$

より一般的には、H _{i が}i ∈ Iで添字付けされたヒルベルト空間の族である場合、 H _iの直和は、 H _iの直積 で 添字付けされた族全体の集合から成り 、 $${\displaystyle \bigoplus _{i\in I}H_{i}}$$$${\displaystyle x=(x_{i}\in H_{i}\mid i\in I)\in \prod _{i\in I}H_{i}}$$$${\displaystyle \sum _{i\in I}\|x_{i}\|^{2}<\infty \,.}$$

内積は次のように定義される。 $${\displaystyle \langle x,y\rangle =\sum _{i\in I}\left\langle x_{i},y_{i}\right\rangle _{H_{i}}\,.}$$

H _iのそれぞれは、 H _i全体の直和に閉じた部分空間として含まれる。さらに、H _{i は}対直交している。逆に、ヒルベルト空間Hに、対直交し、その和がHに稠密である閉部分空間V _i、i ∈ Iのシステムがある場合、H はV _iの直和に正準同型である。この場合、H はV _iの内部直和と呼ばれる。直和（内部または外部）には、 i番目の直和項H _iへの直交射影E _iの族も備わっている。これらの射影は、直交条件を満たす 有界、自己随伴、冪等な演算子である。$${\displaystyle E_{i}E_{j}=0,\quad i\neq j\,.}$$

ヒルベルト空間H上のコンパクト自己随伴作用素のスペクトル定理は、 H が作用素の固有空間の直交直和に分割されることを述べ、また、作用素を固有空間への射影の和として明示的に分解することを規定する。ヒルベルト空間の直和は、量子力学において、可変数の粒子を含む系のフォック空間としても現れ、直和内の各ヒルベルト空間は、量子力学系の追加の自由度に対応する。表現論では、ピーター・ワイルの定理により、ヒルベルト空間上のコンパクト群の任意のユニタリ表現は、有限次元表現の直和として分割されることが 保証される。

x ₁ , y ₁ ∊ H ₁かつx ₂ , y ₂ ∊ H ₂のとき、（通常の）テンソル積の内積を次のように定義する。単純テンソルでは、 $${\displaystyle \langle x_{1}\otimes x_{2},\,y_{1}\otimes y_{2}\rangle =\langle x_{1},y_{1}\rangle \,\langle x_{2},y_{2}\rangle \,.}$$

この式は、セクリニアリティによってH ₁ ⊗ H ₂上の内積に拡張される。H 1とH _{2のヒルベルト}テンソル積は、 H ₁ H ₂${\displaystyle {\widehat {\otimes }}}$ と表記されることもあり、この内積に関連付けられた計量についてH ₁ ⊗ H ₂を完成させることで得られるヒルベルト空間である。^[87]

一例として、ヒルベルト空間L ² ([0, 1])が挙げられます。L ² ( [0, 1])の 2 つのコピーのヒルベルトテンソル積は、正方形 [0, 1] ²上の平方可積分関数の空間L ² ( [0, 1 ] ² )に等長的かつ線形同型です。 この同型性により、単純なテンソルf ₁ ⊗ f _{2 が} 正方形上の 関数に 渡されます。$${\displaystyle (s,t)\mapsto f_{1}(s)\,f_{2}(t)}$$

この例は、次のような意味で典型的である。^[88]すべての単純テンソル積x ₁ ⊗ x _2には、 Hからのランク1の演算子が関連付けられている。^∗
₁与えられたx * ∈ Hを写像するH ₂^∗
₁として $${\displaystyle x^{*}\mapsto x^{*}(x_{1})x_{2}\,.}$$

単純テンソル上に定義されたこの写像は、 H ₁ ⊗ H _2とHからの有限ランク演算子の空間との間の線形同一視に拡張される。^∗
₁これはヒルベルトテンソル積H ₁ H _2とヒルベルト空間HS ( H ${\displaystyle {\widehat {\otimes }}}$ ^∗
₁, H ₂ )のヒルベルト・シュミット作用素H^∗
₁H ₂へ。

線型代数学における正規直交基底の概念はヒルベルト空間の場合にも一般化される。^[89]ヒルベルト空間Hにおいて、正規直交基底とは、以下の条件を満たすHの元の族{ e _k } _{k ∈ B}である。

1. 直交性: Bの異なる2つの要素はすべて直交します。つまり、k ≠ jであるすべてのk、j ∈ Bに対して⟨ e _k、e _j ⟩ = 0 です。
2. 正規化: 族の全ての要素はノルム1を持ちます:すべてのk∈Bに対して‖ek‖ = ₁です。
3. 完全性:族e _k、k ∈ Bの線形スパンはHにおいて稠密です。

最初の 2 つの条件基底を満たすベクトルのシステムは、正規直交システムまたは正規直交セット (または、 Bが可算な場合は正規直交シーケンス) と呼ばれます。このようなシステムは常に線形独立です。

名前にもかかわらず、正規直交基底は一般に線型代数の意味での基底（ハメル基底）ではない。より正確には、正規直交基底がハメル基底であるためには、ヒルベルト空間が有限次元ベクトル空間でなければならない。^[90]

ヒルベルト空間のベクトルの正規直交系の完全性は、次のように言い換えることができます。

任意のv ∈ Hに対して、すべてのk ∈ Bに対して⟨ v , e _k ⟩ = 0であれば、v = 0です。

これは、稠密な線型部分空間に直交する唯一のベクトルが零ベクトルであるという事実と関係しています。なぜなら、S が任意の正規直交集合であり、vがSに直交する場合、vはSの線型スパンの閉包、つまり空間全体に直交するからです。

正規直交基底の例には以下のものがあります。

• 集合{(1, 0, 0), (0, 1, 0), (0, 0, 1)}はドット積を持つR ³の正規直交基底を形成します。
• f _n ( x ) = exp (2π inx )となる数列{  f _n | n ∈ Z }は複素空間L ² ([0, 1])の正規直交基底を形成する。

無限次元の場合、正規直交基底は線型代数の意味での基底ではありません。両者を区別するために、後者の基底はハメル基底とも呼ばれます。基底ベクトルのスパンが稠密であるということは、空間内のすべてのベクトルが無限級数の和として表すことができることを意味し、直交性はこの分解が一意であることを意味します。

複素数の平方和可能列の空間は 、実数または複素数の 無限列^{[9]の集合であり、}${\displaystyle \ell _{2}}$ $${\displaystyle (c_{1},c_{2},c_{3},\dots )}$$$${\displaystyle \left|c_{1}\right|^{2}+\left|c_{2}\right|^{2}+\left|c_{3}\right|^{2}+\cdots <\infty \,.}$$

この空間は正規直交基底を持ちます: $${\displaystyle {\begin{aligned}e_{1}&=(1,0,0,\dots )\\e_{2}&=(0,1,0,\dots )\\&\ \ \vdots \end{aligned}}}$$

この空間は、有限次元ベクトルの空間を無限次元に一般化したものです。これは通常、無限次元空間では、閉じていて有界な集合は必ずしも(連続的に) コンパクトではない (すべての有限次元空間の場合と同様) ことを示す最初の例です。実際、上記の正規直交ベクトルの集合はこれを示しています。これは単位球 (つまり、ノルムが 1 以下の点の球) 内のベクトルの無限シーケンスです。この集合は明らかに有界で閉じていますが、これらのベクトルのサブシーケンスは何も収束せず、したがって単位球はコンパクトではありません。直感的に、これはシーケンスの次の要素が回避できる「常に別の座標方向がある」ためです。 ${\displaystyle \ell _{2}^{n}}$${\displaystyle \ell _{2}}$

この空間を一般化する方法はたくさんあります。例えば、Bが任意の集合である場合、インデックス集合Bを持つ列のヒルベルト空間を形成できます。これは^[91]で定義されます。${\displaystyle \ell _{2}}$ $${\displaystyle \ell ^{2}(B)={\biggl \{}x:B\xrightarrow {x} \mathbb {C} \mathrel {\bigg |} \sum _{b\in B}\left|x(b)\right|^{2}<\infty {\biggr \}}\,.}$$

ここで、 B上の和は、Bのすべての有限部分集合の 上限がとられること によって定義されます 。したがって、この和が有限であるためには、l ² ( B )のすべての要素には、可算個数の非ゼロ項しかありません。この空間は、内積を持つヒルベルト空間になります。 $${\displaystyle \sum _{b\in B}\left|x(b)\right|^{2}=\sup \sum _{n=1}^{N}\left|x(b_{n})\right|^{2}}$$$${\displaystyle \langle x,y\rangle =\sum _{b\in B}x(b){\overline {y(b)}}}$$

すべてのx、y ∈ l ² ( B )に対して成り立ちます。ここでも和には可算個数の非ゼロ項しかなく、コーシー・シュワルツの不等式により無条件収束します。

l ² ( B )の正規直交基底は集合Bによってインデックス付けされ、次のように与えられる。

$${\displaystyle e_{b}(b')={\begin{cases}1&{\text{if }}b=b'\\0&{\text{otherwise.}}\end{cases}}}$$

f ₁ , ..., f _{n を}H内の有限正規直交系と する。任意のベクトルx ∈ Hに対して、 $${\displaystyle y=\sum _{j=1}^{n}\langle x,f_{j}\rangle \,f_{j}\,.}$$

すると、すべてのk = 1, ..., nに対して、 ⟨ x , f _k ⟩ = ⟨ y , f _k ⟩となる。従って、x − y は各f _kに直交し、したがってx − y はyに直交する 。ピタゴラスの定理を2回用いると、 $${\displaystyle \|x\|^{2}=\|x-y\|^{2}+\|y\|^{2}\geq \|y\|^{2}=\sum _{j=1}^{n}{\bigl |}\langle x,f_{j}\rangle {\bigr |}^{2}\,.}$$

{ f _i }, i ∈ I をH内の任意の正規直交系と する。前述の不等式をIのすべての有限部分集合Jに適用すると、ベッセルの不等式が得られる: ^[92] (任意の非負実数 族の和 の定義による)。 $${\displaystyle \sum _{i\in I}{\bigl |}\langle x,f_{i}\rangle {\bigr |}^{2}\leq \|x\|^{2},\quad x\in H}$$

幾何学的には、ベッセルの不等式は、 f _iが張る線型部分空間へのxの直交射影のノルムがxのノルムを超えないことを意味します。2 次元では、これは直角三角形の脚の長さが斜辺の長さを超えてはならないという主張です。

ベッセルの不等式は、パーセバルの恒等式と呼ばれるより強い結果への足がかりであり、パーセバルの恒等式はベッセルの不等式が実際には等式である場合を規定する。定義により、{ e _k } _{k ∈ B}がHの正規直交基底である場合、 Hのすべての元x は次のように表される。 $${\displaystyle x=\sum _{k\in B}\left\langle x,e_{k}\right\rangle \,e_{k}\,.}$$

Bが非可算であっても、ベッセルの不等式は、式が明確に定義され、可算な数の非ゼロ項のみで構成されることを保証する。この和はxのフーリエ展開と呼ばれ、個々の係数⟨ x , e _k ⟩はxのフーリエ係数である。パーセバルの恒等式は、 ^[93]を主張する。 $${\displaystyle \|x\|^{2}=\sum _{k\in B}|\langle x,e_{k}\rangle |^{2}\,.}$$

逆に、^[93] { e _k }が正規直交集合であり、任意のxに対してパーセバルの恒等式が成り立つ場合、{ e _k }は正規直交基底である。

ツォルンの補題の結果として、すべてのヒルベルト空間は正規直交基底を持つ。さらに、同じ空間の任意の2つの正規直交基底は同じ濃度を持ち、これをその空間のヒルベルト次元と呼ぶ。^[94]たとえば、l ² ( B ) はBでインデックス付けされた正規直交基底を持つので、そのヒルベルト次元はBの濃度（有限の整数、または可算または不可算の基数）である。

ヒルベルト次元はハメル次元(ベクトル空間の通常の次元) より大きくありません。2 つの次元は、そのうちの 1 つが有限である場合にのみ等しくなります。

パーセバルの恒等式の帰結として、^[95] { e _k } _{k ∈ B}がHの正規直交基底ならば、 Φ( x ) = ⟨x, e _k ⟩ _{k ∈ B}で定義される写像Φ : H → l ² ( B )はヒルベルト空間の等長同型である。つまり、 すべてのx、y ∈ Hに対してとなる全単射線型写像である。Bの基数はHのヒルベルト次元である。したがって、すべてのヒルベルト空間は、ある集合Bに対して、列空間l ² ( B )と等長同型である。 $${\displaystyle {\bigl \langle }\Phi (x),\Phi (y){\bigr \rangle }_{l^{2}(B)}=\left\langle x,y\right\rangle _{H}}$$

定義により、ヒルベルト空間は稠密な可算部分集合を含む限り可分である。ツォルンの補題と合わせて、これはヒルベルト空間が可分なのは可算な正規直交基底を持つ場合のみであることを意味する。したがって、すべての無限次元可分ヒルベルト空間は、平方和可能列空間と等長的に同型である。 ${\displaystyle \ell ^{2}.}$

過去には、ヒルベルト空間は定義の一部として可分であることがしばしば要求された。^[96]

物理学で使われる空間のほとんどは分離可能であり、これらはすべて互いに同型であるため、無限次元の分離可能なヒルベルト空間は「ヒルベルト空間」または単に「ヒルベルト空間」と呼ばれることが多い。 [ ^97]量子場の理論においても、ワイトマン公理で規定されているように、ほとんどのヒルベルト空間は実際に分離可能である。しかし、非分離ヒルベルト空間も量子場の理論では重要であると主張されることがある。これは、理論のシステムが無限の自由度を持ち、無限のヒルベルトテンソル積（1より大きい次元の空間）は非分離であるためである。^[98]たとえば、ボソン場は、各空間点で調和振動子を表す因子を持つテンソル積の要素として自然に考えることができる。この観点からは、ボソンの自然な状態空間は非分離空間のように見えるかもしれない。^[98]しかし、物理的に意味のある場（観測量を定義できる場）を含むことができるのは、完全なテンソル積の小さな可分部分空間だけである。別の非可分ヒルベルト空間は、空間の境界のない領域における粒子の無限集合の状態をモデル化する。空間の正規直交基底は、連続パラメータである粒子の密度によってインデックス付けされ、密度の可能な集合は非可算であるため、基底は可算ではない。^[98]

S がヒルベルト空間Hの部分集合である場合、 Sに直交するベクトルの集合は次のように定義される。 $${\displaystyle S^{\perp }=\left\{x\in H\mid \langle x,s\rangle =0\ {\text{ for all }}s\in S\right\}\,.}$$

集合S ^⊥はHの閉部分空間であり（内積の線型性と連続性を用いて簡単に証明できる）、それ自身ヒルベルト空間を形成する。V がHの閉部分空間である場合、V ^{⊥ は}Vの直交補集合と呼ばれる。実際、すべてのx ∈ H はx = v + wと一意に表すことができ、v ∈ Vおよびw ∈ V ^⊥である。したがって、H はVとV ^⊥の内部ヒルベルト直和である。

x をvに写す線型作用素P _V  : H → HはVへの直交射影と呼ばれる。Hの閉部分空間全体の集合とP ² = Pとなる有界自己随伴作用素P全体の集合との間には自然な一対一対応がある。具体的には、

これはP _V ( x )の幾何学的解釈を提供する。これはVの要素によるxの最良近似である。^[99]

射影P _UとP _{V は}、 P _U P _V = 0 のとき互いに直交しているという。これは、UとV がHの部分空間として直交していることと同値である。2つの射影P _UとP _Vの和は、 UとVが互いに直交しているときのみ射影となり、その場合P _U + P _V = P _{U + V}となる。^[100]合成P _U P _Vは一般に射影ではない。実際、合成が射影となるのは、2つの射影が可換である場合のみであり、その場合P _U P _V = P _{U ∩ V}となる。^[101]

共役領域をヒルベルト空間Vに制限することにより、直交射影P _{V は}射影写像π  : H → Vを生じます。これは包含写像 の随伴であり 、 すべてのx ∈ Vおよびy ∈ H に対して成り立ちます。 $${\displaystyle i:V\to H\,,}$$$${\displaystyle \left\langle ix,y\right\rangle _{H}=\left\langle x,\pi y\right\rangle _{V}}$$

非零閉部分空間Vへの直交射影P _Vの演算子ノルムは1に等しい。 $${\displaystyle \|P_{V}\|=\sup _{x\in H,x\neq 0}{\frac {\|P_{V}x\|}{\|x\|}}=1\,.}$$

したがって、ヒルベルト空間の任意の閉部分空間V は、ノルム 1 の作用素Pの像であり、 P ² = Pとなる。適切な射影作用素を持つという性質は、ヒルベルト空間を特徴付ける: ^[102]

• 2次元以上のバナッハ空間が（等長的に）ヒルベルト空間となるための必要十分条件は、任意の閉部分空間Vに対して、ノルム1の作用素P _Vが存在し、その像がVであって、P^2V
  _​= P _V .

この結果はヒルベルト空間の計量構造を特徴付けるものであるが、位相ベクトル空間としてのヒルベルト空間の構造自体も相補部分空間の存在によって特徴付けることができる。^[103]

• バナッハ空間Xがヒルベルト空間に位相的かつ線型的に同型であるための必要十分条件は、すべての閉部分空間Vに対して、 X が内部直和V ⊕ Wに等しいような閉部分空間Wが存在することである。

直交補集合は、より基本的な結果をいくつか満たす。これは、U ⊂ VならばV ^⊥ ⊆ U ^{⊥であり、等式が成立するのは}V がUの閉包に含まれる場合のみであるという意味において単調関数である。この結果は、ハーン・バナッハの定理の特別な場合である。部分空間の閉包は、直交補集合によって完全に特徴付けることができる。すなわち、VがHの部分空間であれば、 Vの閉包はV ^⊥⊥に等しい。したがって、直交補集合は、ヒルベルト空間の部分空間の半順序上のガロア接続である。一般に、部分空間の和の直交補集合は、直交補集合の共通部分である。^[104] $${\displaystyle {\biggl (}\sum _{i}V_{i}{\biggr )}^{\perp }=\bigcap _{i}V_{i}^{\perp }\,.}$$

V _iがさらに閉じている 場合、$${\displaystyle {\overline {\sum _{i}V_{i}^{\perp }{\vphantom {\Big |}}}}={\biggl (}\bigcap _{i}V_{i}{\biggr )}^{\perp }\,.}$$

ヒルベルト空間における自己随伴演算子については、よく発達したスペクトル理論があり、これは実数上の対称行列や複素数上の自己随伴行列の研究とほぼ類似している。^[105]同じ意味で、自己随伴演算子の「対角化」は、直交射影演算子の適切な和（実際には積分）として得ることができる。

演算子 Tのスペクトルはσ ( T )と表記され、 T − λ が連続的な逆を持たないような複素数λの集合である。 Tが有界である場合、スペクトルは常に複素平面上のコンパクトな集合であり、円| z | ≤ ‖ T ‖ の内側にある。Tが自己随伴である場合、スペクトルは実数である。実際、スペクトルは区間[ m , M ]に含まれ、ここで $${\displaystyle m=\inf _{\|x\|=1}\langle Tx,x\rangle \,,\quad M=\sup _{\|x\|=1}\langle Tx,x\rangle \,.}$$

さらに、mとM は両方とも実際にはスペクトル内に含まれています。

演算子Tの固有空間は次のように与えられる。 $${\displaystyle H_{\lambda }=\ker(T-\lambda )\,.}$$

有限行列とは異なり、 Tのスペクトルのすべての要素が固有値である必要はありません。線型演算子T − λが逆演算子を欠くのは、それが全射でないためだけです。一般的な意味での演算子のスペクトルの要素は、スペクトル値として知られています。スペクトル値は固有値である必要がないため、スペクトル分解は有限次元の場合よりも微妙になることがよくあります。

しかし、自己随伴作用素Tのスペクトル定理は、Tがコンパクト作用素であると仮定すれば、特に単純な形をとる。コンパクト自己随伴作用素のスペクトル定理は次のように述べている。^[106]

• コンパクトな自己随伴演算子T は、可算（または有限）個のスペクトル値のみを持ちます。Tのスペクトルは、複素平面に、ゼロ以外の極限点を持ちません。 Tの固有空間は、 Hを直交直和に分解します。さらに、E _{λ が}固有空間H _λへの直交射影を表す場合、和はB( H )のノルムに関して収束します。$${\displaystyle H=\bigoplus _{\lambda \in \sigma (T)}H_{\lambda }\,.}$$$${\displaystyle T=\sum _{\lambda \in \sigma (T)}\lambda E_{\lambda }\,,}$$

多くの積分演算子、特にヒルベルト・シュミット演算子から生じるものはコンパクトであるため、この定理は積分方程式の理論において基本的な役割を果たします。

自己随伴作用素の一般スペクトル定理は、無限和ではなく、一種の作用素値リーマン・スティルチェス積分を伴う。 ^[107] Tに関連付けられたスペクトル族は、各実数λに作用素Eλ_を関連付ける。これは、作用素( T − λ ) ⁺の零空間への射影であり、自己随伴作用素の正の部分は次のように定義される。 $${\displaystyle A^{+}={\tfrac {1}{2}}{\Bigl (}{\sqrt {A^{2}}}+A{\Bigr )}\,.}$$

演算子E _{λ は}自己随伴演算子に定義された半順序に対して単調増加であり、固有値はジャンプ不連続に正確に対応する。スペクトル定理は、 $${\displaystyle T=\int _{\mathbb {R} }\lambda \,\mathrm {d} E_{\lambda }\,.}$$

この積分はリーマン・スティルチェス積分として理解され、 B( H )のノルムに関して収束する。特に、通常のスカラー値積分表現 $${\displaystyle \langle Tx,y\rangle =\int _{\mathbb {R} }\lambda \,\mathrm {d} \langle E_{\lambda }x,y\rangle \,.}$$

通常の演算子についても、同様のスペクトル分解が成り立ちますが、スペクトルには実数でない複素数が含まれる可能性があるため、演算子値のスティルチェス測度d E _λは、恒等式の分解に置き換える必要があります。

スペクトル法の主な応用はスペクトル写像定理であり、これは、Tのスペクトル上で定義された任意の連続複素関数fを自己随伴演算子Tに適用し、積分を形成すること を可能にする。$${\displaystyle f(T)=\int _{\sigma (T)}f(\lambda )\,\mathrm {d} E_{\lambda }\,.}$$

得られた連続関数計算は、特に擬微分作用素に応用される。^[108]

非有界自己随伴作用素のスペクトル理論は、有界作用素の場合よりもわずかに難しいだけです。非有界作用素のスペクトルは、有界作用素の場合とまったく同じように定義されます。λは、レゾルベント作用素が $${\displaystyle R_{\lambda }=(T-\lambda )^{-1}}$$

は、明確に定義された連続演算子ではありません。T の自己随伴性により、スペクトルが実数であることが依然として保証されます。したがって、非有界演算子を扱うための基本的な考え方は、代わりに、λ が非実数であるレゾルベント R λ を見ることです。これは、T 自体のスペクトル表現に変換できるスペクトル表現を受け入れる、有界正規演算子です。同様の戦略は、_たとえば、ラプラス演算子のスペクトルを調べるために使用されます。演算子を直接扱うのではなく、リースポテンシャルやベッセルポテンシャルなどの関連するレゾルベントとして見ます。

この場合のスペクトル定理の正確なバージョンは次のようになる: ^[109]

無制限の正規演算子に適用されるスペクトル定理のバージョンもあります。

トーマス・ピンチョンの小説『重力の虹』 （1973年）では、登場人物の一人が「サミー・ヒルベルト＝スパエス」と呼ばれている。これは「ヒルベルト空間」をもじったものである。この小説ではゲーデルの不完全性定理にも言及されている。^[110]

• 「ヒルベルト空間」、数学百科事典、EMS Press、2001 [1994]
• Mathworld のヒルベルト空間
• 245B、注5：ヒルベルト空間、テレンス・タオ著