Differentiability of a function on a manifold

["Don't panic!"]

I am currently working through Nakahara's book, "Geometry, Topology and Physics", and have reached the stage at looking at calculus on manifolds. In the book he states that "The differentiability of a function $f:M\rightarrow N$ is independent of the coordinate chart that we use". He shows this is true in $M$ and then leaves it as an exercise to show that it is also true in $N$. Here is my attempt, please could someone tell me if what I've done is correct, and if not, what the correct way is?

Let $f:M\rightarrow N$ be a map from an $m$-dimensional manifold to an $n$-dimensional manifold $N$. A point $p\in M$ is mapped to a point $f(p)\in N$, namely $f:p\mapsto f(p)$. Take a chart $(U,\phi)$ on $M$ and $(V,\psi)$ on $N$, where $p\in U$ and $f(p)\in V$. Then $f$ has the following coordinate presentation: $$\psi\circ f\circ\phi^{-1}:\mathbb{R}^{m}\rightarrow\mathbb{R}^{n}$$
If we write $\phi (p)=\lbrace x^{\mu}\rbrace =x$ and $\psi(f(p))=\lbrace y^{\alpha}\rbrace = y$, then $y=\psi\circ f\circ \phi^{-1} (x)$ is a vector-valued function of $m$ variables.The differentiability of $f$ is independent of the coordinate chart in $N$. Indeed, let $(V_{1},\psi_{1})$ and $(V_{2},\psi_{2})$ be two overlapping charts in $N$. Take a point $q=f(p)\in V_{1}\cap V_{2}$, whose coordinates by $\psi_{1}$ are $\lbrace y_{1}^{\mu}\rbrace$, while those $\psi_{2}$ are $\lbrace y_{2}^{\nu}\rbrace$. When expressed in terms of $\lbrace y_{1}^{\mu}\rbrace$, $f$ takes the form $$y_{1} =\psi_{1}\circ f\circ\phi^{-1}$$ while in $\lbrace y_{2}^{\nu}\rbrace$, it takes the form $$y_{2} =\psi_{2}\circ f\circ\phi^{-1} =\psi_{2}\circ\left(\psi^{-1}_{1}\circ\psi_{1}\right)\circ f\circ\phi^{-1}= \left(\psi_{2}\circ\psi^{-1}_{1}\right)\circ\psi_{1}\circ f\circ\phi^{-1}$$ Now, by definition, $\psi_{2}\circ\psi^{-1}_{1}$ is $C^{\infty}$, and therefore if $\psi_{1}\circ f\circ\phi^{-1}$ is $C^{\infty}$ with respect to $y_{1}^{\mu}$ and $\psi_{2}\circ\psi^{-1}_{1}$ is $C^{\infty}$ with respect to $y_{2}^{\nu}$, then $\psi_{2}\circ f\circ\phi^{-1}=\left(\psi_{2}\circ\psi^{-1}_{1}\right)\circ\psi_{1}\circ f\circ\phi^{-1}$ is also $C^{\infty}$ with respect to $y_{2}^{\nu}$.

Would this be correct?

 

[WWGD]

Yes, that looks correct, but remember that not all manifolds are $C^{\infty}$

 

[Fredrik]

There are some inaccuracies, but you seem to have the right idea. Your post should be talking about an f that's "differentiable at p", and not necessarily "differentiable" (i.e. differentiable at p for all p).

If x and y are coordinate systems with p in their domains, then $f\circ x^{-1}$ is typically not equal to $f\circ y^{-1}\circ y\circ x^{-1}$, because $y^{-1}\circ y$ is the identity map on the domain of $y$, which typically doesn't include the entire domain of $x$. So $f\circ y^{-1}\circ y\circ x^{-1}$ is a restriction of $f\circ x^{-1}$ to a smaller domain. This is irrelevant when we consider the partial derivatives of these functions, but it's a bit of a pain to prove that. (I don't think someone who's learning differential geometry should spend too much time on these subtleties, because they don't contribute much to your understanding).

 

["Don't panic!"]

Ah, ok. Thanks for your help Fredrik, there's so much to take in, but I think it's slowly starting to become clearer!