gruppo topologico
gruppo topologico gruppo G dotato di una topologia compatibile con la sua struttura di gruppo, vale a dire tale che siano continue le due applicazioni di moltiplicazione (m: G × G → G) e inverso (i: G → G) definite rispettivamente da m(x, y) = x ⋅ y e i(x) = x−1, dove G × G è dotato della topologia prodotto. Sono casi particolari di gruppi topologici i gruppi di → Lie e i → gruppi algebrici, dove il gruppo è dotato rispettivamente di una struttura aggiuntiva di varietà differenziabile e di varietà algebrica.