エルミート作用素

エルミート作用素（エルミートさようそ、テンプレート:Lang-en-short）とは、複素ヒルベルト空間上の線形作用素で、自分自身と形式共役になるようなもののことである。

物理学の特に量子力学の文脈では作用素のことを「演算子」と呼ぶ。そのため、エルミート作用素はエルミート演算子と呼ばれる。

エルミート作用素という名称は、エルミート行列などの研究で知られるフランス人数学者シャルル・エルミートに因む。

定義

作用素テンプレート:Mathの定義域をテンプレート:Mathと表す。

エルミート内積 テンプレート:Math を備えた複素ヒルベルト空間 テンプレート:Math 上の線型作用素 テンプレート:Math が定義域内の任意の テンプレート:Math について

$$⟨h\xi ,\eta ⟩=⟨\xi ,h\eta ⟩$$

を満たす場合、作用素 テンプレート:Math は内積 テンプレート:Math に関するエルミート作用素と呼ばれる。

無限次元ヒルベルト空間 テンプレート:Math の稠密な部分空間 テンプレート:Math 上で定義された線型作用素 テンプレート:Math が テンプレート:Math について

$$⟨h\xi ,\eta ⟩=⟨\xi ,h\eta ⟩$$

を満たす場合、作用素 テンプレート:Math は対称作用素 (テンプレート:En) と呼ばれる。

更に対称作用素 テンプレート:Math について、

$$\{\xi \in H\mid \eta \to ⟨\xi ,h\eta ⟩\text{ is bounded on }D\}=D$$

を満たす場合、作用素 テンプレート:Math は自己共役作用素 (テンプレート:En) または自己随伴作用素 (テンプレート:En) と呼ばれる。

上記の作用素を「自己共役（自己随伴）」と呼ぶのは、一般に内積空間で

$$⟨{\psi }^{*}\xi ,\eta ⟩=⟨\xi ,\psi \eta ⟩$$

を満たす線型作用素 テンプレート:Math を テンプレート:Math の内積 テンプレート:Math に関する共役 (テンプレート:En) または随伴 (テンプレート:En) と呼ぶことに由来する。 つまり、自分自身が自分の共役であるという意味である。

例

エルミート行列、すなわち行列 A = (a_ij)_ij で、A^* = A を満たすもの。ただし "*" は転置複素共役をとる対合であり、$A^{*}=({\overline{a}}_{ji}{)}_{ij}$ は通常のエルミート内積に関する A の共役作用素である。

• $A\text{: Hermitian}⟺a_{ij}={\overline{a}}_{ji}\text{ for all }i,j.$

実直線 R 上の L² 空間 L²(R, dx) の稠密な部分空間

$D=\{f\in L^2(ℝ,dx):\frac{df}{dx}\in L^2(ℝ,dx)\}$

上で定義された非有界な作用素

$f\mapsto i\frac{df}{dx}$

は自己共役である。

性質

テンプレート:節スタブ エルミート作用素の固有値は必ず実数である。また、相異なる固有値に属する固有ベクトル同士は直交している。とくに、エルミート行列はユニタリ行列によって実対角行列へと対角化することができる。無限次元ヒルベルト空間上の自己共役作用素で連続スペクトルを持つものの場合には、この固有空間分解はスペクトル測度の概念によって一般化される。

物理学的な意味

テンプレート:Main 量子力学における系の変化は演算子で表現され、観測可能な物理量（オブザーバブル）に関する観測はすべて実数を固有値とするエルミート演算子（厳密にはより強い概念である自己共役作用素）で表現される。物理量の観測値を求めるためにはエルミート演算子に対する固有値問題を扱うことになる。

関連項目

• 線型代数学
• 関数解析学
• C*-環
• フォン・ノイマン環

参考文献

• テンプレート:Cite book