Zum Inhalt springen

Gruppe/Kettenkomplex/Homotope Homomorphismen/Kovarianter Funktor/Homotopie/Fakt/Beweis

Aus Wikiversity
Beweis

Es seien die Homotopien zwischen und , die es nach Voraussetzung gibt. Es gilt also

Wegen der Additivität des Funktors gilt auch