在數學中，賦距空間（英語：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 中引入了賦距空間。



定義

 _$M$_ 為集合，若其裝配了函數 $d:M\times M\rightarrow \mathbb {R} $ ，對任意 $x,\,y,\,z\in M$ 滿足：

則稱 $d$ 為定義在 _$M$_ 上的度量 (metric) 或是距離函數，且稱 $(M,\,d)$ 為度量空間。若依上下文可知道使用的度量為何，通常會省略 $d$ ，只稱「 _$M$_ 為度量空間 」。

雖然大部分的書籍會將「 對任意 $x,\,y\in M$ ， $d(x,y)\geq 0$ 」列入度量的定義中，但由上面的三個定義就足以推出這個性質，這是因為

　
: $0=d(x,\,x)\leq d(x,\,y)+d(y,\,x)=2d(x,\,y)$

所以本節並沒有把這個性質列入定義。

若不考量數學上的細節，對於任何道路系統與地形，兩個位置間之距離可被定義為連接這些位置的最短路徑之長度。度量內不應該存在單行道。三角不等式表示每個彎路都不會是最短路徑。下面的許多例子均可被視為此類一般概念的具體版本。



賦距空間的例子


* 具有由絕對值給出的距離函數 $d(x,y)=\vert y-x\vert $ 之實數集合，以及更一般性地，具有歐幾里得距離之 $n$ 維歐氏空間，這些空間均為完備度量空間。具有相關度量的有理數集合也會形成一個度量空間，但不完備。

* 具有距離函數 $d(x,y)=\vert \log(y/x)\vert $ 的正實數集合為完備度量空間。

* 雙曲平面是個度量空間。

* 每個賦範向量空間都是度量空間，其度量可定義為 $d(x,y)=\lVert y-x\rVert $ 。若此類空間為完備的，則稱之為巴拿赫空間。例如：
  
* 曼哈頓範數會形成曼哈頓距離。其中，任何兩點或向量之間的距離為對應坐標間差距之和。
  
* 極大範數會形成切比雪夫距離（或稱為棋盤距離），為國王在棋盤上從 $x$ 移動到 $y$ 的所需最小步數。

* 賦範向量空間上的英國鐵路度量（亦稱為郵局度量或法國鐵路度量）定義為 $d(x,y)=\lVert x\rVert +\lVert y\rVert $ ，其中 x 與 y 為不同的點，且 $d(x,x)=0$ 。更一般性地， $\lVert .\rVert $ 可用由任意集合 $S$ 映射至非負實數，且 $0$ 至多出現一次的函數 $f$ 替代：則集合 S 上的度量可定義為 $d(x,y)=f(x)+f(y)$ ，其中 $x$ 與 $y$ 為不同的點，且 $d(x,x)=0$ 。此一度量的名稱係用來影射不論旅途（或信件）的終點為何，都會經過倫敦（或巴黎）的情形。

* 若 $(M,d)$ 為一度量空間，且 $X$ 為 $M$ 之子集，則 $(X,d)$ 亦為一度量空間，且 $d$ 的定義域縮限於 $X\times X$ 。

* 離散度量，其中 $d(x,y)=0$ ，若 $x=y$ ，不然 $d(x,y)=1$ 。離散度量是個簡單但重要的例子，可適用於任何非空集合。特別是，離散度量證明了對於任何非空集合，總是有一個賦距空間與之關聯。使用此一度量，每個點都是開球，且因此每個子集都是開的，且該空間具有離散拓撲。

* 如果 $X$ 是某個集合而 $M$ 是賦距空間，則由所有有界函數 $f:X\rightarrow M$ （即那些像為 $M$ 的有界子集之函數）所組成之集合，可透過定義對於任兩個有限函數 $f$ 與 $g$ ， $d(f,g)=\sup _{x\in X}d(f(x),g(x))$ （其中 $\sup $ 為上確界），轉換成度量空間。此一度量稱之為一致度量或上確界度量，且若 M 為完備的，則此一函數空間亦為完備的。若 X 亦是個拓撲空間，則由所有從 $X$ 至 $M$ 的有界連續函數所組成之集合（具有一致度量），當 $M$ 為完備時，該函數空間亦為完備的。

* 萊文斯坦距離是衡量兩個字串 $u$ 與 $v$ 間之差異的方法，定義為字串透過刪除、插入或取代將 $u$ 轉變成 $v$ 所需的最少步驟。該距離可被視為一個圖中最短路徑度量的特例，亦為編輯距離的一個例子。

* 如果 $M$ 是連通黎曼流形，則通過把在兩點之間的距離定義為連接兩點的路徑 (連續可微曲線) 之長度的下確界，將 $M$ 變成賦距空間。

* 如果 $G$ 是無向連通圖，則 $G$ 的頂點集合 $V$ 可通過定義 $d(x,y)$ 為連接 $x$ 的 _$y$_ 的最短路徑的長度，變成賦距空間。在幾何群論裡，該度量可適用於一個群的凱萊圖上，並稱之為字度量。

* 類似的，在 3D 中在多面體的表面上的度量包括平常的度量，在表面上的距離；在多面體的邊上第三個度量是路徑為邊的度量。例如，在單位立方體相對頂點之間的距離分別是 ${\sqrt {3}}$ 、 ${\sqrt {5}}$ 和 $3$ 。

* 如果 $M$ 是賦距空間，我們把 $M$ 的所有緊緻子集的集合 $K(M)$ 變成賦距空間，通過定義豪斯多夫距離 $d(X,Y):=\inf \lbrace r|(\forall x\in X\exists y\in Y(d(x,y)<r))\land (\forall y\in Y\exists x\in X(d(x,y)<r))\rbrace $ 。在這個度量中，兩個元素是相互鄰近的，如果一個集合的所有元素鄰近於另一個集合某個元素。可以證明 $K(M)$ 是完備的如果 $M$ 是完備的。

* 所有緊緻賦距空間 (的等距類) 的集合形成了關於 Gromov - 豪斯多夫距離的賦距空間。

* 給定賦距空間 $(X,d)$ 和遞增凹函數 $f:[0,\infty )\rightarrow [0,\infty )$ 使得 $f(x)=0$ 若且唯若 $x=0$ ，則 $f\circ d$ 也是 $X$ 上的度量。

* 給定從任何集合 $A$ 到賦距空間 $(X,d)$ 的單射函數 $f$ ， $d(f(x),f(y))$ 定義了在 $A$ 上的度量。

* 使用 T - 理論，賦距空間的緊跨越 (tight span) 也是賦距空間。緊跨越在多種類型的分析中都有用處。

* 由某些體上的所有 $n\times m$ _矩陣所組成之集合，是個具有秩距離 $d(X,Y)=\mathrm {rank} (Y-X)$ 的賦距空間。_

* 赫呂度量用於賽局理論裡。



拓撲性質

每個度量空間都自然地會是個拓撲空間，且因此與一般拓撲空間有關的所有定義及定理也一樣適用於所有的度量空間。

對於度量空間 $M$ 內的任一點 $x$ ，可定義中心為 $x$ ，半徑為 $r>0$ （其中， $r$ 為一實數）的開球

　
: $B(x;r)=\{y\in M:d(x,y)<r\}.$

這些開球會形成 $M$ 上拓撲的基，使之成為一個拓撲空間。

具體來說， $M$ 的子集 $U$ 稱之為開的，若對於每個 $U$ 內的 $x$ ，存在一個 $r>0$ ，使得 $B(x;r)$ 包含於 $U$ 。開集的補集為閉集。點 $x$ 的鄰域是指 $M$ 內包含中心為 $x$ 的某一開球之任何子集。

拓撲空間若可由某個度量空間形成，則稱之為可度量化空間；更進一步的細節請見烏雷松度量化定理。

閉集

度量空間 $M$ 內的子集 $A$ 是封閉的，若且唯若每個在 $A$ 內的序列若可收斂至 $M$ 內的一極限，則該極限在 $A$ 內。



度量空間的序列

複數數列的極限是基於絕對值去定義的，但考慮到絕對值本身是一個定義在複數系 $\mathbb {C} $ 上的度量，很自然地可以對度量空間 $(M,\,d)$ 作如下推廣：

 ${\{a_{i}\in M\}}_{i\in \mathbb {N} }$ 是 $M$ 上的一個序列，若存在 $a\in M$ 使得

　
: 「對任意正實數 $\epsilon >0$ ，存在正整數 $n\in \mathbb {N} $ ，使任意的正整數 $i\in \mathbb {N} $ 只要有 $i>n$ ，就有 $d(a_{i},\,a)<\epsilon $ 。」

那稱 $a\in M$ 為序列 ${\{a_{i}\in M\}}_{i\in \mathbb {N} }$ 的極限，且用

　
: $\lim _{i\to \infty }a_{i}=a$

或更簡略的

　
: $a_{i}\longrightarrow a$

來表達。



完備化

仿造以有理數柯西序列數列構造實數的過程，可以將任意度量空間擴張為完備空間，也就是在新度量空間取值的柯西序列，都會在新度量的意義下收斂。

以下的結果歷史上是由費利克斯・豪斯多夫於 1914 年首先提出的。

等價關係

對於任意度量空間 $(M,\,d)$ ，若定義 ${\mathcal {M}}$ 為

　
: ${\mathcal {M}}=\left\{{\{a_{i}\in M\}}_{i\in \mathbb {N} }{\bigg |}(\forall \epsilon >0)(\exists n\in \mathbb {N} )(\forall i\in \mathbb {N} )(\forall j\in \mathbb {N} )[\,(i,\,j\geq n)\Rightarrow \left(\,d(a_{i},\,a_{j})<\epsilon \right)\,]\right\}$

也就是說， ${\mathcal {M}}$ 為所有在 $M$ 上取值的柯西序列所構成的集合。然後定義以下的等價關係

　
: $\sim =\left\{(\{a_{i}\}_{n\in \mathbb {N} },\,\{b_{i}\}_{n\in \mathbb {N} })\in {\mathcal {M}}^{2}{\bigg |}\lim _{i\to \infty }d(a_{i},\,b_{i})=0\right\}$

也就是兩序列之間的距離趨近於零，則被認為是等價的。接下來取 ${\overline {M}}={\mathcal {M}}/\sim $ ，也就是所有 $\sim $ 在 ${\mathcal {M}}$ 上的等價類所構成的集合。

新的度量

這樣可以定義一個函數 ${\overline {d}}:{\overline {M}}\times {\overline {M}}\to \mathbb {R} $ 滿足

　
: ${\overline {d}}\left([\{a_{i}\}_{n\in \mathbb {N} }],\,[\{b_{i}\}_{n\in \mathbb {N} }]\right)=\lim _{i\in \infty }d(a_{i},b_{i})$

也就是新的度量，是等價類之間距離的極限值。

為了證明的確可以定義這樣的函數，要先證明對任意柯西序列 $\{a_{i}\}_{n\in \mathbb {N} },\,\{b_{i}\}_{n\in \mathbb {N} }\in {\mathcal {M}}$ ， $\lim _{i\in \infty }d(a_{i},b_{i})$ 是存在的。

根據 ${\mathcal {M}}$ （也就是柯西序列）的定義，對任意正實數 $\epsilon \in (0,\,\infty )$ ，可以取正整數 $n\in \mathbb {N} $ ，使任意的正整數 $i,\,j\in \mathbb {N} $ 只要有 $i,\,j>n$ 就有

　
: $d(a_{i},\,a_{j})<{\frac {\epsilon }{2}}$

　
: $d(b_{i},\,b_{j})<{\frac {\epsilon }{2}}$

新的度量空間

等距同構

稠密性



度量空間的類型

有界與完全有界空間

賦距空間 _M_ 被稱為有界的，如果存在某個數 _r_，使得對於所有 _M_ 中的 _x_ 和 _y_ 有 _d_(_x_,_y_) ≤ _r_。r 最小可能的值稱之為 M 的直徑。空間 _M_ 稱之為預緊緻的或完全有界的，如果對於所有 _r_ > 0 存在有限多個半徑為 _r_ 的開球，其併集覆蓋 _M_。因為這些球為有限個，所以該空間的直徑亦為有限值，從而得出 (使用三角不等式) 所有完全有界空間都是有界的。但逆命題不成立，因為任何無限集合均可給定其離散度量 (上面第一個例子)，使得該空間是有界的，但不是完全有界的。

須注意，在討論實數空間的區間及歐氏空間的區域時，有時會將有界集合指為「有限區間」或「有限區域」。不過，有界性與「有限」之間一般並無關連；有限通常意含著有界，但反之不一定成立。

緊緻空間

度量空間 M 是緊緻的，若每個 M 內的序列均有個子序列，會收斂於 M 內的一點。這稱為序列緊緻性，且在度量空間（但不是一般拓撲空間）裡，這等價於可數緊緻與以開覆蓋定義之緊緻性等拓撲性質。

緊緻度量空間的例子包括具絕對值度量的閉區間 [0,1]、所有具有限多個點的度量空間，以及康托爾集。每個緊緻集合的閉子集亦是緊緻的。

一度量空間為緊緻的，若且唯若該空間是完備的，且為完全有界的。這即是所謂的海涅－博雷爾定理。須注意，緊緻性僅決取於拓撲，而有界性則決取於度量。

勒貝格數引理表示，對於緊緻度量空間 M 內的每個開覆蓋，均存在一個「勒貝格數」δ，使得每個 M 內直徑 < δ 的子集均會被包含於某些覆蓋內。

每個緊緻度量空間均為第二可數，且是康托爾集的連續像。（後者由帕維爾・亞歷山德羅夫與帕維爾・薩穆伊洛維奇・烏雷松所證得。）

局部緊緻與常態空間

度量空間 _M_ 稱為局部緊緻的，如果每一點都有一個緊緻鄰域。歐氏空間為局部緊紗的，但無限維巴拿赫空間則不是。

度量空間 _M_ 稱為常態（proper）的，如果每個閉球都是緊緻的。常態空間是完備且局部緊緻的，但局部緊緻空間未必是常態的。

連通性

度量空間 M 是連通的，若既開又閉的子集只有空集與 M 本身。

度量空間 M 是路徑連通的，若對於 M 內的任兩點 x、y，均存在一個連續映射 $f\colon [0,1]\to M$ ，其中 f (0)=x 且 f (1)=y。每個路徑連通空間都是連通的，但反之通常不成立。

上述性質均有相對的局部定義：局部連通空間與局部路徑連通空間。

單連通空間在某一層面上來說，可說是個沒有「洞」的空間。

可分空間

一度量空間稱之為可分空間，若該空間有可數稠密子集。典型的例子為實數或任何一個歐氏空間。對於度量空間（但不包括一般拓撲空間）可分性等價於第二可數，亦等價於林德勒夫性質。



度量空間之間的映射類型

假設 (_M_1,_d_1) 與 (_M_2,_d_2) 為兩個度量空間。

連續映射

映射 $f\,\colon M_{1}\to M_{2}$ 是連續的，若具有下列任意一個（也就得到了以下所有的）等價性質：

一般拓撲學的連續性
: 對於每個在 $M_{2}$ 內的開集 $U$ ，其原像 $f^{-1}(U)$ 在 $M_{1}$ 內是開的。

這是在拓撲學裡連續性的一般定義。

序列連續性
: 若 $(x_{n})$ 是 $M_{1}$ 內一序列，且會收斂至 $M_{1}$ 內的 $x$ ，則序列 $(f(x_{n}))$ 會收斂至 $M_{2}$ 內的 $f(x)$ 。

這是由愛德華・海涅所提出的序列連續性。

ε-δ 定義
: 對於每個在 $M_{1}$ 內的 $x$ ，任意給定 $\varepsilon >0$ ，均存在 $\delta >0$ ，使得對於所有 $M_{1}$ 內的 $y$ ，

　
: $d_{1}(x,y)<\delta \Rightarrow d_{2}(f(x),f(y))<\varepsilon .$

這用到了極限的 (ε, δ) 定義，由奧古斯丁・路易・柯西所提出。

此外， $f$ 是連續的，若且唯若該函數在 $M_{1}$ 的每個緊緻子集內都是連續的。

每個緊緻集合在連續函數下的像亦是緊緻的，且每個連通集合在連續函數下的像亦是連通的。

一致連續映射

映射 _ƒ_ : _M_1 → _M_2 為一致連續的，若對於每個 ε > 0，均存在 δ > 0，使得

　
: $d_{1}(x,y)<\delta \Rightarrow d_{2}(f(x),f(y))<\varepsilon \quad {\mbox{for all}}\quad x,y\in M_{1}.$

每個一致連續映射 _ƒ_ : _M_1 → _M_2 均是連續的。若 _M_1 是緊緻的，則反向的陳述亦會成立。（海涅－康托爾定理）

一致連續映射會將 _M_1 內的柯西序列轉換成 _M_2 內的柯西序列。對於連續映射，該陳述則不一定會成立；例如，一個將開區間 (0,1) 滿射至實數線的連續映射即會將柯西序列轉換成無界的序列。

利普希茨連續映射與壓縮映射

給定一數 K > 0，映射 _ƒ_ : _M_1 → _M_2 為利普希茨連續，若

　
: $d_{2}(f(x),f(y))\leq Kd_{1}(x,y)\quad {\mbox{for all}}\quad x,y\in M_{1}.$

每個利普希茨連續映射均是一致連續的，但反之不一定成立。

若 K < 1，則 f 稱之為壓縮映射。令 _M_2 = _M_1，且 _M_1 是完備的。若 f 是個壓縮映射，則 f 會有個唯一的不動點（巴拿赫不動點定理）。若 _M_1 是緊緻的，則條件可稍微放寬一點：f 會有個唯一的不動點，若

　
: $d(f(x),f(y))<d(x,y)\quad {\mbox{for all}}\quad x\neq y\in M_{1}$ .

等距同構

映射 _f_:_M_1→_M_2 稱之為等距同構，若

　
: $d_{2}(f(x),f(y))=d_{1}(x,y)\quad {\mbox{for all}}\quad x,y\in M_{1}$

等距同構總會是單射的；緊緻或完備集合在等距同構下的像仍分別會是緊緻或完備的。不過，若等距同構不是滿射的，則閉（或開）集的像不一定是閉（或開）的。

擬等距同構

映射 _f_ : _M_1 → _M_2 稱之為擬等距同構，若存在常數 A ≥ 1 與 B ≥ 0，使得

　
: ${\frac {1}{A}}d_{2}(f(x),f(y))-B\leq d_{1}(x,y)\leq Ad_{2}(f(x),f(y))+B{\text{ for all }}x,y\in M_{1}$

且有一個常數 C ≥ 0，使得 _M_2 內的每個點與像 _f_(_M_1) 內的某個點間之距離至多為 C。

須注意，擬等距同構不需要是連續的。擬等距同構比較度量空間的「大尺度結構」；多用於幾何群論內與字度量有關的理論。



賦距空間等價性的概念

度量空間之間有著不同的等價性。依據兩個空間之間能夠存在的函數，可給出不同等價的程度與類型。

給定兩個賦距空間 (_M_1, _d_1) 和 (_M_2, _d_2):


* 這兩個空間稱之為同胚（拓撲同構）的，若存在兩者間的同胚（即兩個方向均為連續的雙射）。在此條件下，這兩個空間能導出相同的拓撲空間。

* 這兩個空間稱之為一致同構的，若存在兩者間的一致同構（即兩個方向均為一致連續的雙射）。

* 這兩個空間稱之為等距同構的，若存在兩者間的等距同構雙射。在此一條件下，兩個度量空間基本上是相同的。

* 這兩個空間稱之為擬等距同構的，若存在兩者間的擬等距同構。



拓撲性質

度量空間是個仿緊緻豪斯多夫空間，因此是個正規空間（且實際上是個完美正規空間）。度量空間也是個第一可數空間，因為可使用具有理數半徑的球作為該空間的基。

依據提策擴展定理，每個度量空間都能具有單位分解，且每個定義於度量空間的閉子集上之連續實數值函數均能擴展成整個空間的連續映射。每個定義於度量空間的子集上之實數值利普希茨連續映射亦能擴展成整個空間的利普希茨連續映射。

度量空間 M 上的度量拓撲是使得 $M\times M$ 映射至非負實數的度量 d 為連續之最粗糙拓撲。



點和集合間的距離

構造分離一個點與一個閉集的函數 (作為完全正則空間的要求) 的簡單方式是考慮點和集合之間的距離。 如果 (_M_,_d_) 是賦距空間，_S_ 是 _M_ 的子集而 _x_ 是 _M_ 的點，則可定義從 _x_ 到 _S_ 的距離為

　
: $d(x,S)=\inf\{d(x,s):s\in S\}$ ，其中的 $\inf $ 表示下確界。

d (x, S) = 0 若且唯若 x 包含於 S 的閉包內。此外，可將三角不等式推廣如下：

　
: $d(x,S)\leq d(x,y)+d(y,S),$

其中，可證明映射 $x\mapsto d(x,S)$ 是連續的。

給定兩個 M 內的子集 S 與 T，可定義豪斯多夫距離為

　
: $d_{H}(S,T)=\max\{\sup\{d(s,T):s\in S\},\sup\{d(t,S):t\in T\}\}$ ，其中的 $\sup $ 表示上確界。

一般而言，豪斯多夫距離 _d_H(_S_,_T_) 可以是無限大的。兩個集合的在豪斯多夫距離上會互相靠近，若其中一個集合的每個元素會靠近另一集合的某個元素。

豪斯多夫距離 _d_H 會將由所有 M 內非空緊緻子集所組成之集合 K (M) 轉換成一個度量空間。可證明若 M 是完備的，則 K (M) 亦是完備的。（緊緻子集的收斂性亦可由庫拉托夫斯基收斂給出。）

然後，可定義任兩個度量空間之間的格羅莫夫 - 豪斯多夫距離為這兩個空間的等距同構嵌入版本間之最短豪斯多夫距離。使用此一距離，由所有（等距同構類型的）緊緻度量空間所組成的類本身即會形成一個度量空間。



積賦距空間

如果 $(M_{1},d_{1}),\ldots ,(M_{n},d_{n})$ 是賦距空間，而 _N_ 是在 _Rn_ 上的歐幾里得範數，則 ${\Big (}M_{1}\times \ldots \times M_{n},N(d_{1},\ldots ,d_{n}){\Big )}$ 亦為度量空間，且積度量定義為

　
: $N(d_{1},...,d_{n}){\Big (}(x_{1},\ldots ,x_{n}),(y_{1},\ldots ,y_{n}){\Big )}=N{\Big (}d_{1}(x_{1},y_{1}),\ldots ,d_{n}(x_{n},y_{n}){\Big )},$

積度量導出之拓撲等價於積拓撲。依據有限維的範數之等價性，曼哈頓範數、p - 範數、最大範數，及其他當座標內的分量增加時不會減少（符合三角不等式）之範數，所給出的度量均為拓撲同構。

同樣的，賦距空間的可數積度量可以定義為如下度量：

　
: $d(x,y)=\sum _{i=1}^{\infty }{\frac {1}{2^{i}}}{\frac {d_{i}(x_{i},y_{i})}{1+d_{i}(x_{i},y_{i})}}.$

度量空間的不可數積度量不一定是可度量化的。例如， $\mathbf {R} ^{\mathbf {R} }$ 不是第一可數空間，因此不能度量化。

距離的連續性

值得注意的是，在一個空間 $(M,d)$ 中，距離映射 $d:M\times M\rightarrow R^{+}$ 在上述任何一個積度量 $N(d,d)$ 下均是一致連續的，且特別是，在 $M\times M$ 下的積拓撲會是連續的。



商賦距空間

若 M 為度量空間，其度量為 d，且～為 M 上之等價關係，則可在商集合 M/~ 上賦加下面的（偽）度量。給定兩個等價類 [x] 與 [y]，可定義

　
: $d'([x],[y])=\inf\{d(p_{1},q_{1})+d(p_{2},q_{2})+\dotsb +d(p_{n},q_{n})\}$

其中， $[p_{1}]=[x]$ 、 $[q_{i}]=[p_{i+1}]$ 、 $[q_{n}]=[y]$ （即取從 [x] 至 [y] 經過所有等價類之路徑的最短長度）。一般來說，這僅能定義出一個偽度量，即 d'([x],[y])=0 不一定蘊涵 [x] = [y]。不過，對於良好的等價關係（如將多面體沿著面膠合），則會是個度量。此外，若 M 是個緊緻空間，則該度量在 M/~ 上導出之拓撲為商拓撲。

商度量 d 具有下列泛性質：若 $f:(M,d)\longrightarrow (X,\delta )$ 是個度量空間之間的度量映射（即對於所有 x、y， $\delta (f(x),f(y))\leq d(x,y)$ ），滿足當 $x\sim y,$ 時，f (x)=f (y) 的條件，則函數 ${\overline {f}}\colon M/\sim \longrightarrow X$ 定義為 ${\overline {f}}([x])=f(x)$ ，亦會是個度量映射 ${\overline {f}}\colon (M/\sim ,d')\longrightarrow (X,\delta )$ 。

一個拓撲空間是序列的，若且唯若該空間是個度量空間的商空間。



度量空間的推廣


* 每個度量空間都自然會是個一致空間，而每個一致空間也都自然會是個拓撲空間。因此，一致空間與拓撲空間均可視為度量空間的推廣。

* 若考量上面給定之度量空間的第一個定義，放寬定義中的第二個條件，則可得到偽度量空間。若移除第三個或第四個條件，則可分別得到擬度量空間與半度量空間。

* 若距離函數的對應域為擴展實數線 R∪{+∞}，定義中的四個條件維持不變，則稱該空間為「擴展度量空間」或「 $\infty $ - 度量空間」。若距離函數的對應域為某個（適當的）有序集（且三角不等式有對應的調整），則可得出「擴展超度量」這個概念。

* 趨近空間是度量空間的推廣，以點對集合的距離取代點對點的距離。

* 連續性空間是度量空間與偏序集的推廣，用來統整度量空間與域的概念。

* 部分度量空間是為了對度量空間作最小化的推廣，使得每個點對自身的距離不再一定為零。

度量空間作為豐富範疇

有序集 $(\mathbb {R} ,\geq )$ 可透過令 $a\geq b$ 時恰有一態射 $a\to b$ ，否則沒有態射，將之視為一個範疇。使用 + 作為張量積，0 作為單位元，該集合可變成一個么半範疇 $R^{*}$ 。每個度量空間 (M, d) 均可被視為 $R^{*}$ 上的豐富範疇 $M^{*}$ 。其步驟如下：


* 令 $\operatorname {Ob} (M^{*}):=M$ （M 內的元素為豐富範疇 $M^{*}$ 之物件）。

* 對於每個 M 內的元素 X、Y，令 $\operatorname {Hom} (X,Y):=d(X,Y)\in \operatorname {Ob} (R^{*})$ （M 的度量為豐富範疇 $M^{*}$ 之態射）。

* 態射複合 $\operatorname {Hom} (Y,Z)\otimes \operatorname {Hom} (X,Y)\to \operatorname {Hom} (X,Z)$ 亦為 $R^{*}$ 內的唯一態射，因為三角不等式 $d(y,z)+d(x,y)\geq d(x,z)$ 。

* 單位態射 $0\to \operatorname {Hom} (X,X)$ 是唯一的，因為 $0\geq d(X,X)$ 。



參見


* 三角不等式

* 利普希茨連續

* 等距同構，壓縮映射和度量映射

* 範數



註記



參考資料


* Dmitri Burago, Yu D Burago, Sergei Ivanov. A Course in Metric Geometry. American Mathematical Society. 2001. ISBN 0-8218-2129-6.

* Victor Bryant. Metric Spaces: Iteration and Application. Cambridge University Press. ISBN 0-521-31897-1.

* Mícheál Ó Searcóid. Metric Spaces. Springer Undergraduate Mathematics Series. 2006. ISBN 1-84628-369-8.

* Athanase Papadopoulos. Metric Spaces, Convexity and Nonpositive Curvature 2nd. European Mathematical Society. 2014. ISBN 978-3-03719-132-3.

* Lawvere, F. William. Metric spaces, generalized logic, and closed categories. Reprints in Theory and Applications of Categories. 2002, 1: 1–37 [2015-10-04]. （原始內容存檔於 2022-01-14）.

* 埃里克・韋斯坦因. Metric Space. MathWorld.

* 埃里克・韋斯坦因. Product Metric. MathWorld.



外部連結


* Far and near — several examples of distance functions （頁面存檔備份，存於網際網路檔案館） at cut-the-knot