Let $X,\ Y$ be manifolds in $\mathbb R^n$ (they are locally diffeomorphic to open subsets of some euclidean space.) I have a question about this fact (an exercise in Guillemin and Pollack):

An injective local diffeomorphism $f: X\rightarrow Y$ is a diffeomorphism onto an open subset of $Y$.

This seems too trivial to me and hence I think I musunderstand something. I would prove this claim as follows.

The map $f: X\rightarrow f(X)$ is bijective. It is differentiable at any point since it is locally smooth (and even locally diffeomorphic), and the inverse $f^{-1}: f(X)\rightarrow X$ is also differentiable at any point because given any point $f(x)\in f(X)$, the map $f$ is a diffeomorphism near $x$, so $f^{-1}$ is differentiable at $f(x)$. Thus $f$ is a global diffeomorphism. Because of this and since $X$ is open in itself, $f(X)$ is open in $Y$.

How bad/good does this proof look?

  • $\begingroup$ You should be much more explicit in the step you conclude $f^{-1}$ is differentiable. How does the derivative of $f^{-1}$ relate with the derivative of $f$? $\endgroup$ Jan 31 '18 at 21:54
  • $\begingroup$ @PVAL-inactive: I think the Inverse function theorem tells us how the derivative of $f^{-1}$ relate with that of $f$. But I still don't understand what is wrong with such a proof. Edit: or you mean that if $f'(x)=0$ then $f^{-1}$ is not differentiable at $f(x)$? $\endgroup$
    – user500094
    Jan 31 '18 at 22:16
  • $\begingroup$ Correcting myself: $f'(x)$ cannot be the zero map: $f$ is a diffeomorphism at $x$. $\endgroup$
    – user500094
    Jan 31 '18 at 22:35
  • $\begingroup$ I mean, it depends on your definition of a local diffeomorphism. By the inverse function theorem an equally good definition is that locally, the inverse is differentiable, and certainly this seems the more natural definition. In that case, your proof seems fine to me. $\endgroup$
    – Ishan Levy
    Jan 31 '18 at 22:56
  • $\begingroup$ @IshanLevy I'm only aware of one definition (en.wikipedia.org/wiki/Local_diffeomorphism), and it certainly includes that locally the inverse is differentiable. $\endgroup$
    – user500094
    Jan 31 '18 at 23:13

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.