Exercice 20, § 2
Étiquette 0C3S, permanente. À citer comme [Bourbaki, Tag 0C3S].
Topologie générale, IX, p. 95
Soit X l’ensemble des fonctions numériques bornées dans , muni de la distance
Montrer que X est un espace métrique complet, dont aucun point n’admet de voisinage de type dénombrable (cf. X, p. 21).
Solution
Aucune solution n’a encore été écrite.