Functional analysis: Difference between revisions

Revision as of 15:41, 25 January 2023

Revision as of 15:57, 5 April 2023

Line 98:

==Foundations of mathematics considerations==

Most spaces considered in functional analysis have infinite dimensiondimensions. To show the existence of a [[vector space basis]] for such spaces, it may require [[Zorn's lemma]]. However, a somewhat different concept, the [[Schauder basis]], is usually more relevant in functional analysis. Many very important theorems require the [[Hahn–Banach theorem]], which is usually proved using the [[axiom of choice]], although the strictly weaker [[Boolean prime ideal theorem]] suffices. The [[Baire category theorem]], which is needed to prove many important theorems, also requires a form of axiom of choice.

==Points of view==