到目前为止我们已经看见太多奇怪的拓扑：平凡拓扑里所有点都"挤在一起"，余有限拓扑里两个开集总相交，Zariski 拓扑下闭集少得只剩多项式的零点……要把"几何感觉"找回来，我们需要把拓扑空间分门别类——这就是分离公理（Separation Axioms）的角色。
而本章的另一半"商空间"则是反方向的造物：它告诉我们如何把一个空间粘起来。把线段两端粘合 → 圆；把正方形对边按特定方向粘合 → 环面、Klein 瓶、射影平面 ……粘合的语言不仅造出了拓扑学最重要的玩具样本，也是后来纤维丛、商概形、商代数簇的几何雏形。
"拓扑学家分不清咖啡杯和甜甜圈" —— 这句俏皮话的背后，正是同胚 + 商空间的双重力量。
1. 分离公理 $T_0,\ T_1,\ T_2$
分离公理是一组逐渐变强的条件，刻画"拓扑能在多大程度上区分不同的点"。
$T_0$ 公理（Kolmogorov）
对任意两点 $x\neq y$，至少存在一个开邻域只含其中之一。换言之：从拓扑角度看，没有两个点是"完全不可区分"的。
$T_1$ 公理（Fréchet）
对任意两点 $x\neq y$，存在开邻域 $U\ni x$ 不含 $y$，同时存在开邻域 $V\ni y$ 不含 $x$。
等价描述：每个单点集 $\{x\}$ 都是闭的。
$T_2$ 公理（Hausdorff，豪斯多夫）
对任意两点 $x\neq y$，存在不相交的开邻域 $U\ni x$, $V\ni y$，即 $U\cap V = \varnothing$。
形象：两个点能被"两个不重叠的小气泡"装下。
强弱关系
$$ T_2 \;\Longrightarrow\; T_1 \;\Longrightarrow\; T_0. $$
且每个箭头都是严格的（即存在反例），下面的图解会给出。
图解 1：Hausdorff vs 非 Hausdorff
2. 为什么 Hausdorff 这么重要？
极限的唯一性
在 Hausdorff 空间中，序列 $\{x_n\}$ 的极限若存在则唯一。
证明草图：若 $x_n\to x$ 且 $x_n\to y$ 而 $x\neq y$，取不相交开邻域 $U\ni x, V\ni y$，则尾段同时落入 $U$ 和 $V$，矛盾。
紧 Hausdorff 空间的好性质
- 紧 Hausdorff 空间的紧子集 $\Longleftrightarrow$ 闭子集。
- 紧 Hausdorff 空间上的连续双射自动是同胚。
- Tychonoff 定理：任意 Hausdorff 紧空间族的乘积仍紧 Hausdorff。
- 紧 Hausdorff 空间是正规（$T_4$）的——任意两个不相交闭集可被开集分开。
一句话：紧 Hausdorff 空间是数学家的好朋友。Phase 7 的范畴论里，"紧 Hausdorff 空间范畴"是最常被举的例子之一。
例 1：常见空间的 $T$-性
- $\mathbb{R}^n$、所有度量空间：$T_2$（实际上是 $T_4$）。
- 余有限拓扑 $(\mathbb{R}, \tau_{\text{cof}})$：$T_1$ 但不 $T_2$（任意两个非空开集都相交）。
- 平凡拓扑 $\tau = \{\varnothing, X\}$（$|X|\ge 2$）：连 $T_0$ 都不是。
- Sierpiński 空间 $\{0,1\}$ 配 $\{\varnothing, \{1\}, \{0,1\}\}$：是 $T_0$，不是 $T_1$。
3. Zariski 拓扑：$T_1$ 但不是 $T_2$！
在仿射空间 $\mathbb{A}^n_k = k^n$ 上，Zariski 拓扑把闭集定义为多项式的公共零点集 $V(I) = \{x : f(x) = 0,\ \forall f\in I\}$。
$\mathbb{A}^1$ 上的 Zariski 拓扑
闭集 = 有限点集（包括空集和全集）。开集 = 余有限集合。
- $T_1$：单点 $\{a\}$ 是 $V(x-a)$ 的零点集，闭。
- 非 $T_2$：任两个非空开集（=余有限集）必相交，因为两个有限集合的并集仍然有限。
⚠️ 这意味着什么？
代数几何不能直接套用"Hausdorff 空间→极限唯一"等熟悉的论证。Grothendieck 给出的解决方案：把 Hausdorff 性"挪到态射上"。
分离态射（separated morphism）$f: X\to Y$ 定义为：对角态射 $\Delta_f: X\to X\times_Y X$ 是闭浸入。这恰好是经典中"$X$ 是 Hausdorff $\iff$ $\Delta\subset X\times X$ 是闭"的代数化版本。
换言之：在概形（scheme）的世界里，Hausdorff 性不是空间的属性，而是"$X$ 相对于一个基 $S$ 的属性"。
4. 商拓扑（Quotient Topology）
商集合与商空间
设 $X$ 是拓扑空间，$\sim$ 是 $X$ 上的等价关系。商集合 $$ X/\!\sim\;=\;\{[x] : x\in X\} $$ 赋予商拓扑：$U\subseteq X/\!\sim$ 是开的当且仅当其原像 $\pi^{-1}(U)\subseteq X$ 是开的，其中 $\pi: X\to X/\!\sim,\ x\mapsto [x]$ 是商映射。
这是使 $\pi$ 连续的最细拓扑。
商空间的泛性质（Universal Property）
连续映射 $f: X\to Y$ 若 $f(x_1) = f(x_2)$ 对所有 $x_1\sim x_2$ 成立，则存在唯一连续映射 $\bar f: X/\!\sim\,\to Y$ 使 $f = \bar f\circ \pi$：
$$ \begin{array}{ccc} X & \xrightarrow{\;f\;} & Y \\ {\scriptstyle\pi}\downarrow & \nearrow_{\bar f} & \\ X/\!\sim & & \end{array} $$
这是所有"商对象"共同的语言模板，Phase 7 范畴论中会被反复看到。
5. 粘合（Gluing）：从纸条到甜甜圈
商空间最迷人的应用是把简单图形粘合成复杂的曲面。我们从最朴素的开始：把一根线段的两端粘成一个点。
例 2：$[0,1] \to S^1$（一维粘合）
在 $[0,1]$ 上定义 $0\sim 1$（其余每个点只与自己等价）。则 $$ [0,1]/(0\sim 1) \;\cong\; S^1. $$ 直观：把橡皮筋的两端捏到一起。
例 3：Möbius 带
在矩形 $[0,1]\times[0,1]$ 上定义 $(0, t)\sim (1, 1-t)$（左右边按反方向粘合）。所得空间是著名的 Möbius 带——只有一面、一条边。
它是不可定向（non-orientable）流形最经典的例子。
图解 2：正方形 → 环面（4 步粘合）
6. 一念之差：环面 vs Klein 瓶
环面和 Klein 瓶都来自正方形粘合，唯一区别是：其中一对边的方向是否反过来。这一念之差，把 Klein 瓶变成了不可定向的曲面，它无法在 $\mathbb{R}^3$ 中无自交地嵌入。
图解 3：环面 $T^2$ vs Klein 瓶 $K^2$ vs 射影平面 $\mathbb{RP}^2$
7. 生活实例：地球仪 vs 世界地图
把地球（球面 $S^2$）展开成一张平面世界地图，本质上就是寻找一个连续映射 $S^2 \to \text{图}\subset\mathbb{R}^2$。但球面是紧的，平面不是 → 这个映射必然有奇点（南北极变成线段、太平洋一切两半）。
反过来：把一张矩形地图左右边粘合 → 圆柱（赤道附近 OK，但极点扭曲）；再把上下边各各自缩成一点 → 拓扑上变成 $S^2$。这正是商空间"两端各塌缩为一点"的构造。
而把 $S^2$ 对径点等同 $x\sim -x$ → 得到 $\mathbb{RP}^2$。这就是计算机视觉里"齐次坐标"的几何形象——两条相反方向的射线代表同一条直线。
8. 练习
练习 1（$T_0$ 反例）
在 $X = \{a,b\}$ 上构造拓扑使其不是 $T_0$。该空间总共有几种拓扑？哪几种是 $T_0$？
提示
平凡拓扑 $\{\varnothing, X\}$ 不是 $T_0$（$a,b$ 不可区分）。$X$ 上共有 4 种拓扑：平凡、离散、$\{\varnothing,\{a\},X\}$、$\{\varnothing,\{b\},X\}$。后三种都是 $T_0$。其中只有离散拓扑是 $T_2$。
练习 2（Hausdorff = $\Delta$ 闭）
证明：$X$ 是 Hausdorff 当且仅当对角集 $\Delta_X = \{(x,x) : x\in X\}\subseteq X\times X$ 是闭的（积空间拓扑下）。
提示
($\Rightarrow$) 若 $(x,y)\notin \Delta$ 即 $x\neq y$，由 Hausdorff
取不相交开邻域 $U,V$，则 $U\times V$ 是 $(x,y)$ 的开邻域且不交
$\Delta$。
($\Leftarrow$) 反之，$x\neq y$ ⇒ $(x,y)\notin\Delta$，由 $\Delta$
闭，存在开 $W\ni (x,y)$ 不交 $\Delta$。可取基本开集 $U\times
V\subseteq W$，则 $U\cap V = \varnothing$。
这正是 Grothendieck 把 Hausdorff
推广到"分离态射"的灵感来源。
练习 3（粘合识别）
下列每个矩形按所标边粘合得到何种曲面？(a) $aabb$；(b) $aba^{-1}b$；(c) $abcabc$（六边形）。
提示
(a) $aabb$ = Klein 瓶（用换字母可得 $abab^{-1}$ 标准形）；
(b) $aba^{-1}b$ = Klein 瓶（同上）；
(c) $abcabc$ —— 六边形对边按 $abc, abc$ 粘合 = $\mathbb{RP}^2 \#
\mathbb{RP}^2 \# \mathbb{RP}^2$（不可定向亏格 3 曲面）。
分类定理：每个紧致曲面均同胚于 $S^2$、$T^2\#\cdots\#T^2$
或 $\mathbb{RP}^2\#\cdots\#\mathbb{RP}^2$ 之一。
练习 4（商映射连续）
利用商空间的泛性质，证明 $\exp: [0,1]\to S^1, t\mapsto e^{2\pi i t}$ 诱导出 $[0,1]/(0\sim 1)\to S^1$ 的同胚。
提示
$\exp$ 连续且 $\exp(0) = \exp(1) = 1$，故由泛性质诱导连续 $\bar{\exp}: [0,1]/\sim\to S^1$。它是双射；$[0,1]/\sim$ 紧（紧集的连续像），$S^1$ Hausdorff，故连续双射 + 紧 + Hausdorff ⇒ 同胚。
练习 5（射影空间作为商）
证明 $\mathbb{RP}^n = (\mathbb{R}^{n+1}\setminus\{0\})/\sim$（其中 $x\sim \lambda x,\ \lambda\neq 0$）等价于 $S^n/(x\sim -x)$。
提示
每条过原点直线与 $S^n$ 交于一对对径点。包含映射 $S^n\hookrightarrow \mathbb{R}^{n+1}\setminus\{0\}$ 与 $\sim$ 兼容，诱导连续双射 $S^n/\sim\to \mathbb{RP}^n$。$S^n/\sim$ 紧，$\mathbb{RP}^n$ Hausdorff（可证），故同胚。