One famous example is the homotopy equivalence of a coffee cup and a donut .
Homotopy equivalence is important because in algebraic topology many concepts are homotopy invariant , that is , they respect the relation of homotopy equivalence . For example , if X and Y are homotopy equivalent spaces , then :