查看“度量空间”的源代码

{{distinguish|测度空间}}
在[[数学]]中，'''度量空间'''是个具有距離函數的[[集合]]，該距離函數定義集合內所有元素間之[[距離]]。此一距離函數被稱為集合上的[[度量]]。

度量空间中最符合人们对于现实直观理解的為三维[[欧几里得空间]]。事实上，“度量”的概念即是[[欧几里得距离]]四个周知的性质之推广。欧几里得度量定义了两点间之距离为连接這兩點的[[直线]][[線段|段]]之长度。此外，亦存在其他的度量空間，如[[橢圓幾何]]與[[雙曲幾何]]，而在球體上以角度量測之距離亦為一度量。[[狭义相對論]]使用雙曲幾何的[[雙曲面模型]]，作為[[速度]]之度量空間。 

度量空间还能導出[[开集]]與[[闭集]]之類的[[拓扑性质]]，这导致了对更抽象的[[拓扑空间]]之研究。

==历史==
[[莫里斯·弗雷歇]]在1906年于著作《Sur quelques points du calcul fonctionnel》, Rendic. Circ. Mat. Palermo 22(1906) 1–74 中引入了度量空间。

==定义==
'''度量空间'''是個[[有序對]] (''M'',''d'')，这里的 ''M'' 是[[集合]]而 ''d'' 是在 ''M'' 上的[[度量]](metric)，即為函数 

:<math>d : M \times M \rightarrow \mathbb{R}</math>

使得對於任何在 M 內的 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 可由其他三個條件中導出<ref>依條件4，可知 d(x, y) + d(y, x) ≥ d(x,x)。再依條件3與條件2，可推得 2d(x, y) ≥ 0。因此，d(x, y) ≥ 0。</ref>。條件 1 做为度量空间的性质更恰当一些，但是很多课本都將其包含於定义之中。

函数 ''d'' 亦稱為“距离函数”或简稱“距离”。若依上下文可知道使用的度量為何，通常會省略 d，只寫出 M 為度量空間。

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

==度量空间的例子==

* 具有由[[絕對值]]給出的距離函數 <math>d(x,y) = \vert y - x \vert</math> 之[[實數]]集合，以及更一般性地，具有[[歐幾里得距離]]之 <math>n</math> 維[[歐氏空間]]，這些空間均為[[完备空间|完備度量空間]]。具有相關度量的[[有理數]]集合也會形成一個度量空間，但不完備。
* 具有距離函數 <math>d(x,y) =\vert \log(y/x) \vert</math> 的[[正實數]]集合為完備度量空間。
* [[雙曲平面]]是個度量空間。
* 每個[[賦範向量空間]]都是度量空間，其度量可定義為 <math>d(x,y) = \lVert y - x \rVert</math>。若此類空間為完備的，則稱之為[[巴拿赫空間]]。例如：
**[[范数|曼哈顿范数]]會形成[[曼哈顿距离]]。其中，任何两点或向量之间的距离為对应坐标间差距之和。
** [[极大范数]]會形成[[切比雪夫距离]]（或稱為棋盘距离），為国王在棋盤上从 <math>x</math> 移动到 <math>y</math> 的所需最小步数。
* [[賦範向量空間]]上的[[英國鐵路]]度量（亦稱為[[郵局]]度量或[[法國鐵路]]度量）定義為 <math>d(x,y) = \lVert x \rVert + \lVert y \rVert</math>，其中 x 與 y 為不同的點，且 <math>d(x,x) = 0</math>。更一般性地，<math>\lVert . \rVert</math> 可用由任意集合 <math>S</math> 映射至非負實數，且 <math>0</math> 至多出現一次的函數 <math>f</math> 替代：則集合 S 上的度量可定義為 <math>d(x,y) = f(x) + f(y)</math>，其中 <math>x</math> 與 <math>y</math> 為不同的點，且 <math>d(x,x) = 0</math>。此一度量的名稱係用來影射不論旅途（或信件）的終點為何，都會經過[[倫敦]]（或[[巴黎]]）的情形。
* 若 <math>(M, d)</math> 為一度量空間，且 <math>X</math> 為 <math>M</math> 之[[子集]]，則 <math>(X, d)</math> 亦為一度量空間，且 <math>d</math> 的[[定義域]]縮限於 <math>X \times X</math>。
*离散度量，其中 <math>d(x, y) = 0</math>，若 <math>x = y</math>，不然 <math>d(x, y) = 1</math>。離散度量是個简单但重要的例子，可适用于任何非空集合。特别是，離散度量证明了对于任何非空集合，总是有一个度量空间与之关联。使用此一度量，每個點都是開球，且因此每個子集都是開放的，且該空間具有離散拓撲。
* 如果 <math>X</math> 是某个集合而 <math>M</math> 是度量空间，则由所有[[有界函数]] <math>f : X \rightarrow M</math>（即那些[[像 (數學)|像]]為 <math>M</math> 的[[有界子集]]之函數）所組成之集合，可透過定義對於任兩個有限函數 <math>f</math> 與 <math>g</math>，<math>d(f,g) = \sup_{x \in X} d(f(x),g(x))</math>（其中 <math>\sup</math> 為[[上確界]]），轉換成度量空間<ref>Searcóid, [http://books.google.com/books?id=aP37I4QWFRcC&pg=PA107 p. 107].</ref>。此一度量稱之為[[一致度量]]或上確界度量，且若 M 為完備的，則此一[[函數空間]]亦為完備的。若 X 亦是個拓撲空間，則由所有從 <math>X</math> 至 <math>M</math> 的有界[[連續函數]]所組成之集合（具有一致度量），當 <math>M</math> 為完備時，該函數空間亦為完備的。
* [[萊文斯坦距離]]是衡量兩個[[字串]] <math>u</math> 與 <math>v</math> 間之差異的方法，定義為字串透過刪除、插入或取代將 <math>u</math> 轉變成 <math>v</math> 所需的最少步驟。該距離可被視為一個圖中最短路徑度量的特例，亦為[[編輯距離]]的一個例子。
* 如果 <math>M</math> 是[[连通空间|连通]][[黎曼流形]]，则通过把在两点之间的距离定义为连接兩點的路径(连续可微[[曲线]])之长度的[[下确界]]，將 <math>M</math> 变成度量空间。
* 如果 <math>G</math> 是[[图论|无向连通图]]，则 <math>G</math> 的[[顶点_(图论)|顶点]]集合 <math>V</math> 可通过定义 <math>d(x, y)</math> 为连接 <math>x</math> 的 ''<math>y</math>'' 的最短路径的长度，变成度量空间。在[[幾何群論]]裡，該度量可適用於一個群的[[凱萊圖]]上，並稱之為[[字度量]]。

*类似的，在 3D 中在[[多面体]]的表面上的度量包括平常的度量，在表面上的距离；在多面体的边上第三个度量是路径为边的度量。例如，在[[单位立方体]]相对[[頂點 (幾何)|顶点]]之间的距离分别是 <math>\sqrt 3</math>、<math>\sqrt 5</math> 和 <math>3</math>。
* 如果 <math>M</math> 是度量空间，我们把 <math>M</math> 的所有紧致子集的集合 <math>K(M)</math> 变成度量空间，通过定义[[豪斯多夫距离]] <math>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</math>。在这个度量中，两个元素是相互邻近的，如果一个集合的所有元素邻近于另一个集合某个元素。可以证明 <math>K(M)</math> 是完备的如果 <math>M</math> 是完备的。
* 所有紧致度量空间(的等距类)的集合形成了关于[[Gromov-豪斯多夫收敛|Gromov-豪斯多夫距离]]的度量空间。
* 给定度量空间 <math>(X,d)</math> 和递增凹函数 <math>f:[0,\infty )\rightarrow [0,\infty)</math> 使得 <math>f(x)=0</math> 当且仅当 <math>x=0</math>，则 <math>f \circ d</math> 也是 <math>X</math> 上的度量。
* 给定从任何集合 <math>A</math> 到度量空间 <math>(X,d)</math> 的单射函数 <math>f</math>，<math>d(f(x), f(y))</math> 定义了在 <math>A</math> 上的度量。

* 使用[[T-理论]]，度量空间的[[紧跨越]](tight span)也是度量空间。紧跨越在多种类型的分析中都有用处。
* 由某些-{zh-tw:體;zh-cn:域}-上的所有 <math>n \times m</math>'' 矩阵所組成之集合，是個具有[[矩阵的秩|秩]]距离 <math>d(X,Y) = \mathrm{rank}(Y-X)</math> 的度量空间。
* [[赫呂度量]]用於[[賽局理論]]裡。

==開集、閉集、拓撲與收斂性==
每個度量空間都自然地會是個[[拓撲空間]]，且因此與一般拓撲空間有關的所有定義及定理也一樣適用於所有的度量空間。

對於度量空間 <math>M</math> 內的任一點 <math>x</math>，可定義中心為 <math>x</math>，半徑為 <math>r > 0</math>（其中，<math>r</math> 為一[[實數]]）的'''[[開球]]'''
:<math>B(x;r) = \{y \in M : d(x,y) < r\}.</math>
這些開球會形成 <math>M</math> 上拓撲的[[基 (拓撲學)|基]]，使之成為一個[[拓撲空間]]。

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

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

度量空間 <math>M</math> 內之[[序列]] (<math>x_n</math>) 稱之為可[[極限 (數列)|收斂]]至極限 <math>x \in M</math>，[[若且唯若]]對於每個 <math>\varepsilon>0</math>，均存在一個自然數 <math>N</math>，使得 <math>d(x_n,x) < \varepsilon </math>，對於所有 <math>n > N</math>。在拓撲空間內也有相對應的收斂之一般定義。

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

==度量空間的類型==

===完備空間===
{{Main|完備空間}}

度量空間 M 稱之為完備的，若每個[[柯西序列]]均收斂於 M 內，亦即：若 <math>d(x_n, x_m) \to 0</math>，其中 n 與 m 各自趨近於無限大，則存在某個 <math>y\in M</math>，使得 <math>d(x_n, y) \to 0</math>。

每個[[歐氏空間]]都是完備的，而且該空間的每個閉子集也都是完備空間。使用絕對值度量 <math>d(x,y) = \vert x - y \vert</math> 的有理數集合則不是完備的。

每個度量空間都有個在[[同構]]意義下唯一的[[完备空间#完备化|完備化空間]]。該完備化空間是個完備空間，給定之度量空間為其[[稠密集|稠密]]子集。例如，實數是有理數的完備化空間。

若 X 是空間空間 M 內的完備子集，則 X 在 M 內是封閉的。而實際上，一個空間是完備的，[[若且唯若]]該空間在任何包含該空間的度量空間內都是封閉的。

每個完備度量空間都是個[[貝爾空間]]。

===有界與完全有界空間===
[[File:Diameter of a Set.svg|thumb|一個集合的直徑。]]
{{See also|有界集合}}
度量空间 ''M'' 被称为'''有界'''的，如果存在某个数 ''r''，使得对于所有 ''M'' 中的 ''x'' 和 ''y'' 有 ''d''(''x'',''y'') ≤ ''r''。r 最小可能的值稱之為 M 的[[直徑]]。空间 ''M'' 稱之為'''预紧致'''的或'''[[完全有界空间|完全有界]]'''的，如果对于所有 ''r'' > 0 存在有限多个半径為 ''r'' 的开球，其并集覆盖 ''M''。因为这些球為有限個，所以該空間的直徑亦為有限值，从而得出(使用[[三角不等式]])所有完全有界空间都是有界的。但逆命题不成立，因为任何无限集合均可給定其[[离散度量]](上面第一个例子)，使得該空間是有界的，但不是完全有界的。

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

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

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

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

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

每個緊緻度量空間均為[[第二可數空間|第二可數]]<ref>[http://planetmath.org/encyclopedia/CompactMetricSpacesAreSecondCountable.html PlanetMath: a compact metric space is second countable<!-- Bot generated title -->] {{webarchive|url=https://web.archive.org/web/20090205003114/http://planetmath.org/encyclopedia/CompactMetricSpacesAreSecondCountable.html |date=2009-02-05 }}</ref>，且是[[康托爾集]]的[[連續函數|連續]][[像 (數學)|像]]。（後者由[[帕維爾·亞歷山德羅夫]]與[[帕維爾·薩穆伊洛維奇·烏雷松]]所證得。）

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

度量空間''M''稱為'''[[常態空間|常態]]'''（proper）的，如果每個[[閉集|閉]][[球 (數學)|球]]都是緊緻的。常態空間是完備且局部緊緻的，但局部緊緻空間未必是常態的。

===連通性===
度量空間 M 是[[連通空間|連通]]的，若唯一同時開放或封閉的子集只有空集與 M 本身。

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

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

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

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

==度量空間之間的映射類型==
假設 (''M''<sub>1</sub>,''d''<sub>1</sub>) 與 (''M''<sub>2</sub>,''d''<sub>2</sub>) 為兩個度量空間。

===連續映射===
{{Main|連續函數 (拓撲學)}}

映射 ''f'':''M''<sub>1</sub>→''M''<sub>2</sub> 是連續的，若具有下列一個（因此所有）等價性質：
;一般拓撲學的連續性
:對於每個在 ''M''<sub>2</sub> 內的開集 U，其[[原像]] ''f''<sup>&nbsp;-1</sup>(''U'') 在 ''M''<sub>1</sub> 內會是開放的。
這是在拓撲學裡連續性的一般定義。
;序列連續性
:若　(''x''<sub>''n''</sub>) 是　''M''<sub>1</sub> 內一序列，且會收斂至 ''M''<sub>1</sub> 內的 x，則序列 (''f''(''x''<sub>''n''</sub>)) 會收斂至 ''M''<sub>2</sub> 內的 f(x)。
這是由[[愛德華·海涅]]所提出的[[序列連續性]]。
;ε-δ定義
:對於每個在 ''M''<sub>1</sub> 內的 x 及每個 ε>0，均存在 δ>0，使得對於所有 ''M''<sub>1</sub> 內的 y，
::<math>d_1(x,y)<\delta \Rightarrow d_2(f(x),f(y))< \varepsilon.</math>
這用到了極限的(ε, δ)定義，由[[奧古斯丁·路易·柯西]]所提出。

此外，f 是連續的，若且唯若該函數在 ''M''<sub>1</sub> 的每個緊緻子集內都是連續的。

每個緊緻集合在連續函數下的[[像 (數學)|像]]亦是緊緻的，且每個連通集合在連續函數下的像亦是連通的。

===一致連續映射===
映射 ''ƒ''&nbsp;: ''M''<sub>1</sub>&nbsp;→ ''M''<sub>2</sub> 為[[一致連續]]的，若對於每個 ε > 0，均存在 δ > 0，使得

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

每個一致連續映射 ''ƒ''&nbsp;: ''M''<sub>1</sub>&nbsp;→ ''M''<sub>2</sub> 均是連續的。若 ''M''<sub>1</sub> 是緊緻的，則反向的陳述亦會成立。（[[海涅－康托爾定理]]）

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

===利普希茨連續映射與壓縮映射===
給定一數 K > 0，映射 ''ƒ''&nbsp;: ''M''<sub>1</sub>&nbsp;→&nbsp;''M''<sub>2</sub> 為[[利普希茨連續]]，若

:<math>d_2(f(x),f(y))\leq K d_1(x,y)\quad\mbox{for all}\quad x,y\in M_1.</math>

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

若 K < 1，則 f 稱之為[[壓縮映射]]。令 ''M''<sub>2</sub>&nbsp;= ''M''<sub>1</sub>，且 ''M''<sub>1</sub> 是完備的。若 f 是個壓縮映射，則 f 會有個唯一的不動點（[[巴拿赫不動點定理]]）。若 ''M''<sub>1</sub> 是緊緻的，則條件可稍微放寬一點：f 會有個唯一的不動點，若

:<math> d(f(x), f(y)) < d(x, y) \quad \mbox{for all} \quad x \ne y \in M_1</math>.

===等距同構===
映射 ''f'':''M''<sub>1</sub>→''M''<sub>2</sub> 稱之為[[等距同構]]，若
:<math>d_2(f(x),f(y))=d_1(x,y)\quad\mbox{for all}\quad x,y\in M_1</math>
等距同構總會是[[單射]]的；緊緻或完備集合在等距同構下的像仍分別會是緊緻或完備的。不過，若等距同構不是[[滿射]]的，則閉（或開）集的像不一定是封閉（或開放）的。

===擬等距同構===
映射　''f''&nbsp;:&nbsp;''M''<sub>1</sub>&nbsp;→&nbsp;''M''<sub>2</sub>　稱之為[[擬等距同構]]，若存在常數 A ≥ 1 與 B ≥ 0，使得

:<math>\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</math>

且有一個常數 C ≥ 0，使得 ''M''<sub>2</sub> 內的每個點與像 ''f''(''M''<sub>1</sub>) 內的某個點間之距離至多為 C。

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

==度量空间等价性的概念==

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

给定两个度量空间 (''M''<sub>1</sub>, ''d''<sub>1</sub>) 和 (''M''<sub>2</sub>, ''d''<sub>2</sub>):

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

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

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

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

== 拓扑性质 ==

度量空間是個[[仿緊緻空間|仿緊緻]]<ref>Rudin, Mary Ellen.  [http://links.jstor.org/sici?sici=0002-9939%28196902%2920%3A2%3C603%3AANPTMS%3E2.0.CO%3B2-W A new proof that metric spaces are paracompact].  Proceedings of the American Mathematical Society, Vol. 20, No. 2. (Feb., 1969), p. 603.</ref>[[豪斯多夫空間]]<ref>{{planetmath reference|id=5838|title=metric spaces are Hausdorff}}</ref>，因此是個[[正規空間]]（且實際上是個[[完美正規空間]]）。度量空間也是個[[第一可數空間]]，因為可使用具有理數半徑的球作為該空間的[[基 (拓撲學)|基]]。

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

度量空間 M 上的度量拓撲是使得 <math>M\times M</math> 映射至非負實數的度量 d 為連續之[[拓撲比較|最粗糙拓撲]]。

==点和集合间的距离==
构造分离一个点与一个闭集的函数(作为[[完全正则空间]]的要求)的简单方式是考虑[[距离#点和集合之间的距离|点和集合之间的距离]]。 如果 (''M'',''d'') 是度量空间，''S'' 是 ''M'' 的[[子集]]而 ''x'' 是 ''M'' 的点，則可定义从 ''x'' 到 ''S'' 的距离为

:<math>d(x,S) = \inf\{d(x,s) : s \in S \} </math>，其中的 <math>\inf</math> 表示[[下確界]]。

d(x, S) = 0 若且唯若 x 包含於 S 的[[閉包]]內。此外，可將[[三角不等式]]推廣如下：
:<math>d(x,S) \leq d(x,y) + d(y,S),</math>
其中，可證明映射 <math>x\mapsto d(x,S)</math> 是連續的。

給定兩個 M 內的子集 S 與 T，可定義[[豪斯多夫距離]]為
:<math>d_H(S,T) = \max \{ \sup\{d(s,T) : s \in S \} , \sup\{ d(t,S) : t \in T \} \} </math>，其中的 <math>\sup</math> 表示[[上確界]]。

一般而言，豪斯多夫距離 ''d''<sub>H</sub>(''S'',''T'') 可以是無限大的。兩個集合的在豪斯多夫距離上會互相靠近，若其中一個集合的每個元素會靠近另一集合的某個元素。

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

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

==积度量空间==
如果 <math>(M_1,d_1),\ldots,(M_n,d_n)</math> 是度量空间，而 ''N'' 是在 ''R<sup>n</sup>'' 上的[[范数#欧几里德范数|欧几里得范数]]，则 <math>\Big(M_1\times \ldots \times M_n, N(d_1,\ldots,d_n)\Big)</math> 亦為度量空間，且[[積度量]]定義為

:<math>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),</math>

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

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

:<math>d(x,y)=\sum_{i=1}^\infty \frac1{2^i}\frac{d_i(x_i,y_i)}{1+d_i(x_i,y_i)}.</math>

度量空間的不可數積度量不一定是可度量化的。例如， <math>\mathbf{R}^\mathbf{R}</math> 不是[[第一可數空間]]，因此不能度量化。

===距离的连续性===

值得注意的是，在一個空间 <math>(M,d)</math> 中，距离映射 <math>d:M\times M \rightarrow R^+</math> 在上述任何一個積度量 <math>N(d,d)</math> 下均是一致连续的，且特别是，在 <math>M\times M</math> 下的积拓扑會是连续的。

==商度量空间==
若 M 為度量空間，其度量為 d，且 ~ 為 M 上之[[等價關係]]，則可在商集合 M/~ 上賦加下面的（偽）度量。給定兩個等價類 [x] 與 [y]，可定義
:<math>d'([x],[y]) = \inf\{d(p_1,q_1)+d(p_2,q_2)+\dotsb+d(p_{n},q_{n})\}</math>

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

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

一個拓撲空間是[[序列空間|序列]]的，若且唯若該空間是個度量空間的商空間。<ref>Goreham, Anthony. [http://at.yorku.ca/p/a/a/o/51.pdf Sequential convergence in Topological Spaces]. Honours' Dissertation, Queen's College, Oxford (April, 2001), p. 14</ref>

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

* 若考量上面給定之度量空間的第一個定義，放寬定義中的第二個條件，則可得到[[偽度量空間]]<ref>Pascal Hitzler and Anthony Seda, Mathematical Aspects of Logic Programming Semantics. Chapman and Hall/CRC, 2010.</ref>。若移除第三個或第四個條件，則可分別得到[[度量#擬度量|擬度量空間]]與[[度量#半度量|半度量空間]]。

* 若距離函數的[[對應域]]為[[擴展實數線]] R∪{+∞}，定義中的四個條件維持不變，則稱該空間為「擴展度量空間」或「<math>\infty</math>-度量空間」。若距離函數的對應域為某個（適當的）有序集（且三角不等式有對應的調整），則可得出「擴展超度量」這個概念。<ref>Pascal Hitzler and Anthony Seda, Mathematical Aspects of Logic Programming Semantics. Chapman and Hall/CRC, 2010.</ref>

* {{le|趨近空間|Approach space}}是度量空間的推廣，以點對集合的距離取代點對點的距離。

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

* 部分度量空間是為了對度量空間作最小化的推廣，使得每個點對自身的距離不再一定為零。<ref>http://www.dcs.warwick.ac.uk/pmetric/</ref>

===度量空間作為豐富範疇===
有序集 <math>(\mathbb{R},\geq)</math> 可透過令 <math>a\geq b</math> 時恰有一[[態射]] <math>a\to b</math>，否則沒有態射，將之視為一個[[範疇 (數學)|範疇]]。使用 + 作為[[張量積]]，0 作為[[單位元]]，該集合可變成一個[[么半範疇]] <math>R^*</math>。每個度量空間 (M, d) 均可被視為 <math>R^*</math> 上的[[豐富範疇]] <math>M^*</math>。其步驟如下：<ref>{{harvnb|Lawvere|2002}}</ref>
* 令 <math>\operatorname{Ob}(M^*):=M</math>（M 內的元素為豐富範疇 <math>M^*</math> 之物件）。
* 對於每個 M 內的元素 X、Y，令 <math>\operatorname{Hom}(X,Y):=d(X,Y)\in \operatorname{Ob}(R^*)</math>（M 的度量為豐富範疇 <math>M^*</math> 之態射）。
* 態射複合 <math>\operatorname{Hom}(Y,Z)\otimes \operatorname{Hom}(X,Y)\to \operatorname{Hom}(X,Z)</math> 亦為 <math>R^*</math> 內的唯一態射，因為三角不等式 <math>d(y,z)+d(x,y)\geq d(x,z)</math>。
* 單位態射 <math>0\to \operatorname{Hom}(X,X)</math> 是唯一的，因為 <math>0\geq d(X,X)</math>。

==参见==
*[[三角不等式]]
*[[利普希茨连续]]
*[[等距同构]]，[[压缩映射]]和[[度量映射]]
*[[范数]]

==註記==
<references/>

==參考資料==
* {{cite book |author=Dmitri Burago, Yu D Burago, Sergei Ivanov |title=A Course in Metric Geometry |publisher=American Mathematical Society |year=2001 |isbn=0-8218-2129-6}}
* {{cite book |author=Victor Bryant |title=Metric Spaces: Iteration and Application |publisher=Cambridge University Press |isbn=0-521-31897-1}}
* {{cite book |author=Mícheál Ó Searcóid |title=Metric Spaces |url=http://www.springer.com/1-84628-369-8 |series=Springer Undergraduate Mathematics Series |year=2006 |isbn=1-84628-369-8}}
* {{cite book |author=Athanase Papadopoulos |title=Metric Spaces, Convexity and Nonpositive Curvature |publisher=[[歐洲數學學會|European Mathematical Society]] |edition=2nd |year=2014 |isbn=978-3-03719-132-3}}
* {{cite journal |last=Lawvere |first=F. William |title=Metric spaces, generalized logic, and closed categories | journal=Reprints in Theory and Applications of Categories |volume=1 |year=2002 |pages=1-37 |url=http://www.tac.mta.ca/tac/reprints/articles/1/tr1abs.html |ref=harv}}
*{{mathworld|urlname=MetricSpace|title=Metric Space}}
*{{mathworld|urlname=ProductMetric|title=Product Metric}}

==外部链接==
*[http://www.cut-the-knot.org/do_you_know/far_near.shtml Far and near — several examples of distance functions] at [[cut-the-knot]]

{{Authority control}}
[[Category:点集拓扑学|D]]
[[Category:拓扑学|D]]
[[Category:度量几何|*]]
[[Category:数学结构|D]]