Exercice 20, § 4
Topologie générale, X, p. 60
Soit un espace complètement régulier. Montrer que toute partie de qui est intersection dénombrable d’ensembles ouverts non vides rencontre . En déduire que pour que soit maigre dans lui-même (resp. un espace de Baire), il faut et il suffit que soit maigre dans lui-même (resp. un espace de Baire).
Solution
Aucune solution n’a encore été écrite.