# Implicit Function Theorem

## Theorem

### Real Functions

Let $n$ and $k$ be natural numbers.

Let $\Omega \subset \R^{n+k}$ be open.

Let $f : \Omega \to \R^k$ be continuous.

Let the partial derivatives of $f$ with respect to $\R^k$ be continuous.

Let $(a,b) \in \Omega$, with $a\in \R^n$ and $b\in \R^k$.

Let $f(a,b) = 0$.

For $(x_0,y_0)\in\omega$, let $D_2 f(x_0,y_0)$ denote the total derivative of the function $y\mapsto f(x_0, y)$ at $y_0$.

Let the linear map $D_2 f(a,b)$ be invertible.

Then there exist neighborhoods $U\subset\Omega$ of $a$ and $V\subset\R^k$ of $b$ such that there exists a unique function $g : U \to V$ such that $f(x, g(x)) = 0$ for all $x\in U$.

Moreover, $g$ is continuous.