距离函数
在数学中，度量（度規）或距离函数是個函數，定义了集合內每一對元素之间的距离。带有度量的集合叫做度量空间。度量能導出集合上的拓扑，但不是所有拓扑都可以由度量生成。当一个拓扑空间的拓扑可以由度量来描述的时候，則稱此一拓扑空间为可度量化的。
在微分几何中，“度量”一詞也用来称呼定义為由微分流形的切向量映射至純量之雙線性形式，讓沿著曲線的距離可透過積分來取得。此一概念有個更适合的术语，稱之為度量张量（或黎曼度量）。
集合 "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"。对于一个给定集合 "X"，两个度量 "d" 和 "d" 被称为拓扑等价的 (一致等价的)如果恒等映射 是同胚(一致同构)。
例如，如果 formula_4 是度量，则 formula_5 和 formula_6 是等价于 formula_4 的度量。
参见度量空间的等价性。
向量空間上的範數均等價於某個度量，且會是均勻與平移不變的。換句話說，每個範數都能決定一個度量，而某個度量能決定一個範數。
给定一个赋范向量空间 ("X",||.||) ，可定义 "X" 上的度量为 度量 "d" 被称为由范数 ||.|| 所導出。
反过来如果在向量空间 "X" 上的度量 "d" 满足下列性质 則可定义 "X" 上的范数为
类似的，半范数能導出伪度量(见后)，均匀(homogeneous)平移不变伪度量能導出半范数。
可將度量的概念由兩個元素間之距離推廣成非空有限多重集內元素之距離。多重集是集合概念的推廣，使得同一元素能出現多次。定義 Z=XY 為由多重集 X 與 Y 內元素所組成之多重集，亦即若 x 在 X 內出現一次，在 Y 內亦出現一次，則會在 Z 內出現兩次。在非空有限多重集上的距離函數 d 是個度量，若 須注意，最熟悉的兩個元素間之度量僅出現在條件 1 與條件 2 內的多重集 X 有兩個元素，以及條件 3 內的多重集有一個元素的情形下。例如，若 X 由兩個 x 所組成，則依據條件 1，d(X)=0。
一個簡單的例子為由元素為整數之非空有限多重集 X 所組成之集合，具有度量 formula_9。較複雜的例子則有資訊距離與歸一化壓縮距離。
有許多放寬度量公理的方法，能給出較度量空間更為廣義的不同概念。用來描述這些推廣的詞彙並沒有統一，例如在泛函分析裡的偽度量通常可由向量空間上的半範數導出，因此會很自然地稱之為「半度量」。在拓撲學裡，名詞使用間的相互衝充時常出現。
一些作者允許距離函數 d 達到無限大值，亦即距離是在擴展實數線上的非負數。此一函數稱之為擴展度量，或「∞-度量」。每個擴展度量均可換變成有限度量，使得度量空間在考量拓撲上之概念（如連續性或收斂性）時會等價。此一有限度量可使用一個在零時值為零的次可加單調遞增有界函數，如 "d"′("x", "y") = "d"("x", "y") / (1 + "d"("x", "y")) or "d"′′("x", "y") = min(1, "d"("x", "y"))。
度量的取值可由正實數 [0,∞) 推廣至其他任一有向集合。在此一情形下，公理的重構會建構出一致空間：具有能比較不同點之局部拓撲的代數結構之拓撲空間。
X 上的偽度量是個函數 d : X × X → R，滿足度量的公理，除了條件 2 不一定只在相同元素時才為 0。換句話說，偽度量的公理為：在某些情形下，偽度量因其與半範數間的關係，會被稱為半度量。
有時，會定義擬度量為一個除對稱性外，滿足度量所有公理之函數：在現實生活中，擬度量很常見。例如，給定一個由山村所組成之集合 X，則 X 內元素間之平均步行時間會形成一個擬度量，因為上坡會比下坡花去更多時間。另一個例子為具有單行道的計程車度量，從點 A 至點 B 的路徑與從點 B 至點 A 的路徑不組成不一樣的集合。不過，這個概念很少用於數學之中，且其名稱亦未完成統一。
實數上的擬度量可定義為 由此一擬度量所導出之拓撲空間為下限拓撲。此一空間可描述削去金屬棒的過程：可輕易地減少其長度，但很難或不可能增加其長度。
若 d 為 X 上之擬度量，則下列式子可形成 X 上的度量 d'：
X 上之半度量為一函數 d : X × X → R，滿足前三個公理，但不一定滿足三角不等式：一些作者會使用較弱的三角不等式，如： ρ-度量外不等式蘊涵著 ρ-放寬三角不等式（假定第一個公理成立），且 ρ-放寬三角不等式蘊涵著 2ρ-度量外不等式。三角不等式即為 1-放寬三角不等式，因此蘊涵著 2-度量外不等式，且超度量不等式恰為 1-度量外不等式。滿足這些等價條件的半度量有時會被稱為「擬度量」、「近度量」或外度量。
ρ-度量外不等式被用來模擬網際網路內的來回通訊延遲。
放寬度量的後三個公理會形成預度量，即一個滿足下列條件之函數：其稱呼並未統一。預度量有時會被用來指其他如偽半度量或偽度量等度量的推廣。
每個預度量都能依下列方式形成拓撲。對於一個正實數 r，中心為點 p，半徑為 r 的開球為 一個集合稱之為「開放」的，若對於任一個集合內的點 p，均存在一個 B(p) 包含於該集合內。每個預度量空間都是拓撲空間，並實際上，都是序列空間。一般而言，B(p) 不一定會是此一拓撲之開集合。兩個集合 A 與 B 間的距離可定義為 上式會形成預度量空間內冪集上之預度量。若從一（偽半）度量空間開始，則可得到一個偽半度量，亦即為一個對稱預度量。每個預度量都可以形成一個預閉運算子，如下所示：
可結合「偽」、「擬」、「半」等前綴詞，如偽擬度量會放寬同時公理與對稱公理，且僅是個具三角不等式的預度量。對於偽擬度量空間，開球可形成開集合的基。有關偽擬度量的一個非常基本的例子為集合 {0,1}，具有 d(0,1) = 1 與 d(1,0) = 0 所形成之預度量。其對應之拓撲空間為謝爾賓斯基空間。
威廉·勞維爾曾研究過具有擴展偽擬度量的集合，稱之為「廣義度量空間」。從範疇論的觀點來看，擴展擬度量空間與擴推偽擬度量空間，及其對應之不放大映射，是表現最好的度量空間範疇。可取任意多的積與上積，形成在給定範疇內的商對象。若去掉「擴展」這個條件，則只能取有限多的積與上積。若去掉「偽」這個條件，則無法形成商對象。為能維持這些良好的範疇性質之度量空間的推廣。
在微分幾何裡會使用到度量張量，可被認為是個「無窮小」二次度量函數，被定義為在流形的切空間上，具有適當之可微分性質的非退化對稱雙線性形式。雖然度量張量不是本條目所定義之度量函數，透過對流形上之路徑的度量張量之平方根積分，可導出偽半度量函數。具有度量張量的流形稱為偽黎曼流形，用於相對論的幾何研究內。若對度量張量上之內積加上正定性之性質，則其流形稱之為黎曼流形，且其路徑之積分能導出度量。