Homotopie-equivalentie

Een homotopie waar een koffiekopje overgaat in een torus.

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.

Homotopie van afbeeldingen

Laat $f$ en $g$ twee continue afbeeldingen zijn tussen twee topologische ruimten $X$ en $Y$. Een homotopie tussen $f$ en $g$ is een continue afbeelding

$F:[0,1]\times X\to Y$

zodat de beperking van $F$ tot $\{0\}\times X$ samenvalt met $f$, en de beperking van $F$ tot $\{1\}\times X$ samenvalt met $g$, in die zin dat

$F(0,x)=f(x)$ en $F(1,x)=g(x)$.

Hierbij draagt het gesloten reële interval $[0,1]$ de gebruikelijke topologie, en is het cartesisch product voorzien van de producttopologie.

De functie $F$ bepaalt dus werkelijk een continue overgang van $f$ in $g$, geparametriseerd door een reëel getal tussen 0 en 1.

De afbeeldingen $f$ en $g$ heten homotopie-equivalent of kortweg homotoop als er een dergelijke homotopie $F$ bestaat.

Voorbeelden

De afbeelding $f:\mathbb {R} \to \mathbb {R} :x\mapsto \sin x$ is homotoop met de constante afbeelding $G:\mathbb {R} \to \mathbb {R} :x\mapsto 3$. Een mogelijke homotopie is

$F:[0,1]\times \mathbb {R} \to \mathbb {R} :(t,x)\mapsto 3t+(1-t)\sin x$

Zij $X=\{a,b\}$ met de discrete topologie, dat wil zeggen alle deelverzamelingen van $X$ zijn open. De identieke transformatie van $X$ is niet homotoop met de constante afbeelding op $a$. Veronderstel namelijk dat er een homotopie $F:[0,1]\times X\to X$ zou bestaan. Dan is de beperking van $F$ tot $[0,1]\times \{b\}\simeq [0,1]$ een continue afbeelding van een samenhangende ruimte naar een discrete ruimte, dus constant. Maar deze beperking neemt de waarde $b$ aan in het begin van het interval, en $a$ op het einde van het interval: een contradictie.

Homotopie van paden

Een interessant bijzonder geval is dat waarbij $X$ zelf het gesloten interval $[0,1]$ is, zoals in het eerste voorbeeld hierboven. Een continue afbeelding van $[0,1]$ naar $Y$ noemt men een pad in '$Y$.

Een homotopie $F$ tussen twee paden $f$ en $g$ in een topologische ruimte $Y$

De fundamentaalgroep van $Y$ bestaat uit equivalentieklassen van de relatie "is homotoop met" in alle gesloten paden met een gegeven begin- en eindpunt $p$ van $Y$.

Homotopie van topologische ruimten

Twee topologische ruimten heten homotopie-equivalent of homotoop als er continue afbeeldingen

$f:X\to Y$

$g:Y\to X$

bestaan, zodat de samenstelling $g\circ f$ homotoop is met de identieke transformatie van $X$, en bovendien $f\circ g$ homotoop is met de identieke transformatie van $Y$.

Homeomorfe topologische ruimten zijn steeds homotopie-equivalent: neem voor $f$ een homeomorfisme, en $g$ zijn omgekeerde.

Het omgekeerde is niet waar: er bestaan paren van homotopie-equivalente ruimten die niet homeomorf zijn, bijvoorbeeld een punt en een cirkelschijf.

Een topologische ruimte heet samentrekbaar als het homotoop is met een singleton, of anders gezegd, als de identieke transformatie homotoop-equivalent is met een constante afbeelding op één punt van de ruimte.

De gesloten en open bollen van $\mathbb {R} ^{n}$ zijn allemaal samentrekbaar: door een schaalfactor $t\in [0,1]$ is de identieke transformatie homotoop-equivalent met de constante afbeelding op het middelpunt van de bol.

De sfeer in $\mathbb {R} ^{n}$ (de rand van de eenheidsbol) is nooit samentrekbaar.