## [Théorème de la Catégorie de Baire](/fr/node/62213) Définition Le théorème affirme que les espaces métriques complets et les espaces localement compacts et de Hausdorff sont des espaces de Baire : l'intersection dénombrable d'ouverts denses est dense (ou, de façon équivalente, les ouverts non vides ne sont pas maigres). ## Principe Principe La complétude ou la localement compacité empêche que l'espace soit une réunion dénombrable d'ensembles d'intérieur vide ; la notion de grandeur par catégorie impose que les ensembles génériques (intersections dénombrables d'ouverts denses) restent denses. ## Démonstration Démonstration Dans l'espace métrique complet R, l'intersection de dénombrablement beaucoup d'ouverts denses (par exemple ensembles décrivant propriétés génériques de fonctions) est dense ; application concrète : des propriétés typiques des fonctions continues se démontrent par des arguments de Baire. ## Mauvaise application Mauvaise application Confondre 'presque partout' au sens de la mesure avec 'générique' au sens de la catégorie, ou supposer que tout espace topologique est de Baire ; appliquer incorrectement le théorème à des métriques incomplètes sans localement compacité. ## Conséquence Conséquence Montre que de nombreuses propriétés souhaitables sont génériques (valables sur un G-delta dense) dans les espaces de fonctions et en contexte complet, soutenant des preuves d'existence par catégorie et des arguments sur le comportement typique en analyse et dynamique. ## Inversion Inversion La situation inverse est celle d'un espace maigre (réunion dénombrable d'ensembles d'intérieur vide), qui illustre l'échec de la grandeur générique ; on trouve de tels exemples dans des sous-espaces pathologiques ou des constructions par unions dénombrables d'fermés à intérieur vide. ## Limite Limite S'applique sous complétude (espaces métriques complets) ou localement compact + Hausdorff ; peut échouer dans des espaces métriques arbitraires ou topologiques, et le comportement des produits ou en dimension infinie complique les applications directes. ## Tension sémantique Tension sémantique Tension entre catégorie et mesure comme notions de 'grosseur' : la grandeur au sens de la catégorie (comeager) peut diverger de la grandeur au sens de la mesure et induire des notions de typicalité différentes en analyse. ## Synthèse Synthèse Le Théorème de la Catégorie de Baire affirme que, dans les espaces métriques complets ou les espaces localement compacts de Hausdorff, la grandeur au sens de la catégorie est préservée par intersections dénombrables, rendant les propriétés génériques robustes et permettant des arguments d'existence puissants.