Given a smooth map $f:M\to N$ between smooth manifolds how do you show that the differential map $df:TM\to TN$ is smooth?
Differential map between smooth manifolds is smooth
-
0All this chart business is confusing me. Could anyone just write a specific proof so that I can see exactly what goes on? – 2012-03-27
1 Answers
This is proved in Proposition $3.21$ of Lee's Introduction to Smooth Manifolds (second edition) for example.
If $v \in TM$, then choosing a coordinate chart $(U, \varphi)$ containing $p = \pi(v)$ where $\pi : TM \to M$ is the projection, one obtains a coordinate neighbourhood $(\pi^{-1}(U), \widetilde{\varphi})$ containing $v$. More precisely, in local coordinates,
$v = \left.v^1\frac{\partial}{\partial x^1}\right|_p + \dots + \left.v^m\frac{\partial}{\partial x^m}\right|_p$
and $\widetilde{\varphi}(v) = (x^1(p), \dots, x^m(p), v^1, \dots, v^m)$. Once you have such charts, the local expression for $df$ becomes
$df(x^1, \dots, x^m, v^1, \dots, v^m) = \left(f^1(x), \dots, f^n(x), \frac{\partial f^1}{\partial x^i}(x)v^i, \dots, \frac{\partial f^n}{\partial x^i}(x)v^i\right).$
As $f$ is smooth, all the components of $df$ (in these local coordinates) are smooth, and therefore $df : TM \to TN$ is smooth.