第十二章：可数性与分离公理
在点集拓扑中，可数性公理和分离公理是刻画拓扑空间结构精细程度的两大核心工具。可数性公理（如第一可数、第二可数、可分性、Lindelöf 性质）限制了拓扑空间“基”或“稠密子集”的基数；而分离公理（如 \(T_0, T_1\) 等）则刻画了空间中点与点、点与闭集之间能否被开集相互分离。本章将详细探讨这些公理及其相互关系。
1. 第一可数与第二可数空间
在研究拓扑空间局部的性质时，我们常常希望每个点附近都有一个可数的邻域系统，这就是第一可数的概念。而如果整个空间拥有一个可数的拓扑基，则是第二可数。
定义 12.1 (第一可数空间 First Countable)
如果拓扑空间 \((X, \mathcal{T})\) 在每一点 \(x \in X\) 处都拥有一个 可数的开邻域基 (countable open neighborhood basis)
则称 \((X, \mathcal{T})\) 是 第一可数的。
具体的，这个开邻域基需要满足：对于包含 \(x\) 的任意开集 \(U\)，总存在某个 \(B_{x, i} \in \mathcal{B}_x\)，使得：
定义 12.2 (第二可数空间 Second Countable)
如果拓扑空间 \((X, \mathcal{T})\) 拥有一个 可数的拓扑基 (countable basis)
使得拓扑 \(\mathcal{T}\) 中的任意开集都可以表示为 \(\mathcal{B}\) 中若干元素的并集，则称 \((X, \mathcal{T})\) 是 第二可数的。
基本关系： 显然，第二可数必定蕴含第一可数。因为如果空间有一个全局的可数基 \(\mathcal{B}\)，那么对于任意一点 \(x\)，我们只需从 \(\mathcal{B}\) 中挑出所有包含 \(x\) 的基元素，即 \(\mathcal{B}_x = \{B_i \in \mathcal{B} : x \in B_i\}\)，这就自动构成了点 \(x\) 的一个可数局部开邻域基。
示例：可数乘积空间
考虑可数无限维实数空间 \(\mathbb{R}^\omega = \mathbb{R}^{\mathbb{N}}\)，赋予乘积拓扑 \(\mathcal{T}_p\)。其基元素的形式为：
其中，除了有限个 \(i\) 之外，几乎所有的区间都是整个 \(\mathbb{R}\)（即对于几乎所有的 \(i\)，有 \((a_i, b_i) = \mathbb{R}\)）。
1.1 可数性公理的遗传性
可数性公理在取子空间和可数乘积运算下具有良好的遗传性质。
引理 12.1 (子空间的遗传性)
如果 \((X, \mathcal{T})\) 是第一可数（或第二可数）的，那么它的任意子空间 \(A \subseteq X\) 赋予子空间拓扑后，也是第一可数（或第二可数）的。
引理 12.2 (可数乘积的遗传性)
如果对于所有的 \(i \in \mathbb{N}\)，空间 \(X_i\) 都是第一可数（或第二可数）的，那么它们的无穷可数乘积空间 \((\prod_{i \in \mathbb{N}} X_i, \mathcal{T}_p)\) 也是第一可数（或第二可数）的。
引理 12.2 (关于第一可数) 的证明（点击展开）
假设每个 \(X_i\) 都是第一可数的。对于乘积空间中的任意一点：
因为每个 \(X_i\) 第一可数，所以在每个坐标分量 \(x_i\) 处都存在一个可数开邻域基 \(\mathcal{B}_{x_i}\)。
我们定义乘积空间中点 \(x\) 的局部基为：
因为每一维的局部基 \(\mathcal{B}_{x_i}\) 是可数的，并且我们在作乘积时只允许有限维取非全空间的基元素，这样的有限组合的并集依然是可数集。
因此，\(\mathcal{B}_x\) 是一个可数集。容易验证 \(\mathcal{B}_x\) 确实构成了点 \(x\) 在乘积拓扑下的开邻域基。这就证明了乘积空间是第一可数的。 \(\square\)
2. 可分空间与 Lindelöf 空间
接下来我们考察另外两个与可数性相关的全局拓扑性质：可分性（限制稠密集的基数）和 Lindelöf 性质（限制开覆盖的规模）。
定义 12.3 (可分空间 Separable Space)
一个拓扑空间 \((X, \mathcal{T})\) 被称为 可分的 (separable)，如果它拥有一个 可数的稠密子集 (countable dense subset)。
即存在一个可数集 \(S = \{x_i\}_{i \in \mathbb{N}} \subseteq X\)，使得它的闭包等于全空间：
定义 12.4 (Lindelöf 空间)
一个拓扑空间 \((X, \mathcal{T})\) 被称为 Lindelöf 空间，如果 \(X\) 的任意一个开覆盖 \(\mathcal{A} = \{A_i\}_{i \in I}\)，都必然包含一个 可数的子覆盖 (countable subcover)。
2.1 第二可数性质的强大推论
第二可数是最强的可数性公理，它能够直接推导出可分性和 Lindelöf 性质。
命题 12.3
如果拓扑空间 \((X, \mathcal{T})\) 是 第二可数的，那么：
-
(1) 它是 Lindelöf 空间。
-
(2) 它是 可分空间。
命题 12.3 的证明（点击展开）
设 \(\mathcal{B} = \{B_n\}_{n \in \mathbb{N}}\) 是空间 \(X\) 的一个可数拓扑基。
证明 (1)：第二可数 \(\Rightarrow\) Lindelöf
设 \(\mathcal{A} = \{A_i\}_{i \in I}\) 是 \(X\) 的任意一个开覆盖。对于任意 \(x \in X\)，因为 \(\mathcal{A}\) 是覆盖，存在某个 \(A_i \in \mathcal{A}\) 使得 \(x \in A_i\)。
因为 \(\mathcal{B}\) 是拓扑基，必然存在某个基元素 \(B_{n_x} \in \mathcal{B}\)，使得：
让 \(x\) 遍历整个 \(X\)，我们挑选出的这些基元素构成了 \(\mathcal{B}\) 的一个子族 \(\mathcal{B}'\)。由于 \(\mathcal{B}\) 本身是可数的，\(\mathcal{B}'\) 必定是可数的（或者有限的）。
我们为 \(\mathcal{B}'\) 中的每一个基元素 \(B_k\)，在原始覆盖 \(\mathcal{A}\) 中任意选择一个包含它的开集 \(A_{i_k}\)（即 \(B_k \subseteq A_{i_k}\)）。
令 \(\mathcal{A}' = \{A_{i_k}\}\)。由于 \(\mathcal{B}'\) 是可数的，\(\mathcal{A}'\) 也是可数的。因为 \(\mathcal{B}'\) 覆盖了 \(X\)，且每个 \(B_k \subseteq A_{i_k}\)，所以 \(\mathcal{A}'\) 也覆盖了 \(X\)。这就找到了一个可数子覆盖，证明了它是 Lindelöf 空间。
证明 (2)：第二可数 \(\Rightarrow\) 可分空间
从可数基 \(\mathcal{B} = \{B_n\}_{n \in \mathbb{N}}\) 中，对于每一个非空的基元素 \(B_n \ne \emptyset\)，我们从中任意选取一个点 \(x_n \in B_n\)。
令 \(S = \{x_n\}_{n \in \mathbb{N}}\)。显然 \(S\) 是一个可数子集。我们断言 \(\bar{S} = X\)。
采用等价的稠密性刻画：我们需要证明对于 \(X\) 中的任意非空开集 \(U\)，都有 \(U \cap S \ne \emptyset\)。
因为 \(\mathcal{B}\) 是拓扑基，任意非空开集 \(U\) 必然包含某个基元素 \(B_k \in \mathcal{B}\)。 根据我们构造 \(S\) 的方式，点 \(x_k\) 属于 \(B_k\)，自然也就属于 \(U\)。
同时 \(x_k \in S\)，因此 \(x_k \in U \cap S\)，故 \(U \cap S \ne \emptyset\)。这证明了 \(S\) 在 \(X\) 中是稠密的，所以 \(X\) 是可分的。 \(\square\)
3. 拓扑性质的关系与经典反例
在度量空间 (Metric Space) 中，很多可数性与紧致性概念是等价的，但在一般的拓扑空间中，它们的关系呈现出单向的蕴含结构。
拓扑性质关系图：
-
在一般的拓扑空间中： 第二可数 (2nd countable) \(\implies\) 第一可数 (1st countable) 第二可数 (2nd countable) \(\implies\) 可分 (Separable) 第二可数 (2nd countable) \(\implies\) Lindelöf
-
在度量空间 (Metric Space) 中，以下性质完全等价： 第二可数 \(\iff\) 可分 \(\iff\) Lindelöf
(注：序列紧 (Sequential Compactness) 与紧致性在度量空间中也是等价的，这在闭集且有界的条件下有进一步的联系。)
3.1 经典反例：下限拓扑 \(\mathbb{R}_l\)
实数集上的下限拓扑 (Lower limit topology) \(\mathbb{R}_l\) 是一个极其经典的用来区分这些拓扑性质的反例。它由半开半闭区间构成基：
下限拓扑 \(\mathbb{R}_l\) 的性质分析
- (1) 它是第一可数的 (1st countable)
对于任意点 \(x \in \mathbb{R}\)，我们可以构造一个可数的局部邻域基：
容易验证任何包含 \(x\) 的开集必然包含 \(\mathcal{B}_x\) 中的某个元素。
- (2) 它绝对不是第二可数的 (NOT 2nd countable)
假设存在一个基 \(\mathcal{B}'\)。对于每一个实数 \(x \in \mathbb{R}\)，考察开集 \([x, x+1)\)。由于 \(\mathcal{B}'\) 是基，必须存在某个 \(B_x \in \mathcal{B}'\)，使得：
这强制要求基元素 \(B_x\) 的下确界必须正好是 \(x\)，即 \(\inf B_x = x\)。
如果 \(x \ne y\)，那么必然有 \(B_x \ne B_y\)（因为它们的最小值/下确界不同）。因此，我们要为不可数多个不同的实数 \(x\) 配备不同的基元素 \(B_x\)。这就导致基的基数 \(\text{Card}|\mathcal{B}'| \ge \aleph_1\)，即基必然是不可数的！
- (3) 它是可分的 (Separable)
有理数集 \(\mathbb{Q}\) 在下限拓扑中依然是稠密的，即 \(\bar{\mathbb{Q}} = \mathbb{R}\) (w.r.t \(\mathcal{T}_l\))。且 \(\mathbb{Q}\) 是可数的。
- (4) 它是 Lindelöf 的
(这里省略证明细节，但 \(\mathbb{R}_l\) 确实是 Lindelöf 空间)。
结论：\(\mathbb{R}_l\) 是可分且 Lindelöf 的，但它却不是第二可数的。这打破了度量空间中这三者的等价性，也说明了 \(\mathbb{R}_l\) 不能被度量化。
4. 分离公理 (Separation Properties)
分离公理探讨的是拓扑空间中“点与点”、“点与闭集”之间能够被开集分离到什么程度。由弱到强，主要包括：
定义 12.5 (\(T_0\) 空间)
拓扑空间 \((X, \mathcal{T})\) 称为 \(T_0\) 空间 (Kolmogorov 空间)，如果对于空间中任意两个不同的点 \(x \ne y\)，至少存在一个 开集，它包含了其中一点而不包含另一点。
即，要么存在开集 \(U\) 使得 \(x \in U\) 且 \(y \notin U\)；要么存在开集 \(V\) 使得 \(y \in V\) 且 \(x \notin V\)。
定义 12.6 (\(T_1\) 空间)
拓扑空间 \((X, \mathcal{T})\) 称为 \(T_1\) 空间 (Fréchet 空间)，如果对于空间中任意两个不同的点 \(x \ne y\)，都分别存在 包含自身而不包含对方的开集。
即，存在开集 \(U\) 使得 \(x \in U\) 且 \(y \notin U\)；并且 存在开集 \(V\) 使得 \(y \in V\) 且 \(x \notin V\)。
\(T_0\) 与 \(T_1\) 的区别与反例： \(T_1\) 的条件明显强于 \(T_0\)。存在是 \(T_0\) 但不是 \(T_1\) 的空间。 经典反例是 Sierpiński 空间：设 \(X = \{a, b\}\)，拓扑为 \(\mathcal{T} = \{\emptyset, \{a\}, \{a, b\}\}\)。 对于 \(a \ne b\)，存在开集 \(\{a\}\) 包含 \(a\) 而不包含 \(b\)（满足 \(T_0\)）。 但是，不存在任何包含 \(b\) 且不包含 \(a\) 的开集（不满足 \(T_1\)）。