Chain Rule for Maps Between Euclidean Spaces
theoremMultivariable Calculusthm:chain-rule-c1-euclidean-2026aLet . Let , , and be \reftext{def:open-subset-euclidean-space-2026a}{open} subsets. Let and be \reftext{def:c1-map-euclidean-open-set-2026a}{ maps}. Then the composition is again of class . Moreover, for every , the Jacobian matrices from \reftext{def:differentiable-map-at-point-euclidean-2026a}{the differentiability definition} satisfy
where the product on the right-hand side is the matrix product from \reftext{def:product-real-matrices-2026a}{the definition of matrix multiplication}.
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
Authors
Loading…