Méthode de Catégorie de Baire

Une technique qui exploite le théorème de catégorie de Baire pour établir des énoncés d'existence ou de généricité en montrant que l'ensemble des objets satisfaisant une propriété donnée est co-énorme (intersection dénombrable d'ouverts denses) ou au moins non maigre dans un espace de Baire, par exemple un espace métrique complet ou un espace de Hausdorff localement compact.

Une technique qui applique le théorème de la catégorie de Baire pour obtenir des résultats d'existence générique ou de densité en montrant qu'une intersection dénombrable d'ouverts denses (un G_δ dense) contient les objets typiques possédant la propriété recherchée dans un espace métrique complet ou un espace de Baire.