度量空間

在數學中，賦距空間（Metric space）是具有距離這一個概念的集合，裝配了一個稱為度量的函數，用以表示此集合中任兩個成員間的距離。歷史上是由法國數學家莫里斯·弗雷歇在1906年於其法語著作《Sur quelques points du calcul fonctionnel》首次使用。

賦距空間中最符合人們對於現實直觀理解的為三維歐幾里得空間。事實上，「度量」的概念即是歐幾里得距離四個周知的性質之推廣。歐幾里得度量定義了兩點間之距離為連接這兩點的直線段之長度。此外，亦存在其他的度量空間，如橢圓幾何與雙曲幾何，而在球體上以角度量測之距離亦為一度量。狹義相對論使用雙曲幾何的雙曲面模型，作為速度之度量空間。

賦距空間還能導出開集與閉集之類的拓撲性質，這導致了對更抽象的拓撲空間之研究。

## 定義

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

名稱｜內容

同一性｜$d(x,y) = 0 \iff x=y$

對稱性｜$d(x,y) = d(y,x)$

三角不等式｜$d(x,z) \leq d(x,y) + d(y,z)$

則稱 $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$ 之實數集合為完備度量空間。具有相關度量的有理數集合也會形成一個度量空間，但不完備。
- 具有距離函數 $d(x,y) =\vert \log(y/x) \vert$ 的正實數集合為完備度量空間。
- 賦範向量空間的度量定義為 $d(x,y) = \lVert x - y \rVert$
- 若 $(M,\,d)$ 為一度量空間，則對$M$ 之任意子集 $X \subseteq M$， $(X,\,d|_{X \times X})$ 亦為一度量空間。
- 離散度量，其中 $d(x, y) = 0$，若 $x = y$，不然 $d(x, y) = 1$。離散度量是個簡單但重要的例子，可適用於任何非空集合。特別是，離散度量證明了對於任何非空集合，總是有一個度量空間與之關聯。使用此一度量，每個點都是開球，且因此每個子集都是開的，且該空間具有離散拓撲。
- 如果 $G$ 是無向連通圖，則 $G$ 的頂點集合 $V$ 可通過定義 $d(x, y)$ 為連接 $x$ 的 $y$ 的最短路徑的長度，變成度量空間。在幾何群論裡，該度量可適用於一個群的凱萊圖上，並稱之為字度量。
- 萊文斯坦距離是衡量兩個字串 $u$ 與 $v$ 間之差異的方法，定義為字串透過刪除、插入或取代將 $u$ 轉變成 $v$ 所需的最少步驟。該距離可被視為一個圖中最短路徑度量的特例，亦為編輯距離的一個例子。
- 如果 $M$ 是連通黎曼流形，則通過把在兩點之間的距離定義為連接兩點的路徑（連續可微曲線）之長度的下確界，將 $M$ 變成度量空間。
- 類似的，在 3D 中在多面體的表面上的度量包括平常的度量，在表面上的距離；在多面體的邊上第三個度量是路徑為邊的度量。例如，在單位立方體相對頂點之間的距離分別是 $\sqrt 3$、$\sqrt 5$ 和 $3$。
- 如果 $M$ 是度量空間，則 $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)$。在這個度量中，兩個元素是相互鄰近的，如果一個集合的所有元素鄰近於另一個集合某個元素。可以證明 $K(M)$ 是完備的如果 $M$ 是完備的。
- 由某些體上的所有 $n \times m$ 矩陣所組成之集合，是個具有秩距離 $d(X,Y) = \mathrm{rank}(Y-X)$ 的度量空間。

## 拓撲性質

### 概述

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

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

### 開集

對於度量空間 $(M,\,d)$ 內的任一點 $x$，可定義中心為 $x$，半徑為 $r > 0$ 的開球

$$B(x;r) := \left\{ y \in M \,\bigg|\, d(x,\,y) < r \right\}$$

這樣的話，若取所有開球構成的集合為拓撲基（詳見基的範例）

$$\mathcal{B}_d := \left\{ A \in \mathcal{P}(M) \,\bigg|\, \exists a \exists r\{ <pre> (a \in M) \wedge (r > 0) \wedge ( \forall x \in M )[\, (a \in A) \Leftrightarrow (d(x,\,a) < r )\,] </pre> \} \right\}$$

那就可以定義以下的拓撲結構

$$\tau_d := \left\{ O \in \mathcal{P}(M) \,\bigg|\, \exists \mathcal{A} \left[\, <pre> (\mathcal{A} \subseteq \mathcal{B}_d) \wedge \left(O = \bigcup \mathcal{A} \right) </pre> \,\right] \right\}$$

也就是把開集定義成任意個開球的併集，這樣的話任意度量空間都自然地是個拓撲空間。簡便起見，也會以度量空間 $(M,\,d)$ 來稱呼這個自然存在的拓撲空間 $(M,\,\tau_d)$。

反之，若可從某拓撲空間內建構出一個符合上述關係的度量，則稱此拓撲空間為可度量化空間；進一步的細節請見烏雷松度量化定理。

### 閉集

度量空間 $(M,\,d)$ 內的子集 $X$ 是閉的，若且唯若每個 $X$ 的極限點都在 $X$ 內。

證明($\Rightarrow$) $X$ 是閉的意思就是 $M - X$ 為開集，換句話說，存在一個以開球為元素的集合 $\mathcal{A} \subseteq \mathcal{B}_d$ 使得 :$M - X = \bigcup \mathcal{A}$ 也就是說 :(1) $\forall x \{\, [\, \neg (x \in X) \wedge (x \in M) \,] \Leftrightarrow \exist O [\, (x \in O) \wedge (O \in \mathcal{A}) \,] \,\}$ 也就是「任何元素 $x \in M$ 不屬於 $X$，等價於存在一個 $\mathcal{A}$ 裡的開球 $O$，使得 $x$ 在 $O$ 裡」。這樣的話，若 $a$ 為 $X$ 的極限點，換句話說 $a \in M$ 且 :(2) $\forall O \{\, [\, (O \in \tau_d) \wedge (a \in O) \,] \Rightarrow \exists b [\, (b \in O \cap X) \wedge (b \neq a) \,] \,\}$ 此時若假設 $a \notin X$，根據(1)式，還有 $\mathcal{A} \subseteq \mathcal{B}_d$ 可以得到 :$\exist O [\, (a \in O) \wedge (O \in \tau_d) \wedge (O \in \mathcal{A}) \,]$ 那這樣根據(2)式和普遍化，會有 （注意到以下套用了量詞的可交換性） :$\exists b \exists O [\, (b \in O \cap X) \wedge (b \neq a) \wedge (O \in \mathcal{A}) \,]$ 可是這樣再根據(1)式會有 :$\exists b \{\, \exists O [\, (b \in O \cap X) \wedge (b \neq a) \wedge (O \in \mathcal{A}) \,] \wedge (b \notin X) \,\}$ 這樣就會推出以下的矛盾 :$\exists b [\, (b \in X) \wedge (b \notin X) \,]$ 所以根據反證法， $a \in X$，也就是 $X$ 的極限點必須在 $X$ 裡。($\Leftarrow$) 若對任 $X$ 的極限點 $a$ 都有 $a \in X$，也就是 :$(\forall a)\Bigg\{\, \bigg\{ (a \in M) \wedge \forall O \{\, [\, (O \in \tau_d) \wedge (a \in O) \,] \Rightarrow \exists b [\, (b \in O \cap X) \wedge (b \neq a) \,] \,\} \bigg\} \Rightarrow (a \in X) \Bigg\}$ 換句話說，根據反證法、德摩根定理和量詞符號的意義，上式等價於 :(3) $(\forall a \in M)\bigg\{\, (a \notin X) \Rightarrow \exists O \{\, [\, (O \in \tau_d) \wedge (a \in O) \,] \wedge \forall b [\, (b = a) \vee (b \notin O \cap X) \,] \,\} \bigg\}$ 但考慮到以下的基本邏輯性質 :$(a \notin X) \Rightarrow (a \notin X)$ 所以從(3)有 :(4) $(\forall a \in M)\{\, (a \notin X) \Leftrightarrow \exists O [\, (O \in \tau_d) \wedge (a \in O) \wedge (O \cap X = \varnothing) \,] \}$ 這樣的話，若取以下的集合 :$\mathcal{B}= \left\{ O \in \tau_d \,\bigg|\, O \cap X = \varnothing \right\}$ 換句話說 :$\forall O \{ (O \in \mathcal{B}) \Leftrightarrow [\, (O \in \tau_d) \wedge (O \cap X = \varnothing) \,] \}$ 這樣的話，(4)等價於 :(4) $(\forall a \in M)\{\, (a \notin X) \Leftrightarrow \exists O [\, (O \in \mathcal{B}) \wedge (a \in O) \,] \}$ 也就是說 :$M - X = \bigcup \mathcal{B}$ 故 $X$ 的補集 $X^c$ 為開集，所以 $X$ 為閉集，至此定理證明完畢。$\Box$

### 度量空間的序列

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

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

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

那稱 $a \in M$ 為序列 ${\{a_i \in M\}}_{i\in\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\N} \bigg| (\forall \epsilon > 0)(\exists n \in \N)(\forall i\in\N)(\forall j\in\N) <pre> [\, (i,\,j \geq n) \Rightarrow \left(\,d(a_i,\,a_j) < \epsilon \right) \,] </pre> \right\}$$

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

$$\sim = \left\{ (\{a_i\}_{n\in\N},\,\{b_i\}_{n\in\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 \R$ 滿足

$$\overline{d} \left([\{a_i\}_{n\to\N}],\,[\{b_i\}_{n\in\N}]\right) = \lim_{i\to\infty} d(a_i,b_i)$$

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

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

根據 $\mathcal{M}$ （也就是柯西序列）的定義，對任意正實數 $\epsilon \in (0,\,\infty)$，可以取正整數 $n \in \N$，使任意的正整數 $i,\,j \in \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)\leq r$。$r$最小可能的值稱之為 $M$的直徑。空間 $M$稱之為預緊緻的或完全有界的，如果對於所有 $r > 0$ 存在有限多個半徑為 $r$的開球，其併集覆蓋 $M$。因為這些球為有限個，所以該空間的直徑亦為有限值，從而得出(使用三角不等式)所有完全有界空間都是有界的。但逆命題不成立，因為任何無限集合均可給定其離散度量(上面第一個例子)，使得該空間是有界的，但不是完全有界的。

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

### 緊緻空間

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

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

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

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

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

### 局部緊緻與常態空間

度量空間$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$ 的每個緊緻子集內都是連續的。

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

### 一致連續映射

映射 $f: M_1 \rightarrow M_2$為一致連續的，若對於每個$\varepsilon >0$，均存在 $\delta >0$，使得

$$d_1(x,y)<\delta \Rightarrow d_2(f(x),f(y))< \varepsilon \quad\mbox{for all}\quad x,y\in M_1.$$

每個一致連續映射 $f: M_1 \rightarrow M_2$ 均是連續的。若 $M_1$ 是緊緻的，則反向的陳述亦會成立。（海涅－康托爾定理）

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

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

給定一數 $K > 0$，映射 $f: M_1 \rightarrow M_2$ 為利普希茨連續，若

$$d_2(f(x),f(y))\leq K d_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 \ne y \in M_1$.

### 等距同構

映射 $f: M_1 \rightarrow 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 \rightarrow M_2$稱之為擬等距同構，若存在常數 $A\geq 1$ 與 $B \geq 0$，使得

$$\frac{1}{A} d_2(f(x),f(y))-B\leq d_1(x,y)\leq A d_2(f(x),f(y))+B \text{ for all } x,y\in M_1$$

且有一個常數 $C \geq 0$，使得 $M_2$ 內的每個點與像 $f(M_1)$ 內的某個點間之距離至多為 $C$。

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

## 度量空間等價性的概念

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

給定兩個度量空間 (M1, d1) 和 (M2, d2):

- 這兩個空間稱之為同胚（拓撲同構）的，若存在兩者間的同胚（即兩個方向均為連續的雙射）。在此條件下，這兩個空間能導出相同的拓撲空間。
- 這兩個空間稱之為一致同構的，若存在兩者間的一致同構（即兩個方向均為一致連續的雙射）。
- 這兩個空間稱之為等距同構的，若存在兩者間的等距同構雙射。在此一條件下，兩個度量空間基本上是相同的。
- 這兩個空間稱之為擬等距同構的，若存在兩者間的擬等距同構。

## 點和集合間的距離

構造分離一個點與一個閉集的函數(作為完全正則空間的要求)的簡單方式是考慮點和集合之間的距離。如果 $(M,d)$ 是度量空間，$S$ 是 $M$ 的子集而 $x$ 是 $M$ 的點。

$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)$是度量空間，$||\cdot||:\mathbb{R}^n \rightarrow \mathbb{R}$是在$\mathbb{R}^n$上的歐幾里得範數，則由定義在$M_1 \times \ldots \times M_n$上的上的度量$\rho$

$$\rho(\vec{x} , \vec{y}) = ||(d_1(x_1,y_1), \ldots, d_n(x_n,y_n))||$$

定義的度量空間

$$\Big(M_1\times \ldots \times M_n, \rho \Big)$$

等價於積空間，度量$\rho$稱為積度量。此度量空間上的拓撲與積空間上的拓撲等價，同理，積空間$M_1 \times \ldots \times M_n$為可度量的。依據有限維的範數之等價性，曼哈頓範數、p-範數、最大範數，及其他當座標內的分量增加時不會減少（符合三角不等式）之範數，所給出的度量均拓撲同構。

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

$$d(x,y)=\sum_{i=1}^\infty \frac1{2^i}\frac{d_i(x_i,y_i)}{1+d_i(x_i,y_i)}.$$

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

### 距離的連續性

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

## 商度量空間

若 $M$ 為度量空間，其度量為 $d$，且 $\sim$ 為 $M$ 上之等價關係，則可在商集合 $M/\sim$ 上賦加下面的（偽）度量。給定兩個等價類$[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/\sim$ 上導出之拓撲為商拓撲。

商度量 $d$ 具有下列泛性質：若 $f:(M,d)\longrightarrow(X,\delta)$ 是個度量空間之間的度量映射（即對於所有 $x$、$y$，$\delta(f(x),f(y))\le 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)$。

## 外部連結

- Far and near — several examples of distance functions at cut-the-knot