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

Aus Wikiversity
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

Zur bewiesenen Aussage