乌雷松度量化定理

如果一个拓扑空间是正则空间，并且满足第二可数公理，那么它就是可度量化的。

换句话说，只要一个正则拓扑空间满足第二可数公理，就一定存在一个度量，使它所诱导出的拓扑与原来的拓扑完全相同。

• 正则空间：对于任意一点以及任意一个不包含该点的闭集，都可以找到两个互不相交的开集，分别包含该点和该闭集。直观地说，点与闭集总能够被开邻域有效地分离。（按照一般拓扑学的通常约定，正则空间默认满足 $T_1$ 分离公理。）
• 第二可数公理：空间具有一个可数基，即存在一个可数的开集族，使得空间中的每一个开集都可以表示为这些基元素的并。

因此，只要一个拓扑空间既具有良好的分离性质，又能够用可数多个基本开集描述其拓扑结构，就一定可以利用度量来刻画它。

逆命题并不成立。 每个可度量化空间一定是正则空间，但不一定满足第二可数公理。因此，乌雷松度量化定理给出的只是可度量化的充分条件，而不是必要条件。也就是说，有些空间虽然能够由某个度量诱导，却并不存在可数基。

如何理解乌雷松度量化定理

乌雷松度量化定理回答了一个一般拓扑学中的核心问题：一个拓扑空间什么时候能够用度量来描述？

在一般拓扑学中，我们通常先规定哪些集合是开集，再由这些开集定义邻域、连续性、收敛性、闭包等概念。因此，一个拓扑空间并不一定天然具有"距离"的概念。

于是便会产生一个自然的问题：是否存在一个度量 $d(x,y)$，使它所诱导出的拓扑恰好就是原来的拓扑？

乌雷松度量化定理给出了明确的答案：只要一个拓扑空间同时满足以下两个条件，它就是可度量化的。

• 空间是正则的。 任意一点与任意一个不包含该点的闭集，都能够被互不相交的开集分离。这保证了空间具有良好的分离性质。
• 空间满足第二可数公理。 整个拓扑可以由一个可数基生成，因此拓扑结构不会过于复杂。

满足这两个条件后，就一定存在一个度量，使该度量诱导出的拓扑与原拓扑完全一致。换句话说，这个拓扑空间就是可度量化空间。

为什么这一定理重要？ 乌雷松度量化定理搭建了拓扑学与度量空间理论之间的重要桥梁。一旦空间可以度量化，我们就能够利用距离来研究连续性、收敛性、完备性等性质。数学分析中的实数轴、欧几里得平面以及更高维欧几里得空间，都是这一理论最典型的应用对象。

一个具体例子

带有通常拓扑的实数轴 ℝ 满足乌雷松度量化定理的两个条件：

• ℝ 是正则空间。
• ℝ 满足第二可数公理，因为所有端点为有理数的开区间构成了它的一个可数基。

因此，根据乌雷松度量化定理，实数轴 ℝ 是可度量化的。

事实上，通常使用的欧几里得度量

$$ d(x,y)=|x-y| $$

所诱导出的拓扑，正是 ℝ 的通常拓扑。

说明。 ℝ 的通常拓扑由所有形如 $(a,b)$ 的开区间生成。集合 $A\subseteq\mathbb{R}$ 是开集，当且仅当对于任意 $x\in A$，都存在某个 $\varepsilon>0$，使得
$$ (x-\varepsilon,x+\varepsilon)\subseteq A. $$ 也就是说，点 $x$ 的附近总可以找到一个完全落在 $A$ 内的小开区间。通常拓扑正是由欧几里得度量 $|x-y|$ 所诱导的，因此数学分析中的极限、连续性和收敛等概念都建立在这一拓扑之上。
 

例2

现在考虑赋予离散拓扑的实数集 ℝ。

它同样是一个可度量化空间，因为可以定义如下的离散度量：

$$ d(x,y)= \begin{cases} 0,&\text{当 }x=y,\\\\ 1,&\text{当 }x\ne y. \end{cases} $$

这个度量诱导出的正是离散拓扑。事实上，对于任意 $x\in\mathbb{R}$，半径小于 1 的开球只包含点 $x$ 本身，因此每一个单点集 $\{x\}$ 都是开集。

然而，ℝ 上的离散拓扑并不满足第二可数公理。原因在于，任何拓扑基都必须包含所有单点集，而实数集是不可数的，因此这些单点集本身就构成了一个不可数族，不可能存在可数基。

这说明乌雷松度量化定理的逆命题并不成立：一个空间即使能够度量化，也未必满足第二可数公理。

说明。 离散拓扑是一个集合上最精细的拓扑，因为其中每一个子集既是开集，也是闭集。特别地，对于任意 $x\in\mathbb{R}$，都有
$$ \{x\}\text{ 是开集}. $$ 在离散拓扑中，每个点都是彼此独立的，任何以离散空间为定义域的函数都是连续函数。虽然离散拓扑的定义十分简单，但当底集不可数时，它包含的开集数量过于庞大，因此无法由一个可数基生成。