第四章：开集与拓扑结构
在前面的章节中，我们探讨了集合、映射以及距离空间的基本性质。本章将在此基础上，从度量空间中的开集出发，逐步剥离距离的概念，建立起一般拓扑空间的公理化体系，并重点讨论连续性的拓扑刻画以及拓扑基的构造方法。
1. 度量空间中的开集与闭集
在度量空间（或距离空间）中，一切拓扑性质的基础是“球”的概念。
定义 4.1 (\(\epsilon\)-球)
设 \((S, d)\) 为一个度量空间，对于任意的 \(x \in S\) 以及实数 \(\epsilon > 0\)，以 \(x\) 为中心、\(\epsilon\) 为半径的 \(\epsilon\)-球定义为：
基于 \(\epsilon\)-球，我们可以严格定义开集与闭集：
定义 4.2 (开集与闭集)
-
开集 (Open Set)：称集合 \(P \subseteq S\) 是开集，如果对于 \(P\) 中的任意点 \(x \in P\)，都存在一个常数 \(\epsilon > 0\)，使得 \(B(x, \epsilon) \subseteq P\)。
-
闭集 (Closed Set)：称集合 \(C \subseteq S\) 是闭集，如果其补集 \(S \setminus C\) 是开集。
基本例子与性质：
-
全空间 \(S\) 和空集 \(\emptyset\) 既是开集也是闭集。
-
任意并集：如果族 \(\{A_i\}_{i \in I}\) 中的每一个 \(A_i\) 都是开集，那么它们的并集 \(\bigcup_{i \in I} A_i\) 也是开集。
-
有限交集：有限多个开集的交集必然是开集。
证明：有限个开集的交集是开集
我们只需证明两个开集的交集是开集，然后通过数学归纳法即可推广到有限个的情况。设 \(A_1, A_2, \dots, A_k\) 是有限个开集。
考虑它们的交集 \(\bigcap_{i=1}^k A_i\)。如果该交集为空集 \(\emptyset\)，由于空集是开集，结论自然成立。
如果交集非空，任取一点 \(x \in \bigcap_{i=1}^k A_i\)。
这意味着对于每一个 \(i \in \{1, 2, \dots, k\}\)，都有 \(x \in A_i\)。
因为每个 \(A_i\) 都是开集，根据开集的定义，必定存在对应的 \(\epsilon_i > 0\)，使得 \(B(x, \epsilon_i) \subseteq A_i\)。
我们只需取这些半径中的最小值：
由于集合是有限的，\(\epsilon\) 必定是一个严格大于 0 的实数。此时，对于所有的 \(i\)，都有 \(B(x, \epsilon) \subseteq B(x, \epsilon_i) \subseteq A_i\)。
因此，\(B(x, \epsilon) \subseteq \bigcap_{i=1}^k A_i\)。这证明了交集中的任意一点都包含一个完全落在交集内的 \(\epsilon\)-球，故有限交集是开集。 \(\square\)
2. 连续性的拓扑刻画
在微积分中，连续性通常通过 \(\epsilon-\delta\) 语言来描述。在更一般的空间中，我们可以用开集来完全等价地刻画连续性。
定义 4.3 (映射的连续性)
设 \(f: S \to M\) 是两个空间之间的映射。
-
在某一点的局部连续性：称映射 \(f\) 在点 \(x_0 \in S\) 处是连续的，如果对于伴域 \(M\) 中任意一个包含像点 \(f(x_0)\) 的开集 \(V\)（即 \(f(x_0) \in V\)），都存在定义域 \(S\) 中的一个开集 \(U\)，满足 \(x_0 \in U \subseteq f^{-1}(V)\)。
-
全局连续性：称映射 \(f\) 在整个 \(S\) 上是连续的，当且仅当它在 \(S\) 中的每一个点都连续。等价地，\(f\) 是连续的，当且仅当对于 \(M\) 中的任意开集 \(V\)，其原像 \(f^{-1}(V)\) 必定是 \(S\) 中的开集。
3. 一般拓扑空间的公理化定义
一旦我们将连续性的定义完全建立在开集之上，距离 \(d\) 就不再是必需的了。我们可以直接公理化“开集”的概念，从而定义一般拓扑空间。
定义 4.4 (拓扑与拓扑空间)
设 \(X\) 是一个非空集合。\(X\) 上的一个拓扑 (Topology) \(\tau\) 是幂集 \(\mathcal{P}(X)\) 的一个子族（即 \(\tau\) 包含 \(X\) 的部分子集），并且满足以下三条公理：
-
(1) 全空间 \(X\) 和空集 \(\emptyset\) 属于 \(\tau\)。即 \(\emptyset, X \in \tau\)。
-
(2) 任意并封闭：如果 \(\{A_i\}_{i \in I} \subseteq \tau\)，那么它们的任意并集也属于 \(\tau\)。即 \(\bigcup_{i \in I} A_i \in \tau\)。
-
(3) 有限交封闭：如果 \(A_1, A_2, \dots, A_k \in \tau\)，那么它们的有限交集也属于 \(\tau\)。即 \(\bigcap_{i=1}^k A_i \in \tau\)。
赋予了拓扑 \(\tau\) 的集合 \(X\) 被称为拓扑空间 \((X, \tau)\)。拓扑 \(\tau\) 中的元素被称为 \(X\) 关于该拓扑的开集 (Open Sets)。
如果一个子集 \(S \subseteq X\) 的补集 \(X \setminus S\) 是开集（即属于 \(\tau\)），那么称 \(S\) 为闭集 (Closed Set)。
例子：设集合 \(X = \{a, b\}\)，可以定义一个拓扑 \(\tau = \{\emptyset, X, \{a\}\}\)。在这个拓扑空间中，\(\{a\}\) 是开集，相应的补集 \(\{b\}\) 则是闭集。
闭集具有与开集对偶的性质：
-
\(\emptyset\) 和 \(X\) 都是闭集。
-
任意多个闭集的交集 \(\bigcap_{i \in I} C_i\) 仍然是闭集。
-
有限多个闭集的并集 \(\bigcup_{i=1}^k C_i\) 仍然是闭集。
4. 拓扑的基 (Bases for a Topology)
为了描述一个拓扑 \(\tau\)，我们往往不需要列出其中所有的开集，而是可以通过一个更小的集合族——拓扑基 (Base) 来生成整个拓扑。
定义 4.5 (拓扑的基)
设 \((X, \tau)\) 为一个拓扑空间。一个开集族 \(\mathcal{B} \subseteq \tau\) 被称为拓扑 \(\tau\) 的基 (Base)，如果对于 \(\tau\) 中的任意开集 \(S\)，以及 \(S\) 中的任意点 \(x \in S\)，都存在一个基元素 \(B \in \mathcal{B}\)，满足：
由此可知，拓扑 \(\tau\) 中的每一个开集 \(S\) 都可以表示为某些基元素的并集，即 \(S = \bigcup_{i \in I} B_i\)。
并非任意的集合族都能成为某个拓扑的基。下面的定理给出了判断条件：
定理 4.1 (基的判定准则)
设 \(\mathcal{B} \subseteq \mathcal{P}(X)\) 是集合 \(X\) 的一个子集族。那么 \(\mathcal{B}\) 能够成为 \(X\) 上某个拓扑的基，当且仅当它满足以下两个条件：
- (1) 覆盖性：基元素的并集必须覆盖整个空间 \(X\)。即：
- (2) 内部相容性：如果选取两个基元素 \(B_1, B_2 \in \mathcal{B}\)，并且取其交集中的任意一点 \(x \in B_1 \cap B_2\)，则必定存在第三个基元素 \(B_3 \in \mathcal{B}\)，使得：
如果一个集合族 \(\mathcal{B}\) 满足了上述两个条件，那么由它所生成的拓扑 \(\tau\) 就精确地包含了由 \(\mathcal{B}\) 中元素的任意并集所构成的所有子集。