Homotopie-equivalentie

In de topologie, die eigenschappen van ruimten bestudeert die bij continue vervorming ongewijzigd blijven, heten twee continue functies tussen een paar topologische ruimten homotopie-equivalent of homotoop-equivalent (Oudgrieks homos = identiek en topos = plaats) als de ene door "continue vervorming" in de andere kan overgaan. Het begrip homotopie geeft een exacte betekenis aan het intuïtieve idee van continue vervorming. Zo'n vervorming wordt een homotopie genoemd. Het begrip wordt gebruikt in de definitie van homotopiegroepen en cohomotopiegroepen, en van belangrijke invarianten in de algebraïsche topologie.