3.1.2.2 Van Kampen 定理

文档摘要

3.1.2.2 Van Kampen 定理 3.1.2.2 Van Kampen 定理：当拓扑计算撞上现实世界——一个被忽略的“粘合点选取偏差”故障，如何让基本群计算从理论正确走向工程可复现你有没有在写一段代数拓扑代码时，明明推导无误、覆盖空间划分合理、生成元关系也手工验算过三遍，但最终输出的群表示却和文献值对不上？不是阶数错，不是换基错，而是——它根本不是那个群。不是同构，不是等价，是结构级的错：自由积里混进了不该存在的关系，或者本该坍缩的生成元顽固地“活着”。这不是数学错了。是你的实现，在Van Kampen定理落地的最后一个毫米处，滑了一跤。这一跤，就滑在粘合点（basepoint）的选取与路径连通性保障之间那条窄得几乎看不见的缝隙里。