A Gel’fand triple is a structure that equips a Hilbert space with a dense topological vector subspace of good “test” functions, so that the dual of the subspace of test functions enhaces the Hilbert space by embedding it into a larger TVS whose elements can be considered as generalized eigenvectors for the continuous spectrum of normal (possibly unbounded) linear operators.
A Gel’fand triple is datum of the form
where is a separable Hilbert space, is a Banach space (or more general topological vector space (TVS)), is a dual TVS of , is an injective bounded operator with dense image, and is the composition of the canonical isomorphism determined by the inner product (i.e. given by Riesz theorem) and of the Banach transpose (dual) of the operator . The fact that is dense in implies that (hence also ) is injective as well.
A typical example is (Schwarz space), and (the space of tempered (Schwarz) distributions). One of the basic facts on Fourier transform is that this Gel’fand triple is preserved by the Fourier transform.
Another natural example is .
Let be the Hilbert space consisting of square integrable functions with respect to Lebesgue measure. There is an unbounded self-adjoint operator
where . This operator is not defined on all of , but it is defined on a dense subspace of . For example, if is the Schwartz space consisting of smooth functions on all of whose derivatives decay rapidly at infinity (more rapidly than any negative power of ), then there is a dense inclusion map , and is defined globally on .
Meanwhile the Schwartz space carries its own topology (as described in the article distribution), stronger than the topology it inherits from , and the space of tempered distributions is defined to be the continuous dual of the TVS . Since the continuous inclusion is dense, it follows that any continuous functional
has at most one extension to a continuous functional . In other words, the adjoint map
is injective. In addition, the topology on is such that the operator is continuous.
In this example, there is a dense inclusion defined by the inner product pairing, and the operator extends uniquely to an operator , called by abuse of notation. Again, in this example, the operator has an eigenvector for each :
An isomorphism of Gelfand triples is a unitary isomorphism which restricts to an isomorphism of Banach spaces , and which extends to a weak- and norm-preserving continuous isomorphism .
Usually, and are Banach spaces, when we say Banach Gel’fand triple, there are some other variants involving more general topological vector spaces. In some cases one also uses the terminology rigged Hilbert space, following articles by Roberts and others since mid 1960-s. Nuclear Gel’fand triples are very common and then the notion is well behaved. In Russian literature the term enriched Hilbert space is used (оснащенное гильбертово пространство), sometimes translated also as equipped Hilbert space. The enriched word here is the same as in the phrase enriched category.
Gel’fand triples were introduced by Gel’fand school about 1955 and quickly incorporated into the theory of generalized functions.
[[I. M. Gelʹfand, A. G. Kostyučenko, Expansion in eigenfunctions of differential and other operators) (Russian), Dokl. Akad. Nauk SSSR (N.S.) 103 (1955), 349–352, MR73136
I. M. Gel'fand, N. Ja. Vilenkin, Generalized functions, vol. 4. Some applications of harmonic analysis. Equipped Hilbert spaces, Fizmatgiz, Moscow, 1961 MR146653, English transl. Acad. Press 1964 MR173945
Related early works include
wikipedia rigged Hilbert space
Р. А. Минлос, Оснащенное гильбертово пространство, online article from (Soviet) Matem. enc.
MathOverflow question: good-references-for-rigged-hilbert-spaces
Feichtinger, A Banach Gelfand triple framework for regularization and approximation, slides pdf
A unification of various inequivalent approaches is claimed in
M. Gadella, F. Gómez, A unified mathematical formalism for the Dirac formulation of quantum mechanics Foundations of Physics 32, No. 6, (2002)
S. Wickramasekara, A. Bohm, Symmetry representations in the rigged Hilbert space formulation of quantum mechanics, math-ph/0302018