Homotopi
Från Rilpedia
Homotopi är ett begrepp inom topologi.
Låt U och V vara topologiska rum. Två funktioner f, säges vara homotopa om det finns en kontinuerlig funktion
, där
, och
. Funktionen F är en homotopi.
I fallet ,
, är alltså två funktioner homotopa om kurvorna i
de beskriver kan kontinuerligt deformeras till varandra.
Relationen mellan funktioner att vara homotopa är en ekvivalensrelation, som delar in funktionerna i homotopiklasser.