エルミート作用素（エルミートさようそ、英:Hermitian operator, Hermitian）とは、複素ヒルベルト空間上の線形作用素で、自分自身と形式共役になるようなもののことである。

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

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

作用素hの定義域をD(h)と表す。

エルミート内積⟨•, •⟩ を備えた複素ヒルベルト空間H 上の線型作用素h が定義域内の任意のξ,η ∈D(h) について

$${\displaystyle ⟨h\xi ,\eta ⟩=⟨\xi ,h\eta ⟩}$$

を満たす場合、作用素h は内積⟨•, •⟩ に関するエルミート作用素と呼ばれる。

無限次元ヒルベルト空間H の稠密な部分空間D 上で定義された線型作用素h がξ,η ∈D について

$${\displaystyle ⟨h\xi ,\eta ⟩=⟨\xi ,h\eta ⟩}$$

を満たす場合、作用素h は対称作用素 (symmetric operator) と呼ばれる。

更に対称作用素h について、

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

を満たす場合、作用素h は自己共役作用素 (self-conjugate operator) または自己随伴作用素 (self-adjoint operator) と呼ばれる。

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

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

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

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

• ${\displaystyle A\text{: Hermitian}⟺a_{ij}={\overline{a}}_{ji}\text{ 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 

• 関数解析学
• 量子力学
• 数学に関する記事
• 数学のエポニム

• 書きかけの節のある項目
• ISBNマジックリンクを使用しているページ