Clase 3: El teorema del punto fijo de Banach

Quiz
a alguna vez habeis realizado el siguiente experimento con una calculadora. Escoger al azar un
n
umero x0 R e ir apretando repetidamente la tecla cos, generando as una sucesion de valores
xn = F n (x0 )
donde F : R R denota la funci
on F (x) = cos x y el smbolo F n denota la funcion obtenida al
componer n veces F con ella misma. El resultado del experimento es que, independientemente del
valor inicial escogido, la sucesi
on (xn )n0 tiende a
x? = 0,7390851332151606416553120876738734040134117589007574649656806357732846548835476 . . .
Obviamente, x? es un (de hecho, el u
nico) punto fijo de la funcion coseno: cos(x? ) = x? .
Vamos a presentar una colecci
on de resultados sobre la existencia de tales puntos fijos globalmente
atractores. Pero, atenci
on, como somos mucho mejores que una calculadora, lo haremos en el contexto
de los espacios de Banach, que son espacios que pueden tener dimension infinita.
Espacios de Banach. Sea (E, k k) un espacio vectorial normado. Es decir, E es un espacio vectorial
dotado de una norma k k : E [0, +) que cumple tres propiedades; a saber,
1. Positividad: kxk = 0 x = 0;
2. Homogeneidad: kxk = ||kxk, para todo vector x E y para todo escalar ; y
3. Desigualdad triangular: kx + yk kxk + kyk para todo par de vectores x, y E.
Ejercicio. Usar la desigualdad triangular para probar la desigualdad triangular inversa
kx yk kxk kyk,

x, y E.

Definici
on. Dado un espacio vectorial normado (E, k k), decimos que una sucesion de vectores
(xn )n0 E converge a un vector x? E cuando
lm kx? xn k = 0.

n+

En tal caso, escribiremos que x? = lmn xn o que xn x? .

Definici
on. Una aplicaci
on F : E E 0 entre dos espacios normados (E, k k) y (E 0 , k k0 ) es continua
cuando F (lmn+ xn ) = lmn+ F (xn ) suponiendo que el primer lmite existe; es decir, cuando
xn x? F (xn ) F (x? ).
Ejercicio. Probar que la norma E 3 x kxk R, la operacion suma E E 3 (x, y) x + y E y
la operaci
on producto por escalar E R 3 (x, ) x E son todas ellas aplicaciones continuas.
Definici
on. Dado un espacio vectorial normado (E, k k), decimos que una sucesion de vectores
(xn )n0 E es una sucesi
on de Cauchy cuando
lm

m,n+

kxm xn k = 0.

Definici
on. Diremos que un espacio vectorial normado (E, k k) es un espacio de Banach cuando sea
completo; es decir, cuando toda sucesi
on de Cauchy del espacio converge a alg
un vector del espacio.
Los ejemplos b
asicos de espacio de Banach son E = Rn y E = Cn con cualquiera de las normas:
Pn
Norma sub-uno: kxk1 = i=1 |xi |.
pPn
2
Norma sub-dos (tambien llamada norma Euclidea): kxk2 =
i=1 |xi | .
Norma sub-infinito (tambien llamada norma del supremo): kxk = max1in |xi |.
1

El ejemplo que nos interesa de espacio de Banach. Dado un intervalo I R, entonces C(I; Rd )
denota al conjunto de funciones continuas en el intervalo I que toman valores en el espacio Rd . Este
conjunto es un espacio vectorial cuando consideramos las operaciones suma de funciones y producto
de escalar por funci
on. Los vectores de este espacio vectorial son las funciones continuas x : I Rd .
Teorema. Si I es compacto, entonces C(I; Rd ) es un espacio de Banach con la norma de supremo
kxk := max |x(t)|.
tI

Demostraci
on. Sea I un intervalo compacto arbitrario. Queremos probar que si xn : I Rd , n 0,
es una sucesion cualquiera de funciones continuas tales que
lm

m,n+

kxm xn k = 0,

entonces necesariamente existe una funci

on continua x? : I Rd tal que lmn+ kx? xn k = 0.
Paso 1: Existencia de lmite puntual. Fijado un punto arbitrario t I, la sucesion de valores
(xn (t))n0 Rd es una sucesi
on de Cauchy, pues
lm

m,n+

|xm (t) xn (t)|

lm

m,n+

kxm xn k = 0.

Por tanto, como sabemos que el espacio Rd es completo, esta sucesion de valores tiende a un valor
lmite x? (t) Rd . Es decir, existe una funcion x? : I Rd tal que la sucesion de funciones continuas
(xn (t))n0 converge puntualmente a x? (t).
Paso 2: La convergencia anterior no es tan solo puntual, sino que es uniforme. Estamos suponiendo
que lmm,n+ kxm xn k = 0. Por tanto, dado un  > 0 arbitrario, existe N 0 tal que
m
ax |xm (t) xn (t)| = kxm xn k < ,
tI

m, n N .

En particular, vemos que dado un  > 0 arbitrario, existe N 0 tal que

|xm (t) xn (t)| < ,

m, n N , t I.

Tomando el lmite m + en esta cota, vemos que dado un  > 0 arbitrario, existe N 0 tal que
|x? (t) xn (t)| < ,

n N , t I.

Paso 3: La funci
on lmite es continua. Basta recordar en siguiente resultado de la asignatura de
An
alisis Real : El lmite uniforme de funciones continuas es una funcion continua.

Ejercicio. Al repasar la demostraci
on anterior parece que no hemos usado la compacidad del intervalo.
Y sin embargo es una hip
otesis esencial del teorema. Entender que @#& % esta pasando. Ojo! Es un
ejercicio con trampa, la forma de plantearlo induce a error.
Macedonia de teoremas del punto fijo de Banach.
Definici
on. Un punto fijo de una aplicacion F : X E X es un elemento x? X tal que
F (x? ) = x? . Diremos que un punto fijo x? es un atractor global de la aplicacion F : X X cuando
lm F n (x) = x? ,

n+

x X.

Definici
on. Una aplicaci
on F : X E X es contractiva cuando existe una constante k [0, 1) tal
que
kF (x) F (y)k kkx yk,
x, y X.
Cuando necesitemos ser m
as precisos, diremos que F es una aplicaci
on k-contractiva.
Ejercicio. Probar que toda aplicaci
on contractiva es continua.
Teorema (Teorema del punto fijo de Banach, version estandar). Si X es un subconjunto cerrado no
vacio de un espacio de Banach (E, k k) y F : X X es una aplicaci
on k-contractiva, entonces F
tiene un u
nico punto fijo x? X, que resulta ser un atractor global. De hecho,
kn
kF (x) xk,
x X, n 1.
kx? F n (x)k
1k

Demostraci
on. Unicidad: Si x? , x X son dos puntos fijos, entonces
kx? x k = kF (x? ) F (x )k kkx? x k kx? x k = 0 x = x? .
Existencia: Fijado un punto inicial arbitrario x X, la sucesion de iterados xj = F j (x) cumple
kxj+1 xj k kkxj xj1 k k j kx1 x0 k.
Dados dos ndices m > n 0 arbitrarios, deducimos usando la desigualdad triangular que

m1
m1
X
X
X
kn
(1) kxm xn k
kx1 x0 k.
kxj+1 xj k
k j kx1 x0 k
k j kx1 x0 k =
1k
j=n
j=n
jn

Por tanto, la sucesi

on (xn )n0 X es una sucesion de Cauchy. En particular, sabemos que existe el
lmite x? = lmn+ xn X, pues X es un subconjunto cerrado de un espacio completo. Ademas,
kF (x? ) x? k = lm kF (xn ) xn k = lm kxn+1 xn k = 0,
n+

n+

luego x? es un punto fijo de la aplicaci

on F : X X.
Cota superior: Se obtiene tomando el lmite m + en la desigualdad (1).

Esta demostraci
on es constructiva; es decir, no solo probamos la existencia del punto fijo x? , sino
que adem
as damos un metodo constructivo para aproximarlo con tanta precision como se requiera. La
hipotesis k [0, 1) es esencial, como demuestra el ejemplo F : R R, F (x) = x + 1, donde k = 1.
Teorema (Teorema del punto fijo de Banach, version Weissenger). Si X es un subconjunto cerrado
no vacio de un espacio de Banach (E, k k) y F : X X es una aplicaci
on tal que
kF n (x) F n (y)k kn kx yk,

x, y X

con n0 kn < , entonces F tiene un u

nico punto fijo x? X, que resulta ser un atractor global.
De hecho,
P

kx? F n (x)k
k
kF (x) xk,
x X, n 1.
j
jn
Demostraci
on. Unicidad: Existe n 1 tal que kn < 1. Si x? , x X son dos puntos fijos, entonces
kx? x k = kF (x? ) F (x )k = = kF n (x? ) F n (x )k kn kx? x k kx? x k = 0 x = x? .
j
& cota superior:
P Existencia
P Basta copiar la demostracion anterior, pero cambiando k por kj y
j
n

jn k = k /(1 k) por
jn kj .

Teorema (Teorema del punto fijo de Banach, version de la potencia contractiva). Si X es un subconjunto cerrado no vacio de un espacio de Banach (E, k k) y F : X X es una aplicaci
on tal que
alguna de sus potencias es contractiva, entonces F tiene un u
nico punto fijo x? X, que resulta ser
un atractor global.
Demostraci
on. Ejercicio para el lector.

Referencias. Esta clase est

a inspirada en la seccion 2.1 del libro Ordinary Differential Equations and
Dynamical Systems de Gerald Teschl. La demostracion puesta como ejercicio para el lector se puede
consultar en las p
aginas 3031 de los apuntes Equacions Diferencials Ordin`
aries de Jordi Villanueva.