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.

Principio

Contracción uniforme: una reducción multiplicativa global de las distancias por un factor menor que uno obliga a la convergencia y unicidad de un punto fijo en espacios métricos completos.

Demostración

En C([0,1]) con la norma sup definir T(u)(t)=u0(t)+∫0^t K(t,s)φ(u(s)) ds con K acotada y φ lipschitziana; si las constantes dan una contracción, las iteraciones de Picard u_{n+1}=T(u_n) convergen geométricamente a la solución única de la ecuación integral.

Aplicación incorrecta

Aplicar el principio en un espacio que no es completo, o a una aplicación que solo es contractiva localmente o tiene c≥1, puede llevar a conclusiones falsas sobre existencia o unicidad del punto fijo.

Consecuencia

Cuando se cumplen las hipótesis se obtiene existencia y unicidad del punto fijo además de tasas de convergencia geométrica para esquemas iterativos y estabilidad cuantitativa ante perturbaciones.

Inversión

Si una aplicación expande distancias (c>1) o es meramente no expansiva (c=1), la conclusión de contracción falla; puede no haber puntos fijos o puede haber muchos, y las iteraciones pueden no converger.

Límite

Requiere un espacio métrico completo y una constante de contracción global; no abarca resultados de punto fijo basados en compacidad ni situaciones de invertibilidad local sin contracción global.

Tensión semántica

Se contrasta con resultados como los de Schauder o Brouwer, que usan compacidad en lugar de contracción; esos garantizan existencia pero no necesariamente unicidad ni tasas de convergencia iterativa.

Síntesis

El Principio de Aplicaciones Contractivas vincula una desigualdad métrica simple (contracción uniforme) con un resultado algorítmico y cualitativo fuerte: un punto fijo único con convergencia geométrica de las iteradas, siempre que el espacio sea completo.