ヒルベルト空間

1 ヒルベルト空間の定義と基本性質

ヒルベルト空間とは、内積によって長さや角度に対応する量が定義でき、かつ無限極限の扱いが破綻しないように完備性を満たす線形空間である。実解析・関数解析・偏微分方程式・フーリエ解析・量子力学など、多数の分野で「無限次元でも幾何学と解析の両方が使える」舞台として機能する。

ヒルベルト空間は通常、スカラーが実数または複素数で与えられ、内積が線形性と共役対称性を持つ。これにより、ノルムや距離、直交性、直線的な射影、さらには作用素の連続性の概念が自然に導入される。加えて、完備性があることで極限が空間内に収まり、解析学の基本的操作が内積空間の枠内で成立する。

1.1 内積とノルムの関係

内積 ⟨x, y⟩ が与えられると、ノルムは \|x\| = √⟨x, x⟩ により定義される。内積の性質から、ノルムは正定値性、同次性、三角不等式を満たし、距離 d(x, y)=\|x−y\| によって位相が定まる。

特に重要なのは、内積がノルムだけでなく角度の概念をもたらす点である。実ベクトルの場合は cos に相当する量が直感的に理解でき、複素の場合は内積の位相情報が区別される。また内積は、ノルムの増減を超えて、二つのベクトルの相対配置を定量化するための道具になる。

1.2 完備性（バナッハ性）と極限操作

完備性とは、ノルムに関するコーシー列が必ず空間内で収束する性質である。ヒルベルト空間は内積から導かれるノルムによって完備であり、これにより極限操作の整合性が保証される。

この性質はバナッハ性（完備ノルム空間）に対応する。したがって、関数解析の多くで使われる「極限をとっても対象が同じ空間にとどまる」という見通しが得られる。結果として、近似から極限への移行や、連続性の議論が標準的な形で行える。

1.3 線形構造と連続性

ヒルベルト空間は線形性を備えるため、ベクトルの加法とスカラー倍が内積と整合する。具体的には、内積は第一変数に関して線形であり、第二変数には共役線形性が入ることで、複素の場合でも正しく幾何学的意味が維持される。

連続性の観点では、ノルムに関する連続写像や有界作用素が自然に定義できる。特に線形性と有界性（つまり \|Tx\| ≤ C\|x\| のような評価）の同値性が、解析学の定番の道具として働く。これにより、極限や近似と作用素の相互作用を管理しやすくなる。

1.4 直交性と距離の幾何学

内積により、直交とは ⟨x, y⟩=0 で定義される。直交は長さの合成に影響し、直交するベクトルの和のノルムが平方和に分解される（ピタゴラス型の関係）。これは有限次元の幾何学を無限次元へ延長するための鍵になる。

距離の幾何学としては、直交性が最短化や距離最小化と結びつく。たとえばある閉部分空間への距離を与える要素は、一般に射影として特徴付けられ、その際の直交性が最適性条件になる。この枠組みは後の基底論や作用素論とも密接に関連する。

2 直交展開と基底論

直交展開とは、ヒルベルト空間の元を直交（しばしば正規直交）な成分の和として表す考え方である。有限次元では基底の係数が一意に決まるが、無限次元では収束の意味（ノルム収束など）や切り捨て誤差の扱いが本質になる。完備性は、この展開が極限によって正当化されるために必要である。

この節では、直交系の性質、オルソノーマル系の役割、直交補空間、そして基底や展開の評価に関わる基本結果を整理する。特に「直交係数がどの程度情報を保持するか」を定量化する等式（パーセルバル）や不等式（プランシュレル）が中心的な位置を占める。

2.1 完備性と直交系

直交系は、互いに内積が 0 となるようなベクトル列の集まりとして理解できる。無限次元では直交系が「全体を生成できるか」、つまり完備性を持つかが重要になる。完備性が成り立つと、係数列の情報が元の要素を十分に決定し、展開が意味のある形で成立する。

ここではまず、最も扱いやすいオルソノーマル系を導入し、その後に直交補の意味を明確にする。

2.1.1 オルソノーマル系

オルソノーマル系（正規直交系）とは、各ベクトルが長さ 1 を持ち、異なるベクトル同士が直交するような集合（列）である。この正規化によって係数が内積そのものと結びつき、展開の係数計算が簡潔になる。

2.1.1.1 フーリエ型の直交展開

フーリエ型の直交展開は、周期関数を三角関数の直交系で表す考え方の抽象化である。たとえば正規直交基底（あるいは基底に準ずる完備な直交系）を用い、任意の元 x を x = Σ ⟨x, e_n⟩ e_n のように展開する。係数は内積で与えられ、表現の安定性は収束性で評価される。

無限次元では「部分和がどれだけ元に近づくか」が主要な論点となる。通常、展開がノルム収束として成立するか、あるいはより弱い形（たとえば点ごとの収束）まで扱うかは、対象となる空間と直交系の選び方に依存する。ヒルベルト空間の枠組みでは、とりわけノルム収束の保証が中心的である。

2.1.2 直交補空間

直交補空間とは、ある部分空間 M の全ての元と直交するベクトルの集合として定義される。これにより、空間が「M と直交補の直和」と見なせる場合が現れる。

閉部分空間の場合、直交補との分解がより良い性質を持ち、射影の存在が保証される。したがって、展開や近似の議論では、直交補が「誤差がどこに属するか」を決める幾何学的な受け皿になる。

2.2 一般の基底とラースの補題に関する見方

有限次元の基底では係数が一意に決まるが、無限次元では「基底」が同じ意味での一意性を必ずしも満たさない。そこで、無限次元では基底をいくつかの概念に整理して扱う必要がある。ラースの補題は、直交系や基底関連の議論において、完備性に結びつく同値条件を提供する見方として位置づけられる。

要点は、直交（または一般の基底に類する）構造から、ある対象が空間のどれだけの部分を生成しているかを判断するための「測度」として係数の挙動を用いる点にある。結果の読み替えにより、「直交展開が成り立つか」「係数空間の情報が十分か」を判定する視点が得られる。

2.3 パーセルバルの等式とプランシュレルの定理の位置づけ

パーセルバルの等式は、オルソノーマル系に関する係数の二乗和が、元のノルムに一致するという形で現れる。すなわち、展開が完備である場合、係数列が元のエネルギー（ノルム二乗）を完全に保存することを示す。

プランシュレルの定理は、より一般の状況で「係数に関する二乗和が元のノルムを上回らない（または等号が追加条件で成立する）」という評価を与える。不等式としての側面は、フーリエ解析や信号処理で誤差評価や有界性の議論に応用される。

位置づけとしては、パーセルバルが「完全性による保存」、プランシュレルが「一般化されたエネルギー評価」として理解できる。これらは直交展開の妥当性を測る基本規準になる。

3 有限次元と無限次元の対比

有限次元では多くの性質が自動的に成立し、直感がそのまま働きやすい。無限次元では、収束の定義や射影の連続性、コンパクト性などが微妙に変化し、注意深い区別が必要になる。この節では対比を通して、なぜヒルベルト空間の構造が重要になるかを整理する。

特に、次元が増えるにつれて「極限と近似」がどのように振る舞うか、射影がどの程度よい性質を持つか、そしてコンパクト性がどんな役割を果たすかを取り上げる。

3.1 次元と収束の挙動

有限次元では、すべてのノルムが同値であり、部分列の有無や収束の挙動が比較的単純になる。一方で無限次元では、同じ直感的操作が別の結果につながることがあり、特に「点ごとの収束」と「ノルム収束」を混同できない。

また、無限和に対しては、項ごとの性質が全体へどのように伝播するかが課題となる。ノルム収束が成立すれば数学的に強いが、ただ展開が形式的に書けるだけでは不十分である。したがって、無限次元では収束の種類を明示し、それを保証する理論（完備性など）が重要になる。

3.2 射影の性質

射影は、ある部分空間に属する成分と直交補成分を分ける操作として理解される。無限次元では射影の連続性や、その定義域・作用の仕方が理論の良し悪しを左右する。

3.2.1 エルミート射影と直交射影

直交射影は、ある閉部分空間 M に対し、x を M 成分と直交成分に分解する操作として定義される。直交性が条件を強くするため、射影は自己随伴（エルミート）性を持つ形で特徴付けられる。

エルミート射影とは、射影作用素が自己随伴である場合を指すことが多く、直交射影と一致する状況が代表的である。こうした一致は、内積に基づく幾何学が線形代数的性質へ翻訳されることを示している。

3.3 コンパクト性の直観

無限次元では、有限次元と同様に「単に有界なら収束する」とは限らない。コンパクト性は、このギャップを埋める概念として現れる。特にコンパクト作用素は、有界集合の像が相対コンパクトになる性質を持ち、列に対して収束部分列が存在するという形で示唆的な直観を与える。

結果として、固有値問題やスペクトル分解といった大域的な構造が、コンパクト性によって制御されやすくなる。コンパクト作用素は「無限次元でも有限次元的な圧縮が起きる」ような振る舞いを部分的に実現する。

3.4 近似（部分空間での近づけ方）

近似とは、対象の元を有限次元的なデータ（たとえば有限個の基底ベクトルの組）で置き換える操作として理解できる。ヒルベルト空間の文脈では、閉部分空間への直交射影が最良近似を与える場合が多い。誤差は直交補成分に対応し、ノルムに基づく最小化が成立する。

近似の議論は、展開により「どれだけ係数を残せば十分か」を見積もる方向へ進む。有限次元との違いは、誤差が無限の情報にどのように依存するかであり、係数の減衰や直交系の完備性が本質になる。

4 関数解析としての作用素論の基礎

作用素論では、ヒルベルト空間の元を直接扱う代わりに、その上で働く写像（作用素）を中心対象とする。目的は、方程式や変換を「作用素の性質」として記述し、スペクトルなどの不変量で解の構造を理解することにある。

ここではまず有界線形作用素を導入し、随伴やエルミート性のような基本概念を整理する。次いでコンパクト作用素に触れ、固有値やスペクトル分解の動機につなげ、最後に自己随伴作用素のスペクトル理論の概要を述べる。

4.1 有界線形作用素

有界線形作用素とは、線形性に加えて、入力のノルムを出力のノルムが比例的に抑えられる作用素である。典型的には \|Tx\| ≤ C\|x\| の形で評価され、その最小の定数が作用素ノルムとして定義される。

有界性は連続性を保証し、極限と作用素の交換が可能になる場合を増やす。さらに、演算の整合性（和やスカラー倍に対する閉性）も保たれ、解析的議論を安定に進められる。

4.1.1 隣接作用素（随伴）とエルミート性

随伴（アジュイント）とは、作用素 T に対し、⟨Tx, y⟩ = ⟨x, T* y⟩ を満たす作用素 T* を対応づける概念である。これにより、内積構造が作用素の左右対称性として表現される。

エルミート性（自己随伴性）は、T = T* が成り立つ場合に現れる。自己随伴作用素はスペクトルが実数になりやすく、物理的には観測量に対応するなどの直観を持つが、ここでは数学的に「スペクトル解析が扱いやすいクラス」として重要になる。

4.2 コンパクト作用素

コンパクト作用素は、像の集まりが相対的にコンパクトになる性質を持つ。言い換えると、有界な列の像には収束部分列が必ず存在する。無限次元ではこの性質が強く、一般の有界作用素との差が大きい。

コンパクト作用素のスペクトルは、有限次元的な特徴（例えば、非零のスペクトルが制限された形で出現する）を部分的に示すことが多い。したがって、微分作用素などの解析で「本質的な情報が有限個の方向に集約される」感覚を数学的に実現する道具として使われる。

4.3 スペクトルの基本概念

スペクトルとは、作用素の「逆が存在しない」あるいは「安定に解けない」ための集合として定義される。具体的には、ある複素数 λ に対して T−λI が可逆でない（あるいは逆作用素が有界でない）とき、その λ がスペクトルに含まれる。

スペクトル分解の動機は、作用素を直交成分に分けることで問題を単純化したいという要請にある。固有値はその最も素朴な形であり、対応する固有ベクトルが作用の形をそのまま保つため、方程式の解を直接記述する手がかりになる。

4.3.1 固有値・固有ベクトルとスペクトル分解の動機

固有値とは、ある非零のベクトル v が Tv = λv を満たすときの λ である。このとき v は固有ベクトルと呼ばれる。固有値の存在は、作用素が単純な伸縮として働く方向を示す。

スペクトル分解の考え方は、作用素を固有ベクトル（やそれに準ずる一般化された成分）で分解し、複雑な作用を足し合わせやすい形に変換することを狙う。無限次元では固有ベクトルの扱いが難しくなるが、それでもスペクトルという枠で分解の道筋が引かれる。

4.4 自己随伴作用素のスペクトル理論の概要

自己随伴作用素は、ヒルベルト空間の内積構造と整合的な形でスペクトルを扱えるため、解析の中心に置かれる。スペクトルは実数に制限され、関数計算（連続関数や適切な関数を作用素に適用する操作）が体系化される。

概要としては、自己随伴作用素 T はスペクトル測度により表され、適切な関数 f に対して f(T) を定義できる。これにより、境界値問題の解や時間発展の表現など、幅広い場面で「スペクトルによる統一的記述」が可能になる。コンパクト性や有界性の追加条件がある場合には、固有値の列挙や収束の性質がより具体化し、計算の道具として機能する。