Chapitre II
Propri´et´es de Baire
2. 1 D´efinitions et propri´et´es de base
efinition 1. 1
Un espace topologique Xest dit de Baire si toute intersection d´enombrable d’ouverts denses de X
est encore dense dans X.
Il revient au mˆeme de dire que toute r´eunion d´enombrable de ferm´es d’int´erieur vide est encore d’int´erieur
vide.
Th´eor`eme 1.2
Si Xest un espace m´etrique complet, ou si c’est un espace localement compact, Xest un espace
de Baire.
emonstration Nous la donnons tout d’abord dans le cas o`u Xest un espace m´etrique complet.
Soit (Oi)i=1,···,+une famille d´enombrables d’ouverts denses. Il faut montrer que Oiest encore dense.
Pour cela, il sut de v´erifier que, pour tout ouvert Wde X, l’intersection (Oi)West non vide. Par
hypoth`ese, O1West non vide. Soit x1un point de cette intersection. L’ensemble O1W´etant ouvert, il
existe un nombre r1>0 tel que la boule ferm´ee B(x1,r
1) soit contenue dans O1W. Appelons W1la boule
ouverte B(x1,r
1). Par hypoth`ese, W1rencontre O2et par cons´equent, il existe un point x2appartenant
`a l’intersection W1O2. De nouveau, on trouve un nombre r2strictement positif, que l’on peut supposer
inf´erieur `a r1/2 tel que la boule ferm´ee B(x2,r
2) soit contenue dans W1O2. D´esignons par W2la boule
ouverte B(x2,r
2). Poursuivant ce proc´ed´e, on construit une suite de boules B(xi,r
i) telles que :
chaque rayon riest inf´erieur `a la moiti´e du pr´ec´edent, de sorte que la suite (ri) tend vers 0.
les boules forment une suite d´ecroissante, et pour tout i,B(xi,r
i)O1· · · OiW.
Il r´esulte de l’emboˆıtement des boules B(xi,r
i) et de fait que leur rayon ritend vers 0 que la suite de leurs
centres est de Cauchy donc convergente vers un point xvu l’hypoth`ese faite sur X(pour j!i, le point xj
appartient `a B(xi,r
i) et la distance d(xi,x
j) est donc inf´erieure `a ri, qui est inf´erieur `a εpour i!i0). Par
ailleurs, pour tout i, pour tout j!i,xjB(xi,r
i)OiW. La boule ferm´ee ´etant ferm´ee, elle est stable
par passage `a la limite et donc xB(xi,r
i)OiW. Cette propri´et´e ´etant vraie pour tout i, le point x
appartient bien `a l’intersection OiW, qui est donc non vide.
Lorsque l’on remplace l’hypoth`ese selon laquelle Xest un espace m´etrique complet par le fait que c’est
un espace localement compact, il sut de modifier l´eg`erement la d´emonstration ci-dessus. Pour cela, on
1
remplace la boule ferm´ee B(x1,r
1) par un voisinage compact V1de x1contenu dans WO1(il en existe par
hypoth`ese), et on remplace W1par l’intersection de Wet de l’int´erieur de V1, qui contient x1puisque V1
est un voisinage de x1. On pourra conclure si l’on est capable de d´emontrer que l’intersection Viest non
vide, puisque par construction, cette intersection est contenue dans W(Oi). Cette derni`ere propri´et´e est
claire, dans la mesure o`u nous avons aaire `a une intersection d´ecroissante de compacts non vides, qui est
non vide par d´efinition de la compacit´e. "
On v´erifie que les ouverts et les ferm´es d’un espace de Baire sont encore des espaces de Baire. Il en r´esulte
en particulier, compte tenu du th´eor`eme ci-dessus, que R, ses ouverts et ses ferm´es sont des espaces de Baire.
2. 2 Exercices
Exercice 2. 1 Soit FRun ferm´e sans point isol´e. Montrer que Fest ind´enombrable. (On rappelle
qu’un point xd’une partie Ad’un espace m´etrique Eest dit isol´e dans As’il existe un nombre r>0 tel que
B(x, r)A=).
Indication : si, au contraire, F={xn,;n!0}, aboutir `a une contradiction en consid´erant diverses propri´et´es
des ensembles On={xF, ;x%=xn}.
Exercice 2. 2 Soit f:R−→ Rune fonction de classe Ctelle que
()xR,n!0,f
(n)(x) = 0
Le but de l’exercice est de montrer que fest une fonction polynˆome.
1 On d´efinit les ensembles
={xR,fest polynomiale sur un voisinage de x}
F=R\
Fn={xF, f(n)(x) = 0}
Montrer que est ouvert. Si ]u, v[ est une composante connexe de (c’est-`a-dire un intervalle ouvert
maximal inclus dans ), montrer qu’il existe un polynˆome Ptel que f(x)=P(x) pour tout x]u, v[.
Indication : soit x0]u, v[. Soit Ptel que f=Psur un voisinage de x0et soit
I={x]x0,v[,f=Psur [x0,x]}
Montrer que Iest un intervalle non vide et que sup Ine peut pas appartenir `a . Conclure.
2 – Montrer que Fest un ferm´e sans point isol´e.
Indication : si fest de classe Csur R, polynomiale sur ]α,β[ et sur ]β,γ[, v´erifier qu’elle l’est aussi sur
]α,γ[.
3 On raisonne par l’absurde en supposant que Fest non vide. Montrer qu’il existe n0et un intervalle
ouvert Itels que IFsoit non vide et inclus dans Fn0. (Utiliser le fait que Fest un espace de Baire).
4 Montrer que, pour tout n!n0,IFFn.
Indication : raisonner par r´ecurrence, en remarquant que IFest sans point isol´e et que, par cons´equent,
si xIF
f(n+1)(x) = lim
yx, yIF
f(n)(y)f(n)(x)
yx
5 En utilisant la formule de Taylor, montrer que f(n0)= 0 sur toute composante connexe de I.
Conclure que F=.
Indication : soit ]a, b[ une composante connexe de I. V´erifier que aF. Montrer que la restriction de f
`a [a, b] est polynomiale et en conclure que, si x[a, b],
f(x)=
n01
!
k=0
f(k)(a)
k!(xa)k
6 En utilisant 1. et 5., montrer le r´esultat annonc´e.
2
Exercice 2. 3 Soit Iun intervalle ouvert de Ret (fn) une suite de fonctions continues de Idans R
convergeant simplement vers une fonction f:I−→ R. Le but de l’exercice est de prouver que fest
continue sur un ensemble dense.
1 – Soit ϕ:I−→ Rune fonction et soit xI. On d´efinit l’oscillation de ϕen xpar
ω(ϕ, x) = lim
ε0[sup{ϕ([xε, x +ε])}inf{ϕ([xε, x +ε])}]
Montrer que cette limite existe et peut ˆetre interpr´et´ee comme borne inf´erieure d’un certain ensemble.
2 – Montrer que la fonction x+→ ω(ϕ, x) est semi-continue sup´erieurement, c’est-`a-dire que, pour tout ε>0,
l’ensemble des ´el´ements xItels que ω(ϕ, x)<εest ouvert.
V´erifier que ϕest continue en xsi et seulement si ω(ϕ, x) = 0.
3 – Soit ε>0 fix´e. On d´efinit des ensembles
Fn,p ={xI, |fn+p(x)fn(x)|#ε}
et
Fn="
p!0
Fn,p
Soit ]u, v[I. Montrer, en utilisant la propri´et´e de Baire, qu’il existe n0tel que Fn0]u, v[ soit d’int´erieur
non vide. En d´eduire qu’il existe x0]u, v[ tel que ω(f, x0)<4ε.
4 En appliquant de nouveau la propri´et´e de Baire, la semi-continuit´e sup´erieure et 3., montrer que
l’ensemble des points de continuit´e de fest dense dans I.
Indication : remarquer que la densit´e de Adans Ise traduit par le fait que tout intervalle ouvert de Icontient
un point de A.
5 – Soit f:I−→ Rune fonction d´erivable. Montrer que sa d´eriv´ee f&est continue sur un ensemble dense.
3
1 / 3 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !