Exercice 6, § 1

Soient $G$ un groupe topologique, $V$ un voisinage ouvert de $e$ dans $G$. Montrer que l’ensemble des $x \in V$ tels que $x^2 \in V$ est la réunion des voisinages $W$ de $e$ tels que $W^2 \subset V$.