484 B
484 B
aliases, up, tags
aliases | up | tags | ||
---|---|---|---|---|
|
|
[!proposition]+ théorème d'inversion locale Soit
f : \Omega \to F
une fonction de classe d'une fonction\mathscr{C}^{1}
Soitx_0 \in \Omega
Si\mathrm{d}f(x_0)
est inversible, alors il existe deux voisinageU \subset \Omega
voisinage dex_0
etV \in F
voisinage def(x_0)
, tels quef
est un $\mathscr{C}^{1}$-difféomorphisme entreU
etV