Grup topològic
En matemàtiques, un grup topològic és una terna tal que:
- és un espai topològic.
- és un grup (no necessàriament abelià).
- La funció que porta a és contínua.
- La funció que envia cada és contínua.
És comú requerir que la topologia sobre sigui T0, ja que tot grup topològic T0 és també regular.
Gairebé tots els objectes que investiga l'Anàlisi matemàtica són grups topològics (usualment amb estructura afegida). Cada grup pot ser convertit trivialment en un grup topològic considerant amb la topologia discreta, en aquest sentit, la teoria dels grups topològics subsumeix a la dels grups ordinaris.