定义(度量):
设
为一个集合。在
上的度量是一个函数
,满足以下条件:


("对称性")
("三角不等式")
定义(度量空间的拓扑):
令
是一个度量空间。
的拓扑,即集合
上的拓扑,定义为
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://127.0.0.1:6011/en.wikibooks.org/v1/":): {\displaystyle \left\{ U \subseteq M \middle| \forall x \in U: \exists \epsilon > 0: B_\epsilon(x) \subseteq U \right\}}
.
该定义是合理的。
命题(度量诱导拓扑):
令
是一个度量空间。 定义
如下
- Failed to parse (unknown function "\middle"): {\displaystyle \tau := \left\{ U \subseteq M \middle| \forall x \in U: \exists \epsilon > 0: B_\epsilon(x) \subseteq U \right\}}
则
是
上的拓扑。
备注(开球是开的):
注意,每个开球都是上述拓扑下底层度量空间的开子集,因为只要
,我们可以选择
并得到
,这是因为对于
,有
。
证明: 这种拓扑正是 用邻域来刻画拓扑 时,当我们选择一个点的邻域
为那些包含
的集合,其中
足够小。很明显,这样定义的邻域满足定义的 1.-3.,并且根据 上面的话,它们也满足 4.,因为开球是它每一个点的邻域。 
现在,度量空间的子集又是度量空间(很容易验证),并且较大空间的度量限制所诱导的拓扑是子空间拓扑。
证明:我们只需要证明它们具有相同的开集。
在子空间拓扑中是开集意味着存在
开集使得
。如果是这种情况,选择
为任意点。由
的开性,选择
足够小使得
,其中球体是关于
上的度量取的。然后注意到,只要
满足
,那么
,因为根据限制的定义,
。因此,只要
对
成立,我们有
。对于另一个方向,假设
在由
在
上诱导的度量拓扑中是开集。 
命题(度量空间是正规的):
设
是一个度量空间。那么
以及由度量
诱导的拓扑是正规的。
证明: 设
是
中的两个不相交的闭集。对于每个
,定义
足够小,使得
,类似地,对于
也是如此。然后定义
,
.
请注意
,
。假设
,并选择
和
使得
或者
。两种情况
和
通过三角不等式会导致矛盾。 
通常,通过选择
,
最大,选择所有满足条件的开球的并集,可以避免选择公理。
命题(度量空间是完全正规的):
令
是一个度量空间。那么
以及它的子空间拓扑是完全正规的。
证明: 令
是
的任何子集。如上所述,
具有度量空间的结构,并且 一般拓扑/度量空间#度量空间是正规的。此外,它的子空间拓扑等于由其度量诱导的拓扑,因此它在子空间拓扑中是正规的。因此,
是遗传正规的,即完全正规的。 
定义(真空间):
如果且仅如果度量空间
的所有闭球都是紧致的,则称该度量空间为 **完备** 度量空间。
**证明:** 注意到根据实数下 infimum 的存在性,该值

存在。现在定义对于 
- 无法解析 (SVG (MathML可以通过浏览器插件启用): 从服务器 "https://127.0.0.1:6011/en.wikibooks.org/v1/" 收到无效响应 ("Math extension cannot connect to Restbase."):): {\displaystyle K_n := \left\{z \in A \middle| d(x, z) \le \eta + \frac{1}{n} \right\}}
;
注意对于所有
,
(否则
到
的最小距离将大于
),并且
。此外,每个
作为 Hausdorff 空间的闭子集,都是紧致的。因此,我们可以应用 Cantor 交集定理 来得到
。因此,令
。
注意,对于每个
,
根据下确界的定义。此外,对于每个
,
根据
的定义,因此
。 
命题(度量空间是一致空间):
令
是度量空间,并定义
- Failed to parse (unknown function "\middle"): {\displaystyle U_n :=\left\{ (x, y) \in M \times M \middle| d(x, y) < \frac{1}{n} \right\}} ,然后 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://127.0.0.1:6011/en.wikibooks.org/v1/":): {\displaystyle \mathcal U := \left\{ U_n \middle| n \in \mathbb N \right\}} 。
那么
是
上的陪集滤子的基。
证明: 显然,
的每个子集都包含对角线。此外,由于计算
;
这意味着我们确实有一个过滤基。最后,令
为一个 entourage。选取
使得
。首先注意到
是对称的,因为
是对称的。然后,选择
。假设
且
,那么
。 
证明: 很明显,对于所有
,
。现在假设
。那么
,
因此,
等价于
![{\displaystyle {\begin{aligned}(1+d(x,z))[2d(x,y)d(y,z)+d(y,z)+d(x,y)]&\geq d(x,z)[d(x,y)+d(y,z)+d(x,y)d(y,z)+1]\\\Leftrightarrow 2d(x,y)d(y,z)+d(y,z)+d(x,y)+d(x,y)d(y,z)d(x,z)&\geq d(x,z)\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d55d58d4aa98d59fe63991422798b7ac72074492)
证明了三角不等式,这是证明
是一个度量所需要证明的唯一非平凡的部分。 
例子(无限维实空间):
考虑空间
,它是可数个
的乘积,并带有
上欧几里得拓扑诱导的乘积拓扑。
定义(真空间):
真空间 是一个度量空间
,使得它的所有闭球都是紧致的。
证明:令
.
则集合
(
)
形成一个非空紧集和闭集的递减族,因为紧集的闭子集是紧集,并且Hausdorff 空间的紧子集是闭集。因此,康托尔交集定理证明存在
.
但对于每个
,
,因此实际上
. 
- 令
为一个紧拓扑空间,其拓扑由两个度量
和
导出。证明对于每个
,存在
使得
蕴含
(然后通过对称性,反之亦然)。