同伦论是拓扑学的重要概念。应该指出，映射的同伦关系是从拓扑空间X到Y的所有连续映射所成集合上的一个 等价关系，它将这些映射分成一些等价类，称每个等价类为一个同伦类。研究映射的同伦分类问题是同伦论的基本内容之一。