Editing Functional analysis (section)

==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, the [[Schauder basis]], is usually more relevant in functional analysis. Many theorems require the [[Hahn–Banach theorem]], usually proved using the [[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.