拓扑线性空间 由于泛函分析源自研究各种函数空间，在函数空间里函数列的收敛有不同的类型（譬如逐点收敛，一致收敛，弱收敛等等），这说明函数空间里有不同的拓扑。而函数空间一般是无穷维线性空间。所以抽象的泛函分析研究的是一般的（无穷维的）带有一定拓扑的线性空间。 拓扑线性空间的定义就是一个带有拓扑结构的线性空间，使得线性空间的加法和数乘都是连续映射的空间。[1] 巴拿赫空间 这是最常见，应用最广的一类拓扑线性空间。比如有限闭区间上的连续函数空间，有限闭区间上的k次可微函数空间。或者对于每个实数p，如果p≥1，一个巴拿赫空间的例子是“所有绝对值的p次方的积分收敛的勒贝格可测函数”所构