度量拓扑

由在度量空间 上定义的度量 诱导的拓扑。开集是可以实现为开球的并集的所有子集

其中 ，且 。

度量拓扑使得 成为 T2 空间。给定 和 这两个 的不同点，它们的距离 肯定是正的，所以开球 和 分别是 和 的不相交邻域。