Espace de Baire


Espace de Baire

Théorème de Baire

Le théorème de Baire, dit aussi lemme de Baire, est un théorème de topologie dû au mathématicien René Baire. Un espace topologique est dit de Baire si toute intersection dénombrable d'ouverts denses est dense. De façon équivalente, un espace topologique est de Baire si une union dénombrable de fermés d'intérieur vide est d'intérieur vide.

Sommaire

Description

  1. Un espace topologique localement compact E est de Baire ;
  2. Un espace métrique complet (E,d) (notamment un espace de Banach) est de Baire ;
  3. Tout ouvert d'un espace de Baire est un espace de Baire.


Quelques applications

Notes et références

  1. Carominas et Sunyer Balaguer, Revista Mat. Hisp.-Amer., 4, n°14, (1954), p.26-43
  2. H. D. Brunk and R. P. Boas, Amer. Math. Monthly, 66, n°7 (Aug. - Sep., 1959), p. 599

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.
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Th%C3%A9or%C3%A8me de Baire ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Espace de Baire de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Espace Polonais — Un espace métrisable à base dénombrable (ou séparable, cela revient au même pour un espace métrisable) est un espace polonais si sa topologie peut être définie par une distance qui en fait un espace complet. Tout espace compact métrisable, tout… …   Wikipédia en Français

  • Espace Complet — En mathématiques, un espace métrique M est dit complet ou espace complet si toute suite de Cauchy de M a une limite dans M (c’est à dire qu elle converge dans M). La propriété de complétude dépend de la distance. Il est donc important de toujours …   Wikipédia en Français

  • Espace Localement Compact — En topologie, un espace localement compact est un espace qui, sans être nécessairement compact lui même, admet des voisinages compacts pour tous ses points. On peut y généraliser (au moins partiellement) beaucoup de résultats sur les espaces… …   Wikipédia en Français

  • Espace Localement Convexe — Sommaire 1 Définition 2 Critère de séparation 3 Continuité d une fonction 4 Espace métrisable …   Wikipédia en Français

  • Espace Vectoriel Topologique Localement Convexe — Espace localement convexe Sommaire 1 Définition 2 Critère de séparation 3 Continuité d une fonction 4 Espace métrisable …   Wikipédia en Français

  • Espace vectoriel topologique localement convexe — Espace localement convexe Sommaire 1 Définition 2 Critère de séparation 3 Continuité d une fonction 4 Espace métrisable …   Wikipédia en Français

  • Espace vectoriel topologique localement convexe séparé — Espace localement convexe Sommaire 1 Définition 2 Critère de séparation 3 Continuité d une fonction 4 Espace métrisable …   Wikipédia en Français

  • Espace Vectoriel Topologique — Les espaces vectoriels topologiques sont une des structures de base de l analyse fonctionnelle. Ce sont des espaces munis d une structure topologique associée à une structure d espace vectoriel. Des exemples connus d espaces vectoriels… …   Wikipédia en Français

  • Espace polonais — Un espace métrisable à base dénombrable (ou séparable, cela revient au même pour un espace métrisable) est un espace polonais si sa topologie peut être définie par une distance qui en fait un espace complet. Tout espace compact métrisable, tout… …   Wikipédia en Français

  • Espace complet — En mathématiques, un espace métrique M est dit complet ou espace complet si toute suite de Cauchy de M a une limite dans M (c’est à dire qu elle converge dans M). La propriété de complétude dépend de la distance. Il est donc important de toujours …   Wikipédia en Français