1 拓扑学的基本概念
拓扑学研究空间在连续变形下保持不变的性质，强调对象之间的邻接、连通、覆盖和孔洞结构，而不主要依赖距离、角度或面积。它为理解“形状为何在拉伸、弯曲后仍可视为同类”提供了统一语言，是现代数学中非常基础的一门分支。
1.1 拓扑空间
拓扑空间是拓扑学的基本研究对象。一个集合配备了某种“开放结构”之后，就能讨论其中点与点之间的接近方式、集合的边界特征，以及连续映射的性质。
1.1.1 开集与闭集
开集是拓扑结构中的核心概念，通常可理解为内部点构成的集合。若一个集合包含了其每一点周围足够小的一片区域，则它可视为开集。闭集则与开集互补，常被看作“包含极限点”的集合。许多拓扑性质都可通过开集与闭集的关系来描述。
1.1.2 邻域与内点
某一点的邻域指包含该点并在其周围留有一定空间的集合。若某点存在一个完全包含于集合内部的邻域，则该点称为内点。内点构成集合的内部部分，反映了该集合在局部上是否“充满空间”。
1.1.3 闭包、边界与导集
闭包是包含原集合及其所有极限点的最小闭集，反映了集合在拓扑意义下的“补全”结果。边界由既不能完全归入集合内部、也不能完全归入外部的点组成，常用来刻画集合轮廓。导集则由集合的聚点构成，是研究离散性与聚集性的工具。
1.2 连续性与同胚
连续性描述映射是否保持邻近点的邻近关系，同胚则刻画两个空间是否在拓扑意义上“完全相同”。这两者构成拓扑学讨论空间等价的核心框架。
1.2.1 连续映射
连续映射是指原空间中开集的逆像仍为开集的映射。直观上，它不会把相近的点突然拉开，也不会制造断裂。拓扑学中的连续性并不依赖具体度量，而只依赖开放结构。
1.2.2 同胚关系
若两个空间之间存在双射，并且该双射及其逆映射都连续，则这两个空间同胚。同胚意味着它们在拓扑意义下没有本质差别，只是外观可能不同。例如，一个圆环和一个咖啡杯把手在理想连续变形中常被视为同类。
1.2.3 拓扑不变量
拓扑不变量是指在同胚变换下保持不变的量或性质，如连通性、紧致性、某些同调群以及Euler示性数等。它们是区分空间类型的重要工具，也是判定两个空间是否可能同胚的依据。
1.3 基本拓扑性质
拓扑性质用于描述空间整体结构，通常不依赖具体坐标系。它们为研究空间的全局行为提供了基本语言。
1.3.1 连通性
连通性表示空间不能被分成两个互不相交且都非空的开集。一个连通空间在直观上是一整块的，没有被分裂成彼此隔开的部分。该性质在分析空间整体结构时十分重要。
1.3.2 路径连通性
路径连通性要求任意两点之间都能找到一条连续路径连接。它比一般连通性更强，表达了空间中点与点之间可以“沿着道路走到”的直观图景。许多常见空间都具有路径连通性，但二者并不总是等价。
1.3.3 紧致性
紧致性可粗略理解为一种“有限覆盖可控”的性质。若一个空间的任意开覆盖都存在有限子覆盖，则称其紧致。紧致性在存在性定理、极值问题和收敛理论中经常出现。
1.3.4 可分性与可数性公理
可分性指空间中存在一个可数稠密子集，意味着整个空间可由一组可数点在拓扑上逼近。可数性公理则是一系列关于空间局部结构的要求，用于保证许多构造和定理具有良好行为。它们是判断空间“是否足够规整”的常用条件。
2 点集拓扑
点集拓扑主要研究一般拓扑空间的局部与全局性质，包括如何生成拓扑、如何区分空间类型，以及如何在更抽象的语境中处理连续性和收敛。
2.1 拓扑生成方式
拓扑可以由多种方式构造，不同生成方法对应不同层次的空间结构。基、子基、度量或代数构造都能给出实际常用的拓扑。
2.1.1 基与子基
基是一组开集族，任一开集都可表示为若干基元素的并。子基则更为基础，通常先由子基生成基，再由基生成拓扑。它们使拓扑结构的定义更具可操作性。
2.1.2 度量诱导拓扑
若空间上定义了度量，则可用开球来生成拓扑，这种拓扑称为度量诱导拓扑。它把距离概念转化为开集结构，是分析与拓扑交汇的重要桥梁。
2.1.3 积拓扑与商拓扑
积拓扑用于多个空间的直积，要求投影映射保持连续性，并由此确定最自然的拓扑结构。商拓扑则来自把空间按某种等价关系“压缩”后的结果，常用于构造曲面、识别边界或形成新空间。
2.2 分离公理
分离公理用于描述空间中不同点和不同集合能否被开集区分。它们是拓扑空间分类的重要标准。
2.2.1 T0、T1与T2空间
T0空间要求任意两个不同点至少能被某个开集区分。T1空间进一步要求每个点都是闭集。T2空间则更强，强调不同点可以被互不相交的开集分开。随着编号提高，空间通常越“规整”。
2.2.2 正则空间与正规空间
正则空间要求点与不含该点的闭集能够被开集分离。正规空间则进一步要求任意两个不交闭集都可被开集分开。这些性质在构造连续函数和处理嵌入问题时很有用。
2.2.3 豪斯多夫条件
豪斯多夫条件通常指T2条件，即不同点可由互不相交的邻域分开。它是许多经典定理成立的基础条件之一，因其能有效排除“点的粘连”现象而广泛采用。
2.3 度量空间
度量空间是带有距离概念的拓扑空间，在数学分析、几何和应用领域都极为常见。它兼具直观性与严格性，因此是拓扑研究中的重要模型。
2.3.1 度量与开球
度量用于给出任意两点之间的距离，并满足非负性、对称性和三角不等式。开球是以某点为中心、固定半径内的点集，是度量空间中最基本的开集构件。
2.3.2 完备性
完备性指空间中每个柯西序列都收敛到空间内的某一点。它在分析中尤为重要，因为许多极限过程只有在完备空间里才能顺利完成。实数空间是完备空间的典型例子。
2.3.3 紧致与序列紧致
在度量空间中，紧致性与序列紧致性通常密切相关。序列紧致性要求每个序列都有收敛子序列，而紧致性则从开覆盖角度表述有限性。对于许多常见度量空间，这两种概念往往等价。
3 代数拓扑
代数拓扑将拓扑问题转化为代数对象，如群、环和模，从而借助代数方法研究空间的整体结构。它的关键思想是把“形状”编码成可计算的不变量。
3.1 基本群
基本群通过考察空间中闭路径的同伦类来反映其一维洞结构。它是最早且最重要的拓扑不变量之一。
3.1.1 路径与同伦
路径是一段连续映射，通常从单位区间映到空间中。若两条路径可以在端点固定的前提下连续变形为彼此，则称它们同伦。路径同伦提供了研究“可连续变形”的基本语言。
3.1.2 覆盖空间
覆盖空间是与原空间通过局部同构相联系的一类空间，常用于分析基本群和路径提升问题。很多复杂空间可借助其覆盖空间变得更易研究。
3.1.3 基本群的计算
基本群的计算通常依赖分解、拼接或已知空间的构造规则。对于圆周、环面和某些图形空间，其基本群具有明确形式。计算结果常直接反映空间中的洞和环绕结构。
3.2 同调与上同调
同调与上同调是更高层次的代数不变量，用来描述空间中不同维度的洞、连通成分及其相互关系。它们在现代拓扑中占据核心地位。
3.2.1 奇异同调
奇异同调通过研究单纯形映射到空间中的方式，建立链复形并取其商结构。它适用于相当一般的空间，因而具有很强的普适性。其群结构可反映空间在不同维度上的洞信息。
3.2.2 上同调环
上同调不仅形成群，还带有乘法结构，因此可构成环。这个额外结构使得空间之间更细致的关系能够被识别。上同调环在区分同调相同但结构不同的空间时尤其有用。
3.2.3 Euler示性数
Euler示性数是把不同维度的单纯形数量做交替求和得到的拓扑量。对于许多空间，它是一种简单而有效的整体不变量，常用于快速判断空间的某些全局特征。
3.3 典型空间与例子
典型空间是理解代数拓扑概念的直观样本。通过这些例子，可以把抽象定义与具体形状对应起来。
3.3.1 圆周与球面
圆周是最基础的一维闭合空间，其基本群非平凡，常作为研究环绕现象的入门例子。球面则代表更高维的简单闭曲面，具有不同于圆周的同调结构。
3.3.2 环面与射影平面
环面是带一个“把手”的闭曲面，常用来展示洞结构与基本群的复杂性。射影平面则具有非定向性，是研究曲面分类时的重要对象。
3.3.3 CW复形
CW复形是一类通过逐层附着细胞构造的空间，便于用代数方法计算同调与同伦信息。它们在代数拓扑中用途广泛，是许多空间的标准模型。
4 微分拓扑
微分拓扑研究带有光滑结构的流形及其映射，强调连续性与可微性的结合。它把拓扑的全局视角和微积分的局部工具连接起来。
4.1 光滑流形
光滑流形是一种局部看起来像欧几里得空间、并且坐标变换足够光滑的空间。它为研究曲面、时空模型及高维几何对象提供了框架。
4.1.1 局部坐标与图册
局部坐标把流形上的局部区域映射到欧几里得空间，便于进行计算。图册则由一组相容的坐标图组成，整体上描述流形的局部结构拼接方式。
4.1.2 切空间与切映射
切空间是在流形某点处对“可能运动方向”的线性近似。切映射则描述映射在一点附近对切向量的作用，是微分几何与微分拓扑的关键工具。
4.1.3 光滑结构
光滑结构决定一个拓扑流形能否配备可微的坐标相容系统。不同光滑结构可能对应同一个底层拓扑空间，但给出不同的微分性质，这使得流形分类更为细致。
4.2 重要定理
微分拓扑中的重要定理常用于判断映射的典型行为，以及空间之间如何通过光滑方式相互关系。它们构成该领域的理论支柱。
4.2.1 Sard定理
Sard定理指出，光滑映射的临界值集合通常在测度意义下很小。该结果在研究泛性质、临界点和微分方程相关问题时十分关键。
4.2.2 横截性
横截性描述两个对象以“足够非退化”的方式相交。它使交点结构更稳定，也常用于证明一般位置结论和构造所需的良好映射。
4.2.3 微分同胚
微分同胚是保持光滑结构的同构，要求映射及其逆都可微。它比同胚更强，意味着两个流形不仅拓扑等价，而且在微分意义下也一致。
4.3 向量场与微分形式
向量场和微分形式是研究流形上运动、方向和积分的工具。它们在微分拓扑中扮演连接局部与整体的角色。
4.3.1 流与积分曲线
向量场可以定义出空间中的流，表示点沿场方向随时间演化的轨迹。积分曲线则是满足该向量场方向条件的曲线，是理解动力行为的基本对象。
4.3.2 外微分
外微分把微分形式映射到更高阶形式，并满足类似“边界的边界为零”的性质。它是构造上同调和表达局部变化规律的重要运算。
4.3.3 Stokes定理
Stokes定理统一了积分、边界与外微分之间的关系。它把多变量微积分中的若干经典公式概括为一个更一般的拓扑—微分结论，具有极强的概括力。
5 拓扑学的经典问题
拓扑学的发展离不开一些历史性问题，这些问题推动了图论、曲面理论、三维拓扑等方向的形成，也帮助人们逐步建立起现代拓扑的基本框架。
5.1 七桥问题与欧拉思想
七桥问题通常被视为拓扑学和图论的早期起点之一。欧拉从中抽象出对象之间的连接关系，而不是具体空间的形状，从而奠定了结构化研究方法。
5.1.1 图论与拓扑的联系
图论研究点与边的连接方式，而拓扑学也关心连接、连通和回路等结构。许多图形问题可被看作拓扑问题的离散版本，因此两者联系紧密。
5.1.2 欧拉公式
欧拉公式通常用来描述多面体的顶点数、棱数和面数之间的关系。它不仅是组合几何中的经典结果，也体现了拓扑不变量思想的早期形态。
5.2 结与三维拓扑
结理论研究的是闭合曲线在三维空间中的缠绕方式。它不仅是三维拓扑的重要组成部分，也与低维几何和物理模型有深厚联系。
5.2.1 结不变量
结不变量用于区分不同的结类型，如多项式不变量、颜色不变量等。通过这些量，可以判断两个结是否可能通过连续变形相互转化。
5.2.2 结群
结群是从结的补空间得到的基本群，能够反映结的缠绕复杂度。它比单纯的图像观察更精细，是研究结分类的重要工具。
5.2.3 三维流形
三维流形在局部上类似三维欧几里得空间，是三维拓扑研究的核心对象。它们的分类和结构分析关系到结理论、手术理论和许多深层几何问题。
5.3 典型定理与猜想
典型定理与猜想体现了拓扑学中一些最深刻的结构性问题。它们往往涉及空间的整体分类、嵌入方式以及高维与低维现象的差异。
5.3.1 庞加莱猜想
庞加莱猜想曾是三维拓扑中的核心问题，关注一个闭合三维流形在同伦性质上是否足以决定其球面性。该问题的解决推动了三维流形理论的重大进展。
5.3.2 分类问题
分类问题试图按照同胚或微分同胚等关系，将拓扑对象分门别类。曲面分类是其中最成功的例子之一，而高维流形分类则更为复杂。
5.3.3 嵌入与浸入
嵌入研究一个空间能否无自交地放入另一个空间中；浸入则允许局部无退化，但整体上可能出现自交。这两个概念在几何、拓扑和微分理论中都非常重要。
6 拓扑学的应用
拓扑学虽然高度抽象，但其思想已广泛渗透到数学内部及多个交叉学科领域。它提供的结构语言，适合处理“整体形态”和“关系模式”这类问题。
6.1 数学内部应用
拓扑学是连接多个数学分支的枢纽，许多领域中的关键问题都借助拓扑方法得到更深理解。
6.1.1 几何学
几何学关心空间形状与变换，而拓扑学提供了在连续变形下保持不变的视角。二者结合后，可更好地研究曲面、流形和空间分类。
6.1.2 分析学
分析学中的极限、连续、紧致与收敛等概念都与拓扑密切相关。很多存在性结论和函数空间理论都依赖拓扑结构的良好性质。
6.1.3 现代代数学
现代代数学中的群、环、模等结构常与拓扑对象互相作用。代数拓扑更是把代数方法直接用于空间研究，形成了强有力的交叉框架。
6.2 交叉学科应用
拓扑方法能够提炼复杂系统中的结构关系，因此在数据、工程和材料科学中都具有现实意义。
6.2.1 数据分析中的拓扑方法
在数据分析中，拓扑方法可用于识别高维数据中的连通簇、环状结构与空洞模式。它适合处理噪声较强但整体结构仍然存在的场景。
6.2.2 机器人运动规划
机器人运动规划需要判断路径是否可达、是否会碰撞以及如何绕开障碍。拓扑方法能把环境障碍抽象为空间中的孔洞与连通区域，从而辅助路径设计。
6.2.3 材料与物理中的拓扑结构
在材料与物理研究中，拓扑结构常用于描述稳定的态、缺陷或缠绕特征。某些性质对连续扰动不敏感，这使得拓扑分析在解释稳定现象时很有价值。
6.3 计算与可视化
随着计算能力提升，拓扑学逐渐从纯理论走向算法化和可视化表达。许多抽象概念可以通过计算机处理并直观展示。
6.3.1 拓扑数据分析
拓扑数据分析利用同调等工具从数据中提取多尺度结构信息。它能够识别“形状特征”随尺度变化的稳定性，常用于复杂数据的结构探索。
6.3.2 算法拓扑学
算法拓扑学关注拓扑问题的可计算性与算法实现，包括不变量的计算、空间的离散表示以及复杂对象的自动处理。它是理论与计算机科学交汇的重要方向。
6.3.3 计算机图形学
计算机图形学中常需要处理曲面、网格、孔洞和连通性等问题。拓扑学为模型修复、形状重建和几何处理提供了基础工具，也有助于避免模型在数值计算中出现结构错误。