T è un'applicazione di uno spazio metrico completo (X, d) in sè, tale
che
\[
\mathit{d}(T_{x}T_{y})\leq K\frac{d(x,Tx)d(x,Ty)+d(y,Ty)d(y,Tx)}{d(x,Ty)+d(y,Tx)}
\]
$dove$ 0$\leq\mathit{K<\textrm{1}}$, e $\mathit{x,}y$$\epsilon X.\textrm{Noi consideriamo ciò che accade se}$$\mathit{d(x,Ty)+d(y,Tx)}$=0 T is a mapping of the complete metric space (X, d) into itself satisfyng.
\[
\mathit{d}(T_{x}T_{y})\leq K\frac{d(x,Tx)d(x,Ty)+d(y,Ty)d(y,Tx)}{d(x,Ty)+d(y,Tx)}
\]
$\textrm{where}$ 0$\leq\mathit{K<\textrm{1}}$, and $\mathit{x,}y$$\epsilon X.\textrm{We consider what happens if}$$\mathit{d(x,Ty)+d(y,Tx)}$=0
