圆形鼓皮的理想化振动模式之一。 这些模式是函数空间 上线性算子 的本征函数 ,是泛函分析中一种常见的结构。
泛函分析 (英語:Functional Analysis )是现代数学分析 的一个分支,隶属于分析学 ,其研究的主要对象是函数 构成的函数空间 。泛函分析历史根源是由对函数空间的研究和对函数的变换(如傅立叶变换 等)的性质的研究。这种观点被证明是对微分方程 和积分方程 的研究中特别有用。
使用泛函 这个词作为表述源自变分法 ,代表作用于函数的函数,这意味着,一个函数的参数是函数。这个名词首次被雅克·阿达马 在1910年使用于这个课题的书中。是泛函分析理论的主要奠基人之一。然而,泛函的一般概念以前曾在1887年是由意大利数学家和物理学家維多·沃爾泰拉 (Vito Volterra)介绍。非线性泛函理论是由雅克·阿达马 的学生继续研究,特别是莫里斯·弗雷歇 (Maurice Fréchet)可和列维(Levy)。
雅克·阿达马 还创立线性泛函分析的现代流派,并由弗里杰什·里斯 和一批围绕着斯特凡·巴拿赫 (Stefan Banach)的波兰 数学家群体利沃夫数学学派 进一步发展。
賦範线性空间
从现代观点来看,泛函分析研究的主要是实数域 或复数域 上的完备 賦範線性空間 。这类空间被称为巴拿赫空间 ,巴拿赫空间中最重要的特例被称为希尔伯特空间 ,其上的范数 由一个内积 导出。这类空间是量子力学 数学描述的基础。更一般的泛函分析也研究Fréchet空间 和拓扑向量空间 等没有定义范数的空间。
泛函分析所研究的一个重要对象是巴拿赫空间和希尔伯特空间上的连续 线性算子 。这类算子可以导出C*-代数 和其他算子代数 的基本概念。
希尔伯特空间
希尔伯特空间(Hilbert )可以利用以下结论完全分类,即对于任意两个希尔伯特空间,若其基 的基数 相等,则它们必彼此同构 。对于有限维 希尔伯特空间而言,其上的连续 线性算子 即是线性代数 中所研究的线性变换 。对于无穷维 希尔伯特空间而言,其上的任何态射 均可以分解为可数 维度 (基的基数为
ℵ ℵ -->
0
{\displaystyle \aleph _{0}}
)上的态射 ,所以泛函分析主要研究可数 维度上的希尔伯特空间及其态射。希尔伯特空间中的一个尚未完全解决的问题是,是否对于每个希尔伯特空间上的算子 ,都存在一个真不变子空间 。该问题在某些特定情况下的答案是肯定的。
巴拿赫空间
一般的巴拿赫空间(Banach )比较复杂,例如没有通用的办法构造其上的一组基。
对于每个实数
p
{\displaystyle p}
,如果
p
≥ ≥ -->
1
{\displaystyle p\geq 1}
,一个巴拿赫空间的例子是“所有绝对值 的
p
{\displaystyle p}
次方的积分 收敛的勒贝格可测 函数”所构成的空间。(参看Lp空间 )
在巴拿赫空间中,相当部分的研究涉及到对偶空间 的概念,即巴拿赫空间上所有连续 线性泛函 所构成的空间。对偶空间 的对偶空间 可能与原空间并不同构 ,但总可以构造一个从巴拿赫空间到其对偶空间 的对偶空间 的一个单同态 。
微分 的概念可以在巴拿赫空间中得到推广,微分 算子 作用于其上的所有函数,一个函数在给定点的微分是一个连续 线性映射 。
主要结果和定理
泛函分析的主要定理包括:
泛函分析与选择公理
泛函分析所研究的大部分空间 都是无穷维 的。为了证明无穷维 向量空间 存在一组基,必须要使用佐恩引理 (Zorn's Lemma)。此外,泛函分析中大部分重要定理都构建于哈恩-巴拿赫定理 的基础之上,而该定理本身就是选择公理 (Axiom of Choice)弱于布尔素理想定理 (Boolean prime ideal theorem)的一个形式。
研究现状
泛函分析目前包括以下分支:
参考资料
相關主題