Beschreibung
Definieren wir eine Quotient topology durch den Quotienten einer Gruppenwirkung, so hat der resultierende Quotient mehr Struktur und st
Definition
Sei ein Topological space und eine Gruppe, die darauf operiert. Wir definieren wobei , wenn es ein mit gibt.
Die Abbildung bezeichnen wir als die Projektion.
Eigenschaften
Offene Projektion und Zweitabzählbarkeit
Die Projektion ist eine Offene Abbildung In Folge ist zweitabzählbar, wenn zweitabzählbar ist.