度量拓扑的一个拓扑基

在度量空间 \((X,d)\) 中，全体开球组成的集合 $$ \mathcal{B}=\{B_d(x,\varepsilon)\mid x\in X,\ \varepsilon>0\} $$ 构成 \(X\) 上一个拓扑基。由这一基生成的拓扑称为度量拓扑。

这是连接度量空间与拓扑学的重要定理之一。它揭示了一个基本事实：度量空间中的任意开集，都可以由若干开球组合而成。因此，开球不仅是最基本的几何对象，也是构造整个度量拓扑的基础。

如果一个集合族 \(\mathcal{B}\) 满足：任意开集都可以表示为其中若干集合的并集，那么 \(\mathcal{B}\) 就称为该拓扑的一个基。

要成为拓扑基，这个集合族必须满足以下两个条件：

1. 覆盖性。 对于任意点 \(x\in X\)，至少存在一个基元素包含它。
2. 交稳定性。 如果点 \(x\) 同时属于两个基元素，那么一定存在第三个基元素既包含 \(x\)，又完全包含在这两个基元素的交集中。

本定理证明，全体开球恰好满足这两个条件，因此它们构成了度量拓扑的一个拓扑基。

回顾一下，以 \(x\) 为中心、半径为 \(\varepsilon>0\) 的开球定义为 $$ B_d(x,\varepsilon)=\{y\in X\mid d(x,y)<\varepsilon\}. $$ 也就是说，它包含了所有与点 \(x\) 的距离严格小于 \(\varepsilon\) 的点。

从几何角度来看，可以把开球看作构建开集的"基本单元"。正如一座建筑由无数砖块组成，一个开集也可以由许多个开球拼接而成。

一个例子

考虑平面 \(\mathbb{R}^2\) 中的下列集合：

$$ A=\{(x_1,x_2)\in\mathbb{R}^2\mid 1

这个集合包含所有到原点距离大于 1 且小于 2 的点。

从几何上看，它是一个圆环域，也就是由两个半径分别为 1 和 2 的同心圆围成的区域。

由于边界上的两个圆都不属于该集合，因此 \(A\) 是一个开集。

那么，这个圆环域能否表示成若干开球的并集呢？

根据拓扑基定理，答案是肯定的。

任选圆环域中的一点，以它为中心作一个足够小的开球，只要半径选择得合适，整个开球都会落在圆环域内部。

例如，取点 \(p_1=(1.5,0)\)，并令半径为 \(\varepsilon_1=0.3\)：

$$ B_d((1.5,0),0.3)=\{(x_1,x_2)\in\mathbb{R}^2\mid d((1.5,0),(x_1,x_2))<0.3\}. $$

这个开球完全位于圆环域内部。

再选择另一点 \(p_2=(-1.5,0)\)，并取半径 \(\varepsilon_2=0.4\)：

$$ B_d((-1.5,0),0.4)=\{(x_1,x_2)\in\mathbb{R}^2\mid d((-1.5,0),(x_1,x_2))<0.4\}. $$

这个开球同样完全包含在圆环域中。

继续重复这一过程，就可以在整个圆环域内放置越来越多的开球。只要半径取得足够小，每个开球都不会越过边界。

所有这些开球合在一起，便覆盖了集合 \(A\) 的每一个点。

用数学符号表示为：

$$ A=\bigcup_i B_d(x_i,\varepsilon_i). $$

其中，每个中心 \(x_i\) 都位于圆环域内，每个半径 \(\varepsilon_i\) 都满足

$$ B_d(x_i,\varepsilon_i)\subseteq A. $$

这个例子展示了一个普遍规律：度量空间中的每一个开集，都可以表示为开球的并集。

正因为如此，开球被视为度量拓扑最基本的构造单元。

证明

下面证明，在度量空间 \((X,d)\) 中，全体开球组成的集合族确实构成 \(X\) 上一个拓扑的基。

只需验证拓扑基所要求的两个条件。

每个点都属于某个基元素

设 \(x\in X\)。

对于任意半径 \(\varepsilon>0\)，开球 \(B_d(x,\varepsilon)\) 都属于集合族 \(\mathcal{B}\)。

并且

$$ d(x,x)=0<\varepsilon, $$

因此 \(x\in B_d(x,\varepsilon)\)。

由此可见，\(X\) 中每个点至少属于一个开球，因此覆盖性成立。

交稳定性

设 \(B_1\) 和 \(B_2\) 为两个开球，并满足

$$ x\in B_1\cap B_2. $$

需要证明：存在一个以 \(x\) 为中心的开球，它完全包含在 \(B_1\cap B_2\) 中。

由于 \(x\in B_1\)，存在半径 \(\delta_1>0\)，使得

$$ B_d(x,\delta_1)\subseteq B_1. $$

同理，由于 \(x\in B_2\)，存在半径 \(\delta_2>0\)，使得

$$ B_d(x,\delta_2)\subseteq B_2. $$

取较小的那个半径：

$$ \delta=\min\{\delta_1,\delta_2\}. $$

于是，开球 \(B_d(x,\delta)\) 中的每一个点都同时属于 \(B_1\) 和 \(B_2\)，因此有

$$ B_d(x,\delta)\subseteq B_1\cap B_2. $$

因此，交稳定性也得到满足。

由于拓扑基要求的两个条件都成立，所以全体开球组成的集合族构成了 \(X\) 上一个拓扑的基。

由此生成的拓扑，正是由度量 \(d\) 所诱导的度量拓扑。