Introducción

En la entrada Contracciones mencionamos el teorema de punto fijo de Banach. Ahí mismo demostramos que si una contracción tiene un punto fijo, entonces este es único. En la entrada anterior vimos que la sucesión generada a partir de una contracción $\varphi$ y un punto cualquiera $x_0$ del espacio métrico es de Cauchy. Estos dos resultados serán usados a continuación para expresar una demostración del teorema. Recordemos lo que expresa:

Teorema de punto fijo de Banach. Sea $(X,d)$ un espacio métrico completo y sea $\varphi :X\to X$ una contracción, entonces:

1. Para cada $x_0\in X$ la sucesión $({\varphi }^n(x_0){)}_{n\in \mathbb{N}}$ es de Cauchy y, en consecuencia $({\varphi }^n(x_0){)}_{n\in \mathbb{N}}$ converge a un punto $x^{\ast }\in X.$ ${\varphi }^n$ representa la composición $\underset{nveces}{\underbrace{\varphi \circ \dots \circ \varphi }}$
2. El punto $x^{\ast }$ descrito es punto fijo de $\varphi .$
3. El punto fijo es único.
4. Podemos estimar la distancia de ${\varphi }^n(x_0)$ a $x^{\ast }$ usando la desigualdad:
   $$d({\varphi }^n(x_0),x^{\ast })\le \frac{{\alpha }^n}{1-\alpha }d(x_0,\varphi (x_0))$$

Demostración:
1. Se probó en la entrada anterior que la sucesión $({\varphi }^n(x_0){)}_{n\in \mathbb{N}}$ es de Cauchy. Como aquí agregamos el hecho de que el espacio es completo, concluimos que converge a algún punto $x^{\ast }\in X.$

2. Sea $x^{\ast }=\underset{n\to \mathrm{\infty }}{lim}{\varphi }^n(x_0).$ Probemos que $x^{\ast }$ es punto fijo de $\varphi .$
Sea $x_n={\varphi }^n(x_0).$ Apliquemos a cada término la función $\varphi$ que como es contracción, entonces es Lipschitz y por tanto es continua, tal como se vio en la entrada Más conceptos de continuidad.

Como
$$(x_n{)}_{n\in \mathbb{N}}\to x^{\ast }$$
se sigue por lo visto en la entrada Funciones continuas en espacios métricos que
$$(\varphi (x_n){)}_{n\in \mathbb{N}}\to \varphi (x^{\ast })$$
Pero para cada $n\in \mathbb{N},\varphi (x_n)=(x_{n+1})$ de modo que $(\varphi (x_n){)}_{n\in \mathbb{N}}$ es una subsucesión de $(x_n{)}_{n\to \mathbb{N}}\to x^{\ast }.$ En consecuencia $(\varphi (x_n){)}_{n\in \mathbb{N}}$ también converge a $x^{\ast }.$
Pero por la unicidad del límite se sigue que.
$$\varphi (x^{\ast })=x^{\ast }$$
Lo cual demuestra que $x^{\ast }$ es punto fijo de $\varphi .$

3. Se probó en Contracciones.

4. En la demostración vista en la entrada anterior vimos que existe $N\in \mathbb{N}$ tal que si $n,m\ge N$ entonces

$$d(x_n,x_m)\le {\displaystyle \frac{{\alpha }^n}{1-\alpha }}d(x_0,x_1)$$

Haciendo tender $m\to \mathrm{\infty }$ se sigue que

$$d(x_n,x^{\ast })\le {\displaystyle \frac{{\alpha }^n}{1-\alpha }}d(x_0,x_1)$$

Por lo tanto

$$d({\varphi }^n(x_0),x^{\ast })\le {\displaystyle \frac{{\alpha }^n}{1-\alpha }}d(x_0,\varphi (x_0)).$$

Que es lo que queríamos demostrar. Nota que esta última desigualdad nos permite acercarnos arbitrariamente al punto fijo de la contracción $\varphi$ incluso sin conocerlo, pues su lado derecho puede elegirse tan pequeño como se desee, eligiendo un valor para $n$ suficientemente grande.

Ejemplo. $\varphi :\mathbb{C}\to \mathbb{C},\varphi (z)={\displaystyle \frac{3iz}{4}}$

Considera el espacio métrico completo $\mathbb{C}$ con la norma usual. Dejaremos como ejercicio probar que $\varphi :\mathbb{C}\to \mathbb{C},\varphi (z)={\displaystyle \frac{3iz}{4}}$ es contracción. La siguiente imagen muestra las primeras iteraciones de $\varphi$ partiendo de $x_0=1.$ ¿A qué punto converge?

Si $n=20,$ ¿puedes decir qué tan cerca está ${\varphi }^n(1)$ del punto fijo? Nota que puedes hacer una estimación sin tener que calcular la norma del punto ${\varphi }^n(1).$ Da el valor de $N\in \mathbb{N}$ a partir del cual la distancia al punto fijo sea menor que ${\displaystyle \frac{1}{100}}.$

Más adelante

Veremos el teorema de punto fijo de Banach aplicado en la demostración de la existencia y unicidad de la solución de una ecuación diferencial. Esto es, se buscan las funciones que satisfacen cierta ecuación. Estas funciones serán vistas como elementos de un espacio métrico completo. Como llegaremos a que la solución existe y es única, podemos esperar que dicha solución será punto fijo del espacio bajo cierta contracción.

Tarea moral

1. Resuelve las preguntas planteadas en el ejemplo arriba mencionado.
2. Considera el espacio de sucesiones acotadas en $\mathbb{R}$ con norma $\Vert (x_n{)}_{n\in \mathbb{N}}\Vert =\underset{n\in \mathbb{N}}{sup}|x_n|.$
   a) Demuestra que la función $\varphi (x_n{)}_{n\in \mathbb{N}}=(\frac{1}{2}(x_n){)}_{n\in \mathbb{N}}$ es contracción.
   b) Si $(x_0)$ es la sucesión acotada $(x_{0_n}{)}_{n\in \mathbb{N}}.$ ¿Qué valores de $n\in \mathbb{N}$ satisfacen que la distancia entre ${\varphi }^n(x_0)$ y la sucesión que es el punto fijo de $\varphi$ sea menor que ${\displaystyle \frac{1}{100}}?$
3. Sea $X$ un espacio metrico y $\varphi :X\to X$ una contracción. Demuestra que:
   a) Para cada $n\in \mathbb{N},$ la función ${\varphi }^n$ es contracción.
   b) Si $x^{\ast }$ es punto fijo de $\varphi ,$ también lo es de ${\varphi }^n.$
   c) Si $\psi :X\to X$ satisface que $\psi \circ \varphi =\varphi \circ \psi$ entonces $\psi$ tiene un punto fijo.
   d) Si $x^{\ast }$ es punto fijo para ${\varphi }^k$ y para ${\varphi }^{k+1}$ para algún $k\ge 2$ entonces $x^{\ast }$ es el punto fijo de $\varphi .$

Enlaces

• Análisis Matemático.
• Enlace a entrada anterior.
• Enlace a entrada siguiente.