Why This Matters — The Quantum Bridge

Functional analysis is not background for quantum theory — it is the mathematical content of the postulates. Every axiom of QM and QFT is a statement about Hilbert spaces, self-adjoint operators, spectral measures, or distributions. This page collects the dictionary and points back into the physics tree.

The core dictionary

Functional analysis	Quantum theory
unit ray in a Hilbert space $H$ (hilbert-spaces.md)	pure state
self-adjoint operator (unbounded-operators.md)	observable
spectrum $σ (A)$ (bounded-operators.md)	set of possible measurement outcomes
projection-valued measure (spectral-theorem.md)	Born rule $⟨ ψ ∣ E (Ω) ∣ ψ ⟩$
orthogonal projection	ideal measurement / collapse
Stone's theorem $U (t) = e^{- i H t}$ (spectral-theorem.md)	unitary time evolution
commuting self-adjoint operators	compatible observables (joint spectral measure)
tensor product $H_{1} \otimes H_{2}$	composite systems / entanglement
generalized eigenkets in $Φ^{'}$ (rigged-hilbert-space.md)	Dirac's $∣ x ⟩$ , $∣ p ⟩$
operator-valued tempered distribution (distributions.md)	quantum field
state on a C*-algebra + GNS (operator-algebras.md)	vacuum + its Fock representation

The postulates, made rigorous

The QM postulates are functional-analytic statements:

States are rays in a separable Hilbert space (hilbert-spaces.md).
Observables are self-adjoint operators — self-adjoint, not merely symmetric, so that the spectral theorem applies and the spectrum (the outcomes) is real (unbounded-operators.md).
Measurement outcomes are governed by the spectral measure; the Born rule is $Prob (Ω) = ⟨ ψ ∣ E (Ω) ∣ ψ ⟩$ , and collapse is projection onto a spectral subspace (spectral-theorem.md).
Dynamics is the unitary group $e^{- i H t}$ generated by the self-adjoint Hamiltonian — Stone's theorem is the reason a well-posed dynamics needs essential self-adjointness, not just Hermiticity.
Composite systems use the tensor product; identical particles the symmetric/antisymmetric subspaces (Fock space).

Continuous spectra (position, momentum, scattering states) require the rigged Hilbert space to host Dirac's improper kets; the QM/preliminaries.md bra–ket calculus is Riesz representation plus Gel'fand triples.

Into QFT

QFT/postulates.md raises the stakes: a quantum field is an operator-valued tempered distribution (distributions.md) — it must be smeared against a Schwartz test function to give an operator, because the field at a sharp spacetime point is too singular. The improper, distributional states of fock-space-inventory.md are elements of a rigged space, and the rigorous axiomatizations (Wightman, Osterwalder–Schrader, Haag–Kastler) are the operator-algebra statements of what a QFT is.

The through-line

$states Hilbert space self-adjoint spectrum = outcomes observables spectral theorem measurement, dynamics Born rule + e^{- i H t} distributions QFT quantum fields$

Every arrow is a theorem in this folder; every endpoint is a postulate of quantum theory.

References

Reed & Simon, Methods of Modern Mathematical Physics I–II.
Hall, Quantum Theory for Mathematicians.
von Neumann, Mathematical Foundations of Quantum Mechanics.