Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

A differentiable transformation of R^n at each point has an invertible derivative. Does it imply that the transformation is a global diffeomorphism?

share|improve this question
4  
Look on the exponential map on the real line... –  Petya Dec 4 '11 at 17:37
    
I think you mean the exponential function on the complex numbers (considered as ${\mathbb R}^2$). The statement would be true for $C^1$ maps of $\mathbb R$ to itself. –  Robert Israel Dec 4 '11 at 18:21
2  
Robert -- I think Petya meant that the exponential is not a diffeomorphism $\mathbb{R}\to\mathbb{R}$. –  algori Dec 4 '11 at 18:36
add comment

1 Answer

up vote 0 down vote accepted

Let $f:\mathbb{R}^n\rightarrow M\subseteq\mathbb{R}^n$ be the differentiable transformation, with $M=f(\mathbb{R}^n)$. If $M\neq\mathbb{R}^n$, then obviously $f$ isn't an global diffeomorphism of $\mathbb{R}^n$. But it is global diffeomorphism between $\mathbb{R}^n$ and $M$.


*This was intended to be a comment not an answer, but I cannot comment, sorry. *

share|improve this answer
1  
stephanos -- re "it is a global diffeomorphism ...": it isn't in general: take $f$ to be the complex exponential, then $M=\mathbb{R}^2$ minus the origin, which is not diffeomorphic to the plane. Even if the image of $f$ is the whole $\mathbb{R}^n$, then $f$ is not necessarily a diffeomorphism. To see this set $g$ to be a degree 3 complex 1-variable polynomial whose derivative has no double roots. The universal cover of $U=\mathbb{C}\setminus$ the roots of $f'$ is $\mathbb{R}^2$; set $h$ to be the universal covering map $\mathbb{R}^2\to U$. Set $f=g\circ h$.... –  algori Dec 4 '11 at 21:08
    
... this is a local diffeomorphism with image $\mathbb{C}=\mathbb{R}^2$ but not a global diffeomorphism as it takes each value infinitely many times. –  algori Dec 4 '11 at 21:10
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.