TheoremBase

An Orthonormal Basis of the Ambient Space Contained in the Form Space of a Hilbert Triple

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.

Statement

In the setting of Hilbert Triples: Standing Notation and Background, let (H,V,A)(H,V,A) be the Hilbert triple fixed there, so that VV is a linear subspace of HH that is dense in HH and satisfies ∣x∣H≤∣x∣V|x|_{H}\le|x|_{V} for every x∈Vx\in V, and the metric space (V,dV)(V,d_{V}) is separable. Assume that HH, as a vector space over R\mathbb{R}, is not finite-dimensional.

Then there is an orthonormal basis (ek)k∈N(e_{k})_{k\in\mathbb{N}} of HH such that ek∈Ve_{k}\in V for every k∈Nk\in\mathbb{N}.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…