同伦 （英语：homotopic，源自 希腊语 ：ὁμός homós，意为“相同，相似的”与 希腊语 ：τόπος tópos，意为“方位”）。在数学中，同伦的概念在 拓扑 上描述了两个对象间的“连续变化”。 在 拓扑学 中，两个定义在 拓扑空间 之间的 连续函数 ，如果其中一个能“连续地形变”为另一个，则这两个函数称为 同伦的 。这样的形变称为两个函数之间的 同伦 。同伦的一个重要的应用是 同伦群 和上同伦群的定义，它们是 代数拓扑 中重要的 不变量 。

事实上，在特定的空间中应用同伦还有一些技术上的困难。代数拓扑学家一般使用 紧生成空间 、 CW复形 或 谱 。 ^{Goerss, P. G.; Jardine, J. F., Simplicial Homotopy Theory, Progress in Mathematics 174, Basel, Boston, Berlin: Birkhäuser, 1999, ISBN 978-3-7643-6064-1, III.3.6, 3.7}