簡介
設{x}是度量空間(R,ρ)中的點列，如果對任意ε>0，存在N(ε)>0，使得當n,m>N(ε)時，恆有 ρ(x,x)<ε，則{x}稱為R中的基本點列或柯西點列。
推廣
若度量空間R中的每個基本點列都收斂（即在R中有極限），則稱R是完備度量空間。
設(R,ρ)，(R,ρ)是兩個度量空間，如果存在由R到R上的映射T，使得對一切x,y∈R，有ρ(Tx,Ty)=ρ(x,y)成立，則稱T是R到R上的等距映射，並稱R與R等距同構。
對於度量空間R，如果有完備的度量空間R，使R等距同構於R的一個稠密子空間，則稱R是R的完備化空間。任何度量空間都必存在完備化空間，且若除去等距同構不計外，完備化空間是惟一的。1906年,弗雷歇(Frechet,M.-R.)在引進度量空間後，又運用柯西收斂準則提出了度量空間的完備化。
度量空間
度量空間(Metric Space)，在數學中是指一個集合，並且該集合中的任意元素之間的距離是可定義的，亦稱距離空間。一類特殊的拓撲空間。弗雷歇(Fréchet，M.-R.)將歐幾里得空間的距離概念抽象化，於1906年定義了度量空間。
在度量空間中，緊性、可數緊性、序列緊性、子集緊性是一致的。可分性、遺傳可分性、第二可數性、林德勒夫性是一致的。度量空間必滿足第一可數公理，是豪斯多夫空間，完全正規空間，仿緊空間。偽度量空間滿足第一可數公理，但一般不是豪斯多夫空間。
