Sometimes it’s better to express with no words but listen to the music.
Let a non null complete metric space and such as with then
In other words is a particular map over the metric space known as contraction. The theorem ensures the contraction of a metric space admits only one fixed point It is known as Banach-Caccioppoli fixed-point theorem.
The trick is to define a particular succession of elements in the metric space. Starting from a generic element define a recursive succession:
First we measure the distance between two consecutive element:
As you can see the distance is going smaller and smaller as , it suggests the succession is converging somewhere. (We implicitly use in this step the induction theorem, to prove the previous relation is true )
Now let measure the distance between two generic elements of the succession:
This relation holds because of the previous one and the triangular inequality.
The term is the partial sum of the geometric series, so sending we have: If also we finally have:
We’ve shown that the distance between two generic elements of the succession is approaching to zero as we send the elements far away to infinity. Infact the succession converges to an element thanks to the Cauchy criterion.
The transformed succession converges to the same point, from the definition of the map we take the limit of both sides:
(Note: you can pass the limit through because it is uniformly continuous).
The last relation prove that is a fixed point.
Suppose exists another fixed point so:
It is a contradiction because . So the fixed point is unique.
In order to visualize the fixed-point theorem, let make a simple example. Let the metric space of the real number where the distance is defined by the absolute value of the difference and is contraction over the metric space (it could be any linear transformation with an angular coefficient minor than 1).
Renato Caccioppoli was a gifted neapolitan mathematician. This post is a little tribute to him.