Exercice 10, § 3

Soient (G_t)_{t∈I} une famille de groupes topologiques, G = \prod_{t∈I} G_t le groupe produit muni de la topologie définie dans l’exerc. 23 de III, p. 70. Montrer que si les G_t sont complets, il en est de même de G.