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:
“No being exists or can exist which is not related to space in some way. God is everywhere, created minds are somewhere, and body is in the space that it occupies; and whatever is neither everywhere nor anywhere does not exist. And hence it follows that space is an effect arising from the first existence of being, because when any being is postulated, space is postulated.”
—Isaac Newton (1642–1727)
“What is a novel if not a conviction of our fellow-men’s existence strong enough to take upon itself a form of imagined life clearer than reality and whose accumulated verisimilitude of selected episodes puts to shame the pride of documentary history?”
—Joseph Conrad (1857–1924)
“We are compelled by the theory of God’s already achieved perfection to make Him a devil as well as a god, because of the existence of evil. The god of love, if omnipotent and omniscient, must be the god of cancer and epilepsy as well.... Whoever admits that anything living is evil must either believe that God is malignantly capable of creating evil, or else believe that God has made many mistakes in His attempts to make a perfect being.”
—George Bernard Shaw (1856–1950)