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:
“Hitherto shalt thou come, but no further: and here shall thy proud waves be stayed.”
—Bible: Hebrew Job 38:11.
God speaking to Job of his laying of his “foundations of the earth.”
“I am present at the sowing of the seed of the world. With a geometry of sunbeams, the soul lays the foundations of nature.”
—Ralph Waldo Emerson (1803–1882)
“... though mathematics may teach a man how to build a bridge, it is what the Scotch Universities call the humanities, that teach him to be civil and sweet-tempered.”
—Amelia E. Barr (1831–1919)