$f: X\rightarrow Y$ is a diffeomorphism, then at each $x$ its derivative $df_x$ is an isomorphism of tangent spaces.could you please give me proof and insight of this result?
diffeomorphism of derivative map at tangent space level
1
$\begingroup$
differential-geometry
differential-topology
1 Answers
2
Show that if $f^{-1}:Y\to X$ is your inverse map then $d(f^{-1})_{f(x)}$ is an inverse too of $df_x$.
Remark: This proves the well-definedness of the dimension of a smooth manifold. MUCH easier than to prove the well-defiedness of dimension for topological manifolds.