# Contraction mapping Theorem uniform continuity

If $f:(A,\rho)\to(A,\rho)$ is defined on all of $A$ and there is a constant $\alpha\in(0,1)$ such that $\rho(f(u),f(v))\leq\alpha\rho(u,v)$ for all $(u,v)\in A\times A$ so I have not understood the connection of the proof of the contraction Mapping theorem to this statement. The contraction mapping theorem states: If $f$ is a contraction of a complete metric space $(A,\rho)$, then the equation $f(u)=u$ has a unique solution. The proof makes use of the following axiom $\rho(u,v)=\rho(f(u),f(v))$, how can this be true? How can $\rho(u,v)=0$? And $u=v$? I have stuck on this for two days. Thanks for reading  • It is good idea to sketch the proof in your question. – abcd Mar 7 '17 at 15:49
• What's the problem with saying that if $u=f(u)$ and $f(v)=v$, then $\rho(u,v)=\rho(f(u),f(v))$ ? – user228113 Mar 7 '17 at 15:59
• If you have a function $f:(\Re,d)\to(\Re,d)$ such as the function$f(x)=x^2$, it not true $f(x)=x$. However I am not certain $(\Re,d)$ is complete maybe that is the problem. Note: $\Re$ stands for the set of real numbers. – Pedro Gomes Mar 7 '17 at 16:04
• @PedroGomes - standard notation for the reals is obtained by \mathbb R, or just \Bbb R: $\Bbb R$. – Paul Sinclair Mar 7 '17 at 21:27

So, one needs to show that if $u,v\in A$ are two fixed points, then $u=v$. By definition this means $f(u)=u$ and $f(v)=v$. It follows that $\rho(f(u),f(v)) = \rho(u,v)$. The axioms of a metric space imply that if $\rho(u,v)=0$, then $u=v$. Suppose $\rho(u,v)\neq 0$. Since $\alpha<1$, this yields $$\rho(u,v)=\rho(f(u),f(v))\le \alpha \rho(u,v)<\rho(u,v),$$ which is a contradiction. Thus, $\rho(u,v)=0$ and $u=v$ as desired.
• First, thanks for your answer. The problem arises when intuition comes into play. I do not know if I am wrong. I have made this point in an earlier comment. As far as I know $\Bbb R$ is a complete set, I guess. If I have a function $f:(\Bbb R,d)\to(\Bbb R,d)$ as for example $f(x)=x^2$, it is not true $f(x)=x$. Is the metric space $(\Bbb R, d)$ in which d can be the Euclidian metric complete? At least there are some Cauchy sequences that converge. Thanks! – Pedro Gomes Mar 9 '17 at 14:26
• @PedroGomes Well, you have $f(0)=0$ in this case, so there is a fixed point. And yes, in this case completeness holds. Anyhow, as I tried to indicate in my answer, the existence of fixed points is irrelevant in this part of the proof. What you want to prove is the uniqueness, i.e. if two fixed points exist, then they must be the same. – Vincent Boelens Mar 9 '17 at 14:58