Corollaire 2
Étiquette 0EC9, permanente. À citer comme [Bourbaki, Tag 0EC9].
General Topology, chapter IX, § 4. Espaces normaux
Si F est une partie fermée d’un espace paracompact X, tout voisinage de F dans X contient un voisinage fermé (donc paracompact) de F. Cela résulte de I, p. 69, prop. 16, de IX, p. 49, prop. 4 et de l’axiome .
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.