同伦（，源自，意为“相同，相似的”与，意为“方位”）。在数学中，同伦的概念在拓扑上描述了两个对象间的「连续变化」。在拓扑学中，两个定义在拓扑空间之间的连续函数，如果其中一个能“连续地形变”为另一个，则这两个函数称为同伦的。这样的形变称为两个函数之间的同伦。同伦的一个重要的应用是同伦群和的定义，它们是代数拓扑中重要的。事实上，在特定的空间中应用同伦还有一些技术上的困难。代数拓扑学家一般使用紧生成空间、CW复形或。
定义.给定两个拓扑空间 formula_1 和 formula_