Implicit Function Theorem
Implicit Function Theorem
Implicit Function Theorem
2. f is continuous.
2. We prove that f is continuous at a. Let e > 0 be given. Assume that e < Then by the proof of
the first statement, there is a d > 0 (we may choose d < δ) so that the uniquely defined f (x) in
{kx − ak < d} satisfies |f (x) − b| < d. This proves continuity at a. We can repeat this argument at
any point (a1 , f (a1 )) ∈ B, proving that f is continuous on {kx − ak < }.
3. By differentiability
X
0 = F (x, f (x)) = F (a, b) + Pj (x, f (x))(x − aj ) + Q(x, f (x))(f (x) − f (a))
j
X
= Pj (x, f (x))(x − aj ) + Q(x, f (x))(f (x) − f (a)),
j
1
Since Q(x, f (x)) is continuous at a and Q(a, (f (a)) = fy (a, b) > 0, Q(x, f (x)) > 0 for x near a and
we can divide by it to get
X Pj (x, f (x))
f (x) = f (a) + − (x − aj ).
Q(x, f (x))
j
Pj (x, f (x))
Each term is continuous at a so f is differentiable at a. Moreover
Q(x, f (x))
Fj (a, b)
fxj (a, b) = − .
Fy (a, b)