Differenzierbarkeit/K/Totale Differenzierbarkeit impliziert richtungsweise Differenzierbarkeit/Fakt/Beweis

Beweis

Da ${}\left(D\varphi \right)_{P}$ eine lineare Abbildung von ${}V$ nach ${}W$ ist, liefert die Anwendung dieser Abbildung auf einen Vektor ${}v\in V$ einen Vektor in ${}{\left(D\varphi \right)}_{P}{\left(v\right)}\in W$. Nach Voraussetzung haben wir

${}\varphi (P+v)=\varphi (P)+{\left(D\varphi \right)}_{P}{\left(v\right)}+\Vert {v}\Vert \cdot r(v)\,$

(mit den üblichen Bedingungen an ${}r$). Insbesondere gilt für (hinreichend kleines) ${}s\in {\mathbb {K} }$

${}\varphi (P+sv)=\varphi (P)+s{\left(D\varphi \right)}_{P}{\left(v\right)}+\vert {s}\vert \cdot \Vert {v}\Vert \cdot r(sv)\,.$

Also gilt

${}{\begin{aligned}\operatorname {lim} _{s\rightarrow 0,s\neq 0}\,{\frac {\varphi (P+sv)-\varphi (P)}{s}}&=\operatorname {lim} _{s\rightarrow 0,s\neq 0}\,{\frac {s{\left(D\varphi \right)}_{P}{\left(v\right)}+\vert {s}\vert \cdot \Vert {v}\Vert \cdot r(sv)}{s}}\\&=\operatorname {lim} _{s\rightarrow 0,s\neq 0}\,\left({\left(D\varphi \right)}_{P}{\left(v\right)}+{\frac {\vert {s}\vert }{s}}\Vert {v}\Vert \cdot r(sv)\right)\\&={\left(D\varphi \right)}_{P}{\left(v\right)},\end{aligned}}$

da ${}\operatorname {lim} _{s\rightarrow 0}\,r(sv)=0$ und der Ausdruck ${}{\frac {\vert {s}\vert }{s}}\Vert {v}\Vert$ beschränkt ist.

Zur bewiesenen Aussage