实变函数与泛函分析_泛函分析笔记（1）距离空间的基本概念

本笔记的主要叙述顺序依照郑维行，王声望的《实变函数与泛函分析概要》第二册，同时参考了一些其它书目从而对内容进行了一些补充。

第一章 距离空间

本章讨论距离空间，它从n维欧几里得空间

，

空间等距离实例抽象而来。另一方面我们希望在一般的非空集合中引入收敛的概念，一个可行的办法就是引入距离.下面我们重点讨论这样的空间。

1.1距离空间的基本概念

1.1.1距离空间的定义以及例子

例1.1.1：

我们考虑

中的距离：设

是

中的点，它们之间的距离为：

不难得知它满足以下三个条件：

(1) 非负性：对任何

，

，而且

的充要条件是

；

(2)对称性：对任何

，有

；

(3)三角不等式：对任何

，有

数学家

于1906年提出，对于“距离”这一概念，我们不应该仅仅受制于思考“点空间”内距离的问题，更应当同时思考所有可能的空间。比如给定闭区间上全体连续函数等等。因此我们将上一个例子中距离的三条性质抽象出来（反映了距离的本质），给出如下的定义:

定义1.1:

设

是一非空集合，如果对于

中任给的两个元素

，均有一个确定的实数，记为

，与它们对应且满足下面三个条件：

(1)非负性：对任何

，

，而且

的充要条件是

；

(2)对称性：对任何

，有

；

(3)三角不等式：对任何

，有

则称

是

上的一个距离，而称

是以

为距离的距离空间，记为

。条件(1)-(3)称为距离公理。距离空间中的元素又称为点，在不会引起混淆的情况下，我们将

简写为

。

注意：

1、在任一非空集合上，我们其实都可以定义距离：对任意

，我们规定

，而对任给的

，只要

，便规定

。那么

满足选择公理。$X$按照距离

是距离空间，我们称它为

离散的距离空间。

2、如果将三角不等式改为