1 基本概念
随伴演算子は、内積を介して元の演算子に対応づけられる演算子である。線形空間における写像の「反対側の働き」を表し、転置や共役転置の一般化として位置づけられる。有限次元では行列計算で直観的に扱え、無限次元では関数解析の基本語彙として現れる。
1.1 随伴演算子の定義
線形空間上の演算子 \(A\) に対し、内積 \(\langle Ax, y\rangle\) を \(\langle x, A^*y\rangle\) の形に書き換えるとき、\(A^*\) を \(A\) の随伴という。ここで重要なのは、元の演算子の作用を内積の片側へ移すことで、別の演算子が一意に定まる点である。定義は空間の種類や演算子の性質に応じて、存在条件を伴って用いられる。
1.2 内積との関係
随伴は、内積が与える双線形的な構造に密接に結びつく。内積の第1成分と第2成分のどちらに演算子を作用させるかを交換する役割を持ち、幾何学的には「伸縮」や「回転」の向きを読み替える働きがある。特に、内積の値を保つか、あるいはどのように変化させるかを調べるうえで欠かせない。
1.3 行列における随伴
有限次元の内積空間では、随伴は行列として具体的に表せる。標準基底を用いると、演算子は行列に対応し、その随伴も行列の操作として求められるため、抽象概念でありながら計算可能な対象として理解しやすい。
1.3.1 転置との対応
実数成分の内積空間では、随伴は行列の転置に一致する。これは、行と列を入れ替える操作が、内積の中で演算子を反対側へ移す働きに対応するためである。したがって、対称行列は実数空間における自己随伴の典型例となる。
1.3.2 共役転置との対応
複素数成分の空間では、随伴は共役転置で与えられる。転置に加えて各成分を複素共役にすることで、複素内積の共役対称性と整合する。エルミート行列やユニタリ行列は、この関係から自然に定義される。
1.4 双対空間との関係
随伴は双対空間の観点からも理解できる。あるベクトルに対して内積を取る操作は線形汎関数を生み、演算子はその汎関数の変換として読み替えられる。リース表現定理により、ヒルベルト空間では双対との対応が内積を通じて具体化され、随伴の存在と記述が明確になる。
2 ヒルベルト空間上の演算子
ヒルベルト空間では、随伴演算子は無限次元の解析における中心的対象となる。有限次元と異なり、定義域や連続性の問題が前面に出るため、演算子の性質を精密に扱う必要がある。特に有界作用素では理論が整っており、無限次元特有の現象もそこで見通せる。
2.1 有界演算子の随伴
有界演算子は、全空間上で定義され、ノルムで連続な線形写像である。この場合、随伴は同じ空間上の有界演算子として存在し、取り扱いが比較的安定している。関数解析では最も基本的な随伴の枠組みを与える。
2.1.1 存在と一意性
有界演算子 \(A\) に対しては、各ベクトル \(y\) に対し \(x \mapsto \langle Ax, y\rangle\) が連続線形汎関数になる。リース表現により、その汎関数はただ一つのベクトルで表されるため、随伴 \(A^*\) が存在し、しかも一意である。これにより、随伴は恣意的な構成ではなく、空間の構造から必然的に導かれる。
2.1.2 連続性と有界性
| 有界演算子の随伴もまた有界であり、元の演算子と同程度に連続である。しかも、ノルムは \(\|A^*\|=\|A\|\) を満たす。したがって、随伴を取る操作は安定で、極限操作やスペクトル理論との相性もよい。 |
|---|
2.2 無限次元での特徴
無限次元では、演算子が全空間で定義されない場合や、随伴が部分的にしか定義できない場合がある。こうした事情により、定義域の指定や閉包の概念が不可欠になる。有限次元では見えにくい差異が、ここでは本質的な論点となる。
2.2.1 定義域の扱い
非有界演算子では、随伴は元の演算子の定義域全体ではなく、ある条件を満たすベクトルに対してのみ定義されることが多い。したがって、随伴を論じる際には、どの集合で作用が定まるかを明示しなければならない。定義域の選び方は、後続の性質や適用範囲に直結する。
2.2.2 閉作用素との関係
閉作用素は、グラフが閉じている演算子であり、随伴理論と深く関わる。多くの場合、適切な条件のもとで随伴は閉作用素となる。さらに、閉包や可閉性は、自己随伴性や拡張理論を考える基礎となるため、無限次元解析では重要な位置を占める。
2.3 具体例
抽象的な定義は、具体例を通じて理解が深まる。乗算作用素やずらし作用素は、関数空間や列空間で現れ、随伴の働きを直感的に示す代表例である。
2.3.1 乗算作用素
関数 \(f\) に対して \((Mf)(x)=g(x)f(x)\) と定める乗算作用素では、随伴は一般に係数関数 \(g\) の共役を用いて表される。実数値関数ならそのまま、複素数値なら共役が現れる。部分空間や重み付き空間では条件が付くこともあるが、構造は比較的把握しやすい。
2.3.2 ずらし作用素
列空間や関数列でのずらし作用素は、成分を一つずつ移動させる写像として定義される。これに対する随伴は、逆向きの移動や境界成分の補正を伴うことが多い。右ずらしと左ずらしの関係は、随伴が「作用の向き」を反転させることを示す好例である。
3 随伴演算子の性質
随伴演算子は、代数的にも幾何学的にも整った性質を持つ。これらの性質は、演算子の分類や分解、スペクトルの解析に直接つながる。特に自己随伴や正規といった概念は、随伴を基準に定義される。
3.1 代数的性質
随伴は加法や積、スカラー倍に対して自然な振る舞いを示す。これにより、演算子の代数構造と整合した計算規則が得られる。
3.1.1 和と積に関する性質
一般に、適切な定義域のもとで \((A+B)^*=A^*+B^*\) が成り立つ。また、積については \((AB)^*=B^*A^*\) となり、順序が逆転する。これは、随伴が内積の左右を入れ替える操作であることの反映である。
3.1.2 スカラー倍との関係
複素数 \(\alpha\) に対して、\((\alpha A)^*=\overline{\alpha}A^*\) が成立する。実数係数では単なる比例関係だが、複素数では共役が付く。この性質は、複素空間における対称性の基本規則を示している。
3.2 幾何学的性質
随伴は空間の直交構造を反映し、核や像の関係を通じて幾何学的な情報を与える。演算子がどの方向をつぶし、どの方向に作用するかを調べるうえで有用である。
3.2.1 核と像
ある演算子の核は、その演算子がゼロに送るベクトル全体である。随伴との間には、核と像の直交的関係がしばしば成り立ち、たとえば \(\ker A^* = (\operatorname{Ran} A)^\perp\) のような式で表される。これにより、可解性や射影的構造の解析が進む。
3.2.2 直交補空間との関係
像の閉包と直交補空間は密接に結びつく。ある部分空間の直交補は、その空間に対して内積が常にゼロとなるベクトル全体であり、随伴はこの関係を介して部分空間の位置関係を明らかにする。直交分解の理論にも直結する。
3.3 対称性に関する概念
随伴を用いると、演算子の対称性を精密に分類できる。これらの概念は、行列論から量子力学まで広く使われる。
3.3.1 自己随伴
自己随伴演算子は、自分自身と随伴が一致する演算子である。実数空間では対称、複素ヒルベルト空間ではエルミートと呼ばれることが多い。固有値が実数になるなど、多くの重要な性質を持つ。
3.3.2 半随伴
半随伴は、文脈によって厳密な用法が異なるが、一般には随伴との関係が片側だけで成立する状況や、対称性が部分的に満たされる演算子を指すことがある。定義域が一致しない非有界作用素では、完全な自己随伴性に至らない段階を論じる際に現れる。解析では、拡張可能性を考える前段階として扱われる。
3.3.3 正規演算子
正規演算子は、\(AA^*=A^*A\) を満たす演算子である。自己随伴やユニタリはその代表例に含まれる。正規性はスペクトル分解の整備された理論を支え、演算子の「よく振る舞う」クラスとして重視される。
4 応用
随伴演算子は抽象理論にとどまらず、物理や解析の具体問題で中心的役割を果たす。特にスペクトル理論、量子力学、微分方程式では、対象の性質を記述する標準的な道具となっている。
4.1 スペクトル理論
スペクトル理論は、演算子を固有値や連続スペクトルの観点から分解する理論である。随伴演算子の性質は、この理論の基盤をなす。
4.1.1 固有値の性質
自己随伴演算子の固有値は実数になる。さらに、正規演算子では異なる固有空間が互いに直交するなど、解析上扱いやすい構造が現れる。これにより、演算子の安定性や時間発展の理解が容易になる。
4.1.2 スペクトル分解
正規演算子は、スペクトル測度を用いて積分表示できる。これは、演算子を「成分ごと」に分解する強力な方法であり、随伴の性質が整っているからこそ可能になる。有限次元の対角化の無限次元版ともいえる。
4.2 量子力学
量子力学では、物理量はヒルベルト空間上の演算子で表される。随伴性は、観測可能な量が実数値を与えるという要求と結びつくため、理論の基本条件となる。
4.2.1 観測量の表現
位置、運動量、エネルギーなどの観測量は、一般に自己随伴演算子でモデル化される。これは、測定結果が実数であることや、時間発展との整合性を確保するためである。随伴の条件は、物理量の数学的表現に直接関わる。
4.2.2 可観測演算子との関係
可観測演算子は、厳密には自己随伴性を満たす必要がある。単に対称であるだけでは不十分な場合があり、定義域の扱いまで含めて確認される。したがって、随伴演算子の理論は、量子論における演算子の正当性判定に用いられる。
4.3 微分方程式
微分方程式では、微分作用素の随伴が境界条件や解の存在に影響する。特に境界値問題では、随伴関係が弱形式や変分法と結びつく。
4.3.1 境界値問題
区間上の微分作用素は、部分積分によって随伴が現れ、その際に境界項が生じる。適切な境界条件を課すことで、その項を消し、対称性や自己随伴性を得ることができる。これにより、解の一意性やエネルギー評価が扱いやすくなる。
4.3.2 自己随伴拡張
定義域の制約により自己随伴でない作用素でも、より大きな定義域へ拡張することで自己随伴化できることがある。これを自己随伴拡張という。拡張の可否は境界条件や欠損指数に依存し、偏微分方程式や量子力学で重要な研究対象となる。