On appelle groupe topologique tout groupe (G,*) muni d'une topologie satisfaisant aux conditions suivantes:
On peut montrer qu'un sous-groupe de est soit dense, soit de la forme , pour un unique .
multiplicatif des nombres complexes de module ou comme le groupe des rotations de centre fixé dans un plan euclidien. Tout sous-groupe est soit fini soit dense.
Ce groupe est homéomorphe à l'ensemble de Cantor. Pour le voir, on a besoin de la notion de produit infini d'espaces topologiques.
et sont des homéomorphismes.
la donnée des voisinages de l'élément neutre.
est fermé dans , ou, ce qui revient au même, si tout point est une partie fermée. La condition est évidemment nécessaire. Pour voir qu'elle est suffisante, notons qu'en raison de la continuité de la multiplication, pour tout ouvert contenant l'élément neutre, il en existe un autre, que nous noterons , tel que . Quitte à remplacer par , on peut supposer que . Si , on applique cette remarque à . Alors et sont deux ouverts disjoints contenant et respectivement.
et sont ouverts, puisque par exemple .
Dorénavant, nous omettrons le signe .
Une classe importante de groupes topoloqiques est formée par les sous-groupes du groupe linéaire , avec ou . On les munit de la topologie induite par celle de .
Ces exemples sont des exemples fondamentaux de groupes de Lie réels ou complexes.
Ils ont en commun la propriété suivant : il existe un ouvert contenant l'élement neutre et ne contenant aucun sous-groupe non trivial.
Si (G,+) est un groupe abélien, si (Gn) est une suite de sous-groupes de G telle que:
Alors la suite (Gn) induit une topologie sur G dans laquelle les voisinages de x sont les ensembles x+ Gn.
Si de plus, l'intersection des Gn est réduite à {0} où 0 est l'élément neutre de G, le groupe est séparé.
Un cas particulier de groupe topologique de cette forme est le groupe muni de la topologie p-adique: Si p est un entier naturel, la suite (Gn) est définie par Gn = pnG . (on rappelle que, pour tout entier naturel k et tout élément x de G, l'élément kx est défini par kx = x + x + ... + x (où x apparait k fois)
On peut définir une distance sur (G, +) muni de la topologie induite par (Gn) si l'intersection des Gn est bien réduite à {0}:
Si (G,+) est un groupe abélien séparé muni de la topologie déterminée par la suite (Gn), on peut définir dans G des suites de Cauchy
Sur cet ensemble de suites SC(G), on peut définir une relation d'équivalence :
L'ensemble quotient SC(G) est alors espace complet.
Le groupe G est alors isomorphe à un sous-groupe dense de SC(G).
L'exemple le plus important d'une telle construction est celui des nombres p-adiques : on fait cette construction à partir de et de la multiplication par un nombre premier .