Point fixe de Banach

Énoncé

Montrer que [formule] admet un unique point fixe sur [formule].

Indication

Montrer que [formule] est contractante.

Solution

[formule]. [formule]. [formule] contractante ([formule]), donc [formule] point fixe. [formule] (Dottie number).