# Satz über implizite Abbildungen/R/Textabschnitt
## Satz

Es sei $G\subseteq \mathbb {R} ^{n}$ offen und sei
    $\varphi \colon G\longrightarrow \mathbb {R} ^{m}$
eine stetig differenzierbare Abbildung. Es sei $P\in G$ und es sei $Z=\varphi ^{-1}(\varphi (P))$ die Faser durch $P$. Das totale Differential $\left(D\varphi \right)_{P}$ sei surjektiv.
Dann gibt es eine offene Menge $P\in W$, $W\subseteq G$, eine offene Menge $V\subseteq \mathbb {R} ^{n-m}$ und eine stetig differenzierbare Abbildung
induziert.
Die Abbildung $\psi$ ist in jedem Punkt $Q\in V$ regulär und für das totale Differential von $\psi$ gilt
    $\left(D\varphi \right)_{\psi (Q)}\circ \left(D\psi \right)_{Q}=0\,.$

### Beweis

Es sei $K\subseteq \mathbb {R} ^{n}$ der Kern des totalen Differentials $\left(D\varphi \right)_{a}$. Aufgrund der vorausgesetzten Surjektivität und der Dimensionsformel ist dies ein $(n-m)$-dimensionaler Untervektorraum von $\mathbb {R} ^{n}$. Durch einen Basiswechsel können wir annehmen, dass $K$ von den ersten $n-m$ Standardvektoren $e_{1},\ldots ,e_{n-m}$ erzeugt ist (Der Unterraum $\langle e_{n-m+1},\ldots ,e_{n}\rangle$ wird dann bijektiv auf $\mathbb {R} ^{m}$ abgebildet). Es sei
    $p\colon \mathbb {R} ^{n}\longrightarrow \mathbb {R} ^{n-m}=K,\,(x_{1},\ldots ,x_{n})\longmapsto (x_{1},\ldots ,x_{n-m})$
die lineare Projektion auf $K$ und es sei
    $p\times \varphi \colon G\longrightarrow \mathbb {R} ^{n-m}\times \mathbb {R} ^{m},\,(x_{1},\ldots ,x_{n})\longmapsto (x_{1},\ldots ,x_{n-m},\varphi _{1}(x_{1},\ldots ,x_{n}),\ldots ,\varphi _{m}(x_{1},\ldots ,x_{n})),$
die zusammengesetzte Abbildung. Diese ist selbst stetig differenzierbar und das totale Differential davon im Punkt $a=(a_{1},\ldots ,a_{n})$ ist bijektiv, sodass wir darauf den Satz über die Umkehrabbildung anwenden können. Es gibt also offene Umgebungen $a\in U_{1}$, $U_{1}\subseteq G$, und $(p(a),\varphi (a))\in U_{2}$, $U_{2}\subseteq \mathbb {R} ^{n-m}\times \mathbb {R} ^{m}$, derart, dass die eingeschränkte Abbildung
    $(p\times \varphi ){|}_{U_{1}}\colon U_{1}\longrightarrow U_{2}$
bijektiv ist mit stetig differenzierbarer Umkehrabbildung. Für die offene Menge $U_{2}$ gibt es offene Mengen
    $(a_{1},\ldots ,a_{n-m})\in V\subseteq \mathbb {R} ^{n-m}\,\,{\text{ und }}\,\,\varphi (a)=(b_{1},\ldots ,b_{m})\in V'\subseteq \mathbb {R} ^{m}$
mit
    $V\times V'\subseteq U_{2}\,.$
Wir können den Diffeomorphismus $(p\times \varphi ){|}_{U_{1}}$ auf das (offene) Urbild $W$ von $V\times V'$ einschränken. Wir betrachten das kommutative Diagramm
    ${\begin{matrix}G&{\stackrel{\longrightarrow }}&\mathbb {R} ^{n-m}\times \mathbb {R} ^{m}&\\&\searrow &\downarrow &\\&&\mathbb {R} ^{m}&\!\!\!\!\!\!\!\!\\\end{matrix}}$
bzw. die Einschränkung davon
    ${\begin{matrix}W&{\stackrel{\longrightarrow }}&V\times V'&\\&\searrow &\downarrow &\\&&V'&\!\!\!\!\!\!\!\!.\\\end{matrix}}$
Die Faser über $b=\varphi (a)$ ist $V\times \{(b_{1},\ldots ,b_{m})\}$. Diese Menge steht über die horizontale Abbildung $p\times \varphi$ in Bijektion mit der Faser von $\varphi$ über $b$, also mit $Z\cap W$. Wir betrachten nun die Abbildung
    $\psi \colon V\longrightarrow W,\,(x_{1},\ldots ,x_{n-m})\longmapsto (p\times \varphi )^{-1}(x_{1},\ldots ,x_{n-m},b_{1},\ldots ,b_{m}).$
Es ist
    ${\begin{aligned}\varphi (\psi (x_{1},\ldots ,x_{n-m}))&=\varphi ((p\times \varphi )^{-1}(x_{1},\ldots ,x_{n-m},b_{1},\ldots ,b_{m}))\\&=(b_{1},\ldots ,b_{m}),\end{aligned}}$
sodass das Bild von $\psi$ in der Tat in $Z\cap W$ landet. Die Injektivität von $\psi$ ist klar. Es sei nun $(x_{1},\ldots ,x_{n})\in Z\cap W$. Dann ist
    $\varphi (x_{1},\ldots ,x_{n})=(b_{1},\ldots ,b_{m})\,$
und daher ist
    $(p\times \varphi )(x_{1},\ldots ,x_{n})=(x_{1},\ldots ,x_{n-m},b_{1},\ldots ,b_{m})\,.$
Also ist
    $\psi (x_{1},\ldots ,x_{n-m})=(x_{1},\ldots ,x_{n})\,$
im Bild von $\psi$. Die Abbildung
    $\psi \colon V\longrightarrow W$
ist nach Konstruktion stetig differenzierbar und das totale Differential ist in jedem Punkt $Q\in V$ injektiv, da $\psi$ die Hintereinanderschaltung einer affin-linearen Injektion und eines Diffeomorphismus ist. Da $\psi (V)$ in der Faser von $\varphi$ über $b$ liegt, ist $\varphi \circ \psi =b$ konstant. Nach der Kettenregel ist
    $\left(D\varphi \right)_{\psi (Q)}\circ \left(D\psi \right)_{Q}=0\,.$
$\Box$