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).

You can see “the contraction” of the space in itself. The fixed point is and it seems like the vanishing point used in the perspective.

Renato Caccioppoli was a gifted neapolitan mathematician. This post is a little tribute to him.

[…] Renato Caccioppoli, Physics Light […]

Thank you for spreading the words about my article on Caccioppoli !

[…] Renato Caccioppoli, Physics Light […]