[Math] Converse to Banach’s fixed point theorem

fixed-point-theoremsmetric-spaces

Let $(X,d)$ be a metric space. Banach's fixed point theorem states that if $X$ is complete, then every contraction map $f:X\to X$ has a unique fixed point. A contraction map is a continuous map for which there is an real number $0\leq r < 1$ such that $d(f(x),f(y))\leq rd(x,y)$ holds for all $x,y\in X$.

Suppose $X$ is a metric space such that every contraction map $f:X\to X$ has a unique fixed point. Is $X$ complete?

Best Answer

The answer is no, for example look at the graph of $\sin(1/x)$ on $(0,1]$. But for more information and related questions check out "On a converse to Banach's Fixed Point Theorem" by Márton Elekes.

Related Question