3.2.3 同调公理与 Eilenberg-Steenrod 在代数拓扑的实践疆域里,同调论不是一尊供人仰望的抽象神像——它是一套可编译、可调试、可嵌入计算流水线的数学基础设施。当你在拓扑数据分析(TDA)中调用 ,当你的神经网络隐空间被赋予“洞的数量”作为正则化约束,当你在机器人路径规划中判定配置空间是否存在不可绕过的障碍环——这些时刻,你并非在与哲学对话,而是在与Eilenberg-Steenrod公理体系进行一场静默却严苛的工程契约。 我们此刻聚焦的,是3.2.3节:同调公理与Eilenberg-Steenrod。这不是历史回顾,不是教科书式复述;