Eigentlich Diskontinuierliche Gruppenoperation

Beschreibung

Definition

Eine Diskrete Gruppenoperation wirkt eigentlich diskontinuierlich auf einem Topologischen Raum $X$, wenn für $x,y\in X$, die in unterschiedlichen Orbits liegen, zwei disjunkte Umgebungen $V,W$ existieren, sodass für alle $g\in G$ gilt: $gV\cup W=\varnothing$

Eigenschaften

Bedingung für Hausdorff

Wirkt eine Gruppe eigentlich diskontinuierlich auf einem Lokalkompakter Raum $T$, so ist der Quotient $E/G$ Hausdorff.

llotRiemannianGeometry2004]]