泛函分析是20世纪30年代形成的数学分科，是从变分问题， 积分方程 和理论物理的研究中发展起来的。它综合运用函数论， 几何学 ，现代数学的观点来研究无限维 向量空间 上的 泛函 ， 映射 和极限理论。它可以看作无限维向量空间的解析几何及 数学分析 。泛函分析在数学物理方程， 概率论 ，计算数学等分科中都有应用，也是研究具有无限个自由度的 物理系统 的数学工具。
概述
简介
泛函分析 （Functional Analysis）是现代数学的一个分支，隶属于 分析学 ，其研究的主要对象是函数构成的空间。泛函分析是由对函数的变换（如 傅里叶变换 等）的性质的研究和对 微分方程 以及 积分方程 的研究发展而来的。使用 泛函 作为表述源自 变分法 ，代表作用于函数的函数。 斯特凡·巴拿赫 （Stefan Banach）是泛函分析理论的主要奠基人之一，而数学家兼物理学家 维多·沃尔泰拉 （Vito Volterra）对泛函分析的广泛应用有重要贡献。
选择公理
泛函分析所研究的大部分空间都是无穷维的。为了证明无穷维 向量空间 存在一组基，必须要使用佐恩引理（Zorn's 引理 ）。此外，泛函分析中大部分重要定理都构建与罕-巴拿赫定理的基础之上，而该定理本身就是 选择公理 （Axiom of Choice）弱于布伦 素理想 定理（Boolean prime ideal theorem）的一个形式。
历史简介
背景
十九世纪以来，数学的发展进入了一个新的阶段。这就是，由于对欧几里得第五公设的研究，引出了 非欧几里得几何 这门新的学科；对于 代数方程 求解的一般思考，最后建立并发展了 群论 ；对数学分析的研究又建立了 集合论 。这些新的理论都为用统一的观点把古典分析的基本概念和方法一般化准备了条件。这时候，函数概念被赋予了更为一般的意义，古典分析中的函数概念是指两个数集之间所建立的一种对应关系。现代数学的发展却是要求建立两个任意集合之间的某种对应关系。
由于分析学中许多新部门的形成，揭示出分析、 代数 、集合的许多概念和方法常常存在相似的地方。比如， 代数方程 求根和 微分方程 求解都可以应用逐次逼近法，并且解的存在和唯一性条件也极其相似。这种相似在积分方程论中表现得就更为突出了。泛函分析的产生正是和这种情况有关，有些乍看起来很不相干的东西，都存在着类似的地方。因此它启发人们从这些类似的东西中探寻一般的真正属于本质的东西。
非欧几里得几何 的确立拓广了人们对空间的认知，n维空间几何的产生允许我们把多变函数用 几何学 的语言解释成多维空间的映像。这样，就显示出了分析和几何之间的相似的地方，同时存在着把分析几何化的一种可能性。这种可能性要求把几何概念进一步推广，以至最后把欧氏空间扩充成无穷维数的空间。
20世纪初， 瑞典 数学家弗列特荷姆和 法国 数学家 雅克·阿达马 发表的著作中，出现了把分析学一般化的萌芽。随后， 戴维·希尔伯特 和海令哲开创了“ 希尔伯特空间 ”的研究。到了二十年代，在数学界已经逐渐形成了一般分析学，也就是泛函分析的基本概念。研究无限维 向量空间 上的泛函数和 映射 理论，就产生了一门新的分析数学，叫做泛函分析。在二十世纪三十年代，泛函分析就已经成为数学中一门独立的学科了。
研究现状
泛函分析目前包括以下分支：
软分析（soft analysis），其目标是将 数学分析 用 拓扑群 、拓扑环和 拓扑向量空间 的语言表述。
巴拿赫空间 的几何结构，以Jean Bourgain的一系列工作为代表。
非交换几何，此方向的主要贡献者包括Alain Connes，其部分工作是以George Mackey的遍历论中的结果为基础的。
与 量子力学 相关的理论，狭义上被称为数学物理，从更广义的角度来看，如按照Israel Gelfand所述，其包含 表示论 的大部分类型的问题。
拓扑线性空间
由于泛函分析源自研究各种 函数空间 ，在函数空间里函数列的收敛有不同的类型（譬如 逐点收敛 ， 一致收敛 ，弱收敛等等），这说明函数空间里有不同的拓扑。而函数空间一般是无穷维线性空间。所以抽象的泛函分析研究的是一般的（无穷维的）带有一定拓扑的线性空间。
拓扑线性空间的定义就是一个带有拓扑结构的线性空间，使得线性空间的加法和数乘都是连续 映射 的空间。
巴拿赫空间
这是最常见，应用最广的一类拓扑线性空间。比如有限闭区间上的 连续函数 空间，有限闭区间上的k次可微函数空间。或者对于每个 实数 p，如果p ≥ 1，一个巴拿赫空间的例子是“所有 绝对值 的p次方的积分收敛的 亨利·勒贝格 可测函数 ”所构成的空间。
在巴拿赫空间中，相当部分的研究涉及到 对偶空间 的概念，即巴拿赫空间上所有连续线性 泛函 所构成的空间。对偶空间的对偶空间可能与原空间并不 同构 ，但总可以构造一个从巴拿赫空间到其对偶空间的对偶空间的一个单 同态 。
导数 的概念可以在 巴拿赫空间 中得到推广， 微分算子 作用于其上的所有函数，一个函数在给定点的微分是一个连续线性映射。
希尔伯特空间
希尔伯特空间可以利用以下结论完全分类，即对于任意两个希尔伯特空间，若其基的基数 相等 ，则它们必彼此同构。对于有限维希尔伯特空间而言，其上的连续线性 映射 即是线性代数中所研究的线性变换。对于无穷维希尔伯特空间而言，其上的任何 态射 均可以分解为可数维度（基的基数为50）上的态射，所以泛函分析主要研究可数维度上的希尔伯特空间及其态射。希尔伯特空间中的一个尚未完全解决的问题是，是否对于每个希尔伯特空间上的算子，都存在一个真 不变子空间 。该问题在某些特定情况下的答案是肯定的。
算子
在具体的 函数空间 上，我们有对函数的各种各样的操作。最典型的是对函数求 导数 的操作。这样的操作一般叫做 映射 。作为一个 拓扑空间 之间的映射，我们总可以要求算子是连续映射。对拓扑 向量空间 上的算子的研究构成了泛函分析的一个很大的分支领域。
线性算子和泛函
最基本的算子是保持拓扑线性空间结构的算子，称作线性算子。如果像空间是拓扑线性空间所在的 数域 （特别的，一个一维拓扑线性空间）那么这样的算子成为线性泛函。
在线性算子的理论中有几个非常基本而重要的 定理 。
1.一致有界定理（亦称共鸣定理），该定理描述一族有界算子的性质。
2.罕-巴拿赫定理（Hahn-Banach Theorem）研究了如何将一个 映射 保 范数 地从一个 子空间 延拓到整个空间。另一个相关结果是 对偶空间 的非平凡性。
3.开映射定理和 闭图像定理 。
4. 谱定理 包括一系列结果，其中最常用的结果给出了 希尔伯特空间 上正规算子的一个积分表达，该结果在 量子力学 的数学描述中起到了核心作用。
非线性算子
更一般的我们会遇到非线性的算子。最简单的例子就是各种 函数空间 上不同的能量 泛函 。非线性的算子在微分几何和 微分方程 理论中都扮演重要的角色，比如 极小曲面 就是能量泛函的极小点。
特点和内容
泛函分析的特点是它不但把古典分析的基本概念和方法一般化了，而且还把这些概念和方法几何化了。比如，不同类型的函数可以看作是“函数空间”的点或 向量 ，这样最后得到了“抽象空间”这个一般的概念。它既包含了以前讨论过的几何对象，也包括了不同的函数空间。
泛函分析对于研究现代物理学是一个有力的工具。n维空间可以用来描述具有n个自由度的力学系统的运动，实际上需要有新的数学工具来描述具有无穷多自由度的力学系统。比如梁的震动问题就是无穷多自由度力学系统的例子。一般来说，从 质点 力学过渡到连续介质力学，就要由有穷自由度系统过渡到无穷自由度系统。现代物理学中的量子场理论就属于无穷自由度系统。
正如研究有穷自由度系统要求 n维空间的 几何学 和 微积分学 作为工具一样，研究无穷自由度的系统需要无穷维空间的几何学和 分析学 ，这正是泛函分析的基本内容。因此，泛函分析也可以通俗的叫做无穷维空间的几何学和微积分学。古典分析中的基本方法，也就是用线性的对象去逼近非线性的对象，完全可以运用到泛函分析这门学科中。
泛函分析是 分析数学 中最“年轻”的分支，它是古典分析观点的推广，它综合函数论、几何和 代数 的观点研究无穷维 向量空间 上的函数、 映射 、和极限理论。他在二十世纪四十到五十年代就已经成为一门理论完备、内容丰富的数学学科了。
半个多世纪来，泛函分析一方面以其他众多学科所提供的素材来提取自己研究的对象，和某些研究手段，并形成了自己的许多重要分支，例如算子谱理论、 斯特凡·巴拿赫 代数、拓扑线性空间理论、广义函数论等等；另一方面，它也强有力地推动着其他不少分析学科的发展。它在 微分方程 、 概率论 、函数论、连续介质力学、量子物理、计算数学、 控制论 、 最优化 理论等学科中都有重要的应用，还是建立群上调和分析理论的基本工具，也是研究无限个自由度 物理系统 的重要而自然的工具之一。今天，它的观点和方法已经渗入到不少工程技术性的学科之中，已成为近代分析的基础之一。
泛函分析在数学物理方程、概率论、计算数学、连续介质力学、量子物理学等学科有着广泛的应用。近十几年来，泛函分析在 工程技术 方面有获得更为有效的应用。它还渗透到数学内部的各个分支中去，起着重要的作用。