Topologische Gruppe/Diskrete Untergruppe/Quotient/Überlagerung/Fakt

Es sei ${}G$ eine topologische Gruppe und sei ${}D\subseteq G$ eine diskrete Untergruppe.

Dann ist die Quotientenabbildung

$G\longrightarrow G/D$

eine Überlagerung.

Einen Beweis erstellen