Teorema del punto fijo de Banach

En análisis matemático el teorema del punto fijo de Banach (también llamado teorema de la aplicación contractiva) es una de las herramientas más importantes para demostrar la existencia de soluciones de numerosos problemas matemáticos. El teorema garantiza la existencia y unicidad de puntos fijos de ciertas funciones definidas sobre espacios métricos y proporciona un método para encontrarlos. Debe su nombre a Stefan Banach (1892–1945), quien fue el primero en enunciarlo en 1922[cita requerida].

Enunciado editar

Sea   un espacio métrico completo y   una aplicación. Se dice que   es contractiva si existe una constante   con   tal que   para cualesquiera  . Un punto fijo   de   es un punto de   tal que  . Entonces el teorema del punto fijo de Banach dice:

Sea (X,d) un espacio métrico completo y sea f: XX una aplicación contractiva en X. Entonces existe un único punto fijo de f.


Stefan Banach

Además, el teorema establece que para todo punto   de   la sucesión   converge a dicho punto fijo.

Demostración editar

Existencia del punto fijo: La demostración se sigue de que la sucesión   así definida es una sucesión de Cauchy por ser la función contractiva. Como X es completo, esta sucesión converge a un punto   de X. Este punto   es punto fijo de  , pues   (observamos que   es continua por ser contractiva).


Unicidad del punto fijo: Supongamos que   y   son dos puntos fijos distintos de  . Entonces,  , lo que es una contradicción, por lo que   no puede tener dos puntos fijos distintos.

Aplicaciones editar

Se trata de una herramienta básica en la demostración de la existencia de soluciones de ecuaciones diferenciales (Véase el teorema de Picard-Lindelöf). Otro de los usos de este resultado radica en el análisis de sistemas dinámicos, que tiene numerosas aplicaciones, por ejemplo en el estudio de modelos de población, modelos caóticos, etcétera. También es importante en el estudio de métodos iterativos utilizados en el cálculo numérico, por ejemplo en algunos problemas de ingeniería. Incluso determinados fractales son puntos fijos de ciertas contracciones.