3.1.2 基本群构造

文档摘要

3.1.2 基本群构造在拓扑学的精密工具箱里，基本群 $\pi1(X, x0)$ 不是一枚被供奉在抽象神龛里的概念标本；它是可计算、可操作、可调试的——就像一个嵌入在空间几何结构中的微型程序，其输入是连续形变的指令流，输出是离散的代数指纹。当我们说“构造基本群”，绝非仅指在黑板上写下同伦等价类的定义，而是要亲手搭建一条从具体拓扑对象（比如一个带洞的曲面、一个交叠的圆盘并集、一段三维分子链的构型空间）出发，经由路径追踪、环路拼接、同伦缩放、覆盖空间解析，最终抵达自由群、自由积或带关系的展示（presentation）的完整技术流水线。本节不谈哲学隐喻，不作历史巡礼，只聚焦于工程师视角下的可执行构造：如何编码环路？如何判定两个环路是否同伦？Van Kampen 定理如何转化为分治式算法？