Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Théorème de Baire
Résumé
Le théorème de Baire, dit aussi lemme de Baire, est un théorème de topologie dû au mathématicien René 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.
Le théorème de Baire est constitué de trois affirmations :
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 ;
Tout espace complètement métrisable est de Baire ;
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. Pour les espaces localement compacts et les espaces complètement métrisables, cette propriété supplémentaire est automatique.
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 : si f est une fonction C telle que , alors c'est un polynôme (on peut noter l'inversion de quantificateurs avec la caractérisation évidente ).Plus généralement, il suffit de supposer que , où D est un ensemble au plus dénombrable arbitraire.
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.
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.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.