本页目录

拓扑 I · 拓扑空间与连续映射

点集拓扑问一个釜底抽薪的问题："连续"到底需要什么？答案：不需要距离，只需要"哪些集合算开集"的一份清单。本页从度量空间抽象出拓扑公理，重建连续与收敛，然后引出拓扑的灵魂概念——同胚（"咖啡杯 = 甜甜圈"的严格含义）。

1. 从度量到拓扑：三条公理

回看度量空间（泛函 I）的开集，它们满足且只需要三条性质——于是干脆把它们立为公理：

定义（拓扑空间） \((X, \tau)\)，\(\tau \subseteq 2^X\)（成员称开集）满足：1. \(\varnothing, X \in \tau\)；2. 任意并封闭；3. 有限交封闭。

（第 2、3 条的不对称是刻在骨子里的：无穷个开区间 \((-\frac1n, \frac1n)\) 之交 \(= \{0\}\) 不开——"有限交"不是疏忽。）

例子谱系：度量拓扑（\(\mathbb{R}^n\) 的标准拓扑——数分 I 的开集回来了）；离散拓扑（一切子集皆开——最细）；平庸拓扑（只有 \(\varnothing, X\)——最粗）；余有限拓扑（补集有限者为开——第一个"怪"例子，练直觉用）。基：能通过取并生成整个拓扑的开集族（度量空间的开球是基）——描述拓扑的经济方式。

闭集 = 开集之补（对任意交、有限并封闭——对偶版公理）；闭包 \(\bar A\)（含 \(A\) 的最小闭集 = \(A\) 加上全部聚点）、内部 \(A^\circ\)（含于 \(A\) 的最大开集）、边界 \(\partial A = \bar A \setminus A^\circ\)。稠密：\(\bar A = X\)（\(\mathbb{Q}\) 在 \(\mathbb{R}\) 中——数分 I 的话在新语言里原样成立）。

2. 连续映射：一个定义统一所有 ε-δ

定义 \(f: X \to Y\) 连续 \(\iff\) 开集的原像是开集。

与 ε-δ 的对账（一行）：度量空间中"\(\forall\varepsilon\exists\delta\)"恰好就是"每个开球原像含开球"——旧定义是新定义的特例。收获：数分里分散的连续性判别（复合连续、限制连续……）全部变成集合运算的一行验证；且没有距离的地方也能谈连续（函数空间、商空间、图上的拓扑）。

⚠️ 方向别记反：是原像开（正像开的映射叫开映射，是另一回事——泛函 III 开映射定理的那个"开映射"）。

收敛：\(x_n \to x \iff\) 每个含 \(x\) 的开集最终包含尾项。⚠️ 一般拓扑空间里序列不够用（描述闭包/连续需网或滤子——知道这个边界即可；度量空间中序列万能，这是度量空间的隐形福利）。

3. 同胚：拓扑学的"相等"

定义 \(f: X \to Y\) 是同胚：双射 + \(f\) 与 \(f^{-1}\) 皆连续。存在同胚的空间拓扑等价——拓扑学 = 研究同胚不变量的学科（"橡皮几何"：允许拉伸弯曲、禁止撕裂粘合）。

名场面对账：咖啡杯 \(\cong\) 甜甜圈（都是"一个洞"——把手即洞）；\((0, 1) \cong \mathbb{R}\)（\(\tan\) 拉开——有界性不是拓扑性质！）；\([0, 1) \not\cong (0, 1)\)（端点是"撕不掉的记号"，用下一页的连通性论证）；球面 \(\not\cong\) 环面（洞数不同）。

⚠️ 双射连续 ≠ 同胚：\([0, 2\pi) \to S^1\)（卷成圆）连续双射，但逆映射在接缝处不连续——紧致性一课（下一页）会给出"何时自动同胚"的免检条款。

4. 造新空间的三台机器

子空间拓扑：\(A \subseteq X\) 继承 \(\{U \cap A\}\)（\([0,1]\) 里的"开集"可以长成 \([0, \frac12)\)——相对开的老朋友，数分 V 隐函数定理叙述里的那个）；
积拓扑：\(X \times Y\) 以开矩形为基（环面 = \(S^1 \times S^1\)——"甜甜圈"的官方出生证明）；
商拓扑：粘合！\(X/\sim\) 上"原像开者为开"。造型车间：正方形对边同向粘 = 环面；反向粘 = Möbius 带（单侧曲面）；再狠一点得 Klein 瓶（需四维才能不自交）。商拓扑是"剪纸拼图"的严格化——群作用的轨道空间（抽代 I）、射影空间都从这台机器出厂。

🔗 衔接：流形（局部同胚于 \(\mathbb{R}^n\) 的空间——微分几何页的舞台）以本页为语言地基；数据科学的"流形假设"（ai 课 01/comfy 课 01：自然数据聚在低维流形附近）、拓扑数据分析（TDA：用"洞"的结构给数据做指纹）是本页概念的现代出口。

5. 典型例题

例 1（拓扑验证） \(X = \{a, b, c\}\)，\(\tau = \{\varnothing, \{a\}, \{a,b\}, X\}\)：逐条验证并交封闭 ✓——一个 3 点空间的合法拓扑（有限小例子是训练公理直觉的哑铃）。\(\{b\}\) 的闭包？含 \(b\) 的闭集有 \(\{b,c\}, X\) ⇒ \(\overline{\{b\}} = \{b, c\}\)。

例 2（连续性的拓扑依赖） 恒等映射 \(\mathrm{id}: (\mathbb{R}, \text{离散}) \to (\mathbb{R}, \text{标准})\) 连续（原像必开——离散拓扑里一切都开）；反向的 \(\mathrm{id}\) 不连续（\((0,1)\) 的原像开，但 \(\{0\}\) 在标准拓扑不开）。连续性属于"映射+两端拓扑"三元组，不属于映射本身。

例 3（同胚构造） \((0,1) \cong \mathbb{R}\)：\(f(x) = \tan\big(\pi x - \frac{\pi}{2}\big)\) 双向连续 ✓。追问：\([0,1]\) 与 \(\mathbb{R}\) 同胚吗？——不，\([0,1]\) 紧而 \(\mathbb{R}\) 不紧（下一页的判据剧透）。\(\blacksquare\)