Definition

A rigged Hilbert space, or Gelfand triple, is a chain

ΦHΦ×\Phi\hookrightarrow H\hookrightarrow\Phi^\times

in which HH is a , Φ\Phi is a Hausdorff continuously and densely embedded in HH, and Φ×\Phi^\times is its continuous anti-dual with the . Taking the on HH linear in its first variable, the second embedding sends hh to the conjugate-linear functional ϕh,ϕH\phi\mapsto\langle h,\phi\rangle_H. Density makes this embedding injective.

Test vectors and generalized vectors

The space Φ\Phi carries a topology finer than the Hilbert norm topology, encoding regularity or decay. Elements of Φ×\Phi^\times act as generalized vectors, including that do not belong to HH. The Hilbert space lies between these two scales and identifies ordinary vectors with continuous anti-linear functionals on the test space.

Operators and spectral analysis

If a on HH preserves Φ\Phi and acts continuously on its locally convex topology, duality extends it to Φ×\Phi^\times. Generalized eigenvectors may then live in Φ×\Phi^\times even when the operator has no eigenvectors in HH. Nuclearity supplies the compactness and kernel-theorem structure used in generalized spectral expansions Gel′fand–Vilenkin, Chapter I.

Example and convention

The canonical example is

S(Rn)L2(Rn)S(Rn),\mathcal S(\mathbb R^n)\hookrightarrow L^2(\mathbb R^n)\hookrightarrow\mathcal S'(\mathbb R^n),

with as test vectors and as generalized vectors. Some authors use rigged Hilbert space for any continuous dense embedding ΦH\Phi\hookrightarrow H, without requiring Φ\Phi to be nuclear, and reserve nuclear Gelfand triple for the definition above. The nuclear convention is used here.

References
  1. I. M. Gel′fand and N. Ya. Vilenkin, Generalized Functions, Volume 4: Applications of Harmonic Analysis, Academic Press, 1964; AMS Chelsea reprint. AMS publisher record. Relevant: Chapter I on nuclear spaces, rigged Hilbert spaces, and spectral analysis.
  2. Michael Reed and Barry Simon, Methods of Modern Mathematical Physics, Volume I: Functional Analysis, Academic Press, 1972. Elsevier DOI record. Relevant: Chapter V on locally convex spaces and distributions.