泛函分析基础：度量空间（一）：度量空间的结构.pdfVIP

泛函分析基础：度量空间（一）：度量空间的结构

笔记来源：

1.《实变函数与泛函分析概要》-王声

望、郑维行

2.《泛函分析讲义》-张恭庆、林源渠

3.上课笔记和回忆

小周又活过来了！

度量空间的结构

定义

定义1：设有集合,且存在映射,使得对任

意的都有：

1.非负性：;

2.对称性：;

3.三角不等式：

映射称为集合上的一个度量，称为度量空

间.度量函数有时也用表示.

下边我们给出一些常用的度量空间：

1.,度量函数为经典度量.这样的实空间就称为欧式空间.

2.(平凡度量)

在任何一个集合上，我们都可以定义上述度量，因此任何一个集

合上都可以让其变为一个度量空间.

3.(空间)所有的方勒贝格可积函数，定义度量：

4.(空间)所有的在可测的本性有界的函数，定义度量：

表示它的本性上界.

5.(空间和空间)元素是数列：.

6.(连续函数空间)如果不做声明时，我们的定义的度量是：

当然还可以有其他度量：

收敛性

有了度量函数后，我们可以定义收敛性：

定义2：设为距离空间中的一个点列(或

称序列),这里如果存在中的点,使得当时,,,

则称点列收敛于,记为

有时也简记为

称为的极限.

注意到，这里一定要要求在集合中！

命题1：

设是距离空间中的收敛点列,则下列性质成立:

(i)的极限唯一;

(ii)对任意的,数列有界.

(iii)如果收敛，那么它的任意子列也收敛.

柯西列与完备化

定义3：距离空间中的点列叫做基本点

列或柯西点列,若对任给的,存在,使得当时,

如果中的任一基本点列必收敛于中的某

一点,则称为完备的距离空间.

注意到：一个空间是否完备与它的集合和度量都有关系，比如：

按照最大值定义的度量是完备的，但是按照积分定义的度量不完备，

在比如上配备欧式度量，点列是基本列但是不收敛，因为不在集合中.

一个不完备的空间，我们可以想方设法的添加一些元素使其完备，

然而是否任何的不完备空间都能这样做使其完备呢？这就要需要我们

的完备化定理了！在此之前，我们需要引入一些其他有必要的东西！

定义4

设是两个度量空间,如果存在映射：满足：

(1):是满射；

(2):.

则称和是等距同构的,称为等距同构映射,有时简称等距同构。

从第二条中我们还可以推出映射是单射，因此是双射，因此我们

才称同构，这是一种保距离性质的同构..在泛函分析中，如果两个空间

是等距同构的，我们就认为这两个空间是相同的.

我们前面已经说了，我们希望在空间中添加一些元素使之成为完

备空间.问题是是否任何一个不完备的空间都可以通过这种方法变成一

个完备空间.我们后边证明任何一个不完备的空间都可以将其嵌入一个

完备的空间中.我们将包含度量空间()的最小的完备空间称为的完备化

空间，其中最小的定义是任何一个以为子空间的完备空间都要包含此

空间作为子空间.

命题2：

如果是一个以为子空间的完备度量空间，且，并且在中是稠密的，

则是的完备化空间.

证明：我们只需要证明任何一个包含的完备空间都包含即可.

根据完备化的以及稠密定义，我们知道，对任何的都存在序列使