>>419 もう少し条件を付け足せば、無限次元でも、成り立ちます。

f を バナッハ空間 E の開集合 U からバナッハ空間 F への C^1 級写像で、
U のある点 x_0 に対し、 Ker(Df(x_0)) = {0}, かつ Im(Df(x_0)) が F の閉部分線型空間の時、
E における x_0 の閉近傍 V⊆U が存在し、f は V から f(V) への位相同型となり、
f(V) は F の閉集合であるようにできます。

Im(Df(x_0)) が F で閉でないときは、僕にはわかりません。