In a Hilbert triple whose ambient space is infinite-dimensional, the ambient space has an orthonormal basis all of whose members lie in the densely embedded form space.
In the setting of Hilbert Triples: Standing Notation and Background, let be the Hilbert triple fixed there, so that is a linear subspace of that is dense in and satisfies for every , and the metric space is separable. Assume that , as a vector space over , is not finite-dimensional.
Then there is an orthonormal basis of such that for every .
Loading…
No relations recorded yet.