Principio de Aplicaciones Contractivas

Teorema que afirma que una autoaplicación T en un espacio métrico completo (X,d) que satisface d(Tx,Ty) ≤ c d(x,y) para todo x,y en X con alguna constante 0 ≤ c < 1 tiene un único punto fijo, y que la aplicación iterada de T converge a ese punto fijo.