nLab
rigged Hilbert space

Idea

A rigged Hilbert space is a formal device which makes it possible to treat spectral theory of normal unbounded operators on a Hilbert space as if it were about actual eigenvalues and eigenvectors. It may be used to make rigorous the idea of eigenstates for observables as they commonly arise in quantum mechanics.

Example

Let $H$ be the Hilbert space $L^2(ℝ,dx)$ consisting of square integrable functions $f$ with respect to Lebesgue measure. There is an unbounded self-adjoint operator

$$m_x:H\to H:f\mapsto x\cdot f$$m_x: H \to H: f \mapsto x \cdot f

where $(x\cdot f)(y):=yf(y)$. This operator is not defined on all of $H$, but it is defined on a dense subspace of $H$. For example, if $S$ is the Schwartz space consisting of smooth functions $f$ on $ℝ$ all of whose derivatives $f^{(n)}(x)$ decay rapidly at infinity (more rapidly than any negative power of $\mid x\mid$), then there is a dense inclusion map $i:S\to H$, and $m_x$ is defined globally on $S$.

Meanwhile the Schwartz space $S$ carries its own topology (as described in the article distribution), stronger than the topology it inherits from $H$, and the space of tempered distributions $S^{*}$ is defined to be the continuous dual of the TVS $S$. Since the continuous inclusion $i:S\to H$ is dense, it follows that any continuous functional

$$f:S\to ℂ$$f: S \to \mathbb{C}

has at most one extension to a continuous functional $H\to ℂ$. In other words, the adjoint map

$$i^{*}:H^{*}\to S^{*}$$i^*: H^* \to S^*

is injective. In addition, the topology on $S$ is such that the operator $m_x:S\to S$ is continuous.

In this example, there is a dense inclusion $S\to S^{*}$ defined by the inner product pairing, and the operator $m_x$ extends uniquely to an operator $S^{*}\to S^{*}$, called $m_x$ by abuse of notation. Again, in this example, the operator $m_x:S^{*}\to S^{*}$ has an eigenvector $s_{\xi }$ for each $\xi \in ℝ$:

$$m_x(s_{\xi })=\xi s_{\xi }$$m_x(s_{\xi}) = \xi s_{\xi}

Ugh. Lousy start on something that would be nice to understand properly. Maybe an expert can help out. John, you there?

References

Among the original treatises on the theory of rigged Hilbert spaces is

• John Roberts, Rigged Hilbert spaces in quantum mechanics , Communications in Mathematical Physics, 3 (1966)

A unification of various inequivalent approaches is claimed to be achieved in

• M. Gadella1 and F. Gómez, A Unified Mathematical Formalism for the Dirac Formulation of Quantum Mechanics Foundations of Physics, Vol. 32, No. 6, (2002)

See also

• S. Wickramasekara, A. Bohm, Symmetry Representations in the Rigged Hilbert Space Formulation of Quantum Mechanics (arXiv)