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:
“and the oxen near
The worn foundations of their resting-place,
The holy manger where their bed is corn
And holly torn for Christmas. If they die,
As Jesus, in the harness, who will mourn?
Lamb of the shepherds, Child, how still you lie.”
—Robert Lowell (1917–1977)
“Natural knowledge, seeking to satisfy natural wants, has found the ideas which can alone still spiritual cravings. I say that natural knowledge, in desiring to ascertain the laws of comfort, has been driven to discover those of conduct, and to lay the foundations of a new morality.”
—Thomas Henry Huxley (1825–95)
“The three main medieval points of view regarding universals are designated by historians as realism, conceptualism, and nominalism. Essentially these same three doctrines reappear in twentieth-century surveys of the philosophy of mathematics under the new names logicism, intuitionism, and formalism.”
—Willard Van Orman Quine (b. 1908)