1 自己共役性の基本概念
1.1 内積空間における随伴
内積空間で線形作用素 \(T\) が与えられているとき、随伴 \(T^\*\) は「内積を通した等式」で定義される。具体的には、任意のベクトル \(x,y\) に対して \[ \langle Tx, y\rangle=\langle x, T^\*y\rangle \] が成り立つような作用素が \(T^\*\) である。複素内積の場合、通常は第2成分に対する複素共役を含む規約で内積が定義されるため、随伴の作り方にも複素共役が反映される。
随伴が意味をもつためには、作用素の定義域と像が関係する。特に無限次元の設定では、\(T\) が有界でないと定義域の扱いが繊細になり、単に「転置して共役をとる」だけでは済まないことがある。そのため、自己共役性を論じる際には、随伴の存在と、定義域が一致するかどうかが本質となる。
1.2 自己共役作用素の定義
自己共役性は「作用素とその随伴が同じである」ことを要請する性質である。すなわち \(T=T^\*\) が成り立つとき、\(T\) は自己共役作用素と呼ばれる。ここで重要なのは、等号が単に作用の値だけでなく、定義域の一致も含む点である。
自己共役性の厳密な定義は、有界か無限か、そして内積空間がどのように完備されているかに依存する。以下では、もっとも扱いやすい場合から段階的に述べる。
1.2.1 有界作用素の場合
ヒルベルト空間上で有界線形作用素 \(T\) を考える。連続性があるため随伴も自動的に有界になり、定義域の問題が表面化しにくい。そのため自己共役性は、内積等式 \[ \langle Tx, y\rangle=\langle x, Ty\rangle \] が全ての \(x,y\) で成り立つことと同値になる。言い換えると、随伴を取っても作用素自体が変わらないという条件が、全空間での一致として扱える。
1.2.2 有限次元（行列）との対応
有限次元の内積空間では、作用素は行列で表される。複素内積に対応する標準的な随伴は、随伴行列（エルミート共役行列） \(A^\dagger\) に一致する。したがって自己共役性 \(A=A^\dagger\) は「エルミート行列である」ことと同じ意味になる。
この対応により、自己共役性の概念が行列の性質として理解できる。さらに、固有値が実数になり、固有ベクトルが直交系をなすといった多くの特徴が、有限次元では直観的に確認できる。
1.3 エルミート性との関係
有限次元では自己共役性とエルミート性は一致することが多いが、用語の対応は状況により整理が必要である。一般には、ヒルベルト空間での「\( \langle Tx, y\rangle=\langle x, Ty\rangle \) を満たす」ものをエルミート的、自己共役を「定義域を含めて随伴と一致する」として区別することがある。
無限次元では、対称性（あるいはエルミート的性質）が成り立っても、定義域が一致しないため自己共役性には届かない場合がある。したがって「エルミート的＝自己共役」と単純にみなすと誤りが生じることがある。自己共役性を使う場面では、スペクトル論や時間発展など、解析上の強い性質が保証されるため、定義の強さを意識することが重要になる。
2 代表的な性質
2.1 固有値・固有ベクトルの特徴
自己共役作用素はスペクトル論の中心的な対象であり、固有値や固有ベクトルに関して強い制約が現れる。
2.1.1 実固有値性
自己共役作用素 \(T\) に対して、固有ベクトル \(x\neq 0\) と固有値 \(\lambda\) が \(Tx=\lambda x\) を満たすなら、\(\lambda\) は実数になる。証明は内積の性質から直接導かれ、複素位相を含む一般の設定でも変わらない。
この実数性は、量子論で観測量の測定結果が実数になるという要請と整合する。数学的には、自己共役性が「エネルギー的に意味のある」作用を与えることを反映している。
2.1.2 固有ベクトルの直交性
異なる固有値に対応する固有ベクトルは直交する。つまり \(Tx=\lambda x\)、\(Ty=\mu y\)、\(\lambda\neq \mu\) なら \(\langle x,y\rangle=0\) が成り立つ。これは、自己共役性が内積と作用の整合を保証し、固有空間どうしの衝突を抑えることに由来する。
有限次元では、固有値ごとに固有空間の直交分解を構成できるため、基底の選択を通じて作用素が対角化される状況が典型になる。
2.2 スペクトルの幾何学
固有値だけでなく、スペクトル（固有値を含むより広い概念）は自己共役性の下で幾何学的に扱いやすくなる。
2.2.1 スペクトル分解
有界自己共役作用素では、スペクトル定理により作用素がスペクトルに応じた分解（射影に基づく積分表示や分解）を持つ。結果として、関数解析の多くの問題が「スペクトル上の計算」へと還元される。
この分解は、単に固有値があるかないかではなく、連続成分を含む一般のスペクトル構造を扱える点で強力である。無限次元での自己共役性がとりわけ重視されるのは、スペクトル分解が安定して成立しやすいからである。
2.2.2 スペクトル半径と不変量
自己共役作用素ではスペクトルが実軸に位置し、スペクトル半径（スペクトル集合の最大距離）がノルムと結びつく。特に有界の場合、自己共役性によりノルムとスペクトル情報が一致する範囲が明確になる。
この性質は不変量の存在を意味する。つまり、基底変換や座標の取り方を変えても、スペクトルという本質的量は変化しない。計算上も、固有値近似や評価が理論的に裏付けられる。
2.3 エネルギー評価（内積による評価）
内積による評価は自己共役性の実用面で重要である。自己共役作用素 \(T\) に対して、二次形式 \[ \langle Tx,x\rangle \] を考えると、これがスペクトルに関係する範囲の値をとることが示される。特に正の性質（後述の正自己共役に相当する状況）を仮定すれば、\(\langle Tx,x\rangle\) は非負になり、安定性の議論へ直結する。
エネルギー評価は、数値解析や変分法で「誤差の抑制」や「極小化の妥当性」を支える典型的な道具である。自己共役性は、内積を通じた評価が確実に成立するための土台になっている。
3 判定法と計算手順
3.1 行列の判定（エルミートかどうか）
有限次元では自己共役性の判定は行列のエルミート性判定と同等であり、手順が明確である。
3.1.1 転置共役による確認
複素行列 \(A\) に対して、自己共役性（エルミート性）は \[ A = A^\dagger \] で判定できる。ここで \(A^\dagger\) は転置のうえで複素共役を取った行列である。具体的には成分 \(a_{ij}\) について \(a_{ij}=\overline{a_{ji}}\) が全ての \(i,j\) で成り立つことを確認する。
実行列の場合は共役が不要になり、転置一致 \(A=A^T\) が条件になる。対称性と同じ形になるため、実数系では直感的に扱いやすい。
3.1.2 実対称・複素エルミート
実対称行列は自己共役であり、複素エルミート行列も同様に自己共役である。判定の際には、実数・複素の区別を曖昧にしないことが重要である。複素では成分の符号だけでなく位相が絡むため、単なる対称性 \(a_{ij}=a_{ji}\) では十分でない。
計算手順としては、行列要素を読み取り、転置位置の要素と共役が一致しているかを全要素で検証するのが確実である。
3.2 関数解析での判定（領域の注意）
無限次元では、自己共役性の判定が「定義域まで含む一致」で決まるため、解析上の工夫が必要になる。
3.2.1 領域の一致条件
作用素 \(T\) が未完備な定義域上で定義されていると、随伴 \(T^\*\) は通常とは異なる定義域を持つ。自己共役性を主張するには、(1) \(T\) の定義域が適切に随伴の定義域に含まれ、(2) 実際に両者の定義域が一致し、(3) 作用が一致する必要がある。
このため、形式的に対称な表示を持つ微分作用素でも、境界条件や関数空間の制約により自己共役性が崩れることがある。判定では「境界項が消えるか」「閉包をとるとどうなるか」といった観点が不可欠になる。
3.2.2 自己共役化（関連概念）
対称作用素として出発したものが自己共役にならないとき、自己共役化と呼ばれる手続きで、より大きな枠組みで自己共役作用素へ拡張することがある。直感的には、境界条件を適切に選び直して、随伴と整合するようにする作業に相当する。
関連概念として、対称作用素の自己共役拡張の一意性、欠損数（ディフィシット指数）による分類、複数拡張の存在などが議論される。結果が自己共役性の判定に直結するため、自己共役化は実践的な計算手順として位置づけられることが多い。
3.3 例題での具体的な検算
例として、ヒルベルト空間が有限次元である状況をまず確認する。たとえば複素行列 \[ A=\begin{pmatrix} 1 & i\\ -i & 2 \end{pmatrix} \] を考える。随伴は転置のうえで共役を取った行列 \[ A^\dagger=\begin{pmatrix} 1 & i\\ -i & 2 \end{pmatrix} \] となり一致が確認できるため、\(A\) は自己共役である。さらに固有値を計算すれば実数が得られるはずで、この性質が整合的に現れる。
無限次元の例として微分作用素を扱う場合、演算形式が対称でも境界条件が異なると自己共役にならないことがある。そこで、内積に対して部分積分を行い、境界で残る項が消える条件を探すのが検算の基本になる。境界項が消えるように関数のクラス（例えば適切な端点での値や導関数の制約）を設定できれば、定義域を含む一致を満たしやすくなる。
4 応用分野
4.1 常微分方程式・偏微分方程式
自己共役性は微分方程式の解析で、解の安定性や長時間挙動を理解する基盤として現れる。たとえば楕円型作用素やシュトゥルム＝リウヴィル型の枠組みでは、適切な境界条件のもとで自己共役作用素として扱えるように設計されることが多い。
このときスペクトル分解が利用できるため、境界値問題の解を固有関数の重ね合わせとして表現できる。さらに時間発展（放物型・双曲型）に関わる場合も、自己共役性から導かれるエネルギー評価を用いて、ノルムの成長や散逸の仕方を記述しやすくなる。
4.2 量子力学における観測量
量子力学では、観測量に対応する演算子が自己共役であることが基本要請として現れる。測定値は実数であるべきであり、自己共役性によって固有値が実数になるため、この要請と数学的に一致する。
また、状態ベクトルの内積（確率解釈）と整合することが重要である。自己共役性は、期待値 \(\langle \psi, A\psi\rangle\) が扱いやすい形になり、数理的に確かな保存則や時間発展の整合性を支える。厳密には領域の問題が関与するため、物理的議論でも自己共役拡張の選択が重要になる。
4.3 最適化・変分問題
最適化や変分法では、目的関数（あるいは二次形式）の曲率を表す作用素が自己共役であることが望ましい。これにより、最小化・最大化や鞍点の議論が安定して進む。
4.3.1 エネルギー汎関数と安定性
変分問題ではエネルギー汎関数を最小にする関数を探す。自己共役性は、汎関数の二次近似（ヘッセ行列に相当する線形化）や、定常点周りの評価において、曲率が実数で評価可能であることを保証する。
とくに二次形式 \(\langle Tx,x\rangle\) が非負になる場合、摂動に対する安定性（極小性の強さ）が導かれる。逆に符号が混在する場合は、鞍点が存在しうるが、それでも自己共役性によりスペクトル的に構造を理解できる。
4.3.2 限界点の性質
最適化の限界点（変分問題の停留点）では、第一変分が消えることにより支配方程式が得られる。そのとき、第二変分が自己共役作用素により記述されることで、限界点が極小・極大・鞍点のいずれかに属するかを判定しやすくなる。
自己共役性により固有値（あるいはスペクトルの符号構造）を通じて、局所挙動が理解可能になる。数値的には、反復法の収束性や条件数の見積もりとも関連し、理論と計算の双方で利点がある。