Differenzierbarkeit/Vektorraum/K/Lineare Approximation/Definition

Totale Differenzierbarkeit

Es seien ${}V$ und ${}W$ endlichdimensionale ${}{\mathbb {K} }$-Vektorräume, ${}G\subseteq V$ eine offene Menge und ${}\varphi \colon G\rightarrow W$ eine Abbildung. Dann heißt ${}\varphi$ differenzierbar (oder total differenzierbar) im Punkt ${}P\in G$, wenn es eine ${}{\mathbb {K} }$-lineare Abbildung ${}L\colon V\rightarrow W$ mit der Eigenschaft

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

gibt, wobei ${}r\colon U{\left(0,\delta \right)}\rightarrow W$ eine in ${}0$ stetige Abbildung mit ${}r(0)=0$ ist und die Gleichung für alle ${}v\in V$ mit ${}P+v\in U{\left(P,\delta \right)}\subseteq G$ gilt.

Diese lineare Abbildung ${}L$ heißt, falls sie existiert, das (totale) Differential von ${}\varphi$ an der Stelle ${}P$ und wird mit

$\left(D\varphi \right)_{P}$

bezeichnet.