エルミート作用素

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

エルミート作用素(エルミートさようそ、Hermitian operator, Hermitian)または自己共役作用素(じこきょうやくさようそ、self adjoint operator)は、複素ヒルベルト空間上の線形作用素で、その共役作用素が自分自身に一致するようなもののことである。物理学ではエルミート演算子とも呼ばれる。エルミートという名称は、フランス人数学者シャルル・エルミートに因む。

定義

エルミート内積〈•, •〉を備えた複素ヒルベルト空間 H 上の有界線型作用素 h

<math>\langle h\xi, \eta \rangle = \langle \xi, h\eta \rangle</math> (for any ξ, η ∈ H)

を満たすとき、h は内積〈•, •〉に関するエルミート作用素あるいは自己共役作用素と呼ばれる。

無限次元ヒルベルト空間 H の稠密な部分空間 D 上で定義された非有界な線形作用素 h は、

ξ, η ∈ D について、<math>\langle \xi, h \eta \rangle = \langle h \xi, \eta \rangle</math>

が成立しているときに対称作用素 (symmetric operator) と呼ばれる。このような対称作用素 h についてさらに、

{ <math>\xi \in H \, \colon \, \eta \to \langle \xi, h \eta \rangle</math> が D 上有界 } = D

が成立しているときに h自己共役 (self-adjoint) であるといわれる。自己共役というのは、一般に内積空間

<math>\langle \psi^*\xi, \eta \rangle = \langle \xi, \psi\eta \rangle</math>

を満たす線型作用素 ψ* を ψ の内積〈•, •〉に関する共役 (あるいは随伴, adjoint)と呼ぶことに由来する。つまり、自分自身が自分の共役であるという意味である。

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

  • <math>A\mbox{: Hermitian} \iff
 a_{ij} = \bar{a}_{ji}\mbox{ for all }i,j.

</math>

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

<math> D = \{ f \in L^2(\R, dx) : \frac{df}{dx} \in L^2(\R, dx) \} </math>

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

<math> f \mapsto i \frac{df}{dx} </math>

は自己共役である。

性質

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

物理学的な意味

テンプレート:Main 量子力学における系の変化は演算子で表現され、観測可能な物理量(オブザーバブル)に関する観測はすべて実数を固有値とするエルミート演算子で表現される。物理量の観測値を求めるためにはエルミート演算子に対する固有値問題を扱うことになる。

関連項目

参考文献