距离函数

title: 定义.
content: 集合 "X" 上的度量为一函数 (称之为“距离函数”或简称为“距离”)  这里的 R 是实数的集合,且对于所有 "X" 内的 "x"、"y"、"z",均满足如下条件:  条件1与条件2为正定函数的定义。条件1可由其他条件推导而出。  上述条件反应了对距离这个概念的直观想法。例如,不同点间之距离为正值,且从 x 至 y 的距离会等于从 y 至 x 的距离。三角不等式则意指从 x 经过 y 至 z 的距离至少会大于直接从 x 至 z 的距离。欧几里得在其著作中表示,两个点之间的最短距离为直线;这即是其几何学内之三角不等式。  上面的条件也可只保留条件2,再加上一个新的三角不等式条件: 条件1可直接由条件4*导出。使用条件2与条件4*可导出条件3,并因而给出条件4。  一度量被称为超度量,若该度量满足更强之三角不等式,每个点都不能落于其他点「之间」:  "X" 上的度量 "d" 叫做内在度量,如果 "X" 中的任两个点 "x" 和 "y" 可以被其长度任意接近于 "d"("x", "y") 的曲线连接起来。  对于定义了加法 + : "X" × "X" → "X" 的集合,"d" 叫做平移不变度量,如果,对于所有 "X" 中的 "x"、"y" 和 "a"。
title: 度量的等价性.
content: 对于一个给定集合 "X",两个度量 "d" 和 "d" 被称为拓扑等价的 (一致等价的)如果恒等映射 是同胚(一致同构)。  例如,如果 formula_4 是度量,则 formula_5 和 formula_6 是等价于 formula_4 的度量。  参见度量空间的等价性。
title: 向量空间上的度量.
content: 向量空间上的范数均等价于某个度量,且会是均匀与平移不变的。换句话说,每个范数都能决定一个度量,而某个度量能决定一个范数。  给定一个赋范向量空间 ("X",||.||),可定义 "X" 上的度量为 度量 "d" 被称为由范数 ||.|| 所导出。  反过来如果在向量空间 "X" 上的度量 "d" 满足下列性质 则可定义 "X" 上的范数为  类似的,半范数能导出伪度量(见后),均匀(homogeneous)平移不变伪度量能导出半范数。
title: 多重集上的度量.
content: 可将度量的概念由两个元素间之距离推广成非空有限多重集内元素之距离。多重集是集合概念的推广,使得同一元素能出现多次。定义 Z=XY 为由多重集 X 与 Y 内元素所组成之多重集,亦即若 x 在 X 内出现一次,在 Y 内亦出现一次,则会在 Z 内出现两次。在非空有限多重集上的距离函数 d 是个度量,若 须注意,最熟悉的两个元素间之度量仅出现在条件 1 与条件 2 内的多重集 X 有两个元素,以及条件 3 内的多重集有一个元素的情形下。例如,若 X 由两个 x 所组成,则依据条件 1,d(X)=0。  一个简单的例子为由元素为整数之非空有限多重集 X 所组成之集合,具有度量 formula_9。较复杂的例子则有资讯距离与归一化压缩距离。
title: 推广度量.
content: 有许多放宽度量公理的方法,能给出较度量空间更为广义的不同概念。用来描述这些推广的词汇并没有统一,例如在泛函分析里的伪度量通常可由向量空间上的半范数导出,因此会很自然地称之为「半度量」。在拓扑学里,名词使用间的相互冲充时常出现。
title: 扩展度量.
content: 一些作者允许距离函数 d 达到无限大值,亦即距离是在扩展实数线上的非负数。此一函数称之为扩展度量,或「∞-度量」。每个扩展度量均可换变成有限度量,使得度量空间在考量拓扑上之概念(如连续性或收敛性)时会等价。此一有限度量可使用一个在零时值为零的次可加单调递增有界函数,如 "d"′("x", "y") = "d"("x", "y") / (1 + "d"("x", "y")) or "d"′′("x", "y") = min(1, "d"("x", "y"))。  度量的取值可由正实数 <nowiki>[0,∞)</nowiki> 推广至其他任一有向集合。在此一情形下,公理的重构会建构出一致空间:具有能比较不同点之局部拓扑的代数结构之拓扑空间。
title: 伪度量.
content: X 上的伪度量是个函数 d : X × X → R,满足度量的公理,除了条件 2 不一定只在相同元素时才为 0。换句话说,伪度量的公理为:  在某些情形下,伪度量因其与半范数间的关系,会被称为半度量。
title: 拟度量.
content: 有时,会定义拟度量为一个除对称性外,满足度量所有公理之函数:  在现实生活中,拟度量很常见。例如,给定一个由山村所组成之集合 X,则 X 内元素间之平均步行时间会形成一个拟度量,因为上坡会比下坡花去更多时间。另一个例子为具有单行道的出租车度量,从点 A 至点 B 的路径与从点 B 至点 A 的路径不组成不一样的集合。不过,这个概念很少用于数学之中,且其名称亦未完成统一。  实数上的拟度量可定义为 由此一拟度量所导出之拓扑空间为下限拓扑。此一空间可描述削去金属棒的过程:可轻易地减少其长度,但很难或不可能增加其长度。  若 d 为 X 上之拟度量,则下列式子可形成 X 上的度量 d':
title: 半度量.
content: X 上之半度量为一函数 d : X × X → R,满足前三个公理,但不一定满足三角不等式:  一些作者会使用较弱的三角不等式,如: ρ-度量外不等式蕴涵着 ρ-放宽三角不等式(假定第一个公理成立),且 ρ-放宽三角不等式蕴涵着 2ρ-度量外不等式。三角不等式即为 1-放宽三角不等式,因此蕴涵着 2-度量外不等式,且超度量不等式恰为 1-度量外不等式。满足这些等价条件的半度量有时会被称为「拟度量」、「近度量」或外度量。  ρ-度量外不等式被用来模拟因特网内的来回通讯延迟。
title: 预度量.
content: 放宽度量的后三个公理会形成预度量,即一个满足下列条件之函数:  其称呼并未统一。预度量有时会被用来指其他如伪半度量或伪度量等度量的推广。  每个预度量都能依下列方式形成拓扑。对于一个正实数 r,中心为点 p,半径为 r 的开球为 一个集合称之为「开放」的,若对于任一个集合内的点 p,均存在一个 B(p) 包含于该集合内。每个预度量空间都是拓扑空间,并实际上,都是序列空间。一般而言,B(p) 不一定会是此一拓扑之开集合。两个集合 A 与 B 间的距离可定义为 上式会形成预度量空间内幂集上之预度量。若从一(伪半)度量空间开始,则可得到一个伪半度量,亦即为一个对称预度量。每个预度量都可以形成一个预闭运算子,如下所示:
title: 伪拟度量.
content: 可结合「伪」、「拟」、「半」等前缀词,如伪拟度量会放宽同时公理与对称公理,且仅是个具三角不等式的预度量。对于伪拟度量空间,开球可形成开集合的基。有关伪拟度量的一个非常基本的例子为集合 {0,1},具有 d(0,1) = 1 与 d(1,0) = 0 所形成之预度量。其对应之拓扑空间为谢尔宾斯基空间。  威廉·劳维尔曾研究过具有扩展伪拟度量的集合,称之为「广义度量空间」。从范畴论的观点来看,扩展拟度量空间与扩推伪拟度量空间,及其对应之不放大映射,是表现最好的度量空间范畴。可取任意多的积与上积,形成在给定范畴内的商对象。若去掉「扩展」这个条件,则只能取有限多的积与上积。若去掉「伪」这个条件,则无法形成商对象。趋近空间为能维持这些良好的范畴性质之度量空间的推广。
title: 推广度量的重要情况.
content: 在微分几何里会使用到度量张量,可被认为是个「无穷小」二次度量函数,被定义为在流形的切空间上,具有适当之可微分性质的非退化对称双线性形式。虽然度量张量不是本条目所定义之度量函数,透过对流形上之路径的度量张量之平方根积分,可导出伪半度量函数。具有度量张量的流形称为伪黎曼流形,用于相对论的几何研究内。若对度量张量上之内积加上正定性之性质,则其流形称之为黎曼流形,且其路径之积分能导出度量。

Summary: 在数学中,度量(度规)或距离函数是个函数,定义了集合内每一对元素之间的距离。带有度量的集合叫做度量空间。度量能导出集合上的拓扑,但不是所有拓扑都可以由度量生成。当一个拓扑空间的拓扑可以由度量来描述的时候,则称此一拓扑空间为可度量化的。

Métrique (mathématiques): En mathématiques, un espace métrique est ensemble muni d'une distance. Toute distance induit une topologie sur un ensemble mais la réciproque est fausse : un espace topologique n'est pas toujours métrisable.