在实分析里，"开集"被定义为"每个点都有一个完全包含在内的小邻域"——可这个定义其实依赖距离。如果一个空间没有距离呢？比如离散的点集、或代数簇这种代数对象，又或者无穷维的函数空间？
20 世纪初，Hausdorff、Kuratowski 把"开集"本身作为原始概念提出来——拓扑成为脱离距离的"位置感"几何。一个空间是什么，由"哪些子集是开的"决定。从这一刻起，几何学摆脱了对度量的依赖，代数几何得以借用拓扑的语言讲述多项式零点的几何——这就是 Zariski 拓扑。
"几何学不再是关于'形状'，而是关于'开集'。" —— 拓扑学家眼中的世界
1. 拓扑空间的公理化定义
拓扑（Topology）
设 $X$ 是非空集合。$X$ 上的拓扑是 $X$ 的一族子集 $\tau \subseteq \mathcal{P}(X)$，称其元素为开集，并满足三条公理：
- (O1) $\varnothing \in \tau$，$X \in \tau$（空集与全集都开）；
- (O2) 任意有限交：若 $U_1, \ldots, U_n \in \tau$，则 $\bigcap_{i=1}^n U_i \in \tau$；
- (O3) 任意并：若 $\{U_\alpha\}_{\alpha\in A} \subseteq \tau$（指标集 $A$ 可任意大），则 $\bigcup_{\alpha\in A} U_\alpha \in \tau$。
$(X, \tau)$ 称为拓扑空间，简记 $X$。
三条公理的不对称很关键：交是有限的，并是任意的。原因来自实数：开区间的任意并仍开（如 $\bigcup_n (-n,n) = \mathbb{R}$），但无穷个开区间的交可能塌缩为闭集（如 $\bigcap_n (-1/n, 1/n) = \{0\}$）。
2. 几个核心例子
例 1：离散拓扑（Discrete Topology）
$\tau = \mathcal{P}(X)$，即每个子集都是开集。任意函数 $f: X \to Y$ 都连续；最"细"的拓扑。
例 2：平凡拓扑（Indiscrete / Trivial Topology）
$\tau = \{\varnothing, X\}$，只有空集与全集开。所有点"无法分辨"；最"粗"的拓扑。
例 3：余有限拓扑（Cofinite Topology）
$\tau = \{\varnothing\} \cup \{U \subseteq X : X\setminus U \text{ 有限}\}$。开集 = 空集，或补集有限。验证：有限交 ⇒ 补集是有限并 ⇒ 仍有限；任意并 ⇒ 补集是有限的交 ⇒ 有限。
这正是 $\mathbb{A}^1$ 上的 Zariski 拓扑：闭集 = 多项式的零点 = 有限点集。
例 4：欧氏拓扑（Euclidean Topology）
在 $\mathbb{R}^n$ 上，称 $U$ 开 $\iff$ 对每个 $\mathbf{x}\in U$ 存在 $\varepsilon > 0$ 使开球 $B(\mathbf{x}, \varepsilon) \subseteq U$。这是熟悉的"分析拓扑"。
★ Zariski 拓扑（预告）
在 $\mathbb{A}^n_k = k^n$（$k$ 是域）上：定义闭集为代数集
$$ V(I) = \{\mathbf{x} \in k^n : f(\mathbf{x}) = 0 \text{ for all } f \in I\}, \quad I \subseteq k[x_1, \ldots, x_n]. $$
其补集构成一个拓扑——Zariski 拓扑。它远比欧氏拓扑粗糙：在 $\mathbb{A}^1$ 上闭集只能是有限点集或全空间。但它足以承载多项式的几何，是代数几何的基本舞台。
图解 1：同一个 4 点集合上的三种拓扑对比
3. 拓扑基（Basis）
当拓扑很大时，列出所有开集既冗长又无信息。我们用一个基来"生成"拓扑。
拓扑基
$\mathcal{B} \subseteq \mathcal{P}(X)$ 是 $X$ 上某拓扑的基，若：
- $\bigcup_{B\in\mathcal{B}} B = X$（覆盖 $X$）；
- 对 $B_1, B_2\in\mathcal{B}$，$x\in B_1\cap B_2$，存在 $B_3\in\mathcal{B}$ 使 $x\in B_3 \subseteq B_1\cap B_2$。
由 $\mathcal{B}$ 生成的拓扑：$U$ 开 $\iff$ $U$ 是 $\mathcal{B}$ 中元素的并。
例 5：欧氏拓扑的基
$\mathcal{B} = \{B(\mathbf{x}, r) : \mathbf{x}\in\mathbb{R}^n, r > 0\}$（所有开球）是 $\mathbb{R}^n$ 上欧氏拓扑的基。任何欧氏开集都可写成开球的并。
甚至更小：取 $\mathbf{x}\in\mathbb{Q}^n$、$r\in\mathbb{Q}_{>0}$ 也够——这种"可数基"的存在称为第二可数。
★ 图解 2：欧氏拓扑 vs Zariski 拓扑（视觉亮点）
4. 子空间拓扑、闭集、内部与闭包
子空间拓扑（Subspace Topology）
若 $(X, \tau)$ 是拓扑空间，$Y \subseteq X$。$Y$ 上的子空间拓扑定义为
$$ \tau_Y = \{U \cap Y : U \in \tau\}. $$
例：$[0,1]$ 上 $[0, 1/2)$ 是子空间开集（虽然在 $\mathbb{R}$ 中不开）——它 = $(-1, 1/2)\cap [0,1]$。
闭集（Closed Set）
$C \subseteq X$ 称闭，若其补 $X\setminus C$ 开。等价地：闭集族满足"任意交、有限并、含 $\varnothing, X$"——与开集对偶。
内部 / 闭包 / 边界
对 $A \subseteq X$，定义
- 内部 $\mathrm{Int}(A) = A^\circ = \bigcup\{U\subseteq A : U \text{ 开}\}$ — 含于 $A$ 的最大开集。
- 闭包 $\overline{A} = \bigcap\{C\supseteq A : C \text{ 闭}\}$ — 含 $A$ 的最小闭集。
- 边界 $\partial A = \overline{A}\setminus A^\circ$。
例：$\mathbb{R}$ 中 $A = (0,1]\cup\{2\}$。$A^\circ = (0,1)$，$\overline A = [0,1]\cup\{2\}$，$\partial A = \{0, 1, 2\}$。
图解 3：拓扑基生成开集
5. 生活实例：地铁路线图 = 拓扑视角
北京、东京、伦敦的地铁路线图都不按真实地理画——它们扭曲了距离与方向，但保留了"哪条线连哪条"、"哪些站换乘"。乘客只关心连接关系，不关心几公里。
这就是拓扑学的精神：距离不重要，"位置"关系才重要。换言之，真实地图与简化图同胚（下一章定义）。同样的精神在电路图、蛋白质折叠分类、数据可视化中都在出现。
6. 练习
练习 1（构造拓扑）
在 $X = \{1, 2, 3\}$ 上写出所有可能的拓扑（共有 $9$ 个，同构意义下 $4$ 类）。
提示
先列出包含 $\varnothing, X$ 的子集族；验证 (O2)、(O3)。例：$\{\varnothing, X\}, \{\varnothing, \{1\}, X\}, \{\varnothing, \{1,2\}, X\}, \{\varnothing, \{1\}, \{1,2\}, X\}, \ldots$ 不要忘记 Sierpiński 拓扑 $\{\varnothing, \{1\}, X\}$，它在 schemes 中扮演重要角色（一个闭点 + 一个开点）。
练习 2（Zariski 拓扑验证）
证明 $\mathbb{A}^1_k$（$k$ 是无限域）上"补集为空或有限的子集构成开集"满足三条公理；并说明这与 $k$ 上多项式零点结构一致。
提示
非零多项式 $f\in k[x]$ 在 $\mathbb{A}^1$ 上的零点至多 $\deg f$ 个，故有限。$V(f) = \{x : f(x) = 0\}$ 闭。$V(I) = \bigcap_{f\in I}V(f)$ 仍是有限点集（除非 $I = (0)$，则 $V = \mathbb{A}^1$ 全空间）。
练习 3（闭包计算）
$\mathbb{Q} \subset \mathbb{R}$（欧氏拓扑）。求 $\overline{\mathbb{Q}}$、$\mathrm{Int}(\mathbb{Q})$、$\partial\mathbb{Q}$。
提示
$\overline{\mathbb{Q}} = \mathbb{R}$（有理数稠密）；$\mathrm{Int}(\mathbb{Q}) = \varnothing$（任何区间都含无理数）；$\partial\mathbb{Q} = \mathbb{R}$。这就是为什么 $\mathbb{Q}$ 是稠密但内部空的典型例子。
练习 4（基的判定）
说明 $\{[a, b) : a \lt b\}$ 是 $\mathbb{R}$ 上某拓扑的基（称下极限拓扑或 Sorgenfrey 直线）。它与欧氏拓扑相比"更细"还是"更粗"？
提示
验证两条基公理。Sorgenfrey 拓扑严格更细：每个 $[a,b)$ 在该拓扑下开（取本身），但在欧氏拓扑下不开（$a$ 处）。反之欧氏开集 $(a,b) = \bigcup_{n\ge 1}[a + 1/n, b)$ 也在 Sorgenfrey 中开。
练习 5（子空间）
$S^1 \subset \mathbb{R}^2$ 配子空间拓扑。"圆弧 $\{(\cos\theta, \sin\theta) : 0 < \theta < \pi/2\}$"是 $S^1$ 中的开集吗？画图说明。
提示
是。它 = $S^1 \cap U$，其中 $U$ 是包含该弧的某个 $\mathbb{R}^2$ 开集（如开扇形）。但不是 $\mathbb{R}^2$ 的开集（任何包含弧的 $\mathbb{R}^2$ 开邻域都"鼓"出 $S^1$ 之外）。这说明"开"是相对于谁讲的。