Let $M$ and $N$ be two finite dimensional and real smooth manifolds and $f:M\to N$ a local diffeomorphism at some point $p\in M$. Is the induced map $f_{\star p}:T_pM\to T_{f(p)}N$ an isomorphism?
Asked
Active
Viewed 984 times
2
-
Do you know the inverse function theorem? – B. Pasternak Feb 07 '17 at 13:00
2 Answers
1
Are you aware of the following facts?
$1)$ If $p$ is contained in an open subset $U\subseteq M$, then the inclusion map $i:U\to M$ induces an isomorphism $T_p U\cong T_p M$.
$2)$ If $F:M'\to N'$ is a diffeomorphism, then $(F_{*})_p:T_p M'\to T_p N'$ is an isomorphism.
If so, then you just need to put these together along with the fact that you get neighborhoods $U$ of $p$ and $V$ of $f(p)$ such that $f|_U:U\to V$ is a diffeomorphism.
Alex Mathers
- 18,509
0
Diffeomorphism means $ \exists g : N \to M$ such that g is also differentiable and inverse of f. Thus $ (g \circ f ) _* = g_* \circ f_* = 1_{T_pM} $ Also $ ( f \circ g)_* = f_* \circ g_* = 1_{T_{f(p)}N}$ So $ f_*$ and $g_*$ are inverses on the vector spaces and hence an isomorphism.
Chirantan Chowdhury
- 1,088
-
-
-
1Then $f$ has a local differentiable inverse, and the same argument applies. – John Hughes Feb 07 '17 at 13:08