Un espace est paracompact si toute couverture ouverte admet un raffinement ouvert localement fini (chaque point possède un voisinage ne rencontrant qu'un nombre fini d'éléments du raffinement).

Principe

L'idée organisatrice est que les recouvrements peuvent être raffinés en morceaux localement maniables : la finitude locale empêche l'accumulation d'un nombre trop important d'ensembles de recouvrement près de chaque point, permettant des constructions nécessitant un contrôle point par point.

Démonstration

Tout espace métrisable est paracompact : pour toute couverture ouverte on peut construire un raffinement localement fini (par exemple en utilisant des boules de rayons décroissants et une procédure de sélection standard), première étape pour établir l'existence de partitions de l'unité sur de tels espaces.

Mauvaise application

Confondre paracompacité et compacité est une erreur : la compacité donne des sous-recouvrements finis, tandis que la paracompacité donne des raffinements localement finis ; de même la paracompacité est plus forte que la métacompacité mais plus faible que certaines conditions de finitude de recouvrements.

Conséquence

Les espaces paracompacts et séparés (Hausdorff) admettent des partitions de l'unité subordinées à toute couverture ouverte, ce qui a des conséquences majeures en topologie différentielle et dans les constructions géométriques ; la paracompacité facilite aussi de nombreux arguments locaux-vers-globales.

Inversion

Un espace non paracompact (par exemple certaines constructions de type ligne longue ou certains produits topologiques) possède des couvertures ouvertes sans raffinement ouvert localement fini, ce qui bloque l'existence de partitions de l'unité et de nombreuses techniques analytiques standard.

Limite

La paracompacité se définit sans axiomes de séparation mais donne ses conséquences les plus puissantes combinée avec Hausdorff ou régularité ; elle n'est pas en général préservée par des produits arbitraires ni par toutes les opérations de quotient.

Tension sémantique

La tension sémantique existe entre paracompacité, métacompacité (existence de raffinements point-finis) et σ-paracompacité (union dénombrable d'ouverts paracompaacts) : ces notions sont liées mais distinctes et sont souvent confondues hors de contextes précis.

Synthèse

La paracompacité formalise la possibilité de raffiner des recouvrements globaux en familles localement finies et bien contrôlées ; cette finitude locale est le levier technique qui permet l'existence de partitions de l'unité et de nombreuses constructions locales-vers-globales en topologie et géométrie.