Une généralisation des espaces compacts (Q2652750)

Un recouvrement \(R_1\), d'un ensemble \(E\) est dit subordonné à un recouvrement \(R\) de \(E\), si tout élément de \(R_1\), est inclus dans un élément de \(R\). Un recouvrement de \(E\) topologique est localement fini si tout point de \(E\) possède un voisinage ne rencontrant qu'un nombre fini d'éléments de \(R\). Un espace est paracompact si tout recouvrement ouvert, en possède un recouvrement ouvert subordonné localement fini. Un espace de Hausdorff paracompact est normal, un espace métrique séparable est paracompact. Le produit d'un compact et d'un paracompact est paracompact.