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)
“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)
“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)