Implicit Function Theorem/Real Functions/Proof 1

Outline of Proof
We apply the Uniform Contraction Mapping Theorem to the function:
 * $F: \R^n \times \R^k \to \R^k : \map F {x, y} = y - \map {D_2 \map f {a, b}^{-1} } {\map f {x, y} }$

for appropriate $x \in \R^n$ and $y \in \R^k$.

Reduction to $\tuple {a, b} = \tuple {0, 0}$
We may assume $\tuple {a, b} = \tuple {0, 0}$.

Define:
 * $F : \Omega \to \R^k: \map F {x, y} = y - \map {D_2 \map f {a, b}^{-1} } {\map f {x, y} }$

By Linear Function is Continuous, $D_2 \map f {a, b}^{-1}$ is continuous on $\R^k$.

Thus $F$ is continuous on $\Omega$.

$F$ is locally a uniform contraction
Let $r_1 > 0$ such that the open ball $\map B {0, r_1} \subseteq \Omega$.

We have, for $\tuple {x, y_1}, \tuple {x, y_2} \in \map B {0, r_1}$, by the Mean Value Inequality:
 * $\norm {\map F {x, y_2} - \map F {x, y_1} } \le \displaystyle \sup_{y \mathop \in \closedint {y_1} {y_2} } \norm {D_2 \map F {x, y} } \cdot \norm {y_2 - y_1}$

We have, for $\tuple {x, y} \in \Omega$:
 * $D_2 \map F {x, y} = I - \paren {D_2 \map F {0, 0} }^{-1} \circ D_2 \map F {x, y}$

where $I$ is the identity mapping.

Thus $D_2 F$ is continuous in $\Omega$.

By definition, $D_2 \map F {0, 0} = 0$.

By continuity, there exists $r_2 > 0$ such that:
 * $\norm {D_2 \map F {x, y} } \le \dfrac 1 2$ for $\norm {\tuple {x, y} } \le r_2$

From the above inequality, $F$ is a uniform contraction mapping on the open ball $\map B {0, r_2}$ for the Lipschitz Constant $\dfrac 1 2$.

Constructing a stable neighborhood
We have, for $x, y \in \map {\overline B} {0, r_2}$:

Because $\map F {0, 0} = 0$ and $F$ is continuous, there exists $r_3>0$ such that $\norm {\map F {x, 0} } \le \dfrac {r_2} 2$.

Then:
 * $\norm {\map F {x, y} } \le r_2$ for $\norm y \le r_2$

and:
 * $\norm x \le r_3$

Thus the restriction of $F$ to $\map B {0, r_3} \times \map {\overline B} {0, r_2}$ is a uniform contraction:
 * $F: \map B {0, r_3} \times \map {\overline B} {0, r_2} \to \map {\overline B} {0, r_2}$

Applying the Uniform Contraction Theorem
By Subspace of Complete Metric Space is Closed iff Complete, $\map {\overline B} {0, r_2}$ is complete.

By the Uniform Contraction Mapping Theorem, there exists a unique mapping $g: \map B {0, r_3} \to \map {\overline B} {0, r_2}$ such that $\map F {x, \map g x} = \map g x$.

Moreover, $g$ is continuous.

A mapping $h: \map B {0, r_3} \to \map {\overline B} {0, r_2}$ satisfies $\map F {x, \map h x} = \map h x$ it satisfies $\map {D_2 \map f {a, b}^{-1} } {\map f {x, \map h x} } = 0$  it satisfies $\map f {x, \map h x} = 0$, because $D_2 \map f {a, b}^{-1}$ is invertible.

Thus $g$ is the unique mapping $g: \map B {0, r_3} \to \map {\overline B} {0, r_2}$ such that $\map f {x, \map g x} = 0$.