Topologie/Überlagerungen/Homotopie-Liftung/Fakt

Aus Wikiversity

Es sei eine Überlagerung, eine Homotopie und eine stetige Abbildung mit der Eigenschaft, dass gilt für alle . Dann gibt es genau eine

Homotopie
mit der Eigenschaft, dass

und für alle .