Grupo topológico
Origem: Wikipédia, a enciclopédia livre.
Um grupo topológico é um grupo munido de uma topologia de modo que a multiplicação e a inversão sejam ambas contínuas. Alguns autores exigem que G seja espaço topológico de Hausdorff, ou que G seja uma variedade diferenciável. No entanto, a maioria dos textos contemporâneos adota a definição mais geral.