Théorème du Point Fixe de Banach

Dans un espace métrique complet, toute application qui est une contraction (réduit les distances par un facteur uniforme strictement inférieur à un) possède un point fixe unique, et l'itération de l'application à partir de n'importe quel point initial converge de façon géométrique vers ce point fixe.