Self-Adjoint Operator (Observable)

A linear operator equal to its adjoint; in quantum theory it represents an observable with real measurement outcomes.
Self-Adjoint Operator (Observable)

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

A=A, A = A^\ast,

where AA^\ast is the adjoint defined by

x,Ay=Ax,yfor all x,yH. \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,yfor all x,yH. \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.