2.1 度量空间.docVIP

第2章 拓扑空间 2.1 度量空间 2.1.1 度量空间的一些基本概念2.1.1 设是一个非空集合，为一个映射，若对，有 (1) ，并且； （非负性） (2) ； （对称性） (3) ； （三角不等式） 则称为的(metric)；成为度量空间或距离空间，并且当度量自明而无须特别指出时，径称为度量空间；对，实数称为从点到的距离。 度量空间的任意非空子集，就以中的度量作为上的度量，则也是度量空间，称（或）为的子空间。 例2.1. 离散度量空间。 设为任一非空集，定义如下：对， 容易验证确为的度量，并称为离散度量空间(discrete metric space)。 2.1.2 设为度量空间，，对任给的实数，集合 称为的ε-邻域（或：以x为中心，以ε为半径的开球; 或：以x为中心，以ε为半径的（球形）邻域，简称为的球形邻域）。 注1 在一般的度量空间中，球形邻域可能只含一点。 如：离散度量空间，对于不同的两点，恒有，于是对任意正数，每一点的-邻域中只含有一点，即. 注2 若在一个空间中同时定义了两个度量及，且，则按及分别所成的度量空间应该看成不同的度量空间。 一般地，若中不止一点，则在中可以引进许多度量，成为不同的度量空间。 如： 例2..2 度量空间中的度量定义分别为：对, ; ; . . 但