Principe des Applications Contractantes

Théorème affirmant qu'une application T d'un espace métrique complet (X,d) vers lui-même, satisfaisant d(Tx,Ty) ≤ c d(x,y) pour tout x,y dans X et pour un c avec 0 ≤ c < 1, possède un point fixe unique, et que les itérés de T convergent vers ce point fixe.