I am interested in constructing the following "counter-example" to the Banach's fixed point theorem.
Let $K=$ {$ g\in L_1: \|g\|=1, g(\cdot)\ge0 $}. Clearly, $K$ is not a compact.
My question is: is it possible to construct a contraction mapping $f: K\to K$ with no fixed point? (i.e. a mapping $f$ such that for all $x,y\in K$ one has $\|f(x)-f(y)\|\leq \lambda \|x-y\|$ for some $\lambda<1$)