Quantum Operators and Observables — Mathematics Knowledge System

Overview

In quantum mechanics, every measurable physical quantity (observable) is represented by a self-adjoint operator on the system's Hilbert space. The eigenvalues of this operator are the possible measurement outcomes; the eigenstates are the corresponding definite-value states. Key operators include position X, momentum P, angular momentum L, and the Hamiltonian H. Canonical commutation relations between position and momentum operators encode the Heisenberg uncertainty principle. The spectral theorem guarantees that every self-adjoint operator has a complete spectral decomposition.

Intuition

A classical observable is a function on phase space. In quantum mechanics it becomes an operator on Hilbert space. Measuring the observable means applying the operator: the outcome is one of its eigenvalues, chosen with probability given by the Born rule. Incompatible observables have non-commuting operators — you cannot simultaneously know both exactly, which is the mathematical origin of uncertainty.

Formal Definition

Definition

The canonical operators on L²(ℝ) and their commutation relations form the algebraic backbone of quantum mechanics.

(\hat{X}\psi)(x) = x\,\psi(x), \qquad (\hat{P}\psi)(x) = -i\hbar\,\frac{d\psi}{dx}

Position and momentum operators on L²(ℝ)

[\hat{X}, \hat{P}] = \hat{X}\hat{P} - \hat{P}\hat{X} = i\hbar

Canonical commutation relation (CCR)

\hat{H} = \frac{\hat{P}^2}{2m} + V(\hat{X}) = -\frac{\hbar^2}{2m}\frac{d^2}{dx^2} + V(x)

Hamiltonian operator (non-relativistic)

\hat{L}_z = \hat{X}\hat{P}_y - \hat{Y}\hat{P}_x = -i\hbar\frac{\partial}{\partial\varphi}

Angular momentum z-component

[\hat{L}_x, \hat{L}_y] = i\hbar\hat{L}_z,\quad [\hat{L}_y, \hat{L}_z] = i\hbar\hat{L}_x,\quad [\hat{L}_z, \hat{L}_x] = i\hbar\hat{L}_y

Angular momentum algebra (su(2))

Notation

Notation	Meaning
$\hat{X}$	Position operator
$\hat{P}$	Momentum operator
$\hat{H}$	Hamiltonian operator
$[A, B] = AB - BA$	Commutator of operators A and B
$\{A, B\} = AB + BA$	Anticommutator

Theorems

Theorem 1: Spectral Theorem (self-adjoint case)

A = A^* \implies A = \int_{\sigma(A)} \lambda\, dE_\lambda

Theorem 2: Robertson Uncertainty Relation

\Delta A \cdot \Delta B \geq \frac{1}{2}|\langle[A,B]\rangle|

Theorem 3: Ehrenfest's Theorem

\frac{d}{dt}\langle A \rangle = \frac{1}{i\hbar}\langle[A,H]\rangle + \left\langle\frac{\partial A}{\partial t}\right\rangle

Worked Examples

1
Compute X̂P̂ψ first.
$(\hat{X}\hat{P}\psi)(x) = x \cdot \left(-i\hbar\frac{d\psi}{dx}\right) = -i\hbar x\psi'$
2
Compute P̂X̂ψ next.
$(\hat{P}\hat{X}\psi)(x) = -i\hbar\frac{d}{dx}(x\psi) = -i\hbar(\psi + x\psi')$
3
Subtract: [X̂, P̂]ψ = X̂P̂ψ − P̂X̂ψ.
$[\hat{X},\hat{P}]\psi = -i\hbar x\psi' - (-i\hbar\psi - i\hbar x\psi') = i\hbar\psi$

✓ Answer

[X̂, P̂] = iℏ as an operator identity.

Practice Problems

Hardproof writing

Show that if A and B are self-adjoint and [A, B] = 0, they share a common eigenbasis.

Common Mistakes

Common Mistake

Hermitian and self-adjoint are the same for quantum operators

For bounded operators on a Hilbert space they coincide. For unbounded operators (like X̂ and P̂), a symmetric operator (⟨Aφ|ψ⟩ = ⟨φ|Aψ⟩) may fail to be self-adjoint if the domains of A and A† differ. Self-adjointness (A = A†, same domain) is the physically correct requirement.

Common Mistake

[A, B] = 0 means A and B can be measured simultaneously with arbitrary precision

Commutativity is necessary and sufficient for sharing a common eigenbasis, which allows simultaneous exact measurement. But this must be stated carefully for unbounded operators (domain issues).

Quiz

Why must quantum observables be represented by self-adjoint operators?

To ensure bounded matrix elementsTo guarantee real eigenvalues (real measurement outcomes)To simplify computationBecause all operators on Hilbert space are self-adjoint

The uncertainty relation ΔX · ΔP ≥ ℏ/2 follows from:

The triangle inequalityThe Cauchy-Schwarz inequality applied to the canonical commutation relation [X̂, P̂] = iℏEnergy conservationThe completeness relation

Historical Background

The operator formulation of quantum mechanics was developed by Born, Heisenberg, and Jordan (matrix mechanics, 1925) and independently recast in terms of differential operators by Schrödinger (wave mechanics, 1926). Dirac's transformation theory (1927) unified both via the abstract operator framework. Von Neumann's 1932 rigorous treatment using unbounded self-adjoint operators resolved technical issues with position and momentum operators that are not bounded.

1925
Born, Heisenberg, Jordan introduce matrix (operator) form of quantum mechanics
Max Born, Werner Heisenberg, Pascual Jordan
1926
Schrödinger introduces the differential operator formulation
Erwin Schrödinger
1927
Heisenberg derives the uncertainty principle from non-commutativity of operators
Werner Heisenberg
1932
Von Neumann establishes spectral theory of unbounded self-adjoint operators
John von Neumann

Summary

Observables are self-adjoint operators; eigenvalues are measurement outcomes; eigenstates are definite-value states.
Canonical commutation relation [X̂, P̂] = iℏ encodes position-momentum complementarity.
The Robertson relation ΔA · ΔB ≥ ½|⟨[A,B]⟩| gives the uncertainty bound for any two observables.
Ehrenfest's theorem: d⟨A⟩/dt = (1/iℏ)⟨[A,H]⟩ + ⟨∂A/∂t⟩ — expectation values follow classical equations.
Commuting observables share a joint eigenbasis and can be simultaneously measured exactly.

References

Bookvon Neumann, J. — Mathematical Foundations of Quantum Mechanics (1932/1955), Princeton University Press, Chapter II
BookReed, M. & Simon, B. — Methods of Modern Mathematical Physics, Vol. II: Fourier Analysis, Self-Adjointness (1975), Academic Press
BookSakurai, J.J. & Napolitano, J. — Modern Quantum Mechanics, 3rd ed. (2020), Cambridge University Press, Chapter 1–3
WebsiteWikipedia — Observable (quantum mechanics)
WebsiteWikipedia — Canonical commutation relation