Măsurarea compresivă este reprezentarea în sine a unui spațiu metric, reducând distanța dintre oricare două puncte nu mai puțin de timp. Conform teoremei lui Banach. pentru o mapare compresivă a unui spațiu metric complet în sine există un punct fix, exact unul. Această afirmație, denumită și principiul "cartografierii contracțiilor", este folosită pe scară largă în dovada diferitelor afirmații matematice.
definiție
Să presupunem că într-un spațiu metric operatorul definit . Se numește compresiv pe , dacă există un număr nonnegativ , pentru oricare două puncte inegalitatea
continuitate
lăsa Este un spațiu metric și - operatorul de contracție la . atunci Este o funcție continuă pe .
Luăm un element arbitrar . Este necesar să se demonstreze (prin definiția continuității unei funcții) că pentru pentru . Pentru un operator de contracție este suficient să se ia .
Punct fix
Prin teorema lui Banach există un punct fix unic pentru o cartografiere contractivă pe un spațiu metric complet.
Secvență iterativă
Dacă luăm un element arbitrar al unui spațiu metric și să ia în considerare secvența de elemente , Această secvență de iterație va converge la punctul fix al operatorului .