Fie
un spațiu metric complet. Aplicația
este o contracție a lui S dacă există
, numit coeficient de contracție, astfel încât:

Punctul
se numește punct fix al aplicației
dacă avem:
Fie
fixat și fie șirul de puncte
din S definit succesiv prin:

Știind că S este un spațiu metric complet pentru a arăta că șirul
definit prin (1.3) este convergent în S este suficient să arătăm că acest șir este fundamental în S. Deoarece f este o contracție a lui S, avem succesiv:



Prin inducție se obține:
(1.4)
Pe de altă parte, pentru orice
, avem

și folosind corespunzător inegalitatea (1.4) se obține:



Deci:
(1.5)
Presupunem că
. Deoarece
, ceea ce implică:
, (1.6)
astfel încât
și
și aratăm că șirul de puncte
este un șir fundamental în spațiul metric complet S și in consecință este convergent în S. În acest caz notăm
;
) în S.
În acest caz notăm:
;
(
în S). Să arătăm că c este punctul fix al contracției f.
Deoarece
în S, rezultă că pentru orice
, există un rang
, astfel încât dacă
, atunci
.
Observând și inegalitatea evidentă
, datorită contracției f, se obține:
care arată că
în S și care implică :
în S. Dar avem și
în S și cum S este spațiu metric (unde limita unui șir convergent este unică rezultă egalitatea
, adică
este punct fix al contracției f.
Să arătăm acum unicitatea lui c.
Presupunem că mai există
, astfel încât
. În acest caz avem
Rezultă
, care implică
și deci
.
Am arătat că punctul fix al contracției este unic.

G. Tătar, Calcul diferențial și integral, Ed. Economică, București, 2002.