距离函数- 维基百科，自由的百科全书

在数学中，距离函数（distance function）或度量（度規）函数（metric function）是個函數，定义了集合內每一對元素之间的距离。

带有度量的集合叫做度量空间。

距離函數 定義集合元素之間距離的數學函數 語言 監視 編輯 在數學中，距離函數（distancefunction）或度量（度規）函數（metricfunction）是個函數，定義了集合內每一對元素之間的距離。

帶有度量的集合叫做度量空間。

度量能導出集合上的拓撲，但不是所有拓撲都可以由度量生成。

當一個拓撲空間的拓撲可以由度量來描述的時候，則稱此一拓撲空間為可度量化的。

比較平面上曼哈頓度量與歐幾里得度量之不同：在曼哈頓度量裡，三條線（紅、黃、藍）對相同的起終點有相同的長度（12）；而在歐幾里得度量裡，綠線的長度為 6 2 ≈ 8.49 {\displaystyle6{\sqrt{2}}\approx8.49} ，且是唯一的最短路徑。

在微分幾何中，「度量」一詞也用來稱呼定義為由微分流形的切向量映射至純量之雙線性形式，讓沿著曲線的距離可透過積分來取得。

此一概念有個更適合的術語，稱之為度量張量（或黎曼度量）。

目次 1定義 2例子 3度量的等價性 4向量空間上的度量 5多重集上的度量 6推廣度量 6.1擴展度量 6.2偽度量 6.3擬度量 6.4半度量 6.5預度量 6.6偽擬度量 6.7推廣度量的重要情況 7參見 8註記 9參考資料 10外部連結 定義編輯 集合X上的度量為一函數（稱之為「距離函數」或簡稱為「距離」） d :X×X→R這裡的R是實數的集合，且對於所有X內的x、y、z，均滿足如下條件: d(x,y)≥0（非負性，或稱分離公理） d(x,y)=0若且唯若x=y（同時公理） d(x,y)=d(y,x)（對稱性） d(x,z)≤d(x,y)+d(y,z)（次加性／三角不等式）條件1與條件2為正定函數的定義。

條件1可由其他條件推導而出[1]。

上述條件反應了對距離這個概念的直觀想法。

例如，不同點間之距離為正值，且從x至y的距離會等於從y至x的距離。

三角不等式則意指從x經過y至z的距離至少會大於直接從x至z的距離。

歐幾里得在其著作中表示，兩個點之間的最短距離為直線；這即是其幾何學內之三角不等式。

上面的條件也可只保留條件2，再加上一個新的三角不等式條件： 4*.d(x,z)≤d(z,y)+d(y,x)條件1可直接由條件4*導出[2]。

使用條件2與條件4*可導出條件3，並因而給出條件4。

一度量被稱為超度量，若該度量滿足更強之三角不等式，每個點都不能落於其他點「之間」： 對於所有M中的x,y,z，d(x,z)≤max(d(x,y),d(y,z))X上的度量d叫做內在度量，如果X中的任兩個點x和y可以被其長度任意接近於d(x,y)的曲線連接起來。

對於定義了加法+ :X×X→X的集合，d叫做平移不變度量，如果 d(x,y)=d(x+a,y+a)，對於所有X中的x、y和a。

例子編輯 主條目：度量空間§ 度量空間的例子 離散度量:如果x=y則d(x,y)=0，否則d(x,y)=1。

歐幾里得度量是平移和旋轉不變的。

曼哈頓度量是平移不變的。

更一般的，任何由範數(見後)引發的度量是平移不變的。

如果(pn)n∈N是定義(局部凸)拓撲向量空間E的半範數序列，則 d ( x , y ) = ∑ n = 1 ∞ 1 2 n p n ( x − y ) 1 + p n ( x − y ) {\displaystyled(x,y)=\sum_{n=1}^{\infty}{\frac{1}{2^{n}}}{\frac{p_{n}(x-y)}{1+p_{n}(x-y)}}}   是定義相同拓撲的度量。

(可以將 1 2 n {\displaystyle{\frac{1}{2^{n}}}}  替代為任何嚴格正數的可總和序列 ( a n ) {\displaystyle(a_{n})}  。

)圖度量，依特定圖內的距離定義出之度量。

編碼理論裡的漢明距離。

黎曼度量，一種適合用於任一微分流形上的度量。

對任一此類流形，可在每個點p上選定一個對稱、正定的雙線性形式L:Tp×Tp→ℝ，其中Tp為p上的切空間。

因此，每個在此流形上的切向量v的長度即定義為||v||=√L(v,v)。

對於每個在此流形上的可微路徑，其長度則定義為切向量之長度對路徑上每個點的積分，其中其積分可透過路徑參數計算之。

最後，為得到定義於流形上每對點{x,y}上的度量，可取從x至y的所有路徑間，其路徑長度之最小值。

具有黎曼度量之光滑流形稱之為黎曼流形。

複投影空間上的富比尼–施圖迪度量，為黎曼度量的一個例子。

度量的等價性編輯 對於一個給定集合X，兩個度量d1和d2被稱為拓撲等價的(一致等價的)如果恆等映射 id:(X,d1)→(X,d2)是同胚(一致同構)。

例如，如果 d {\displaystyled}  是度量，則 min ( d , 1 ) {\displaystyle\min(d,1)}  和 d 1 + d {\displaystyle{d\over1+d}}  是等價於 d {\displaystyled}  的度量。

參見度量空間的等價性。

向量空間上的度量編輯 向量空間上的範數均等價於某個度量，且會是均勻與平移不變的。

換句話說，每個範數都能決定一個度量，而某個度量能決定一個範數。

給定一個賦范向量空間(X,||.||)，可定義X上的度量為 d(x,y):=||x-y||。

度量d被稱為由範數||.||所導出。

反過來如果在向量空間X上的度量d滿足下列性質 d(x,y)=d(x+a,y+a)(平移不變性) d(αx,αy)=|α|d(x,y)(均勻性)則可定義X上的範數為 ||x||:=d(x,0)類似的，半範數能導出偽度量(見後)，均勻(homogeneous)平移不變偽度量能導出半範數。

多重集上的度量編輯 可將度量的概念由兩個元素間之距離推廣成非空有限多重集內元素之距離。

多重集是集合概念的推廣，使得同一元素能出現多次。

定義Z=XY為由多重集X與Y內元素所組成之多重集，亦即若x在X內出現一次，在Y內亦出現一次，則會在Z內出現兩次。

在非空有限多重集上的距離函數d是個度量[3]，若 d(X)=0，若X內所有元素均相等，不然d(X)>0。

（正定性） d(X)在X的所有置換下不變。

（對稱性） d ( X Y ) ≤ d ( X Z ) + d ( Z Y ) {\displaystyled(XY)\leqd(XZ)+d(ZY)}  。

（三角不等式）須注意，最熟悉的兩個元素間之度量僅出現在條件1與條件2內的多重集X有兩個元素，以及條件3內的多重集有一個元素的情形下。

例如，若X由兩個x所組成，則依據條件1，d(X)=0。

一個簡單的例子為由元素為整數之非空有限多重集X所組成之集合，具有度量 d ( X ) = max { x : x ∈ X } − min { x : x ∈ X } {\displaystyled(X)=\max\{x:x\inX\}-\min\{x:x\inX\}}  。

較複雜的例子則有資訊距離與歸一化壓縮距離[4]。

推廣度量編輯 有許多放寬度量公理的方法，能給出較度量空間更為廣義的不同概念。

用來描述這些推廣的詞彙並沒有統一，例如在泛函分析裡的偽度量通常可由向量空間上的半範數導出，因此會很自然地稱之為「半度量」。

在拓撲學裡，名詞使用間的相互衝充時常出現。

擴展度量編輯 一些作者允許距離函數d達到無限大值，亦即距離是在擴展實數線上的非負數。

此一函數稱之為擴展度量，或「∞-度量」。

每個擴展度量均可換變成有限度量，使得度量空間在考量拓撲上之概念（如連續性或收斂性）時會等價。

此一有限度量可使用一個在零時值為零的次可加單調遞增有界函數，如d′(x,y)=d(x,y)/(1+d(x,y))ord′′(x,y)=min(1,d(x,y))。

度量的取值可由正實數[0,∞)推廣至其他任一有向集合。

在此一情形下，公理的重構會建構出一致空間：具有能比較不同點之局部拓撲的代數結構之拓撲空間。

偽度量編輯 主條目：偽度量空間 X上的偽度量是個函數d :X×X→R，滿足度量的公理，除了條件2不一定只在相同元素時才為0。

換句話說，偽度量的公理為： d(x,y)≥0 d(x,x)=0（但對於不同的值 x ≠ y {\displaystylex\neqy}  ，也可能會出現d(x,y)=0。

） d(x,y)=d(y,x) d(x,z)≤d(x,y)+d(y,z).在某些情形下，偽度量因其與半範數間的關係，會被稱為半度量。

擬度量編輯 有時，會定義擬度量為一個除對稱性外，滿足度量所有公理之函數[5][6]： d(x,y)≥0(非負值) d(x,y)=0 若且唯若 x=y(同時公理) d(x,y)=d(y,x)(對稱性，沒有) d(x,z)≤d(x,y)+d(y,z)(三角不等式)在現實生活中，擬度量很常見。

例如，給定一個由山村所組成之集合X，則X內元素間之平均步行時間會形成一個擬度量，因為上坡會比下坡花去更多時間。

另一個例子為具有單行道的計程車度量，從點A至點B的路徑與從點B至點A的路徑不組成不一樣的集合。

不過，這個概念很少用於數學之中，且其名稱亦未完成統一[7]。

實數上的擬度量可定義為 d(x,y)=x−y若x≥y，不然 d(x,y)=1。

其中，1可被替代為無限大或1+10(y-x)等值。

由此一擬度量所導出之拓撲空間為下限拓撲。

此一空間可描述削去金屬棒的過程：可輕易地減少其長度，但很難或不可能增加其長度。

若d為X上之擬度量，則下列式子可形成X上的度量d'： d'(x,y)=1⁄2(d(x,y)+d(y,x)).半度量編輯 X上之半度量為一函數d :X×X→R，滿足前三個公理，但不一定滿足三角不等式： d(x,y)≥0 d(x,y)=0 若且唯若 x=y d(x,y)=d(y,x)一些作者會使用較弱的三角不等式，如： d(x,z)≤ρ(d(x,y)+d(y,z))   (ρ-放寬三角不等式) d(x,z)≤ρmax(d(x,y),d(y,z))   (ρ-度量外不等式).ρ-度量外不等式蘊涵著ρ-放寬三角不等式（假定第一個公理成立），且ρ-放寬三角不等式蘊涵著2ρ-度量外不等式。

三角不等式即為1-放寬三角不等式，因此蘊涵著2-度量外不等式，且超度量不等式恰為1-度量外不等式。

滿足這些等價條件的半度量有時會被稱為「擬度量」、「近度量」[8]或外度量[9]。

ρ-度量外不等式被用來模擬網際網路內的來回通訊延遲。

[9] 預度量編輯 放寬度量的後三個公理會形成預度量，即一個滿足下列條件之函數： d(x,y)≥0 d(x,x)=0其稱呼並未統一。

預度量有時會被用來指其他如偽半度量[10]或偽度量[11]等度量的推廣。

每個預度量都能依下列方式形成拓撲。

對於一個正實數r，中心為點p，半徑為r的開球為 Br(p)={x|d(x,p)