title: Contrazione (matematica)
text: # Contrazione (matematica)
  
  In matematica, una contrazione o applicazione di contrazione è una funzione da uno spazio metrico in sé stesso tale che la distanza tra l'immagine di due elementi qualsiasi dello spazio sia inferiore alla distanza degli elementi stessi.
  
  ## Definizione formale
  
  Sia $(X,d)$ uno spazio metrico. Si definisce contrazione una funzione $f:X\rightarrow X$ tale che esiste una costante reale $0<k<1$ che soddisfa la seguente condizione:
  
      $d(f(x),f(y))\leq k\,d(x,y)\quad \forall x,y\in X$
  
  Il più piccolo valore di $k$ per cui vale tale condizione è detto costante di Lipschitz di $f$.
  
  Alcuni autori definiscono la precedente condizione contrazione stretta, riservando il termine "contrazione" alla proprietà:
  
      $d(f(x),f(y))\leq \,d(x,y)\quad \forall x,y\in X$
  
  ## Proprietà
  
  Ogni contrazione è lipschitziana, e quindi uniformemente continua su $X$. Sia infatti $T$ tale che esista un numero reale $\Lambda \geq 0$ per cui valga per ogni $x,y\in X$
  
      $d(T(x),T(y))\leq \Lambda \;d(x,y)\$
  
  se $0\leq \Lambda <1$ si ricade nel caso di contrazione.
  
  Inoltre, per ogni $\varepsilon >0,\;x,y\in X$ esiste $\delta >0$ tale che:
  
      $d(x,y)<\delta \quad d(T(x),T(y))<k\delta \$
  
  È sufficiente porre $\delta =\varepsilon /k$ per ottenere la definizione di uniforme continuità.
  
  ## Il teorema delle contrazioni
  
  Sia $(X,d)$ uno spazio metrico completo non vuoto. Sia $T:X\rightarrow X$ una contrazione su $X$. Allora la mappa $T$ ammette uno e un solo punto fisso.
  
  Il teorema assicura che se $(X,d)$ è uno spazio metrico completo e non vuoto, allora il punto fisso esiste ed è unico e che, fissato un qualunque $x_{0}$ in $(X,d)$, la successione definita per ricorrenza $x_{1}:=x_{0},x_{n+1}:=f(x_{n})$ converge al punto fisso. Tale teorema è usato nella dimostrazione dell'esistenza ed unicità della soluzione per i sistemi di equazioni differenziali ordinarie del primo ordine, sotto opportune ipotesi, precisate dal teorema di Cauchy-Lipschitz. La successione ricorsiva sopra definita, nel caso in cui la funzione sia una contrazione di uno spazio metrico (o di un suo sottoinsieme) in sé, costituisce chiaramente anche un metodo per il calcolo approssimato della radice dell'equazione funzionale $x=f(x)$.
  
  