Exercice 4, Annexe 2
Topologie générale, IX, p. 126
Soit un groupe localement compact. Si est une famille multipliable de points de , montrer que l’ensemble des produits partiels finis de cette famille est relativement compact.
Solution
Aucune solution n’a encore été écrite.