Graduate Differentiability of a function between manifolds

[Maxi1995]

Hello,
let $$M^n \subset \mathbb{R}^N$$ $$N^k \subset \mathbb{R}^K$$
be two submanifolds.
We say a function $$f : M \rightarrow N$$ is differentiable if and only if for every map $$(U,\varphi)$$ of M the transformation

$$f \circ \varphi^{-1}: \varphi(U) \subset \mathbb{R}^N \rightarrow \mathbb{R}^K$$

is differentiable.

Does this mean that it is differentiable in the sense of a "normal" function in several variables, thus to say $$d(f \circ \varphi^{-1})(x)=df(\varphi^{-1}(x))d\varphi^{-1}(x)$$?

 

[fresh_42]

You do not have $df(\ldots)$ while are defining it. You transform $f$ to $g=f\circ \varphi^{-1}$ which is a real valued function which you know how to differentiate. Thus you have $dg=df\,d\varphi^{-1}$ which defines you $df$.

 

[Maxi1995]

Thank you very much.

 

[fresh_42]

Thank you very much.

Correction: see https://www.physicsforums.com/threads/differential-of-a-function.956763/#post-6066764
Me, too, neglected the way back $\psi^{-1}$ from $\mathbb{R}^K$ to $N$, resp. $TN$. Sorry.