Differenzierbarkeit/K/Partiell differenzierbare Abbildung/Jeder Punkt/Definition

Partiell differenzierbar

Es sei ${}G\subseteq {\mathbb {K} }^{n}$ offen und sei eine Abbildung

$f\colon G\longrightarrow {\mathbb {K} }^{m},\,(x_{1},\ldots ,x_{n})\longmapsto f(x_{1},\ldots ,x_{n})=(f_{1}(x_{1},\ldots ,x_{n}),\ldots ,f_{m}(x_{1},\ldots ,x_{n})),$

gegeben. Dann heißt ${}f$ partiell differenzierbar, wenn ${}f$ in jedem Punkt ${}P\in G$ partiell differenzierbar ist. In diesem Fall heißt die Abbildung

${\frac {\partial f}{\partial x_{i}}}\colon G\longrightarrow {\mathbb {K} }^{m},\,P\longmapsto {\frac {\partial f}{\partial x_{i}}}(P)={\left({\frac {\partial f_{1}}{\partial x_{i}}}(P),\ldots ,{\frac {\partial f_{m}}{\partial x_{i}}}(P)\right)},$

die ${}i$-te partielle Ableitung von ${}f$.