发展史

拓扑线性空间理论是泛函分析的一个重要分支，又称之为拓扑向量空间，它是具有拓扑结构的线性空间，是赋范线性空间概念的推广。1其基本概念建立于20世纪30年代，而今已经发展成为一门完整的学科，在纯粹数学和应用数学、理论物理、现代力学和现代工程理论中都有广泛应用。2

20世纪初，法国数学家弗雷歇在引入距离空间，并用距离概念来统一过去分析学中的许多重要收敛时，就知道[a，b]上一列函数的“点点收敛”概念是不能用距离收敛来描述的。20世纪30年代以来，泛函分析中大量应用弱收敛、弱拓扑，它们都不能用距离来描述。这就很自然地把赋范线性空间理论发展成更一般的拓扑线性空间理论，其中最主要的成就是局部凸拓扑线性空间理论。这一分支的发展是与一般拓扑学的发展紧密联系在一起的。拓扑学方法在这里发挥了极其重要的作用，法国数学家勒雷和波兰数学家绍德尔所推广的不动点定理就是有力的例证之一。1935年以后，经过十多年的努力，这一分支终于形成，它的许多结果不仅在泛函分析中有着广泛的应用，而且为其他分析学科的深入研究提供了基本框架和有力的工具。1

定义

拓扑空间

分析数学中常常出现各种不同的收敛性，它们都可以统一地用拓扑空间的语言来刻画。

定义13设X是非空集合，是由X的某些子集所组成的集类，如果

（1）

（2）中任意个集合的和集属于；

（3）中任意两个集合的交集属于；

则称为拓扑空间，称为X上的拓扑，称中的集合为中的开集，称开集的余集为闭集。

注：在拓扑明确的情况下，常简称X为拓扑空间。

拓扑线性空间

现代数学常见的空间中不仅具有拓扑结构，而且元素之间可以自然地进行线性运算，其中线性运算关于相应的拓扑还是连续的。

下面是拓扑线性空间的定义。

定义23设X为实数域或复数域K上的线性空间，是X上的拓扑，如果

（1）加法是的连续映射；

（2）数乘是的连续映射；

则称是X上的向量拓扑或线性拓扑，称为拓扑线性空间或拓扑向量空间。