把 放在实数直线上，它不是开集；把研究范围缩到 ，它却成了开集。集合没有动，变的是我们允许从哪里靠近它。
如果你第一次遇到这个判断，觉得“开集”怎么还能换答案，这门课就从这里陪你理清。拓扑学把距离暂时放到一边，用开集说明附近是什么样，再用这套语言讨论连续、紧致和连通。我会尽量让每个定义都落在一个能检查的对象上：一个端点、一组开区间、一条纤维，或者一个具体的反例点。符号可以抽象，判断的理由不能含糊。
在微积分里，连续函数常被画成一条不断开的曲线。这个印象有用，但到了商空间和无限积空间，它就不太够用了。比如把区间的两个端点粘成圆周，函数 在区间上明明连续，粘完以后却连函数值都说不清：接缝处该取 还是 ？问题发生在良定义这一关，不能靠把曲线画得平滑来解决。
紧致性也需要换一种看法。用无限多个开区间盖住一段空间，你能不能只留下有限个，仍然没有遗漏？这里要从原来的覆盖里选，不能偷偷把区间加宽。闭区间总能办到，开区间可能办不到。我们会把这两句话分别证明，再看有限子覆盖怎样用来证明连续函数取得极值，以及紧空间到 Hausdorff 空间的连续双射为什么自动成为同胚。
连通与路径连通是另一处容易混淆的地方。正弦曲线的闭包连通，却没有路径从竖段走到曲线上。看着图说“振荡太快，走不过去”还不够。我会把任意候选路径的第一坐标拿出来，用介值定理说明它为什么无法避开那些振荡，让直觉成为可以逐步检查的证明。
你不必先学过拓扑，但最好已经做过一些实分析或数学分析中的证明。集合的并、交、补，函数的像与逆像，可数与不可数，实数的上确界，以及数列极限和连续函数的基本性质，都会反复使用。尤其是“对每个”与“存在”的顺序，需要读得慢一点。
微积分中的计算技巧不是这里的主要困难。如果你会求导，却还不习惯证明一个集合开或闭，可以从前两章开始，把例子里的集合等式亲手写一遍。遇到闭区间紧致性的证明时，若看不懂上确界为什么能逼近，就回到实数完备性复习；遇到下限拓扑的反例时，若不清楚有理数可数、实数不可数，可以把可数集的基本性质补齐再继续。这样回头是有明确位置的，不需要把整门分析重学一遍。
后面的连续坐标会用到一点级数。你只需理解非负项级数的比较，以及几何级数的尾和为什么趋于零。复分析、抽象代数和微分几何都不是先修要求。
可度量化一章会比前面密一些。它是前面几种方法汇合的地方：正则性负责缩小邻域，可数基负责把连续函数排成一列，尾和估计负责控制无限多个坐标。我们会完整证明这条路线，范围到 Urysohn 可度量化定理为止。序数、长直线和一般的可度量化判别理论需要额外准备，不在这里匆匆塞进几个名称。
每章的交互都对应一个正文里的判断。你可以编辑有限集合上的开集族，让它暴露缺失的交集；可以给开圆盘挑一个更小的方形邻域，看看余量用尽以后哪个点先越界；也可以在圆周接缝处补回端点，观察为什么“补齐纤维”还不等于“补出开邻域”。
我建议在拖动滑块之前，写下你认为会成立的条件。实验显示失败时，找出那个具体见证：漏掉的点是什么，哪个逆像不开，哪一对代表给出了不同值。成功以后也别急着离开，把参数换到边界上再试一次。开区间的端点是否包含，常常正是结论变化的位置。
屏幕只显示有限多个坐标或有限层网格，因此正文会另外给出处理所有情况的理由。无限积实验能调用窗口之外的反例坐标，正弦实验会计算任意小窗口内的两个反例点；Urysohn 函数实验则把有限阶梯与连续极限分开显示。实验帮你看清证明要控制什么，完整证明负责把尚未显示的情况也管住。
这门课最常见的困难不是算不出一个数，而是把环境或条件省略了。说一个集合开，它在哪个空间里开？说一个函数连续，你正在检查像还是逆像？要证明不紧，你给出的全族是否真的覆盖了空间？
做章末题时，可以先不展开解答，把这几项写在草稿上。证明读不下去，就在旁边标出每次使用“开”“闭”“有限”或“可数”的位置。例如管状引理里，有限交保证邻域仍然开；把“有限”擦掉，整段论证就会失去根据。这样的标记比反复抄一遍结论更有帮助。
学完后，你应该能独立核对一个空间构造的拓扑，判断映射是否良定义、连续或同胚，并为失败的判断提供具体反例。这些方法会继续出现在分析中的函数空间、几何中的局部坐标和代数拓扑中的商空间里。再次遇见它们时，你会知道该从哪个定义开始，而不只是觉得名字熟悉。