距离函数

✍ dations ◷ 2025-04-03 11:49:46 #度量几何,点集拓扑学

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

在微分几何中,“度量”一词也用来称呼定义为由微分流形的切向量映射至标量之双线性形式,让沿着曲线的距离可透过积分来取得。此一概念有个更适合的术语,称之为度量张量(或黎曼度量)。

集合 上的度量为一函数 (称之为“距离函数”或简称为“距离”)

这里的 R 是实数的集合,且对于所有 内的 、、,均满足如下条件:

条件1与条件2为正定函数的定义。条件1可由其他条件推导而出。

上述条件反应了对距离这个概念的直观想法。例如,不同点间之距离为正值,且从 x 至 y 的距离会等于从 y 至 x 的距离。三角不等式则意指从 x 经过 y 至 z 的距离至少会大于直接从 x 至 z 的距离。欧几里得在其著作中表示,两个点之间的最短距离为直线;这即是其几何学内之三角不等式。

上面的条件也可只保留条件2,再加上一个新的三角不等式条件:

条件1可直接由条件4*导出。使用条件2与条件4*可导出条件3,并因而给出条件4。

一度量被称为超度量,若该度量满足更强之三角不等式,每个点都不能落于其他点“之间”:

上的度量 叫做内在度量,如果 中的任两个点 和 可以被其长度任意接近于 (, ) 的曲线连接起来。

对于定义了加法 + : × → 的集合, 叫做平移不变度量,如果

,对于所有 中的 、 和 。

对于一个给定集合 ,两个度量 12 被称为拓扑等价的 (一致等价的)如果恒等映射

是同胚(一致同构)。

例如,如果 d {\displaystyle d} ,||.||) ,可定义 上的度量为

度量 被称为由范数 ||.|| 所导出。

反过来如果在向量空间 上的度量 满足下列性质

则可定义 上的范数为

类似的,半范数能导出伪度量(见后),均匀(homogeneous)平移不变伪度量能导出半范数。

可将度量的概念由两个元素间之距离推广成非空有限多重集内元素之距离。多重集是集合概念的推广,使得同一元素能出现多次。定义 Z=XY 为由多重集 X 与 Y 内元素所组成之多重集,亦即若 x 在 X 内出现一次,在 Y 内亦出现一次,则会在 Z 内出现两次。在非空有限多重集上的距离函数 d 是个度量,若

须注意,最熟悉的两个元素间之度量仅出现在条件 1 与条件 2 内的多重集 X 有两个元素,以及条件 3 内的多重集有一个元素的情形下。例如,若 X 由两个 x 所组成,则依据条件 1,d(X)=0。

一个简单的例子为由元素为整数之非空有限多重集 X 所组成之集合,具有度量 d ( X ) = max { x : x X } min { x : x X } {\displaystyle d(X)=\max\{x:x\in X\}-\min\{x:x\in X\}} ′(, ) = (, ) / (1 + (, )) or ′′(, ) = min(1, (, ))。

度量的取值可由正实数 :

在现实生活中,拟度量很常见。例如,给定一个由山村所组成之集合 X,则 X 内元素间之平均步行时间会形成一个拟度量,因为上坡会比下坡花去更多时间。另一个例子为具有单行道的计程车度量,从点 A 至点 B 的路径与从点 B 至点 A 的路径不组成不一样的集合。不过,这个概念很少用于数学之中,且其名称亦未完成统一。

实数上的拟度量可定义为

由此一拟度量所导出之拓扑空间为下限拓扑。此一空间可描述削去金属棒的过程:可轻易地减少其长度,但很难或不可能增加其长度。

若 d 为 X 上之拟度量,则下列式子可形成 X 上的度量 d':

X 上之半度量为一函数 d : X × X → R,满足前三个公理,但不一定满足三角不等式:

一些作者会使用较弱的三角不等式,如:

ρ-度量外不等式蕴涵着 ρ-放宽三角不等式(假定第一个公理成立),且 ρ-放宽三角不等式蕴涵着 2ρ-度量外不等式。三角不等式即为 1-放宽三角不等式,因此蕴涵着 2-度量外不等式,且超度量不等式恰为 1-度量外不等式。满足这些等价条件的半度量有时会被称为“拟度量”、“近度量”或外度量。

ρ-度量外不等式被用来模拟互联网内的来回通讯延迟。

放宽度量的后三个公理会形成预度量,即一个满足下列条件之函数:

其称呼并未统一。预度量有时会被用来指其他如伪半度量或伪度量等度量的推广。

每个预度量都能依下列方式形成拓扑。对于一个正实数 r,中心为点 p,半径为 r 的开球为

一个集合称之为“开放”的,若对于任一个集合内的点 p,均存在一个 Br(p) 包含于该集合内。每个预度量空间都是拓扑空间,并实际上,都是序列空间。一般而言,Br(p) 不一定会是此一拓扑之开集合。两个集合 A 与 B 间的距离可定义为

上式会形成预度量空间内幂集上之预度量。若从一(伪半)度量空间开始,则可得到一个伪半度量,亦即为一个对称预度量。每个预度量都可以形成一个预闭运算子,如下所示:

可结合“伪”、“拟”、“半”等前缀词,如伪拟度量会放宽同时公理与对称公理,且仅是个具三角不等式的预度量。对于伪拟度量空间,开球可形成开集合的基。有关伪拟度量的一个非常基本的例子为集合 {0,1},具有 d(0,1) = 1 与 d(1,0) = 0 所形成之预度量。其对应之拓扑空间为谢尔宾斯基空间。

威廉·劳维尔曾研究过具有扩展伪拟度量的集合,称之为“广义度量空间”。从范畴论的观点来看,扩展拟度量空间与扩推伪拟度量空间,及其对应之不放大映射,是表现最好的度量空间范畴。可取任意多的积与上积,形成在给定范畴内的商对象。若去掉“扩展”这个条件,则只能取有限多的积与上积。若去掉“伪”这个条件,则无法形成商对象。趋近空间(英语:Approach space)为能维持这些良好的范畴性质之度量空间的推广。

在微分几何里会使用到度量张量,可被认为是个“无穷小”二次度量函数,被定义为在流形的切空间上,具有适当之可微分性质的非退化对称双线性形式。虽然度量张量不是本条目所定义之度量函数,透过对流形上之路径的度量张量之平方根积分,可导出伪半度量函数。具有度量张量的流形称为伪黎曼流形,用于相对论的几何研究内。若对度量张量上之内积加上正定性之性质,则其流形称之为黎曼流形,且其路径之积分能导出度量。

相关

  • 醋酸铅2.55 g/cm3(三水合物)75 °C(三水合物分解)乙酸铅,又称醋酸铅,是一种白色晶体状化合物,带甜味。将铅黄(一氧化铅)和乙酸反应可以制备乙酸铅。和其他铅化合物一样,乙酸铅也有很大毒性
  • 髟部,为汉字索引中的部首之一,康熙字典214个部首中的第一百九十个(十划的则为第四个)。就繁体和简体中文中,髟部归于十划部首。髟部只以上方为部字。且无其他部首可用者将部首归
  • 负折射率负折射(英语:Negative refraction)指的是光束在界面处的折射方向与正常折射方向(正常的折射光线与入射光线在法线异侧)相反,即折射光线和入射光线位于法线同侧的电动力学现象。用
  • 布罗德里克·克劳福德布罗德里克·克劳福德(英语:Broderick Crawford,1911年12月9日-1986年4月26日),美国电影演员,曾因《一代奸雄》获得奥斯卡最佳男主角奖,这部影片使得他几乎一夜成名。他出生于一个演
  • 天生杀人狂《天生杀人狂》(英语:)是一部1994年上映的美国黑色幽默犯罪电影,由奥利弗·斯通导演,伍迪·哈里森、朱丽叶特·刘易斯、小罗伯特·唐尼和汤米·李·琼斯主演。本片讲述了一对经历
  • 永野将司永野将司(日语:永野 将司/ながの しょうじ ,1993年3月2日-)是一名出身于日本大分县山香町(日语:山香町)(现杵筑市)的棒球选手,司职投手,目前效力于日本职棒千叶罗德海洋。72 的场直树 |
  • 巴利恰克巴利恰克(Balichak),是印度西孟加拉邦Medinipur县的一个城镇。总人口12206(2001年)。该地2001年总人口12206人,其中男性6092人,女性6114人;0—6岁人口1360人,其中男660人,女700人;识字
  • 梅鲁 (贾坎德邦)梅鲁(Meru),是印度贾坎德邦Hazaribag县的一个城镇。总人口8547(2001年)。该地2001年总人口8547人,其中男性5673人,女性2874人;0—6岁人口1065人,其中男563人,女502人;识字率75.41%,其中
  • 卡斯巴卡斯巴(Kasba),是印度比哈尔邦Purnia县的一个城镇。总人口25522(2001年)。该地2001年总人口25522人,其中男性13478人,女性12044人;0—6岁人口4474人,其中男2328人,女2146人;识字率49.46
  • 绝世英豪《绝世英豪》(英语:)是2002年上映的一部美国剧情电影,本片由凯文雷诺斯执导,剧情改编自大仲马的基度山恩仇记,由吉姆·卡维佐饰演爱德蒙·唐泰斯(Edmond Dantès),亨利·卡维尔饰演