浅谈度量空间(同名22594).doc

PAGE

PAGE4

度量空间

摘要：度量空间是一类特殊的拓扑空间，并且它是理解拓扑空间的一个重要过程.因此，本文通过度量空间的基本概念，力图给出度量空间的一些重要性质.并且引入一些度量空间的其它性质.

关键词:度量空间导集闭集

正文：度量空间是现代数学中一种基本的、重要的、最接近于欧几里得空间的抽象空间.19世纪末叶，德国数学家G.康托尔创立了集合论，为各种抽象空间的建立奠定了基础.20世纪初期,法国数学家M.-R.弗雷歇发现许多分析学的成果从更抽象的观点看来,都涉及函数间的距离关系,从而抽象出度量空间的概念.

1.度量空间的定义

度量空间是一类特殊的拓扑空间，它对于拓扑空间的理解起着非常重要的作用.因此，研究度量空间的一些性质是必要的.为了证明这些性质，首先介绍以下定义.

定义1.1设是一个集合，若对于中任意两个元素都有唯一确定的实数与之对应，而且这一对应关系满足下列条件：

(1)正定性,并且当且仅当；

(2)对称性；

(3)三角不等式.则称是集合的一个度量，同时将称为度量空间或距离空间.中的元素称为点，条件（3）称为三点不等式.

定义1.2设是一个度量空间，.对于任意给定的实数,集合，记作,称为一个以为中心，以为半径的球形邻域，简称为的一个球形邻域.

2度量空间的一些例子

例2.1离散的度量空间

设是任意的非空集合，对中的任意两点，令

容易验证满足关于距离的定义中的条件.我们称为离散的度量空间.由此可见，在任何非空集合上总可以定义距离.使它成为度量空间.

例2.2序列空间S

令S表示实数列（或复数列）的全体，对S中任意两点及，令

，

易知满足距离条件

的充要条件为.(2.1)

下验证满足距离条件

对任意都成立.(2.2)

为此我们首先证明对任意两个复数和，成立不等式

事实上，考察上的函数

由于在上，.所以在上单调增加，由不等式

，我们得到

再令左端的，即得

由此可得

令取以代入上式，即可得的三点不等式

由上述例子可见，度量空间除了有限维的欧几里德空间之外，还包括其他的空间.

3度量空间的一些简单性质

定理3.1设是一个度量空间，则拓扑空间是一个离散空间当且仅当p是一个离散的度量.

证充分性若是一个离散的度量，则对于任意的，存在实数，使得对于任意的,,有.于是的球形邻域,所以，为开集.由的任意性以及开集的性质，故为离散空间.

必要性若为离散空间，则对于任意的,单点集为开集，于是存在的球形邻域,令，则对于任意的并且,有.所以,为离散的度量.

定理3.2度量空间的每一个子集的导集都是闭集.

证设为一个度量空间，是的任意一个子集.欲证的导集为闭集，只需证.

如果,显然.

如果,由于,所以对于任意,有或.

若，则对于的任意一个球形邻域,有

.

于是，对于任意的

,

则，取

则

,

并且

又由于

,

所以

，

因此

.

综上，对于任意,有.所以，.

定理3.3度量空间中的每一个单点集都是闭集.

证为一个度量空间，,对于任意,,令，于是,并且,所以,,于是=,因此，单点集为闭集.由的任意性，度量空间中的每一个单点集都是闭集.

定理3.4是一个度量空间，如果有一个基只含有有限个元素，则必为只含有有限多个点的离散空间.

证假设是无限集.由于是一个度量空间，由定理3.1可知，中的每一个单点集都是闭集，于是，对于任意，集合-都是开集.因此，拓扑空间中有无穷多个不同的开集.又由已知有一个基只含有有限个元素，它们中的任意多个元素之并只能组成有限个开集，所以中的开集只有有限个，这与上述矛盾！因此假设错误，只能是有限集.最后，由于含有有限多个点的度量空间都是离散的度量空间，故由定理1可知，是一个离散空间.

定理3.5度量空间中的任何一个收敛序列都只有惟一的极限.

证设是一个度量空间，是中的一个收敛序列.假若序列至少有两个极限和.由于,则.设

=,

于是对于的球形邻域,存在∈,使得当时，有;对于的球形邻域,存在∈,使得当时，有.则一方面

.（3.1）

另一方面，令

{,},

于是当时，有

，

这与（3.1）式矛盾！所以假设错误.

因此，度量空间只有一个极限.

定理3.6设是一个度量空间，,有一个序列在中并且收敛于当且当是集合的一个凝聚点.

证必要性设序列在中并且敛于.如果是的一个邻域，则存在