2. En déduire que pour α > 0et r > 0il existe une unique application continue yde Bn
f(0, α)
dans Bm
f(0, r)telle que f(x, y(x)) = 0 pour tout x∈Bf(0, α).
3. Vérifier que la solution y(x)est en fait C1et que sa différentielle vaut dxy(x) = −dyf(x, y(x))−1◦
dxf(x, y(x)).
Exercice 13. Théorème de Baire : Soit (X, d)un espace métrique complet :
1. Montrer qu’une suite décroissante de fermés (Fn)n∈N, non vides, Fn6=∅, dont le diamètre
tend vers 0quand n→ ∞ a une intersection non vide.
2. Montrer qu’une intersection dénombrable d’ouverts denses est dense.
Indication : On prendra une suite (On)n∈Nd’ouverts denses et pour x∈X, on construira
pour tout voisinage Vune suite décroissante de boules fermées (Bn)n∈Ntelles que Bn⊂
V∩O1∩ · · · ∩ On.
3. On appelle Gδ-dense une partie de Xqui s’écrit comme intersection dénombrable d’ouverts
denses. Montrer que la famille des Gδ-denses est stable par intersection dénombrable.
4. On appelle partie maigre de Xune partie incluse dans un réunion dénombrable de fer-
més d’intérieur vide. Montrer que Xn’est pas maigre et ne peut s’écrire comme réunion
dénombrable de parties maigres.
5. Montrer que si Xest égal à une réunion dénombrable de fermés X=Sn∈NFnalors la
réunion des intérieurs Sn∈N◦
Fnest un ouvert dense de X. (On travaillera dans une boule
fermée arbitraire de X).
6. Que peut-on dire pour un espace topologique (X, T)si on remplace les mots “métrique
complet” par localement compact (au sens ou tout point admet une base de voisinages
compacts) ?
Exercice 14. Une application du théorème de Baire :
1. Soit (fn)n∈Nune suite de fonctions réelles continues sur [0,1] qui converge simplement vers
f. Pour n, p, q ∈Non note
Fn,p =\
q≥px∈[0,1] ,|fq(x)−fp(x)| ≤ 1
n+ 1.
(a) Montrer que pour nfixé, l’union Sp∈NFn,p n’est autre que [0,1].
(b) En appliquant le a), en déduire que On=Sp∈N◦
Fn,p est un ouvert dense de [0,1]. A
l’aide du théorème de Baire à nouveau, en déduire que G=Tn∈NOnest un Gδ-dense
de [0,1].
(c) Expliciter ce que signifie x∈Get en conclure que la limite simple fest continue en
tout point de G.
2. Montrer que la fonction 1Qne peut être limite simple d’une suite de fonctions continues.
3. Montrer que la dérivée de toute fonction dérivable sur [0,1] est continue sur un Gδ-dense
de [0,1]. (On écrira la dérivée comme une limite simple de fonctions continues).
Exercice 15. Polynômes de Bernstein : L’objectif de cet exercice est de redémontrer de
façon plus explicite la densité de R[X]dans C0([a, b]; R). On commencera avec a= 0 et b= 1.
3