泛函分析中的度量空间.pdfVIP

泛函分析主要内容

泛函分析是20世纪30年代形成的数学分科。是从变分问题，积

分方程和理论物理的研究中发展起来的。它综合运用函数论，几何学，

现代数学的观点来研究无限维向量空间上的函数，算子和极限理论。

它可以看作无限维向量空间的解析几何及数学分析。主要内容有拓扑

线性空间等。泛函分析在数学物理方程，概率论，计算数学等分科中

都有应用，也是研究具有无限个自由度的物理系统的数学工具。泛函

分析是研究拓扑线性空间到拓扑线性空间之间满足各种拓扑和代数

条件的映射的分支学科。

1、度量空间

定义：设X为一个集合，一个映射d：X×X→R。若对于任

何x,y,z属于X，有

（I）（正定性）d(x,y)≥0,且d(x,y)=0当且仅当x=y；

（II）（对称性）d(x,y)=d(y,x)；

（III）（三角不等式）d(x,z)≤d(x,y)+d(y,z）

则称d为集合X的一个度量（或距离）。称偶对（X，d）为一

个度量空间，或者称X为一个对于度量d而言的度量空间。

例：实数带有由绝对值给出的距离函数(,)=||，和

dxyyx

更一般的欧几里得n维空间带有欧几里得距离是完备度量空间

2、赋范线性空间

泛函分析研究的主要是实数域或复数域上的完备赋范线性空间。

这类空间被称为巴拿赫空间，巴拿赫空间中最重要的特例被称为希尔

伯特空间。

例：任何赋范向量空间通过定义d(x,y)=||yx||也是度量空间。

(如果这样一个空间是完备的，我们称之为巴拿赫空间)。例：曼哈

顿范数引发曼哈顿距离，这里在任何两点或向量之间的距离是在

对应的坐标之间距离的总和。

3、希尔伯特空间

希尔伯特空间可以利用以下结论完全分类，即对于任意两个希尔

伯特空间，若其基的基数相等，则它们必彼此同构。对于有限维希尔

伯特空间而言，其上的连续线性算子即是线性代数中所研究的线性变

换。对于无穷维希尔伯特空间而言，其上的任何态射均可以分解为可

数维度（基的基数为50）上的态射，所以泛函分析主要研究可数维

度上的希尔伯特空间及其态射。希尔伯特空间中的一个尚未完全解决

的问题是，是否对于每个希尔伯特空间上的算子，都存在一个真不变

子空间。该问题在某些特定情况下的答案是肯定的。

4、巴拿赫空间

巴拿赫空间理论（Banachspace）是192O年由波兰数学家巴拿

赫（S.Banach)一手创立的，数学分析中常用的许多空间都是巴拿赫

空间及其推广，它们有许多重要的应用。大多数巴拿赫空间是无穷维

空间，可看成通常向量空间的无穷维推广。

巴拿赫空间（Banachspace）是一种赋有“长度”的线性空间﹐

泛函分析研究的基本对象之一。数学分析各个分支的发展为巴拿赫空

间理论的诞生提供了许多丰富而生动的素材。从外尔斯特拉斯﹐

K.(T.W.)以来﹐人们久已十分关心闭区间[a﹐b]上的连续函数以及

它们的一致收敛性。甚至在19世纪末﹐G.阿斯科利就得到[a﹐b]

上一族连续函数之列紧性的判断准则﹐后来十分成功地用于常微分

方程和复变函数论中。

5、内积空间

（1）内积空间的定义：

HKx,yHK(x,y)

设是域上的线性空间，对任意，有一个中数与

K

之对应，使得对任意x,y,zH；满足

a)(x,y)0；(x,y)＝0，当且仅当x0；

___________

b)(x,y)＝(y,x)；

(x,y)