Théorie

Groupes topologiques

Un groupe topologique est un groupe muni d'une topologie pour laquelle $(x,y) \mapsto xy$ et $x \mapsto x^{-1}$ sont continues. Sa topologie est déterminée par les voisinages du neutre, il est séparé dès que le neutre forme un fermé, et ses quotients par des sous-groupes fermés sont séparés.