Good day all! I'm preparing for a Graduate exam, so I need to solve this problem.
Let $f:\Bbb{R}^n\to\Bbb{R}^n$ be a function of class $C^{1}$. We suppose that there exists $k\in ]0,1[$ such that $$\Vert g'(x)\Vert\leq k,\forall\;x\in\Bbb{R}^n$$ where $f(x)=g(x)+x,\forall\;x\in\Bbb{R}^n$
Prove that $\Vert f(x) -f(y)\Vert\geq (1-k)\Vert x-y\Vert,\;\forall\,x,y\in\Bbb{R^n}$
Prove that $\Vert f'(x)h\Vert\geq (1-k)\Vert h\Vert,\;\forall\,x,h\in\Bbb{R^n}$
Prove that $f$ is $C^1-$diffeomorphism from $\Bbb{R}^n\to\Bbb{R}^n$.
I started this: $$\Vert g'(x)\Vert\leq k,\forall\;x\in\Bbb{R}^n,\;\text{for some}\;k$$ $$\Vert f'(x)-1\Vert\leq k,\forall\;x\in\Bbb{R}^n,\;\text{for some}\;k$$ $$\Vert \lim\limits_{h\to 0}\frac{f(x+h)-f(x)}{h}-1\Vert\leq k,\forall\;x\in\Bbb{R}^n,\;\text{for some}\;k$$
But I couldn't proceed. Please, I need an instant help. Proofs and references are welcome!