Théorème de Baire

Modèle:Confusion Le théorème de Baire, dit aussi lemme de Baire, est un théorème de topologie dû au mathématicien René Baire.

Espaces de Baire

On dit qu'un espace topologique est un espace de Baire si toute intersection dénombrable d'ouverts denses est dense. De façon équivalente, un espace topologique est de Baire si toute union dénombrable de fermés d'intérieurs vides est d'intérieur vide, ou encore, si le seul ouvert maigre est le vide. Le lemme (ou théorème) de Baire donne des conditions suffisantes pour que certains espaces soient de Baire.

Énoncé du théorème de Baire

Le théorème de Baire est constitué de trois affirmations<ref>Modèle:Note autre projet Pour le second point (également démontré dans Modèle:Ouvrage et Modèle:Ouvrage), on utilise le théorème des fermés emboîtés.</ref> :

1. Tout espace localement compact est de Baire. Par conséquent : un espace localement compact non vide n'est pas la réunion dénombrable de fermés d'intérieur vide ;
2. Tout espace complètement métrisable est de Baire ;
3. Tout ouvert d'un espace de Baire est de Baire (pour la topologie induite).

Un espace E est dit « complètement de Baire » si tout fermé de E est de Baire<ref>Modèle:Ouvrage.</ref>. Pour les espaces localement compacts et les espaces complètement métrisables, cette propriété supplémentaire est automatique.

Quelques applications

Analyse

• Analyse fonctionnelle :
  • théorèmes de l'application ouverte, du graphe fermé, de l'isomorphisme de Banach,
  • théorème de Banach-Steinhaus,
  • théorème de la limite simple de Baire,
  • théorème de Blumberg,
  • dans l'espace de Banach des fonctions continues sur [0, 1], le sous-ensemble des fonctions nulle part dérivables contient un G_δ dense ;
• Caractérisation des polynômes réels<ref>Modèle:Article.</ref><ref>Modèle:Article.</ref><ref>Modèle:Ouvrage.</ref><ref>Modèle:Ouvrage.</ref><ref>Modèle:Lien web.</ref><ref>Modèle:Note autre projet</ref> : si Modèle:Mvar est une [[Classe de régularité|fonction C^Modèle:Math]] telle que <math>\forall x\in\R\quad\exists n\in\N\quad f^{(n)}(x)=0</math>, alors c'est un polynôme (on peut noter l'inversion de quantificateurs avec la caractérisation évidente <math>\exists n\in\N\quad\forall x\in\R\quad f^{(n)}(x)=0</math>).
  Plus généralement<ref>Modèle:Ouvrage.</ref><ref>Modèle:Lien web.</ref>, il suffit de supposer que <math>\forall x\in\R\quad\exists n\in\N\quad f^{(n)}(x)\in D</math>, où Modèle:Mvar est un ensemble au plus dénombrable arbitraire.

Topologie

• Connexité du tipi de Cantor
• Théorème de superposition de Kolmogorov
• Tout espace métrique complet non vide et sans point isolé est infini non dénombrable<ref>Un tel espace contient même un sous-espace homéomorphe à l'espace de Baire ℕ^ω : voir « Ensemble parfait ».</ref>.
• Plus généralement, toute intersection dénombrable d'ouverts denses d'un espace de Baire séparé, non vide et sans point isolé est infinie non dénombrable<ref>Modèle:Ouvrage, corrigé de l'exercice 14.3 page 223.

</ref>.

• Dans un espace de Banach de dimension infinie, toute base est non dénombrable (voir Espace vectoriel normé, § Complétude)<ref>La dimension d'un tel espace est égale à son cardinal en supposant l'hypothèse du continu, mais aussi sans cette hypothèse : Modèle:Article.</ref>.

Voir aussi

Liens externes

• Gilles Godefroy, texte sur le théorème
• BwataBaire, un wiki qui se propose de recenser diverses applications du lemme de Baire, et de réfléchir aux relations qu'il entretient avec des phénomènes similaires.
• Modèle:Ouvrage (Modèle:Google Livres)