2 Le th´eor`eme de Baire
D´efinition. On dit qu’un espace topologique Eest un espace de Baire si toute intersection d´enombrable
d’ouverts denses dans Eest dense dans E.
Th´eor`eme de Baire. Un espace m´etrique complet est un espace de Baire.
Exercice 2.1
1. Soit X={1
n:n∈N∗}.Xest-il de Baire ? Et l’intervalle [0,1) ? Et Q?
Exercice 2.2 Soit Eun espace topologique
a) Montrer que Eest un espace de Baire si et seulement si toute r´eunion d´enombrable de ferm´es
d’int´erieurs vides est d’int´erieur vide dans E.
b) Montrer qu’une partie Ad’un espace de Baire Eest maigre si et seulement si E\Aest un r´esiduel.
c) Soit Eun espace de Baire et (Fn)n≥1une suite de ferm´es de Etelle que ∪n≥1Fn=E. Montrer
que Sn≥1
◦
Fnest un ouvert dense dans E.
D´efinition :
Soient Eun espace topologique de Baire et Aune partie de E.
- On dit que Aest maigre (ou Baire-n´egligeable) si elle est contenue dans une r´eunion d´enombrable
de ferm´es de Ed’int´erieurs vides.
- Si une propri´et´e est satisfaite en tout point de Esauf ´eventuellement dans un ensemble Baire-n´egligeable,
on dit qu’elle est valable Baire-presque partout.
- On dit que Aest un r´esiduel si elle contient une intersection d´enombrable d’ouverts denses dans E.
Exercice 2.3 On veut montrer qu’un r´esiduel de Rpeut ˆetre de mesure de Lebesgue nulle. Soit
φ:N∗→Qune bijection. On pose Uj=Sn∈N∗B(φ(n),1
2n+j), o`u j∈N. Poser E=Tj∈NUjet conclure.
Exercice 2.4 Donner des exemples d’espaces vectoriels munis d’une base alg´ebrique d´enombrable. En
utilisant le th´eor`eme de Baire, montrer qu’on ne peut pas mettre de norme de Banach sur ces espaces.
Exercice 2.5 Soient (E, d) et (F, δ) deux espaces m´etriques. On suppose que (E, d) est complet.
On consid`ere une suite (fn)n≥0d’applications continues de Edans F, convergeant simplement vers une
application f:E→F.
a) Pour tout ε > 0, pour tout n∈N, on pose
Fn,ε ={x∈E:∀p≥n, δ(fn(x), fp(x)) ≤ε}.
Montrer que Ωε=∪n∈N
◦
Fn,ε est un ouvert dense dans E(on pourra utiliser l’exercice 2.2.c) et que
∀x0∈Ωε,∃Vvoisinage de x0tel que δ(f(x0), f(x)) ≤3εdans V .
b) En d´eduire que l’ensemble de continuit´e de fest un r´esiduel. Ainsi, fest continue presque partout
(au sens de Baire).
c) Soit f:R→Rune application d´erivable sur R. Que dire de l’ensemble des points de continuit´e de
la fonction d´eriv´ee f0?
Exercice 2.6 On note Cle R-espace vectoriel des fonctions continues de I= [0,1] dans R, muni de la
norme de la convergence uniforme kfk∞= supt∈I|f(t)|.
Pour ε > 0 et n∈N∗, on consid`ere l’ensemble
Uε,n =f∈ C | ∀x∈I, ∃y∈Iavec 0 <|y−x|< ε tq
f(y)−f(x)
y−x> n.
a) Montrer que Uε,n est un ouvert de C.
b) Montrer que Uε,n est dense dans C(indication : pour f∈ C, pour δ > 0, on consid´erera la fonction
x→f(x) + δsin(Nx) avec Nbien choisi).
c) En d´eduire que l’ensemble des fonctions de Cnulle part d´erivables est un r´esiduel dans C.
2