エルミート作用素

エルミート作用素（エルミートさようそ、英: Hermitian operator, Hermitian)とは、複素ヒルベルト空間上の線形作用素で、自分自身と形式共役になるようなもののことである。物理学ではエルミート演算子とも呼ばれる。エルミートという名称は、フランス人数学者シャルル・エルミートに因む。

定義[編集]

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

${\displaystyle \langle h\xi ,\eta \rangle =\langle \xi ,h\eta \rangle }$　(for any ξ, η ∈ D(H))

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

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

ξ, η ∈ D について、${\displaystyle \langle \xi ,h\eta \rangle =\langle h\xi ,\eta \rangle }$

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

{ ${\displaystyle \xi \in H\,\colon \,\eta \to \langle \xi ,h\eta \rangle }$ が D 上有界 } = D

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

${\displaystyle \langle \psi ^{*}\xi ,\eta \rangle =\langle \xi ,\psi \eta \rangle }$

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

例[編集]

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

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

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

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

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

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

は自己共役である。

性質[編集]

この節の加筆が望まれています。

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

物理学的な意味[編集]

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

関連項目[編集]

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

参考文献[編集]

• Pedersen, Gert K. (1989). Analysis Now. Springer. ISBN 978-0387967882