Théorème de topologie et d'analyse fonctionnelle qui affirme que, dans un espace métrique complet (ou plus généralement un espace de Baire), l'intersection dénombrable d'ouverts denses est dense ; équivalemment, l'espace ne peut être exprimé comme réunion dénombrable d'ensembles d'intérieurs vides.

Principe

La complétude impose que les ensembles résiduels (intersections dénombrables d'ouverts denses) soient denses, de sorte que les propriétés 'génériques' décrites par des G_delta denses sont topologiquement typiques même si elles sont petites pour la mesure.

Démonstration

Dans l'espace complet C[0,1] muni de la norme du suprême, l'ensemble des fonctions partout non différentiables se construit comme intersection dénombrable d'ouverts denses ; par le théorème de Baire, cet ensemble est donc dense.

Mauvaise application

Appliquer le théorème à des espaces métriques incomplets (par ex. les rationnels pour la métrique usuelle) ou confondre généricité au sens de catégorie avec 'presque partout' au sens de la mesure ; prétendre l'existence d'un élément canonique plutôt que la densité est aussi abusif.

Conséquence

Explique pourquoi de nombreux objets pathologiques ou 'génériques' existent densement dans des espaces de fonctions et soutient des résultats en analyse fonctionnelle (théorème de l'image ouverte, graphe fermé) et en systèmes dynamiques concernant le comportement typique.

Inversion

Si un espace se représente comme réunion dénombrable d'ensembles d'intérieurs vides, il n'est pas un espace de Baire et la complétude (ou la propriété de Baire) fait défaut ; une telle décomposition est la négation de l'hypothèse du théorème.

Limite

S'applique aux espaces métriques complets et, plus généralement, aux espaces de Baire ; ne tient pas pour des espaces topologiques arbitraires ou des métriques incomplètes sans hypothèses supplémentaires, et n'informe pas sur la mesure ou la cardinalité.

Tension sémantique

Tension entre la généricité topologique (catégorie) et la typicité probabiliste (mesure) : un ensemble peut être comégeur (topologiquement grand) tout en ayant mesure nulle, donnant des intuitions concurrentes de ce qui est 'typique'.

Synthèse

Le Théorème de la Catégorie de Baire structure la notion de typicité en espaces métriques complets (ou de Baire) : les intersections dénombrables d'ouverts denses restent denses, rendant nombre d'objets contre-intuitifs topologiquement génériques.