Totale Differenzierbarkeit/K/Kettenregel/Fakt/Beweis

Beweis

Wir haben nach Voraussetzung (wobei wir ${}Q:=\varphi (P)$ setzen)

${}\varphi (P+v)=\varphi (P)+L(v)+\Vert {v}\Vert r(v)\,$

und

${}\psi (Q+w)=\psi (Q)+M(w)+\Vert {w}\Vert s(w)\,$

mit linearen Abbildungen ${}L\colon V\rightarrow W$ und ${}M\colon W\rightarrow U$, und mit in ${}0$ stetigen Funktionen ${}r\colon U{\left(0,\delta \right)}\rightarrow W$ und ${}s\colon U{\left(0,\delta '\right)}\rightarrow U$, die beide in ${}0$ den Wert ${}0$ annehmen. Damit gilt

${}{\begin{aligned}(\psi \circ \varphi )(P+v)&=\psi (\varphi (P+v))\\&=\psi {\left(\varphi (P)+L(v)+\Vert {v}\Vert r(v)\right)}\\&=\psi (\varphi (P))+M(L(v)+\Vert {v}\Vert r(v))+\Vert {L(v)+\Vert {v}\Vert r(v)}\Vert s(L(v)+\Vert {v}\Vert r(v))\\&=\psi (\varphi (P))+M(L(v))+M(\Vert {v}\Vert r(v))+\Vert {L(v)+\Vert {v}\Vert r(v)}\Vert s(L(v)+\Vert {v}\Vert r(v))\\&=\psi (\varphi (P))+(M\circ L)(v)+\Vert {v}\Vert M(r(v))+\Vert {\Vert {v}\Vert L{\left({\frac {v}{\Vert {v}\Vert }}\right)}+\Vert {v}\Vert r(v)}\Vert s(L(v)+\Vert {v}\Vert r(v))\\&=\psi (\varphi (P))+(M\circ L)(v)+\Vert {v}\Vert {\left(M(r(v))+\Vert {L{\left({\frac {v}{\Vert {v}\Vert }}\right)}+r(v)}\Vert s(L(v)+\Vert {v}\Vert r(v))\right)}.\,\end{aligned}}$

Dabei haben wir in der dritten Gleichung die lineare Approximation für

${}w=L(v)+\Vert {v}\Vert r(v)\,$

eingesetzt. Die beiden letzten Gleichungen gelten nur für ${}v\neq 0$. Der Ausdruck

$t(v):=M(r(v))+\Vert {L{\left({\frac {v}{\Vert {v}\Vert }}\right)}+r(v)}\Vert s(L(v)+\Vert {v}\Vert r(v))\,$

ist unser Kandidat für die Abweichungsfunktion. Der erste Summand ${}M(r(v))$ ist in ${}v=0$ stetig und hat dort auch den Wert ${}0$. Es genügt also den zweiten Summanden zu betrachten. Der ${}\Vert {-}\Vert$-Ausdruck ist in einer Umgebung der Null beschränkt, da ${}L$ auf der kompakten Einheitssphäre nach Fakt beschränkt ist und da ${}r$ in ${}0$ stetig ist. Daher hängt die Stetigkeit nur von dem rechten Faktor ab. Aber ${}L(v)+\Vert {v}\Vert r(v)$ hat für ${}v\rightarrow 0$ den Grenzwert ${}0$. Damit ist auch ${}s(L(v)+\Vert {v}\Vert r(v))$ in ${}0$ stetig und hat dort den Grenzwert ${}0$.

Zur bewiesenen Aussage