Suppose $\pi:M_1 \to M_2$ is a $C^\infty$ map of one connected differentiable manifold to another.And suppose for each $p\in M_1$,the differential $\pi_*:T_p M_1 \to T_{\pi(p)}M_2$ is a vector space isomorphism.
(a)Show that if $M_1$ is compact,then $\pi$ is a covering space projection. (b)Given an example where $M_2$ is compact but $\pi:M_1 \to M_2$ is not a covering space (but has the $\pi_*$ isomorphism property).
I want to ask is my solution right? My solution:$\pi(M_1)$ is compact in $M_2$,so $\pi(M_1)$ is closed in $M_2$.For each $x\in \pi(M_1)$,there is an open set $V\subset M_2$ contains $x$ and is diffeomorphic to an open set $U\subset M_1$.So $V$ is an open set in $\pi(M_1)$. so $\pi(M_1)$ is open and closed in $M_2$.It equals to $M_2$.
Use $\pi_*:T_p M_1 \to T_{\pi(p)}M_2$ directly and we get each $x\in M_2$ has an open neighbourhood $U$ which is covered by $\pi$ evenly.
And could the counterexample in this page Question on covering spaces be the example of (b)?
Thank you :))