3.1.1 同伦等价与收缩

文档摘要

3.1.1 同伦等价与收缩在拓扑学的实践疆域里，同伦论不是一尊供在神龛里的抽象雕像，而是一把被磨得锋利、浸透油渍、握在手心发烫的扳手——它能拧开高维空间的紧固螺栓，能校准代数结构与几何直觉之间的微小偏移，更能为现代数据科学、机器人路径规划、神经网络隐空间分析提供底层的形变语义。当我们真正俯身进入“3.1.1 同伦等价与收缩”这一节，你面对的不再是教科书上那句轻飘飘的定义：“若存在连续映射 $f: X \to Y$ 与 $g: Y \to X$，使得 $g \circ f \simeq \mathrm{id}X$ 且 $f \circ g \simeq \mathrm{id}Y$，则称 $X$ 与 $Y$