Topologische Gruppe/Definition

Einetopologische Gruppe ist eineGruppe${\displaystyle {}G}$, die zugleich eintopologischer Raumist derart, dass die Verknüpfung

${\displaystyle G\times G\longrightarrow G,\,(g,h)\longmapsto g\circ h,}$

und die Inversenbildung

${\displaystyle G\longrightarrow G,\,g\longmapsto g^{-1},}$

stetige Abbildungensind.