Given the metric space $M := ([1, \infty), |.|)$, is the function $\phi(x) = x + \frac{1}{x}$ a contraction? I know the answer must be "no" because then $\phi$ should have a fixed point by the Banach fixed point theorem and it clearly doesn't have one.
But isn't it true that:
$$\left| \frac{\phi(x_2) - \phi(x_1)}{x_2 - x_2} \right| = \left| 1 - \frac{1}{x_1 x_2} \right| < 1$$
implying that $\phi$ is a contraction after all? Where am I going wrong here?
The definition of a contracting map $\Phi$ is that it exists $0 \le k \lt 1$ such that
$$\Vert \Phi(x) - \Phi(y) \Vert \le k \Vert x- y \Vert$$ for any $x,y$ not that
$$\Vert \Phi(x) - \Phi(y) \Vert \lt \Vert x- y \Vert$$ for any $x,y$.
Your $\phi$ is not a contracting map as
$$\lim\limits_{x \to 1} \left\vert \frac{\phi(x) - \phi(1)}{x - 1} \right\vert = 1$$