Si r= min(r0,s
2M1
), ceci est ≤s, d’o`u gx(B0(y0, s)) ⊂B(y0, s).
Comme toute boule ferm´ee d’un Banach est compl`ete, le th´eor`eme de point fixe s’applique `a
g:B(x0, r)×B0(y0, s) : gxa un unique point fixe f(x), et fest continue de B(x0, r) dans B0(y0, s).
De plus, fest `a valeurs dans B(y0, s) et v´erifie f(x0) = y0par unicit´e.
Si l’on pose U1=B(x0, r) et U2=B(y0, s), (∗) est v´erifi´e par construction, ce qui ach`eve la
preuve de (i).
(ii) L’application x7→ D2F(x, f(x)) ∈L(E2, G) est continue, et sa valeur en x0appartient `a
l’ouvert Isom(E2, G). Donc, quitte `a diminuer U1,D2F(x, f(x)) est continˆument inversible.
Soient x∈U1fix´e et h∈Etendant vers 0. Puisque Fest de classe C1et fest continue, on a
0 = F(x+h, f(x+h)) −F(x, f (x))
=D1F(x, f(x)).h +D2F(x, f(x)).(f(x+h)−f(x)) + o(||h|| +||f(x+h)−f(x))||).
En appliquant D2F(x, f(x))−1, on en d´eduit
f(x+h)−f(x) + o(||f(x+h)−f(x))||) = −[D2F(x, f(x))−1◦D1F(x, f(x))].h +o(||h||).
Le membre de gauche a une norme ≥1
2||f(x+h)−f(x))|| pour hassez petit, celui de droite est
O(||h||). Donc f(x+h)−f(x)) = O(||h||) et le terme o(||f(x+h)−f(x))||) est un o(||h||), d’o`u
f(x+h)−f(x) = −[D2F(x, f(x))−1◦D1F(x, f(x))].h +o(||h||).
Ceci prouve que fest diff´erentiable en xet que Df(x) a la valeur indiqu´ee. Comme D1F,D2Fet
Fsont continues, ceci implique la continuit´e de Df, donc fest de classe C1.
(iii) Ceci r´esulte de (ii) et des th´eor`emes sur la diff´erentiabilit´e d’une fonction compos´ee.
2. Th´eor`eme d’inversion locale
D´efinition. Soit k∈N∗∪ {∞}. Soient U⊂Eet V⊂Gdeux ouverts d’espaces vectoriels
norm´es. Une application f:U→Vest un Ck-diff´eomorphisme si fest bijective, de classe Ck
ainsi que f−1.
Th´eor`eme d’inversion locale. Soient Eet Gdeux espaces de Banach, f:U⊂E→G
une application de classe Ck,k∈N∗∪ {∞}, et xun point de U. On suppose que Df(x)est un
isomorphisme.
Alors il existe U1⊂Uouvert contenant xtel que finduise un Ck-diff´eomorphisme de U1sur
f(U1).
D´emonstration. On d´efinit F:G×U→E,F(y, x) = f(x)−y. Par construction, (F(y, x) =
0) ´equivaut `a (f(x) = y). L’application Fest de classe Cket l’on a F(f(x), x) = 0.
De plus D2F(f(x), x) = Df(x) est un isomorphisme, donc par le TFI il existe un voisinage
ouvert V1×V2⊂G×Ude (f(x), x) et une application g:V1→V2de classe Cktels que
{(y, x)∈V1×V2|f(x) = y}={(y, g(y)) |y∈V1}.
Alors U1=f−1(V1) est un voisinage ouvert de xet finduit une bijection de U1sur V1, avec
f−1=g|U1de classe Ck, donc f:U1→V1est un Ck-diff´eomorphisme.
3