O mapare de contracție este o mapare a unui spațiu metric în sine care reduce distanța dintre orice puncte într-un sens puternic.
Fie definit un operator pe un spațiu metric . Se numește contractare pe dacă există un număr nenegativ astfel încât pentru oricare două puncte inegalitatea
.