同伦型不变性质(homotopy type invariance)是拓扑学的一种重要不变性质。具有相同同伦型的拓扑空间所共有的性质称为同伦型不变性质。拓扑学是数学的一个分支。常常被形象地比喻但却并不准确地说成是研究图形在空间中连续形变下的不变性质。“互锁”是三维封闭曲线的一个拓扑性质。我们不能在不切割其中之一的条件下把两个互相扣结的橡皮圈分开 (切割，是一个不连续形变)。同伦型不变性质(homotopy type invariance)是拓扑学的一种重要不变性质。具有相同同伦型的拓扑空间所共有的性质称为同伦型不变性质。因为同胚的拓扑空间一定是同伦等价的，所以同伦型不变性质一定是拓扑不变性质，但反之不一定成立。例如，3维闭球体D与3维欧氏空间R具有相同同伦型，但D是紧致空间而R则不是。紧致性是拓扑不变性质，但不是同伦型不变性质。在代数拓扑学中讨论的性质，如同调群、同伦群等都是同伦型不变性质。