9
$\begingroup$

What is an example of a function $f: \Bbb R^n \rightarrow \Bbb R^m$ such that $f$ is continuous and injective but that $f^{-1}$ is not continuous.

Our professor teased us with the notion but I haven't been able to think of such a function.

$\endgroup$
  • $\begingroup$ Every bijective map $f: \Bbb R^n \rightarrow \Bbb R^m$ with $f(\mathbb R^m)$ compact cannot have a continuous inverse,so it's easy to construct such functions if $m>n$. $\endgroup$ – Matematleta Mar 30 '16 at 21:12
  • 1
    $\begingroup$ Related post: Functions which are Continuous, but not Bicontinuous. Maybe also other posts linked there might be of interest. $\endgroup$ – Martin Sleziak Mar 31 '16 at 6:05
  • $\begingroup$ For the case $m=n$ see here. For the case $m=n=1$ see here. (Although both questions are about bijective rather than injective functions.) $\endgroup$ – Martin Sleziak Mar 31 '16 at 6:10
10
$\begingroup$

Take $f:\mathbb{R} \rightarrow \mathbb{R}^2$ to be a function which performs an eight-shaped figure in the way described here (as $x \rightarrow -\infty$, it tends to the origin, and also as $x \rightarrow \infty$).

For topological reasons, the inverse cannot be continuous.

Note that if $n=m$, then the inverse must be continuous, and this is a result of the Invariance of Domain Theorem. (If $n=m=1$, a direct proof through methods of real analysis can be easily achieved)

| cite | improve this answer | |
$\endgroup$
9
$\begingroup$

The standard example (though not from $\mathbb R^n$ but rather a subset)

$f:[0,2\pi) \to S^1$, $f(x) = (\cos(x),\sin(x))$

$f^{-1}$ is not continuous at $(1,0)$.

| cite | improve this answer | |
$\endgroup$
  • 3
    $\begingroup$ This is not a function $f:\mathbb{R}^n \rightarrow \mathbb{R}^m$. $\endgroup$ – Aloizio Macedo Mar 30 '16 at 20:55
  • $\begingroup$ @AloizioMacedo You're right, I misinterpreted the question. $\endgroup$ – flawr Mar 30 '16 at 20:57
  • 2
    $\begingroup$ @Winther No, because that way a point will be missing from the circle, and the inverse will be continuous (since a circle with a point missing is homeomorphic to the line). $\endgroup$ – Aloizio Macedo Mar 30 '16 at 21:03
  • $\begingroup$ @AloizioMacedo Thanks for clearing that up. $\endgroup$ – Winther Mar 30 '16 at 21:04

Your Answer

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

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