函分析所研究的大部分空间都是无穷维的。为了证明无穷维向量空间存在一组基，必须要使用佐恩引理（Zorn's Lemma）。此外，泛函分析中大部分重要定理都构建于哈恩-巴拿赫定理的基础之上，而该定理本身就是选择公理（Axiom of Choice）弱于布尔素理想定理（Boolean prime ideal theorem）的一个形式。
泛函分析的研究现状.泛函分析目前包括以下分支：