Formales partielles Ableiten/Kettenregel/Aufgabe

Es sei ${}K$ ein Körper und seien ${}F_{1},\ldots ,F_{m}\in K[X_{1},\ldots ,X_{n}]$ und ${}G_{1},\ldots ,G_{k}\in K[Y_{1},\ldots ,Y_{m}]$ Polynome. Wir setzen

${}H_{i}=G_{i}(F_{1},\ldots ,F_{m})\,.$

Zeige, dass die formalen partiellen Ableitungen die „formale Kettenregel“

${\begin{pmatrix}{\frac {\partial H_{1}}{\partial X_{1}}}&\ldots &{\frac {\partial H_{1}}{\partial X_{n}}}\\\vdots &\ddots &\vdots \\{\frac {\partial H_{k}}{\partial X_{1}}}&\ldots &{\frac {\partial H_{k}}{\partial X_{n}}}\end{pmatrix}}={\begin{pmatrix}{\frac {\partial G_{1}}{\partial Y_{1}}}&\ldots &{\frac {\partial G_{1}}{\partial Y_{m}}}\\\vdots &\ddots &\vdots \\{\frac {\partial G_{k}}{\partial Y_{1}}}&\ldots &{\frac {\partial G_{k}}{\partial Y_{m}}}\end{pmatrix}}{\left({\frac {F_{j}}{Y_{j}}}\right)}\circ {\begin{pmatrix}{\frac {\partial F_{1}}{\partial X_{1}}}&\ldots &{\frac {\partial F_{1}}{\partial X_{n}}}\\\vdots &\ddots &\vdots \\{\frac {\partial F_{m}}{\partial X_{1}}}&\ldots &{\frac {\partial F_{m}}{\partial X_{n}}}\end{pmatrix}}\,$

erfüllen, wobei der Ausdruck ${}{\frac {F_{j}}{Y_{j}}}$ bedeutet, dass die Variablen ${}Y_{j}$ durch die Polynome ${}F_{j}$ zu ersetzen sind.

Eine Lösung erstellen