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:
“Whether I give to a beggar or not, his existence puts me in the wrong.”
—Mason Cooley (b. 1927)
“It would strike me as ridiculous to want to doubt the existence of Napoleon; but if someone doubted the existence of the earth 150 years ago, perhaps I should be more willing to listen, for now he is doubting our whole system of evidence.”
—Ludwig Wittgenstein (1889–1951)
“We go on dating from Cold Fridays and Great Snows; but a little colder Friday, or greater snow would put a period to man’s existence on the globe.”
—Henry David Thoreau (1817–1862)