title: Funzione contrattiva
text: # Funzione contrattiva
  
  In matematica, una funzione contrattiva è una funzione tra spazi metrici che accorcia le distanze tra punti, ma in maniera più debole rispetto ad una contrazione.
  
  Più precisamente, $f:X\to Y$ funzione tra spazi metrici si dice contrattiva se
  
      $d_{Y}(f(x),f(y))<d_{X}(x,y)$
  
  per ogni $x,y$ in $X$ tali che $x\neq y$ (se $x=y$ il secondo membro è nullo e dunque si otterrebbe $d_{Y}(f(x),f(x))=0<0=d_{X}(x,x)$, che è un assurdo).
  
  Una funzione contrattiva è in particolare una funzione continua.
  
  Ogni contrazione è anche una funzione contrattiva. Un esempio di funzione contrattiva che non è una contrazione è la funzione $f(x)=x(1-x)$ sullo spazio $X=[0,1]$ (dotato della metrica euclidea).
  
  ## Teorema
  
  Se $X$ è uno spazio metrico, $S$ un suo sottoinsieme compatto e $T:S\to S$ una funzione contrattiva, allora $T$ ammette uno e un solo punto fisso, cioè un $y$ in $S$ tale che $T(y)=y$.
  
  ### Dimostrazione
  
  Sia $\Phi (x)=d(x,T(x))$. Proviamone la continuità: sia $(x_{n})_{n}$ una successione in $S$ convergente ad un $z$. È
  
      $\Phi (x_{n})=d(x_{n},T(x_{n}))\leq d(x_{n},z)+d(z,T(z))+d(T(z),T(x_{n}))$, cioè $\Phi (x_{n})-\Phi (z)\leq d(x_{n},z)+d(T(z),T(x_{n}))$.
  
  Analogamente si giunge a
  
      $\Phi (z)-\Phi (x_{n})\leq d(z,x_{n})+d(T(x_{n}),T(z))$, dunque vale che
      $|\Phi (x_{n})-\Phi (z)|\leq d(x_{n},z)+d(T(z),T(x_{n}))$.
  
  Ma il secondo membro è infinitesimo al divergere di $n$ per le ipotesi su $(x_{n})_{n}$ e per la continuità di $T$, dunque $\Phi (x_{n})\to \Phi (z)$, cioè $\Phi$ è continua. Essendo definita su un compatto, $\Phi$ ammette minimo in $y$. Supponendo per assurdo $y\neq T(y)$, abbiamo che
  
      $\Phi (T(y))=d(T(y),T^{2}(y))<d(y,(T(y))=\Phi (y)$, contraddicendo l'assunzione che $\Phi$ raggiunga il suo minimo in $y$: dunque $y=T(y)$.
  
  Per l'unicità, se $u\neq y$ è un altro punto fisso per $T$, allora
  
      $d(u,y)=d(T(u),T(y))<d(u,y)$, che è impossibile.
  
  ## Corollario
  
  Se $X$ è uno spazio metrico, $S$ un suo sottoinsieme compatto e $T:S\to S$ è tale che l'iterata $T^{p}$ è contrattiva per qualche $p$ naturale, allora $T$ ammette un unico punto fisso.
  
  ### Dimostrazione
  
  Per $T^{p}$ si può applicare il teorema precedente, dunque esiste un unico punto $x$ tale che $T^{p}(x)=x$. Applicando ora la $T$ a entrambi i membri otteniamo
  
      $T\circ T^{p}(x)=T(x)$, cioè $T^{p}\circ T(x)=T(x)$.
  
  Ma allora anche $T(x)$ è un punto fisso per $T^{p}$, dunque per l'unicità del punto fisso per $T^{p}$ abbiamo $T(x)=x$.
  
  