Let HH be a complex and let A:H→HA:H\to H be a bounded operator (see ). The operator AA is self-adjoint (or Hermitian) if

A=A∗,A = A^\ast,

where A∗A^\ast is the adjoint defined by

⟨x,Ay⟩=⟨A∗x,y⟩for all x,y∈H.\langle x,Ay\rangle = \langle A^\ast x,y\rangle \quad \text{for all } x,y\in H.

In (finite-dimensional) quantum mechanics, self-adjoint operators are used to represent observables (measurable quantities).

Equivalent condition

AA is self-adjoint if and only if

⟨x,Ay⟩=⟨Ax,y⟩for all x,y∈H.\langle x,Ay\rangle = \langle Ax,y\rangle \quad \text{for all } x,y\in H.
Spectral properties in finite dimension

If HH is finite-dimensional (), then:

  • All eigenvalues of AA are real.
  • Eigenvectors corresponding to distinct eigenvalues are orthogonal.
  • AA is unitarily diagonalizable: there exists an orthonormal basis of eigenvectors.

Equivalently, AA admits a spectral decomposition as in .

Expectation values and measurement

Given a quantum state ρ\rho (a ), the expectation value of the observable AA is

Eρ[A]=Tr⁡(ρA),\mathbb{E}_\rho[A] = \operatorname{Tr}(\rho A),

where Tr⁡\operatorname{Tr} is the operator trace ().

In a pure state ∣ψ⟩|\psi\rangle (unit vector), the corresponding density operator is ρ=∣ψ⟩⟨ψ∣\rho = |\psi\rangle\langle \psi|, and the expectation becomes

Eψ[A]=⟨ψ,Aψ⟩.\mathbb{E}_\psi[A] = \langle \psi, A\psi\rangle.
Note on unbounded observables

In infinite-dimensional quantum theory, important observables (like position and momentum) are often unbounded. Then “self-adjoint” requires careful domain conditions. This knowl focuses on the bounded (and in particular finite-dimensional) setting.