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.

Principe

Si une propriété correspond à un ensemble co-énorme (G-delta) dans un espace de Baire, alors cette propriété est vérifiée par un élément « générique » ; les compléments maigres ne peuvent recouvrir un espace de Baire, donc le comportement sur un G-delta dense est typique.

Démonstration

Dans C[0,1] muni de la norme uniforme, l'ensemble des fonctions continues partout non dérivables est co-énorme ; par conséquent, une fonction continue « typique » (au sens topologique) est non dérivable partout, fournissant une conclusion d'existence/généricité sans construire d'exemple explicite.

Mauvaise application

Appliquer la méthode dans des espaces qui ne sont pas de Baire (par exemple des espaces topologiques vectoriels sans complétude) ou confondre généricité topologique et taille au sens de la mesure (supposer qu'un ensemble co-énorme a une mesure de Lebesgue positive) conduit à des erreurs.

Conséquence

On obtient des résultats d'existence robustes et des énoncés sur le comportement typique sans produire de témoins explicites ; de nombreuses propriétés co-énormes sont stables par intersections dénombrables et petites perturbations.

Inversion

Plutôt que de prouver qu'une propriété est générique, on peut montrer que son complément est co-énorme (ou que la propriété est maigre), démontrant ainsi sa rareté ; l'inversion échange typicité et rareté.

Limite

Nécessite de travailler dans un espace de Baire (espaces métriques complets, espaces de Hausdorff localement compacts, ou preuves que l'espace est de Baire) ; elle n'offre pas d'estimations mesurables, de prévalence quantitative ni d'exemples constructifs en général.

Tension sémantique

Il existe une tension entre la généricité topologique (co-énorme) et les notions probabilistes de grande taille (mesure pleine) ; un ensemble peut être co-énorme tout en ayant mesure de Lebesgue nulle, donc le sens de « typique » dépend du cadre.

Synthèse

On applique le théorème de catégorie de Baire pour montrer que l'ensemble des propriétés est un G-delta dense dans un espace de Baire, rendant la propriété générique au sens topologique et fournissant des conclusions d'existence même lorsque les constructions explicites font défaut.