Remarque
Étiquette 0ECL, permanente. À citer comme [Bourbaki, Tag 0ECL].
General Topology, chapter IX, § 6. Espaces polonais ; espaces sousliniens ; ensembles boréliens
Il est clair que tout espace polonais est souslinien, et que l’image d’un espace souslinien par une application continue de dans un espace séparé est un espace souslinien.
Nous verrons plus loin que tout espace souslinien est un espace de Lindelöf (IX, p. 76, corollaire).
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.