Let E,F,G be 3 banach spaces, U an open set of E and f:U->F , g:U->G be 2 continously differentiable applications.
Suppose that is bijective. Show that f(U) is an open set in F
then suppose that
show that is continously differentiable
For the second, check that locally by the argument above.