A mathematical structure used to represent quantum states and the operations performed on them. It specifies how states are expressed, related, combined, and decomposed into components that support calculation. It does not by itself determine physical predictions without a mapping to observables and measurement rules. It enables precise computation of probabilities and expectation values from state and operator inputs. The concept is generally stable, though notation choices and computational methods evolve over time.

Principle

By embedding H between a space of test vectors and its dual, one permits objects (generalized eigenvectors, delta-normalized kets) that are not square-integrable to be treated as continuous functionals, enabling spectral decompositions for unbounded operators and continuous spectra.

Demonstration

For the position operator on L^2(R), choose Φ as the Schwartz space S(R) of rapidly decaying smooth functions; the position 'eigenkets' |x⟩ are not in L^2(R) but define elements of Φ' and allow expressions like ψ(x) = ⟨x|ψ⟩ to be interpreted rigorously as distributional pairings.

Misapplication

Treating Dirac kets |x⟩ or plane-wave momentum states as legitimate members of H rather than of Φ' leads to incorrect manipulations (e.g., assuming ordinary normalization) and obscures domain issues of unbounded operators.

Consequence

The rigged Hilbert-space construction gives a mathematically controlled setting for Dirac bra–ket manipulations, justifies delta-normalization and generalized spectral measures, and clarifies the role of distributions in quantum spectral theory.

Reversal

Restricting attention strictly to H without a rigging forbids representing continuous-spectrum eigenvectors and forces one to use only projection-valued measures and approximate sequences, losing convenient formal expressions like |x⟩.

Boundary

A rigged Hilbert space depends on the choice of test space Φ and its topology; it is not unique and does not remove the need to check domains and continuity for specific operators—Φ must be chosen to suit the operators of interest.

Semantic Tension

There is tension between the physicist's informal Dirac notation that treats generalized kets as 'vectors' and the mathematician's insistence on precise distributional duals; rigged Hilbert spaces reconcile these but at the cost of additional structure and choices.

Synthesis

A rigged Hilbert space supplements a Hilbert space with a dense test-space and its dual so that distributional eigenvectors and delta-normalized states are well-defined continuous functionals, providing the rigorous backdrop that justifies Dirac-style calculations for continuous spectra and unbounded operators.