L9_A
7.1 Inverse Function thm
(1)Question
(2)Thm(Inverse Function theorem)
L9_B
7.1 Inverse Function thm
(1)Thm(Inverse Function theorem)(cont.)
(2)Prop
L9_C
7.1 Inverse Function thm
(1)Prop(cont.)
(2)Lemma 1: GL(R^n,R^n) is an open set in Mnn
Lemma 2: L-1 is a C^∞-mapping
Lemma 2: L-1 is a C^∞-mapping
(3)Claim 1: We assume that x0=0 and f(x0)=0
L9_D
7.1 Inverse Function thm
(1)Claim 1: We assume that x0=0 and f(x0)=0 (cont.)
(2)Claim 2: We assume that Df(0)=I