Zum Inhalt springen

Topologie/Überlagerungen/Operation auf der Faser/Fakt

Aus Wikiversity

Es sei ein weg-zusammenhängender topologischer Raum, und die Fundamentalgruppe von . Es sei weiter eine Überlagerung. Es gilt:

  1. Die Abbildung ist eine rechte -Operation.
  2. Die Menge der Bahnen ist isomorph zu .
  3. Für jedes stimmt die Standgruppe überein mit dem Bild .
  4. Ist eine Abbildung von Überlagerungen von , so ist die Einschränkung
    eine Abbildung von rechten -Mengen.