18/02/06 05:13:22.12 prVkj7SB.net
>>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 �
18/02/06 05:13:22.12 prVkj7SB.net
>>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 �