espace de Baire

ANALYSE

On dit qu’un espace topologique est un espace de Baire s’il vérifie l’une des propriétés équivalentes suivantes :
(i) Toute partie ouverte non vide est non maigre.
(ii) L’intersection d’une suite de parties ouvertes denses est dense.
(iii) L’intersection d’une suite dénombrable d’ouverts est dense.