Topologie/Überlagerungen/Abbildung von Überlagerungen/Definition

Aus Wikiversity
Abbildung von Überlagerungen

Es seien und Überlagerungen von . Eine Abbildung von Überlagerungen von nach ist eine stetige Abbildung mit der Eigenschaft, dass gilt. Ist zudem eine Homöomorphie, so ist ein Isomorphismus von Überlagerungen. Die Menge der Abbildungen von Überlagerungen von nach wird mit bezeichnet. Die Menge der Isomorphismen von Überlagerungen von nach heißt . Diese Menge ist eine Gruppe unter der Komposition, die sogenannte Decktransformationengruppe von .