度量空间
在數學中，賦距空間（）是一個集合及其度量，該度量是一個函數，定義了集合中任兩個成員（通常我們稱為「點」）間的距離這一概念。簡略地來說，這個度量滿足了幾個簡單的特性：
賦距空間中最符合人们对于现实直观理解的為三维欧几里得空间。事实上，“度量”的概念即是欧几里得距离四个周知的性质之推广。欧几里得度量定义了两点间之距离为连接這兩點的直线段之长度。此外，亦存在其他的度量空間，如橢圓幾何與雙曲幾何，而在球體上以角度量測之距離亦為一度量。狭义相對論使用雙曲幾何的雙曲面模型，作為速度之度量空間。
賦距空間还能導出开集與闭集之類的拓扑性质，这导致了对更抽象的拓扑空间之研究。
莫里斯·弗雷歇在1906年于著作《Sur quelques points du calcul fonctionnel》, Rendic. Circ. Mat. Palermo 22(1906) 1–74 中引入了度量空间。
度量空間為一有序對 ("M","d")，其中 "M" 為集合而 "d" 為在 "M" 上之度量(metric)，即為函数
使對於任何在 M 內之 x、y、z，下列條件均成立：條件 1 可由其他三個條件中導出。條件 1 做为度量空间的性质更恰当一些，但是很多课本都將其包含於定义之中。
函数 "d" 亦稱為“距离函数”或简稱“距离”。若依上下文可知道使用的度量為何，通常會省略 d，只寫出 M 為度量空間。
若不考量數學上的細節，對於任何道路系統與地形，兩個位置間之距離可被定義為連接這些位置的最短路徑之長度。度量內不應該存在單行道。三角不等式表示每個彎路都不會是最短路徑。下面的許多例子均可被視為此類一般概念的具體版本。
每個度量空間都自然地會是個拓撲空間，且因此與一般拓撲空間有關的所有定義及定理也一樣適用於所有的度量空間。
對於度量空間 formula_24 內的任一點 formula_10，可定義中心為 formula_10，半徑為 formula_79（其中，formula_80 為一實數）的開球 這些開球會形成 formula_24 上拓撲的基，使之成為一個拓撲空間。
具體來說，formula_24 的子集 formula_84 稱之為開的，若對於每個 formula_84 內的 formula_10，存在一個 formula_79，使得 formula_88 包含於 formula_84。開集的補集為閉集。點 formula_10 的鄰域是指 formula_24 內包含中心為 formula_10 的某一開球之任何子集。
拓撲空間若可由某個度量空間形成，則稱之為可度量化空間；更進一步的細節請見烏雷松度量化定理。
度量空間 formula_24 內之序列 (formula_94) 稱之為可收斂至極限 formula_95，若且唯若對於每個 formula_96，均存在一個自然數 formula_97，使得 formula_98，對於所有 formula_99。在拓撲空間內也有相對應的收斂之一般定義。
度量空間 formula_24 內的子集 formula_69 是封閉的，若且唯若每個在 formula_69 內的序列若可收斂至 formula_24 內的一極限，則該極限在 formula_69 內。
度量空間 M 稱之為完備的，若每個柯西序列均收斂於 M 內，亦即：若 formula_105，其中 n 與 m 各自趨近於無限大，則存在某個 formula_106，使得 formula_107。
每個歐氏空間都是完備的，而且該空間的每個閉子集也都是完備空間。使用絕對值度量 formula_108 的有理數集合則不是完備的。
每個度量空間都有個在同構意義下唯一的完備化空間。該完備化空間是個完備空間，給定之度量空間為其稠密子集。例如，實數是有理數的完備化空間。
若 X 是空間空間 M 內的完備子集，則 X 在 M 內是封閉的。而實際上，一個空間是完備的，若且唯若該空間在任何包含該空間的度量空間內都是封閉的。
每個完備度量空間都是個貝爾空間。
度量空间 "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，均存在一個連續映射 formula_109，其中 f(0)=x 且 f(1)=y。每個路徑連通空間都是連通的，但反之通常不成立。
上述性質均有相對的局部定義：局部連通空間與局部路徑連通空間。
單連通空間在某一層面上來說，可說是個沒有「洞」的空間。
一度量空間稱之為可分空間，若該空間有可數稠密子集。典型的例子為實數或任何一個歐氏空間。對於度量空間（但不包括一般拓撲空間）可分性等價於第二可數，亦等價於林德勒夫性質。
假設 ("M","d") 與 ("M","d") 為兩個度量空間。
映射 formula_110 是連續的，若具有下列任意一個（也就得到了以下所有的）等價性質： 這是在拓撲學裡連續性的一般定義。 這是由所提出的。 這用到了，由奧古斯丁·路易·柯西所提出。
此外，formula_17 是連續的，若且唯若該函數在 formula_114 的每個緊緻子集內都是連續的。
每個緊緻集合在連續函數下的像亦是緊緻的，且每個連通集合在連續函數下的像亦是連通的。
映射 "ƒ" : "M" → "M" 為一致連續的，若對於每個 ε > 0，均存在 δ > 0，使得
每個一致連續映射 "ƒ" : "M" → "M" 均是連續的。若 "M" 是緊緻的，則反向的陳述亦會成立。（海涅－康托爾定理）
一致連續映射會將 "M" 內的柯西序列轉換成 "M" 內的柯西序列。對於連續映射，該陳述則不一定會成立；例如，一個將開區間 (0,1) 滿射至實數線的連續映射即會將柯西序列轉換成無界的序列。
給定一數 K > 0，映射 "ƒ" : "M" → "M" 為利普希茨連續，若
每個利普希茨連續映射均是一致連續的，但反之不一定成立。
若 K < 1，則 f 稱之為壓縮映射。令 "M" = "M"，且 "M" 是完備的。若 f 是個壓縮映射，則 f 會有個唯一的不動點（巴拿赫不動點定理）。若 "M" 是緊緻的，則條件可稍微放寬一點：f 會有個唯一的不動點，若
映射 "f":"M"→"M" 稱之為等距同構，若 等距同構總會是單射的；緊緻或完備集合在等距同構下的像仍分別會是緊緻或完備的。不過，若等距同構不是滿射的，則閉（或開）集的像不一定是閉（或開）的。
映射　"f" : "M" → "M"　稱之為擬等距同構，若存在常數 A ≥ 1 與 B ≥ 0，使得
且有一個常數 C ≥ 0，使得 "M" 內的每個點與像 "f"("M") 內的某個點間之距離至多為 C。
須注意，擬等距同構不需要是連續的。擬等距同構比較度量空間的「大尺度結構」；多用於幾何群論內與字度量有關的理論。
度量空間之間有著不同的等價性。依據兩個空間之間能夠存在的函數，可給出不同等價的程度與類型。
给定两个度量空间 ("M", "d") 和 ("M", "d"):度量空間是個仿緊緻豪斯多夫空間，因此是個正規空間（且實際上是個完美正規空間）。度量空間也是個第一可數空間，因為可使用具有理數半徑的球作為該空間的基。
依據提策擴展定理，每個度量空間都能具有單位分解，且每個定義於度量空間的閉子集上之連續實數值函數均能擴展成整個空間的連續映射。每個定義於度量空間的子集上之實數值利普希茨連續映射亦能擴展成整個空間的利普希茨連續映射。
度量空間 M 上的度量拓撲是使得 formula_136 映射至非負實數的度量 d 為連續之最粗糙拓撲。
构造分离一个点与一个闭集的函数(作为完全正则空间的要求)的简单方式是考虑点和集合之间的距离。 如果 ("M","d") 是度量空间，"S" 是 "M" 的子集而 "x" 是 "M" 的点，則可定义从 "x" 到 "S" 的距离为
d(x, S) = 0 若且唯若 x 包含於 S 的閉包內。此外，可將三角不等式推廣如下： 其中，可證明映射 formula_140 是連續的。
給定兩個 M 內的子集 S 與 T，可定義豪斯多夫距離為
一般而言，豪斯多夫距離 "d"("S","T") 可以是無限大的。兩個集合的在豪斯多夫距離上會互相靠近，若其中一個集合的每個元素會靠近另一集合的某個元素。
豪斯多夫距離 "d" 會將由所有 M 內非空緊緻子集所組成之集合 K(M) 轉換成一個度量空間。可證明若 M 是完備的，則 K(M) 亦是完備的。（緊緻子集的收斂性亦可由庫拉托夫斯基收斂給出。）
然後，可定義任兩個度量空間之間的格羅莫夫-豪斯多夫距離為這兩個空間的等距同構嵌入版本間之最短豪斯多夫距離。使用此一距離，由所有（等距同構類型的）緊緻度量空間所組成的類本身即會形成一個度量空間。
如果 formula_143 是度量空间，而 "N" 是在 "R" 上的欧几里得范数，则 formula_144 亦為度量空間，且積度量定義為
積度量導出之拓撲等價於積拓撲。依據有限維的範數之等價性，曼哈頓範數、p-範數、最大範數，及其他當座標內的分量增加時不會減少（符合三角不等式）之範數，所給出的度量均為拓撲同構。
同樣的，度量空间的可数積度量可以定義為如下度量：
度量空間的不可數積度量不一定是可度量化的。例如， formula_147 不是第一可數空間，因此不能度量化。
值得注意的是，在一個空间 formula_148 中，距离映射 formula_149 在上述任何一個積度量 formula_150 下均是一致连续的，且特别是，在 formula_136 下的积拓扑會是连续的。
若 M 為度量空間，其度量為 d，且 ~ 為 M 上之等價關係，則可在商集合 M/~ 上賦加下面的（偽）度量。給定兩個等價類 [x] 與 [y]，可定義
其中，formula_153、formula_154、formula_155（即取從 [x] 至 [y] 經過所有等價類之路徑的最短長度）。一般來說，這僅能定義出一個偽度量，即 d'([x],[y])=0 不一定蘊涵 [x] = [y]。不過，對於良好的等價關係（如將多面體沿著面膠合），則會是個度量。此外，若 M 是個緊緻空間，則該度量在 M/~ 上導出之拓撲為商拓撲。
商度量 d 具有下列泛性質：若 formula_156 是個度量空間之間的（即對於所有 x、y，formula_157），滿足當 formula_158 時，f(x)=f(y) 的條件，則函數 formula_159 定義為 formula_160，亦會是個度量映射 formula_161。
一個拓撲空間是序列的，若且唯若該空間是個度量空間的商空間。
有序集 formula_163 可透過令 formula_164 時恰有一態射 formula_165，否則沒有態射，將之視為一個範疇。使用 + 作為張量積，0 作為單位元，該集合可變成一個么半範疇 formula_166。每個度量空間 (M, d) 均可被視為 formula_166 上的豐富範疇 formula_168。其步驟如下：