Corollaire 1
Étiquette 0ECP, permanente. À citer comme [Bourbaki, Tag 0ECP].
General Topology, chapter IX, § 6. Espaces polonais ; espaces sousliniens ; ensembles boréliens
Si une partition dénombrable d’un espace séparé est formée d’ensembles sousliniens, ces ensembles sont boréliens. En particulier, dans un espace séparé, tout ensemble souslinien dont le complémentaire est souslinien est un ensemble borélien.
Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.
Cité par
Rien.
Cite
Rien.