Stetige Abbildungen/Homotop/Fundamentalgruppe/Fakt/Beweis

Beweis

Es sei

eine Homotopie zwischen und und sei ein geschlossener stetiger Weg. Dann ist

eine Homotopie zwischen und . Es ist ja

und

Deshalb ist

in für jeden Weg und somit ist .