Operators and observables

Linear operators on function spaces: adjoints, commutators, ladder operators, and canonical quantization.

An operator is a machine that turns a function into another function. Differentiation is one: hand it ff, it returns ff'. Multiplication by xx is another. Once functions are regarded as vectors in an infinite-dimensional space (linear algebra with the index running continuously), these operators are the exact analogue of matrices, and the whole apparatus of eigenvalues, adjoints, and the spectral theorem carries over. What is genuinely new — and what makes this the mathematics of quantum theory — is that operators, unlike numbers, generally do not commute: the order in which you apply them matters, and the amount by which it matters, the commutator, encodes the deepest structure of the theory.

This chapter is the operator formalism, developed as the last piece of mathematics before quantum field theory. The calculus of variations gave the classical field: a Lagrangian, an action, the field equations, and Noether’s conserved quantities. Quantization is the step that promotes those classical fields to operators, imposes a commutation relation, and discovers that each mode of the field is a harmonic oscillator whose energy comes in discrete quanta — particles. The machinery that makes that step precise — adjoints, commutators, ladder operators, and the exponential of an operator — is built here.

The chapter extends the spectral theorem of the linear-algebra chapter and supplies the operators behind the Schrödinger equation.