7

Let $f : \mathbb{R}^{2} \to \mathbb{R}$ be of class $C^{1}$. Show that $f$ not is injective.

Well, I know that $f$ is injective when $f(x) = f(y)$ implies $x = y$. Since $f$ is of class $C^{1}$ then $f$ is differentiable in $\mathbb{R}^{2}$ such that its derivative is continuous. I can not figure out the ideas. This question seems to suggest a counter example, but none is working. Thanks for the help!

DANN
  • 149
  • 9
  • 2
    You need to make use of the inverse function theorem; suppose that $\dfrac{\partial f}{\partial x}$ is non-zero at a point. Then, consider the function $g(x,y) = (f(x,y),y)$ – peek-a-boo Jun 26 '19 at 13:57
  • You might look at https://math.stackexchange.com/questions/2837639/proving-a-function-isnt-injective-by-considering-inverse/2837714#2837714, where only infectivity and continuity on each vertical line is needed. – zhw. Jun 26 '19 at 19:30

2 Answers2

3

In fact, all you need is that $f$ is continuous. Consider two paths from $(-1,0)$ to $(1,0)$, say the top and bottom halves of the unit circle. By the intermediate value theorem, for any $y$ between $f(-1,0)$ and $f(1,0)$ there is a point on each path where $f$ has the value $y$. Therefore $f$ can't be injective.

Robert Israel
  • 448,999
2

Here's a sketch:

If $Df(x,y)=0$ for all $(x,y)\in\mathbb{R}^2,$ then we're done. So, suppose instead that there exist $(a,b)$ so that $Df(a,b)\neq 0,$ and suppose, WLOG, that $D_1f(a,b)\neq 0.$ Use continuity of $D_1 f$ to get that it is non-zero over a neighborhood $U$ of $(a,b).$ Now, define $g(x,y)=(f(x,y),y)$ from $U$ to $\mathbb{R}^2.$ You can apply the inverse function theorem (check this) to get open sets $V$ containing $(a,b)$ and $W$ containing $g(a,b)$ so that $g:V\rightarrow W$ is a bijective with $C^1$ inverse. Since $W$ is open, you can find $t\neq b$ so that $(f(a,b),t)\in W.$ If we let $(c,d)=g^{-1}(f(a,b),t),$ then we can see that $$(f(a,b),t)=g(c,d)\neq g(a,b)=(f(a,b),b),$$ which implies that $(c,d)\neq (a,b).$ However, $$(f(a,b),t)=g(c,d)=(f(c,d),d),$$ so we must have that $f(c,d)=f(a,b)$. Thus, $f$ is not injective.

cmk
  • 12,303