Let
\(\vb=f(\va)\) and let
\(A=Df(\va)\text{.}\) By
PropositionΒ 2.7.2, after shrinking to a small open ball
\(B_r(\va) \subseteq U\) we may assume there is a continuous matrix-valued function
\(\Psi \colon B_r(\va)\times B_r(\va)\to M_{n\times n}\) such that
\begin{equation*}
f(\vx)-f(\vy)=\Psi(\vx,\vy)(\vx-\vy)
\end{equation*}
for all
\(\vx,\vy \in B_r(\va)\text{,}\) and
\(\Psi(\va,\va)=A\text{.}\) Shrink
\(r\) further so that the closed ball
\(\overline{B_r(\va)}\) is contained in
\(U\) and
\begin{equation*}
\norm{I-A^{-1}\Psi(\vx,\vy)}_{\mathrm{op}} \le \frac12
\end{equation*}
for all
\(\vx,\vy \in \overline{B_r(\va)}\text{.}\)
We first show that
\(f\) is injective on
\(\overline{B_r(\va)}\text{.}\) If
\(f(\vx)=f(\vy)\text{,}\) then
\begin{equation*}
A^{-1}\Psi(\vx,\vy)(\vx-\vy)=0.
\end{equation*}
Writing
\(A^{-1}\Psi(\vx,\vy)=I-E\) with
\(\norm{E}_{\mathrm{op}}\le \frac12\text{,}\) we get
\begin{equation*}
\vx-\vy = E(\vx-\vy).
\end{equation*}
Hence
\(\norm{\vx-\vy}\le \frac12 \norm{\vx-\vy}\text{,}\) so
\(\vx=\vy\text{.}\)
\begin{equation*}
W
:=
\left\{
\vz \in \R^n :
\norm{A^{-1}(\vz-\vb)} \lt \frac{r}{2}
\right\}.
\end{equation*}
For each
\(\vz \in W\text{,}\) define a map
\(T_{\vz} \colon \overline{B_r(\va)} \to \R^n\) by
\begin{equation*}
T_{\vz}(\vx):=\vx-A^{-1}(f(\vx)-\vz).
\end{equation*}
If
\(\vx,\vy \in \overline{B_r(\va)}\text{,}\) then
\begin{equation*}
T_{\vz}(\vx)-T_{\vz}(\vy)
=
\bigl(I-A^{-1}\Psi(\vx,\vy)\bigr)(\vx-\vy),
\end{equation*}
\begin{equation*}
\norm{T_{\vz}(\vx)-T_{\vz}(\vy)}
\le
\frac12 \norm{\vx-\vy}.
\end{equation*}
Thus
\(T_{\vz}\) is a contraction. Also,
\begin{equation*}
\norm{T_{\vz}(\vx)-\va}
\le
\norm{T_{\vz}(\vx)-T_{\vz}(\va)} + \norm{A^{-1}(\vz-\vb)}
\lt
\frac12 r + \frac12 r
= r.
\end{equation*}
Hence
\(T_{\vz}\) maps the complete metric space
\(\overline{B_r(\va)}\) to itself. By the contraction mapping theorem,
\(T_{\vz}\) has a unique fixed point
\(\vx_{\vz} \in \overline{B_r(\va)}\text{.}\) The fixed point equation
\(T_{\vz}(\vx_{\vz})=\vx_{\vz}\) is exactly
\(f(\vx_{\vz})=\vz\text{.}\) Therefore
\(f\) maps
\(\overline{B_r(\va)}\) onto
\(W\text{.}\)
Let
\(V=f^{-1}(W)\cap B_r(\va)\text{.}\) Then
\(f \colon V \to W\) is bijective. To understand the inverse, let
\(\vz,\vw \in W\) and set
\(\vx=f^{-1}(\vz)\text{,}\) \(\vy=f^{-1}(\vw)\text{.}\) Then
\begin{equation*}
\vz-\vw
=
\Psi(\vx,\vy)(\vx-\vy),
\end{equation*}
\begin{equation*}
f^{-1}(\vz)-f^{-1}(\vw)
=
\Psi(f^{-1}(\vz),f^{-1}(\vw))^{-1}(\vz-\vw).
\end{equation*}
Since
\(\norm{I-A^{-1}\Psi(\vx,\vy)}_{\mathrm{op}} \le \frac12\text{,}\) the matrices
\(\Psi(\vx,\vy)\) are invertible, and
\begin{equation*}
\norm{f^{-1}(\vz)-f^{-1}(\vw)}
\le
2\norm{A^{-1}}_{\mathrm{op}} \norm{\vz-\vw}.
\end{equation*}
Thus
\(f^{-1}\) is continuous on
\(W\text{.}\) The coefficient function
\begin{equation*}
\Phi(\vz,\vw)
:=
\Psi(f^{-1}(\vz),f^{-1}(\vw))^{-1}
\end{equation*}
is therefore continuous on
\(W \times W\text{,}\) and
\begin{equation*}
f^{-1}(\vz)-f^{-1}(\vw)=\Phi(\vz,\vw)(\vz-\vw).
\end{equation*}
\begin{equation*}
D(f^{-1})(\vb)=\Phi(\vb,\vb)=\Psi(\va,\va)^{-1}=A^{-1}.
\end{equation*}