${\large let \ U\subset \mathbb{R^n,}V\subset \mathbb{R^m}}$ be open subsets. map $f:{\large U }\to{\large V }$ is called a diffeomorphism if is bijective and both $f$ and $f^{-1}$ are continuously differentiable.
once there is diffeomorphism $f:{\large U }\to{\large V }$ then $Df:\mathbb{R^n}\to\mathbb{R^m}$ will be ${\large linear \ isomorphism }$ hence $n=m$. how is this a linear isomorphism??. i know $Df(a)$ is a linear map , but why this is one one and on to ??
$f\circ f^{-1}=Id, f^{-1}\circ f=Id$ implies $Df\circ Df^{-1}=Id, Df^{-1}\circ Df=Id$. It implies $Df$ is an isomorphism.