# 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.
Intuitivamente, el teorema enuncia que toda función que haga que un espacio se contraiga tiene un punto fijo: aquel hacia el que el espacio se contrae cuando se aplica la transformación repetidas veces. Para esto, sin embargo, hace falta que el espacio sea completo. Para ver la necesidad, en $\mathbb {R} \setminus \{0\}$, por ejemplo, que no es completo, podemos contraer hacia el agujero (el 0) por una aplicación como $x\mapsto {\tfrac {x}{2}}$ y no tendríamos punto fijo.

## Enunciado

Sea $(X,d)$ un espacio métrico completo y $f$ una aplicación. Se dice que $f$ es contractiva si existe una constante $K$ con $0<K<1$ tal que $d(f(x),f(y))\leq Kd(x,y)$ para cualesquiera $x,y\in X$. Un punto fijo $z$ de $f$ es un punto de $X$ tal que $f(z)=z$. Entonces el teorema del punto fijo de Banach dice:
* Sea (X,d) un espacio métrico completo y sea f: X → X 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 $x_{0}$ de $X$ la sucesión $\{x_{n}=f(x_{n-1})\}_{n=1}^{\infty }$ converge a dicho punto fijo.

### Demostración

Existencia del punto fijo: La demostración se sigue de que la sucesión $\{x_{n}\}$ así definida es una sucesión de Cauchy por ser la función contractiva:
   Para un $\varepsilon >0$ fijado, vamos a encontrar $k$ suficientemente grande para que si $n,m\geq k$ entonces $d(x_{n},x_{m})=d(f^{n}(x),f^{m}(x))\leq \varepsilon$. Podemos suponer que $n\geq m$. Entonces, tenemos que
   $d(f^{n}(x),f^{m}(x)){\overset {\text{Des. triang.}}{\leq }}d(f^{n}(x),f^{n-1}(x))+d(f^{n-1}(x),f^{n-2}(x))+\dots +d(f^{m+1}(x),f^{m}(x)){\overset {\text{Contractiva}}{\leq }}$
   $\quad \quad \leq K^{n-1}d(f(x),x)+K^{n-2}d(f(x),x)+\dots +K^{m}d(f(x),x)=K^{m}d(f(x),x)\sum _{i=0}^{n-m-1}K^{i}\leq K^{m}d(f(x),x)\sum _{i=0}^{\infty }K^{i}={\frac {K^{m}}{1-K}}d(f(x),x)$y esta expresión se puede hacer arbitrariamente pequeña para $m$ grande.
Como X es completo, esta sucesión converge a un punto $z$ de X. Este punto $z$ es punto fijo de $f$, pues $z=\lim _{n\rightarrow \infty }x_{n}=\lim _{n\rightarrow \infty }f(x_{n-1}){\overset {(*)}{=}}f(\lim _{n\rightarrow \infty }x_{n-1})=f(z)$. En $(*)$ hemos usado que $f$ es continua por ser contractiva:
   Dado $\varepsilon >0$, si tomamos $\delta ={\tfrac {\varepsilon }{K}}>0$, se satisface que si $d(x,y)\leq \delta$, entonces $d(f(x),f(y))\leq Kd(x,y)\leq K{\tfrac {\varepsilon }{K}}=\varepsilon$. La existencia de este $\delta >0$ para cualquier $\varepsilon >0$ nos da la continuidad por definición.
Unicidad del punto fijo: Supongamos que $z$ y $w$ son dos puntos fijos por $f$. Entonces, $d(z,w)=d(f(z),f(w))\leq Kd(z,w)<d(z,w)$, la última desigualdad estricta siempre y cuando $d(z,w)\neq 0$, lo que sería una contradicción, por lo que $d(z,x)=0$ y, por definición de distancia, $z=w$. Es decir, los dos supuestos puntos fijos por $f$ son en realidad necesariamente el mismo. Por tanto, sólo puede haber uno. $\quad \square$

## Ilustración del teorema

Una manera de visualizar el teorema consiste en utilizar un mapa que represente el entorno en el que se encuentra (puede ser un mapa de Europa colocado en algún punto de Europa, como en la imagen a la derecha). Podemos entender este mapa como una contracción del entorno: a cada punto de la realidad le asignamos el punto que lo representa en el mapa; claramente la distancia entre dos puntos del mapa es siempre menor que la distancia entre los lugares que representan.
El teorema del punto fijo de Banach afirma entonces que hay un único punto del mapa que se encuentra directamente encima del punto de la realidad que representa. No importa cómo de grande es el mapa; sólo hace falta que sea más pequeño que la realidad que representa (la aplicación debe ser contractiva). Y tampoco importa en qué lugar se coloca el mapa; sólo hace falta que esté dentro de la realidad que representa (la aplicación debe ir del espacio $X$ en sí mismo).
En la figura de la derecha, sabemos que hay un punto, y sólo uno, del mapa pequeño (aunque no sepamos cuál concretamente) que está exactamente encima del mismo punto del mapa grande (que representa el mundo real).

## Aplicaciones

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.