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:
“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)
“In a sense the world dies every time a writer dies, because, if he is any good, he has been a wet nurse to humanity during his entire existence and has held earth close around him, like the little obstetrical toad that goes about with a cluster of eggs attached to his legs.”
—E.B. (Elwyn Brooks)
“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)