Um grupo topológico é um grupo munido de uma topologia de modo que a multiplicação G × G → G {\displaystyle G\times G\rightarrow G} {\displaystyle } e a inversão G → G {\displaystyle G\rightarrow G} {\displaystyle } sejam ambas contínuas. Wikipedia