浅谈度量空间介绍.docVIP

度 量 空 间 摘要：度量空间是一类特殊的拓扑空间，并且它是理解拓扑空间的一个重要过程. 因此，本文通过度量空间的基本概念，力图给出度量空间的一些重要性质. 并且引入一些度量空间的其它性质. 关键词: 度量空间 导集 闭集 正文：度量空间是现代数学中一种基本的、重要的、最接近于欧几里得空间的抽象空间.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) 为此我们首先证明对任意两个复数和，成立不等式 事实上，考察上的函数 由于在上，.所以在上单调增加，由不等式 ，我们得到 . 令，则，代入上面不等式，得 . 由此立即可知满足距离条件(2.2)，即S按或一度量空间. 例2.3 有界函数空间 设是一给定的集合，令表示上的有界实值（或复值）函数全体，对中任意两点，定义 . 下面验证满足条件(2.1)和(2.2).显然是非负的.又等价于对一切，成立，所以，即满足(2.1)，此外，对所有的成立 . 所以 . 即满足条件(2.2).特别地，当时，记为. 例2.4 可测函数空间 设为上的实值（或复值）的可测函数全体,m为 测度，若 ，对任意两个可测函数 及，由于 所以这是上的可积函数，令 如果把中的两个几乎处处相等的函数视为中的同一个元，那么利用不等式 及积分性质很容易验证是距离. 因此按上述距离成为度量间. 例2.5 空间 令表示闭区间上的实值（或复值）连续函数全体，对中任意两点定义 容易验证它满足距离条件(2.1)和(2.2). 例2.6 记.设定义 . 则是的距离。距离条件(2.1)是容易得出的，现检验条件(2.2) . 对任何正整数n，和 都中的元素，由不等式 再令右端 ，即得 再令左端的，即得 由此可得 令取以 代入上式，即可得的三点不等式 由上述例子可见，度量空间除了有限维的欧几里德空间 之外，还包括其他的空间. 3 度量空间的一些简单性质 定理3.1 设是一个度量空间，则拓扑空间是一个离散空间当且仅当p是一个离散的度量. 证 充分性 若是一个离散的度量，则对于任意的，存在实数，使得对于任意的, ,有.于是的球形邻域,所以，为开集.由的任意性以及开集的性质，故为离散空间. 必要性 若为离散空间，则对于任意的,单点集为开集，于是存在的球形邻域 ,令，则对于任意的并且,有.所以, 为离散的度量. 定理3.2 度量空间的每一个子集的导集都是闭集. 证 设为一个度量空间，是的任意一个子集.欲证的导集为闭集，只需证. 如果,显然. 如果,由于,所以对于任意,有或. 若，则对于的任意一个球形邻域,有 . 于是，对于任意的 , 则，取 则 , 并且 又由于 , 所以 ， 因此 . 综上，对于任意,有.所以，. 定理3.3 度量空间中的每一个单点集都是闭集. 证 为一个度量空间，,对于任意,,令，于是,并且,所以,,于是=,因此，单点集为闭集.由的任意性，度量空间中的每一个单