Topologische Gruppe

Eine topologische Gruppe ist eine Gruppe , die zugleich ein topologischer Raum ist derart, dass die Verknüpfung

und die Inversenbildung

stetige Abbildungen sind.