Topologie/Überlagerungen/Operation auf der Faser/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein weg-zusammenhängender topologischer Raum, und die Fundamentalgruppe von . 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.