Exercice 2, § 3

Soit G un groupe topologique dont les structures uniformes droite et gauche soient identiques. Montrer que cette unique structure uniforme peut être définie par une famille d’écarts sur G, invariants à la fois à gauche et à droite (en utilisant l’exerc. 3 de III, p. 73, montrer que pour tout voisinage V de l’élément neutre e de G, $V_0 = \bigcap_{x \in G} xVx^{-1}$ est un voisinage de e).