Clase 3: El teorema del punto fijo de Banach

Quizá alguna vez habeis realizado el siguiente experimento con una calculadora. Escoger al azar un
número x0 ∈ R e ir apretando repetidamente la tecla cos, generando ası́ una sucesión de valores

xn = F n (x0 )

donde F : R → R denota la función F (x) = cos x y el sı́mbolo F n denota la función obtenida al

componer n veces F con ella misma. El resultado del experimento es que, independientemente del
valor inicial escogido, la sucesión (xn )n≥0 tiende a

x? = 0,7390851332151606416553120876738734040134117589007574649656806357732846548835476 . . .

Obviamente, x? es un (de hecho, el único) punto fijo de la función coseno: cos(x? ) = x? .

Vamos a presentar una colección de resultados sobre la existencia de tales puntos fijos globalmente
atractores. Pero, atención, como somos mucho mejores que una calculadora, lo haremos en el contexto
de los espacios de Banach, que son espacios que pueden tener dimensión 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: kαxk = |α|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ón. Dado un espacio vectorial normado (E, k · k), decimos que una sucesión de vectores
(xn )n≥0 ⊂ E converge a un vector x? ∈ E cuando

lı́m kx? − xn k = 0.
n→+∞

En tal caso, escribiremos que x? = lı́mn→∞ xn o que xn → x? .

Definición. Una aplicación F : E → E 0 entre dos espacios normados (E, k · k) y (E 0 , k · k0 ) es continua

cuando F (lı́mn→+∞ xn ) = lı́mn→+∞ F (xn ) suponiendo que el primer lı́mite existe; es decir, cuando

xn → x? ⇒ F (xn ) → F (x? ).

Ejercicio. Probar que la norma E 3 x → kxk ∈ R, la operación suma E × E 3 (x, y) → x + y ∈ E y

la operación producto por escalar E × R 3 (x, α) → αx ∈ E son todas ellas aplicaciones continuas.

Definición. Dado un espacio vectorial normado (E, k · k), decimos que una sucesión de vectores
(xn )n≥0 ⊂ E es una sucesión de Cauchy cuando

lı́m kxm − xn k = 0.
m,n→+∞

Definición. Diremos que un espacio vectorial normado (E, k · k) es un espacio de Banach cuando sea
completo; es decir, cuando toda sucesión de Cauchy del espacio converge a algún vector del espacio.

Los ejemplos básicos de espacio de Banach son E = Rn y E = Cn con cualquiera de las normas:
Pn
Norma sub-uno: kxk1 = i=1 |xi |. pPn
Norma sub-dos (también llamada norma Euclidea): kxk2 = 2
i=1 |xi | .
Norma sub-infinito (también llamada norma del supremo): kxk∞ = máx1≤i≤n |xi |.

1
2

El ejemplo que nos interesa de espacio de Banach. Dado un intervalo I ⊂ R, entonces C(I; Rd )
denota a 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ón. 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∞ := máx |x(t)|.
t∈I

Demostración. Sea I un intervalo compacto arbitrario. Queremos probar que si xn : I → Rd , n ≥ 0,

es una sucesion cualquiera de funciones continuas tales que
lı́m kxm − xn k∞ = 0,
m,n→+∞

entonces necesariamente existe una función continua x? : I → Rd tal que lı́mn→+∞ kx? − xn k∞ = 0.
Paso 1: Existencia de lı́mite puntual. Fijado un punto arbitrario t ∈ I, la sucesión de valores
(xn (t))n≥0 ⊂ Rd es una sucesión de Cauchy, pues
lı́m |xm (t) − xn (t)| ≤ lı́m kxm − xn k∞ = 0.
m,n→+∞ m,n→+∞

Por tanto, como sabemos que el espacio Rd es completo, esta sucesión de valores tiende a un valor
lı́mite x? (t) ∈ Rd . Es decir, existe una función x? : I → Rd tal que la sucesión de funciones continuas
(xn (t))n≥0 converge puntualmente a x? (t).
Paso 2: La convergencia anterior no es tan sólo puntual, sino que es uniforme. Estamos suponiendo
que lı́mm,n→+∞ kxm − xn k∞ = 0. Por tanto, dado un  > 0 arbitrario, existe N ≥ 0 tal que
máx |xm (t) − xn (t)| = kxm − xn k∞ < , ∀m, n ≥ N .
t∈I
En particular, vemos que dado un  > 0 arbitrario, existe N ≥ 0 tal que
|xm (t) − xn (t)| < , ∀m, n ≥ N , ∀t ∈ I.
Tomando el lı́mite 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ón lı́mite es continua. Basta recordar en siguiente resultado de la asignatura de
Análisis Real : “El lı́mite uniforme de funciones continuas es una función continua”. 
Ejercicio. Al repasar la demostración anterior parece que no hemos usado la compacidad del intervalo.
Y sin embargo es una hipótesis esencial del teorema. Entender qué @#& % está pasando. ¡Ojo! Es un
ejercicio con trampa, la forma de plantearlo induce a error.
Macedonia de teoremas del punto fijo de Banach.
Definición. Un punto fijo de una aplicación 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 aplicación F : X → X cuando
lı́m F n (x) = x? , ∀x ∈ X.
n→+∞

Definición. Una aplicación 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ás precisos, diremos que F es una aplicación k-contractiva.
Ejercicio. Probar que toda aplicación contractiva es continua.
Teorema (Teorema del punto fijo de Banach, versión estándar). Si X es un subconjunto cerrado no
vacio de un espacio de Banach (E, k · k) y F : X → X es una aplicación k-contractiva, entonces F
tiene un único punto fijo x? ∈ X, que resulta ser un atractor global. De hecho,
kn
kx? − F n (x)k ≤ kF (x) − xk, ∀x ∈ X, ∀n ≥ 1.
1−k
 3

Demostración. 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 sucesión de iterados xj = F j (x) cumple
kxj+1 − xj k ≤ kkxj − xj−1 k ≤ · · · ≤ k j kx1 − x0 k.
Dados dos ı́ndices m > n ≥ 0 arbitrarios, deducimos usando la desigualdad triangular que
   
m−1 m−1
X X X kn
(1) kxm − xn k ≤ kxj+1 − xj k ≤  k j  kx1 − x0 k ≤  k j  kx1 − x0 k = kx1 − x0 k.
j=n j=n
1−k
j≥n

Por tanto, la sucesión (xn )n≥0 ⊂ X es una sucesión de Cauchy. En particular, sabemos que existe el
lı́mite x? = lı́mn→+∞ xn ∈ X, pues X es un subconjunto cerrado de un espacio completo. Además,
kF (x? ) − x? k = lı́m kF (xn ) − xn k = lı́m kxn+1 − xn k = 0,
n→+∞ n→+∞
luego x? es un punto fijo de la aplicación F : X → X.
Cota superior: Se obtiene tomando el lı́mite m → +∞ en la desigualdad (1). 
Esta demostración es constructiva; es decir, no sólo probamos la existencia del punto fijo x? , sino
que además damos un método constructivo para aproximarlo con tanta precisión 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, versión Weissenger). Si X es un subconjunto cerrado
no vacio de un espacio de Banach (E, k · k) y F : X → X es una aplicación tal que
kF n (x) − F n (y)k ≤ kn kx − yk, ∀x, y ∈ X
P
con n≥0 kn < ∞, entonces F tiene un único punto fijo x? ∈ X, que resulta ser un atractor global.
De hecho, P 
kx? − F n (x)k ≤ j≥n k j kF (x) − xk, ∀x ∈ X, ∀n ≥ 1.

Demostración. 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
P Existencia
j
& cota superior:
n
P Basta copiar la demostración anterior, pero cambiando k por kj y
j≥n k = k /(1 − k) por j≥n kj . 
Teorema (Teorema del punto fijo de Banach, versión de la potencia contractiva). Si X es un sub-
conjunto cerrado no vacio de un espacio de Banach (E, k · k) y F : X → X es una aplicación tal que
alguna de sus potencias es contractiva, entonces F tiene un único punto fijo x? ∈ X, que resulta ser
un atractor global.
Demostración. Ejercicio para el lector. 
Referencias. Esta clase está inspirada en la sección 2.1 del libro Ordinary Differential Equations and
Dynamical Systems de Gerald Teschl. La demostración puesta como ejercicio para el lector se puede
consultar en las páginas 30–31 de los apuntes Equacions Diferencials Ordinàries de Jordi Villanueva.