TheoremBase

Chain Rule for Differentiable Maps Between Euclidean Spaces

Statement

Let nn, mm and pp be natural numbers, let UU be an open subset of Euclidean space Rn\mathbb{R}^n, and let VV be an open subset of Rm\mathbb{R}^m. Let f:U→Rmf:U\to\mathbb{R}^m satisfy f(x)∈Vf(x)\in V for every x∈Ux\in U, let g:V→Rpg:V\to\mathbb{R}^p, and let g∘f:U→Rpg\circ f:U\to\mathbb{R}^p denote the map defined by (g∘f)(x)=g(f(x))(g\circ f)(x)=g(f(x)).

Let a∈Ua\in U, let AA be a real matrix with mm rows and nn columns, let BB be a real matrix with pp rows and mm columns, and write BABA for the product of real matrices, a real matrix with pp rows and nn columns.

Suppose that ff is differentiable at aa with derivative matrix AA, and that gg is differentiable at f(a)f(a) with derivative matrix BB. Then g∘fg\circ f is differentiable at aa with derivative matrix BABA.

Consequently, by claim 2 of A Derivative Matrix is the Jacobian Matrix, and is Unique, the Jacobian matrices Df(a)Df(a), Dg(f(a))Dg(f(a)) and D(g∘f)(a)D(g\circ f)(a) are all defined, and

D(g∘f)(a)=Dg(f(a)) Df(a).D(g\circ f)(a)=Dg\bigl(f(a)\bigr)\,Df(a).

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…