Grupo topológico

Predefinição:Sem fontes Um grupo topológico é um grupo munido de uma topologia de modo que a multiplicação $G\times G\to G$ $((x,y)\to xy)$ e a inversão $G\to G$ $(x\to x^{-1})$ 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.

Ver também

• Grupo de Lie