TheoremBase

A C1C^1 Map into a Euclidean Space is Differentiable at Every Point

Statement

Let nn and pp be natural numbers, let UU be an open subset of Euclidean space Rn\mathbb{R}^{n}, let f=(f1,…,fp):U→Rpf=(f_1,\dots,f_p):U\to\mathbb{R}^{p} with coordinate functions fk:U→Rf_k:U\to\mathbb{R}, and let a∈Ua\in U. Suppose that ff is of class C1C^{1} on UU, in the sense of clause 1 of that definition.

Then the Jacobian matrix Df(a)Df(a) is defined, and ff is differentiable at aa with derivative matrix Df(a)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…