Remarque 2
Étiquette 0ECW, permanente. À citer comme [Bourbaki, Tag 0ECW].
General Topology, chapter IX, § 6. Espaces polonais ; espaces sousliniens ; ensembles boréliens
Lorsque X est un espace compact métrisable, le cor. 1 du th. 5 s’applique à toute relation d’équivalence séparée R dans X, puisqu’on sait qu’une telle relation est fermée (I, p. 63, corollaire 2).
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.