Gruppe/Kettenkomplex/Homotope Homomorphismen/Kovarianter Funktor/Homotopie/Fakt/Beweis
Zur Navigation springen
Zur Suche springen
Beweis
Es seien die Homotopien zwischen und , die es nach Voraussetzung gibt. Es gilt also
Wegen der Additivität des Funktors gilt auch