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:
“Foundations of Morality: are like all other foundations; if you dig too much about them the superstructure will come tumbling down.”
—Samuel Butler (1835–1902)
“The aggregate of all knowledge has not yet become culture in us. Rather it would seem as if, with the progressive scientific penetration and dissection of reality, the foundations of our thinking grow ever more precarious and unstable.”
—Johan Huizinga (1872–1945)
“In mathematics he was greater
Than Tycho Brahe, or Erra Pater:
For he, by geometric scale,
Could take the size of pots of ale;
Resolve, by sines and tangents straight,
If bread and butter wanted weight;
And wisely tell what hour o’ th’ day
The clock doth strike, by algebra.”
—Samuel Butler (1612–1680)