If a $C^1$ map $f:\mathbb{R}^{n}\rightarrow\mathbb{R}^{n}$ is expanding ($\|f(x)-f(y)\|\geq\|x-y\|$), which of these must be true? Let $f:\mathbb{R}^{n}\rightarrow\mathbb{R}^{n}$ be a continuously differentiable map satisfying $\|f(x)-f(y)\|\geq\|x-y\|$ for all $x,y\in\mathbb{R}^{n}.$ Then 
$A.$ $f$ is onto.
$B.$ $f(\mathbb{R}^{n})$ is a closed subset of $\mathbb{R}^{n}.$
$C.$ $f(\mathbb{R}^{n})$ is a open subset of $\mathbb{R}^{n}.$
$D.$ $f(0)=0.$
According to me $f$ is one one and onto so image is closed and open both. Please suggest me. Thanks in advance.
 A: D. This fails because if $x_0\ne (0,\dots, 0),$ then the map $x\to  x + x_0$ satisfies the condition.
C. Suppose $Df(x_0)$ is singular at some $x_0.$ Then $Df(x_0)(v) = 0$ for some nonzero $v\in \mathbb R^n.$ Thus as $t\to 0$ in $\mathbb R,$
$$f(x_0 + tv)- f(x_0)= Df(x_0)(tv) + o(|tv|) = 0 + o(|tv|) .$$
This violates the given condition on $f.$ Therefore $Df$ is nonsingular everywhere. Hence by the inverse function theorem, $f$ is an open map. Thus $f(\mathbb R^n)$ is open.
B. Suppose $y_k \in f(\mathbb R^n)$ and $y_k \to y_0.$ Each $y_k = f(x_k)$ for some $x_k\in \mathbb R^n.$ The condition on $f$ shows that if $\{x_k\}$ is unbounded, then so is $\{f(x_k)\}.$ That is a contradiction, and therefore $\{x_k\}$ is bounded. Thus there exists a subsequence $x_{k_j}$ converging to some $x_0\in \mathbb R^n.$ It follows by continuity that $f(x_{k_j}) \to f(x_0).$ Since $f(x_{k_j}) \to y_0,$ we have $y_0= f(x_0).$ Thus $y_0 \in f(\mathbb R^n),$ proving $f(\mathbb R^n)$ is closed.
A. We have shown $f(\mathbb R^n)$ is both open and closed in $\mathbb R^n,$ a connectd metric space. Since $f(\mathbb R^n)$ is nonempty, it must be everything. Thus $f$ is onto. 
A: $(D)$ is clearly false by considering $f(\overline{x})=2\overline{x}+\overline{x_0}$.
$(C)$ is clearly true, since differentiable maps with a non-vanishing Jacobian are open maps.
All the partial derivatives of $f$ are $\geq 1$ in absolute value, and since $f$ is continuously differentiable the partial derivatives have constant sign. Without loss of generality we may assume they all are $\geq 1$. In particular the image of the ball with radius $\rho$ centered at the origin (with respect to the euclidean norm or the supremum norm) contains the ball with radius $\rho$ centered at $f(0)$. In particular $f$ is surjective and $(A),(B)$ are true.
