度量拓撲

由在度量空間 上定義的度量 誘導的拓撲。開集是可以實現為開球的並集的所有子集

其中 ，且 。

度量拓撲使得 成為 T2 空間。給定 和 這兩個 的不同點，它們的距離 肯定是正的，所以開球 和 分別是 和 的不相交鄰域。