泛函分析是20世纪30年代形成的数学分科，是从变分问题，积分方程和理论物理的研究中发展起来的。它综合运用函数论，几何学，现代数学的观点来研究无限维向量空间上的泛函，算子和极限理论。它可以看作无限维向量空间的解析几何及数学分析。泛函分析在数学物理方程，概率论，计算数学等分科中都有应用，也是研究具有无限个自由度的物理系统的数学工具。
1概述
泛函分析(FunctionalAnalysis)是现代数学的一个分支，隶属于分析学，其研究的主要对象是函数构成的空间。泛函分析是由对函数的变换(如傅立叶变换等)的性质的研究和对微分方程以及积分方程的研究发展而来的。使用泛函作为表述源自变分法，代表作用于函数的函数。巴拿赫(StefanBanach)是泛函分析理论的主要奠基人之一，而数学家兼物理学家维多·沃尔泰拉(VitoVolterra)对泛函分析的广泛应用有重要贡献。
2拓扑线性空间
由于泛函分析源自研究各种函数空间，在函数空间里函数列的收敛有不同的类型(譬如逐点收敛，一致收敛，弱收敛等等)，这说明函数空间里有不同的拓扑。而函数空间一般是无穷维线性空间。所以抽象的泛函分析研究的是一般的(无穷维的)带有一定拓扑的线性空间。
拓扑线性空间的定义就是一个带有拓扑结构的线性空间，使得线性空间的加法和数乘都是连续映射的空间。
巴拿赫空间
这是最常见，应用最广的一类拓扑线性空间。比如有限闭区间上的连续函数空间，有限闭区间上的k次可微函数空间。或者对于每个实数p，如果p≥1，一个巴拿赫空间的例子是“所有绝对值的p次方的积分收敛的勒贝格可测函数”所构成的空间。(参看Lp空间)
在巴拿赫空间中，相当部分的研究涉及到对偶空间的概念，即巴拿赫空间上所有连续线性泛函所构成的空间。对偶空间的对偶空间可能与原空间并不同构，但总可以构造一个从巴拿赫空间到其对偶空间的对偶空间的一个单同态。
微分的概念可以在巴拿赫空间中得到推广，微分算子作用于其上的所有函数，一个函数在给定点的微分是一个连续线性映射。
希尔伯特空间
希尔伯特空间可以利用以下结论完全分类，即对于任意两个希尔伯特空间，若其基的基数相等，则它们必彼此同构。对于有限维希尔伯特空间而言，其上的连续线性算子即是线性代数中所研究的线性变换。对于无穷维希尔伯特空间而言，其上的任何态射均可以分解为可数维度(基的基数为50)上的态射，所以泛函分析主要研究可数维度上的希尔伯特空间及其态射。希尔伯特空间中的一个尚未完全解决的问题是，是否对于每个希尔伯特空间上的算子，都存在一个真不变子空间。该问题在某些特定情况下的答案是肯定的。
3算子
在具体的函数空间上，我们有对函数的各种各样的操作。最典型的是对函数求导数的操作。这样的操作一般叫做算子。作为一个拓扑空间之间的映射，我们总可以要求算子是连续映射。对拓扑线性空间上的算子的研究构成了泛函分析的一个很大的分支领域。
线性算子和线性泛函
最基本的算子是保持拓扑线性空间结构的算子，称作线性算子。如果像空间是拓扑线性空间所在的数域(特别的，一个一维拓扑线性空间)那么这样的...