invarianza omotopica
invarianza omotopica proprietà che non varia su ogni classe di equivalenza omotopica. Per esempio, nel caso di funzioni ƒ invarianti per omotopia si ha che ƒ(X) = ƒ(Y) se X e Y sono due spazi topologici omotopicamente equivalenti (→ omotopia). Dal momento che due spazi topologicamente equivalenti sono anche omotopicamente equivalenti, gli invarianti omotopici sono anche invarianti topologici (→ invarianza topologica) e, come questi ultimi, forniscono un metodo per dimostrare che due spazi topologici non sono topologicamente equivalenti.