# Is $f$ injective in $W$?

If

$\|f(x)-f(y)\|\geqslant \frac 1{2} \|x-y\|$ for any $x, y \in W$

then

$f$ is injective in $W$

How to prove this? If that inequality is right is it mean that the images are equal or not?

-
If the distance between two points is more than zero, then they're not the same point. – Michael Hardy Jun 6 '12 at 16:24
Just to make a comment, I think I saw this in a proof of the Inverse Function Theorem. – Aden Dong Jun 6 '12 at 16:52
@AdenDong, you are right. Thanks – Kamil Hismatullin Jun 6 '12 at 17:24

Assume $f(x) = f(y)$. What is $\|f(x)-f(y)\|$? What can you conclude about $\|x-y\|$?
Thanks. It's mean that the proof of this expression is in definition of injective function. $f(x) = f(y) => x=y$ – Kamil Hismatullin Jun 6 '12 at 17:35