课程 · 资源记录
Introduction to Topology
覆盖拓扑空间与连续函数、连通性、紧致性、分离公理以及度量化和嵌入等主题。
为什么重要
用于核对 M15 点集拓扑部分的定义、保持性质、分离条件、反例与练习。
阅读前提
教材中的引用位置
- M15 · 第 1 章 拓扑空间、基与连续映射
支持的主张：MIT OpenCourseWare 18.901 Introduction to Topology 的课程材料覆盖拓扑空间、连续函数、基、子空间、积与商等主题，可用于逐条核对定义和证明。阅读时应始终标明母空间及其拓扑：同一子集在母空间和子空间中的开闭性可能不同，同一函数公式在不同定义域或值域拓扑下也可能改变连续性。
- M15 · 第 2 章 紧致性、连通性与分离公理
支持的主张：MIT OpenCourseWare 18.901 Introduction to Topology 的课程材料系统覆盖连通性、紧致性与分离公理，可用于核对开覆盖证明、保持性质和标准反例。使用外部定理时要保留条件：紧子集闭需要 Hausdorff；道路连通严格强于连通；正则、正规是否包含 T1 取决于教材约定。
- M15 · 第 3 章 流形、坐标图与切空间
支持的主张：MIT 18.901 的拓扑空间、连续映射与商空间材料支撑本章流形定义中的全局条件：坐标图要求局部同胚于欧氏开集，Hausdorff 性保证极限可分辨，第二可数性则排除过大的病态图册。它还说明相容图册不仅是坐标集合，过渡映射的光滑性才使切向量和微分在不同坐标中代表同一几何对象。
- M15 · 第 4 章 微分形式、外微分与 Stokes 定理
支持的主张：MIT 18.901 的拓扑基础在本章用于解释微分形式为何需要在坐标图之间一致拼接：开覆盖组织局部定义，连续映射与同胚保证坐标变化不改变底层空间，边界和定向则决定 Stokes 公式中的符号。它支撑的是局部公式成为全局对象的拓扑条件，而外微分与积分的光滑计算仍由本章的流形结构承担。
- M15 · 第 5 章 Riemann 度量、测地线与曲率
支持的主张：MIT 18.901 在本章用于支撑曲率讨论中的局部—全局边界：坐标图只给局部欧氏模型，紧致性、连通性和基本群等拓扑性质不会因换坐标消失，因而也不能由某一点的度量系数直接决定。这个背景帮助区分可通过正规坐标在一点消去的联络系数与无法整体消去的曲率及拓扑障碍。
- M15 · 第 6 章 拓扑与微分几何综合复习
支持的主张：MIT OpenCourseWare 18.901 Introduction to Topology 的官方课程材料可用于核对拓扑空间、连续映射、连通、紧致和分离性质的条件与反例。