Existence
Using Zorn's lemma and the Gram–Schmidt process (or more simply well-ordering and transfinite recursion), one can show that every Hilbert space admits a basis and thus an orthonormal basis; furthermore, any two orthonormal bases of the same space have the same cardinality (this can be proven in a manner akin to that of the proof of the usual dimension theorem for vector spaces, with separate cases depending on whether the larger basis candidate is countable or not). A Hilbert space is separable if and only if it admits a countable orthonormal basis. (One can prove this last statement without using the axiom of choice).
Read more about this topic: Orthonormal Basis
Famous quotes containing the word existence:
“Nothing exists except by virtue of a disequilibrium, an injustice. All existence is a theft paid for by other existences; no life flowers except on a cemetery.”
—Rémy De Gourmont (1858–1915)
“The longer we live the more we must endure the elementary existence of men and women; and every brave heart must treat society as a child, and never allow it to dictate.”
—Ralph Waldo Emerson (1803–1882)
“... my whole existence is governed by abstract ideas.... the ideal must be preserved regardless of fact.”
—Mary Corinna Putnam (1842–1906)