Foundations of Mathematics Considerations
Most spaces considered in functional analysis have infinite dimension. To show the existence of a vector space basis for such spaces may require Zorn's lemma. However, a somewhat different concept, Schauder basis, is usually more relevant in functional analysis. Many very important theorems require the Hahn–Banach theorem, usually proved using axiom of choice, although the strictly weaker Boolean prime ideal theorem suffices. The Baire category theorem, needed to prove many important theorems, also requires a form of axiom of choice.
Read more about this topic: Functional Analysis
Famous quotes containing the words foundations of, foundations and/or mathematics:
“I have seen how the foundations of the world are laid, and I have not the least doubt that it will stand a good while.”
—Henry David Thoreau (1817–1862)
“For me, it is as though at every moment the actual world had completely lost its actuality. As though there was nothing there; as though there were no foundations for anything or as though it escaped us. Only one thing, however, is vividly present: the constant tearing of the veil of appearances; the constant destruction of everything in construction. Nothing holds together, everything falls apart.”
—Eugène Ionesco (b. 1912)
“It is a monstrous thing to force a child to learn Latin or Greek or mathematics on the ground that they are an indispensable gymnastic for the mental powers. It would be monstrous even if it were true.”
—George Bernard Shaw (1856–1950)