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