【度量空间】
测度空间
在数学中，赋距空间（Metric space）是一个集合及其度量，该度量是一个函数，定义了集合中任两个成员（通常我们称为「点」）间的距离这一概念。简略地来说，这个度量满足了几个简单的特性：
*每个点和自己的距离为0，
*任两点间的距离为正数，
*从A到B的距离，等同于从B到A的距离，
*从A到B的距离小于等于从A先经过C再到B的距离。
赋距空间中最符合人们对于现实直观理解的为三维欧几里得空间。事实上，“度量”的概念即是欧几里得距离四个周知的性质之推广。欧几里得度量定义了两点间之距离为连接这两点的直线段之长度。此外，亦存在其他的度量空间，如椭圆几何与双曲几何，而在球体上以角度量测之距离亦为一度量。狭义相对论使用双曲几何的双曲面模型，作为速度之度量空间。
赋距空间还能导出开集与闭集之类的拓扑性质，这导致了对更抽象的拓扑空间之研究。
==历史==
莫里斯·弗雷歇在1906年于著作《Sur quelques points du calcul fonctionnel》, Rendic. Circ. Mat. Palermo 22(1906) 1–74 中引入了度量空间。
==定义==
为集合，若其装配了函数  ，对任意  满足：
则称  为定义在  上的度量(metric)或是距离函数，且称  为度量空间。若依上下文可知道使用的度量为何，通常会省略  ，只称「  为度量空间 」。
虽然大部分的书籍会将「 对任意  ， 」列入度量的定义中，但由上面的三个定义就足以推出这个性质，这是因为
所以本节并没有把这个性质列入定义。
若不考量数学上的细节，对于任何道路系统与地形，两个位置间之距离可被定义为连接这些位置的最短路径之长度。度量内不应该存在单行道。三角不等式表示每个弯路都不会是最短路径。下面的许多例子均可被视为此类一般概念的具体版本。
==度量空间的例子==
* 具有由绝对值给出的距离函数  之实数集合，以及更一般性地，具有欧几里得距离之  维欧氏空间，这些空间均为完备度量空间。具有相关度量的有理数集合也会形成一个度量空间，但不完备。
* 具有距离函数  的正实数集合为完备度量空间。
* 双曲平面是个度量空间。
* 每个赋范向量空间都是度量空间，其度量可定义为 。若此类空间为完备的，则称之为巴拿赫空间。例如：
**曼哈顿范数会形成曼哈顿距离。其中，任何两点或向量之间的距离为对应坐标间差距之和。
** 极大范数会形成切比雪夫距离（或称为棋盘距离），为国王在棋盘上从  移动到  的所需最小步数。
* 赋范向量空间上的英国铁路度量（亦称为邮局度量或法国铁路度量）定义为 ，其中 x 与 y 为不同的点，且 。更一般性地， 可用由任意集合  映射至非负实数，且  至多出现一次的函数  替代：则集合 S 上的度量可定义为 ，其中  与  为不同的点，且 。此一度量的名称系用来影射不论旅途（或信件）的终点为何，都会经过伦敦（或巴黎）的情形。
* 若  为一度量空间，且  为  之子集，则  亦为一度量空间，且  的定义域缩限于 。
*离散度量，其中 ，若 ，不然 。离散度量是个简单但重要的例子，可适用于任何非空集合。特别是，离散度量证明了对于任何非空集合，总是有一个度量空间与之关联。使用此一度量，每个点都是开球，且因此每个子集都是开的，且该空间具有离散拓扑。
* 如果  是某个集合而  是度量空间，则由所有有界函数 （即那些像为  的有界子集之函数）所组成之集合，可透过定义对于任两个有限函数  与 ，（其中  为上确界），转换成度量空间。此一度量称之为一致度量或上确界度量，且若 M 为完备的，则此一函数空间亦为完备的。若 X 亦是个拓扑空间，则由所有从  至  的有界连续函数所组成之集合（具有一致度量），当  为完备时，该函数空间亦为完备的。
* 莱文斯坦距离是衡量两个字串  与  间之差异的方法，定义为字串透过删除、插入或取代将  转变成  所需的最少步骤。该距离可被视为一个图中最短路径度量的特例，亦为编辑距离的一个例子。
* 如果  是连通黎曼流形，则通过把在两点之间的距离定义为连接两点的路径(连续可微曲线)之长度的下确界，将  变成度量空间。
* 如果  是无向连通图，则  的顶点集合  可通过定义  为连接  的  的最短路径的长度，变成度量空间。在几何群论里，该度量可适用于一个群的凯莱图上，并称之为字度量。
*类似的，在 3D 中在多面体的表面上的度量包括平常的度量，在表面上的距离；在多面体的边上第三个度量是路径为边的度量。例如，在单位立方体相对顶点之间的距离分别是 、 和 。
* 如果  是度量空间，我们把  的所有紧致子集的集合  变成度量空间，通过定义豪斯多夫距离 。在这个度量中，两个元素是相互邻近的，如果一个集合的所有元素邻近于另一个集合某个元素。可以证明  是完备的如果  是完备的。
* 所有紧致度量空间(的等距类)的集合形成了关于Gromov-豪斯多夫距离的度量空间。
* 给定度量空间  和递增凹函数  使得  当且仅当 ，则  也是  上的度量。
* 给定从任何集合  到度量空间  的单射函数 ， 定义了在  上的度量。
* 使用T-理论，度量空间的紧跨越(tight span)也是度量空间。紧跨越在多种类型的分析中都有用处。
* 由某些-{zh-tw:体;zh-cn:域}-上的所有  矩阵所组成之集合，是个具有秩距离  的度量空间。
* 赫吕度量用于赛局理论里。
==拓扑性质==
每个度量空间都自然地会是个拓扑空间，且因此与一般拓扑空间有关的所有定义及定理也一样适用于所有的度量空间。
对于度量空间  内的任一点 ，可定义中心为 ，半径为 （其中， 为一实数）的开球
这些开球会形成  上拓扑的基，使之成为一个拓扑空间。
具体来说， 的子集  称之为开的，若对于每个  内的 ，存在一个 ，使得  包含于 。开集的补集为闭集。点  的邻域是指  内包含中心为  的某一开球之任何子集。
拓扑空间若可由某个度量空间形成，则称之为可度量化空间；更进一步的细节请见乌雷松度量化定理。
=== 闭集 ===
度量空间  内的子集  是封闭的，若且唯若每个在  内的序列若可收敛至  内的一极限，则该极限在  内。
== 度量空间的序列 ==
复数数列的极限是基于绝对值去定义的，但考虑到绝对值本身是一个定义在复数系  上的度量，很自然地可以对度量空间  作如下推广：
是  上的一个序列，若存在  使得
「对任意正实数  ，存在正整数  ，使任意的正整数  只要有  ，就有 。」
那称  为序列  的极限，且用
或更简略的
来表达。
== 完备化 ==
仿造以有理数柯西序列数列构造实数的过程，可以将任意度量空间扩张为完备空间，也就是在新度量空间取值的柯西序列，都会在新度量的意义下收敛。
以下的结果历史上是由费利克斯·豪斯多夫于1914年首先提出的。
=== 等价关系 ===
对于任意度量空间  ，若定义  为
也就是说，  为所有在  上取值的柯西序列所构成的集合。然后定义以下的等价关系
也就是两序列之间的距离趋近于零，则被认为是等价的。接下来取  ，也就是所有  在  上的等价类所构成的集合。
=== 新的度量 ===
这样可以定义一个函数  满足
也就是新的度量，是等价类之间距离的极限值。
为了证明的确可以定义这样的函数，要先证明对任意柯西序列  ， 是存在的。
根据  （也就是柯西序列）的定义，对任意正实数  ，可以取正整数  ，使任意的正整数  只要有  就有
=== 新的度量空间 ===
=== 等距同构 ===
=== 稠密性 ===
==度量空间的类型==
===有界与完全有界空间===
一个集合的直径。
度量空间 M 被称为有界的，如果存在某个数 r，使得对于所有 M 中的 x 和 y 有 d(x,y) ≤ r。r 最小可能的值称之为 M 的直径。空间 M 称之为预紧致的或完全有界的，如果对于所有 r > 0 存在有限多个半径为 r 的开球，其并集覆盖 M。因为这些球为有限个，所以该空间的直径亦为有限值，从而得出(使用三角不等式)所有完全有界空间都是有界的。但逆命题不成立，因为任何无限集合均可给定其离散度量(上面第一个例子)，使得该空间是有界的，但不是完全有界的。
须注意，在讨论实数空间的区间及欧氏空间的区域时，有时会将有界集合指为「有限区间」或「有限区域」。不过，有界性与「有限」之间一般并无关连；有限通常意含著有界，但反之不一定成立。
===紧致空间===
度量空间 M 是紧致的，若每个 M 内的序列均有个子序列，会收敛于 M 内的一点。这称为序列紧致性，且在度量空间（但不是一般拓扑空间）里，这等价于可数紧致与以开覆盖定义之紧致性等拓扑性质。
紧致度量空间的例子包括具绝对值度量的闭区间 0,1、所有具有限多个点的度量空间，以及康托尔集。每个紧致集合的闭子集亦是紧致的。
一度量空间为紧致的，若且唯若该空间是完备的，且为完全有界的。这即是所谓的海涅－博雷尔定理。须注意，紧致性仅决取于拓扑，而有界性则决取于度量。
勒贝格数引理表示，对于紧致度量空间 M 内的每个开覆盖，均存在一个「勒贝格数」δ，使得每个 M 内直径 1,d1) 与 (M2,d2) 为两个度量空间。
===连续映射===
映射  是连续的，若具有下列任意一个（也就得到了以下所有的）等价性质：
一般拓扑学的连续性
对于每个在  内的开集 ，其原像  在  内是开的。
这是在拓扑学里连续性的一般定义。
序列连续性
若　 是　 内一序列，且会收敛至  内的 ，则序列  会收敛至  内的 。
这是由爱德华·海涅所提出的序列连续性。
ε-δ定义
对于每个在  内的  ，任意给定 ，均存在 ，使得对于所有  内的 ，
:
这用到了极限的(ε, δ)定义，由奥古斯丁·路易·柯西所提出。
此外， 是连续的，若且唯若该函数在  的每个紧致子集内都是连续的。
每个紧致集合在连续函数下的像亦是紧致的，且每个连通集合在连续函数下的像亦是连通的。
===一致连续映射===
映射 ƒ : M1 → M2 为一致连续的，若对于每个 ε > 0，均存在 δ > 0，使得
每个一致连续映射 ƒ : M1 → M2 均是连续的。若 M1 是紧致的，则反向的陈述亦会成立。（海涅－康托尔定理）
一致连续映射会将 M1 内的柯西序列转换成 M2 内的柯西序列。对于连续映射，该陈述则不一定会成立；例如，一个将开区间 (0,1) 满射至实数线的连续映射即会将柯西序列转换成无界的序列。
===利普希茨连续映射与压缩映射===
给定一数 K > 0，映射 ƒ : M1 → M2 为利普希茨连续，若
每个利普希茨连续映射均是一致连续的，但反之不一定成立。
若 K 2 = M1，且 M1 是完备的。若 f 是个压缩映射，则 f 会有个唯一的不动点（巴拿赫不动点定理）。若 M1 是紧致的，则条件可稍微放宽一点：f 会有个唯一的不动点，若
.
===等距同构===
映射 f:M1→M2 称之为等距同构，若
等距同构总会是单射的；紧致或完备集合在等距同构下的像仍分别会是紧致或完备的。不过，若等距同构不是满射的，则闭（或开）集的像不一定是闭（或开）的。
===拟等距同构===
映射　f : M1 → M2　称之为拟等距同构，若存在常数 A ≥ 1 与 B ≥ 0，使得
且有一个常数 C ≥ 0，使得 M2 内的每个点与像 f(M1) 内的某个点间之距离至多为 C。
须注意，拟等距同构不需要是连续的。拟等距同构比较度量空间的「大尺度结构」；多用于几何群论内与字度量有关的理论。
==度量空间等价性的概念==
度量空间之间有著不同的等价性。依据两个空间之间能够存在的函数，可给出不同等价的程度与类型。
给定两个度量空间 (M1, d1) 和 (M2, d2):
* 这两个空间称之为同胚（拓扑同构）的，若存在两者间的同胚（即两个方向均为连续的双射）。在此条件下，这两个空间能导出相同的拓扑空间。
* 这两个空间称之为一致同构的，若存在两者间的一致同构（即两个方向均为一致连续的双射）。
* 这两个空间称之为等距同构的，若存在两者间的等距同构双射。在此一条件下，两个度量空间基本上是相同的。
* 这两个空间称之为拟等距同构的，若存在两者间的拟等距同构。
== 拓扑性质 ==
度量空间是个仿紧致豪斯多夫空间，因此是个正规空间（且实际上是个完美正规空间）。度量空间也是个第一可数空间，因为可使用具有理数半径的球作为该空间的基。
依据提策扩展定理，每个度量空间都能具有单位分解，且每个定义于度量空间的闭子集上之连续实数值函数均能扩展成整个空间的连续映射。每个定义于度量空间的子集上之实数值利普希茨连续映射亦能扩展成整个空间的利普希茨连续映射。
度量空间 M 上的度量拓扑是使得  映射至非负实数的度量 d 为连续之最粗糙拓扑。
==点和集合间的距离==
构造分离一个点与一个闭集的函数(作为完全正则空间的要求)的简单方式是考虑点和集合之间的距离。 如果 (M,d) 是度量空间，S 是 M 的子集而 x 是 M 的点，则可定义从 x 到 S 的距离为
，其中的  表示下确界。
d(x, S) = 0 若且唯若 x 包含于 S 的闭包内。此外，可将三角不等式推广如下：
其中，可证明映射  是连续的。
给定两个 M 内的子集 S 与 T，可定义豪斯多夫距离为
，其中的  表示上确界。
一般而言，豪斯多夫距离 dH(S,T) 可以是无限大的。两个集合的在豪斯多夫距离上会互相靠近，若其中一个集合的每个元素会靠近另一集合的某个元素。
豪斯多夫距离 dH 会将由所有 M 内非空紧致子集所组成之集合 K(M) 转换成一个度量空间。可证明若 M 是完备的，则 K(M) 亦是完备的。（紧致子集的收敛性亦可由库拉托夫斯基收敛给出。）
然后，可定义任两个度量空间之间的格罗莫夫-豪斯多夫距离为这两个空间的等距同构嵌入版本间之最短豪斯多夫距离。使用此一距离，由所有（等距同构类型的）紧致度量空间所组成的类本身即会形成一个度量空间。
==积度量空间==
如果  是度量空间，而 N 是在 Rn 上的欧几里得范数，则  亦为度量空间，且积度量定义为
积度量导出之拓扑等价于积拓扑。依据有限维的范数之等价性，曼哈顿范数、p-范数、最大范数，及其他当座标内的分量增加时不会减少（符合三角不等式）之范数，所给出的度量均为拓扑同构。
同样的，度量空间的可数积度量可以定义为如下度量：
度量空间的不可数积度量不一定是可度量化的。例如，  不是第一可数空间，因此不能度量化。
===距离的连续性===
值得注意的是，在一个空间  中，距离映射  在上述任何一个积度量  下均是一致连续的，且特别是，在  下的积拓扑会是连续的。
==商度量空间==
若 M 为度量空间，其度量为 d，且 ~ 为 M 上之等价关系，则可在商集合 M/~ 上赋加下面的（伪）度量。给定两个等价类 x 与 y，可定义
其中，、、（即取从 x 至 y 经过所有等价类之路径的最短长度）。一般来说，这仅能定义出一个伪度量，即 d'(x,y)=0 不一定蕴涵 x = y。不过，对于良好的等价关系（如将多面体沿著面胶合），则会是个度量。此外，若 M 是个紧致空间，则该度量在 M/~ 上导出之拓扑为商拓扑。
商度量 d 具有下列泛性质：若  是个度量空间之间的metric map（即对于所有 x、y，），满足当  时，f(x)=f(y) 的条件，则函数  定义为 ，亦会是个度量映射 。
一个拓扑空间是序列的，若且唯若该空间是个度量空间的商空间。
==度量空间的推广==
* 每个度量空间都自然会是个一致空间，而每个一致空间也都自然会是个拓扑空间。因此，一致空间与拓扑空间均可视为度量空间的推广。
* 若考量上面给定之度量空间的第一个定义，放宽定义中的第二个条件，则可得到伪度量空间。若移除第三个或第四个条件，则可分别得到拟度量空间与半度量空间。
* 若距离函数的对应域为扩展实数线 R∪{+∞}，定义中的四个条件维持不变，则称该空间为「扩展度量空间」或「-度量空间」。若距离函数的对应域为某个（适当的）有序集（且三角不等式有对应的调整），则可得出「扩展超度量」这个概念。
* Approach space是度量空间的推广，以点对集合的距离取代点对点的距离。
* 连续性空间是度量空间与偏序集的推广，用来统整度量空间与域的概念。
* 部分度量空间是为了对度量空间作最小化的推广，使得每个点对自身的距离不再一定为零。
===度量空间作为丰富范畴===
有序集  可透过令  时恰有一态射 ，否则没有态射，将之视为一个范畴。使用 + 作为张量积，0 作为单位元，该集合可变成一个么半范畴 。每个度量空间 (M, d) 均可被视为  上的丰富范畴 。其步骤如下：
* 令 （M 内的元素为丰富范畴  之物件）。
* 对于每个 M 内的元素 X、Y，令 （M 的度量为丰富范畴  之态射）。
* 态射复合  亦为  内的唯一态射，因为三角不等式 。
* 单位态射  是唯一的，因为 。