2.4.

TEOREMA DEL PUNTO FIJO DE BANACH

47

2.4.

Teorema del punto jo de Banach

Denicin 2.33. Sea (X, ) un espacio mtrico y : X X. Decimos que es una cono e traccin si existe una constante 0 < k < 1 tal que o ((x1 ), (x2 )) k (x1 , x2 ) Teorema 2.34 (Punto jo de Banach). Sea (X, ) un espacio mtrico completo y : X e X una contraccin. Luego, existe un unico x X tal que (x) = x. o Demostracion. Sea x0 X y denamos la sucesin {xn } en X como sigue o x1 = (x0 ), x2 = (x1 ), . . . , xn = (xn1 ).

O sea, xn = n (x0 ) donde n es componer n veces la funcin . Nuestra intencin es probar o o que esta sucesin es de Cauchy, cuyo l o mite es precisamente el punto que es invariante bajo la accin de (tambin es conocido como el punto jo de ). Para ello notemos que o e (xn , xn+1 ) = ((xn1 ), (xn )) < k (xn1 , xn ) < < kn (x0 , x1 ). Luego, para todo m, n N tendremos que
m m

(xn , xn+m )
i=1

(xn+i1 , xn+i ) < kn (x0 , x1 )

i=1

ki1 <

kn (x0 , x1 ) 1k

de donde se tiene que {xn } es una sucesin de Cauchy en X. Entonces existe x X tal que o xn x, cuando n . Ahora, dada la continuidad de y de la mtrica , tendremos e (x, (x)) = l (xn , (xn )) = l (xn , xn+1 ) = (x, x) = 0 m m
n n

de donde se concluye que (x) = x. Para probar la unicidad del punto jo, supondremos la existencia de dos. Sean estos x e y que satisfacen (x, y) = ((x), (y)) k (x, y) lo que no es posible porque tendr amos que (1 k)(x, y) 0 entonces x = y. Por lo tanto, existe un unico x X tal que (x) = x. Ejemplo. Consideremos la ecuacin x = cos x para x [0, /2]. Probaremos que esta ecuacin o o tiene una solucin unica. En efecto, x := cos x dene una funcin desde [0, /2] en si mismo. o o Adems, a |x y| = | cos x cos y| = |x y| sen , (2.4)

donde se encuentra en el intervalo denido por x e y. Ahora, como | cos x| 1, cualquier solucin de la ecuacin x = cos x tiene que tener la propiedad |x| 1. Adems, es obvio que o o a tiene su imagen en el intervalo cerrado [0, 1]. Pero en tal intervalo, por (2.4) y el hecho que | sen | < sen 1 < 1, es una contraccin. Aplicando el teorema del punto jo de Banach vemos o que exite una solucin unica de la ecuacin. o o

48

CAP ITULO 2. COMPLETITUD Y CATEGOR IAS

A continuacin aplicarremos el teorema del punto jo de Banach para probar el teorema o de la funcin impl o cita en R2 . Teorema 2.35 (Funcin impl o cita en R2 ). Sea E R2 y (x0 , y0 ) E 0 , y sea f : E R. Supongamos que (i) f (x0 , y0 ) = 0 y f es continua en un abierto G E que contiene al punto (x0 , y0 ). (ii) fy existe en G y es continua en (x0 , y0 ). Adems, fy (x0 , y0 ) = 0. a Luego, existe un rectngulo a M N = [x0 , x0 + ] [y0 , y0 + ] y una funcin continua : M N tal que y = (x) es la unica solucin en M N de la o o ecuacin o f (x, y) = 0, x M Demostracion. Sea q = 1/fy (x0 , y0 ). Como fy es continua en (x0 , y0 ), existe un rectngulo a [x0 , x0 + ] [y0 , y0 + ] contenido en G tal que |1qfy (x, y)| < 1/2. Por la primera condicin existe un nmero positivo o u tal que para x M = [x0 , x0 + ] se tiene que 1 |qf (x, y0 )| < . 2 Ahora, notemos C(M, N ) es completos. Sea una funcin denida en B(M, N ) como () = o donde (x) = (x) qf (x, (x)), para x M . Mostraremos primero que mapea C(M, N ) en si mismo. Sea C(M, N ). Luego para x M , por el teorema del valor medio ()(x) y0 = (x) qf (x, (x)) y0 = [(x) qf (x, (x))] [y0 qf (x, y0 )] + qf (x, y0 ) = [(x) y0 ][1 qfy (x, u)] + qf (x, y0 ), donde u est entre y0 y (x) y por lo tanto en N . Luego, a 1 1 |(x) y0 | + < . 2 2 Por otra parte, si 1 , 2 C(M, N ) y x M , |()(x) y0 | < (1 )(x) (2 )(x) = [1 (x) qf (x, 1 (x))] [2 (x) qf (x, 2 (x))] = [1 (x) 2 (x)][1 qfy (x, v)], donde v yace entre 1 (x) y 2 (x). Luego, 1 ||(1 ) (2 )|| ||1 2 || . 2 Por el teorema del punto jo de Banach sabemos que existe una unica funcin en C(M, N ) tal o que (phi) = . Es decir, f (x, (x)) = 0 para x M .

 2.5. COMPLETACION DE ESPACIOS METRICOS

49

Vale la pena comparar el teorema del punto jo de Banach con el siguiente resultado de Brouwer. Teorema 2.36. Si f : B 2 B 2 es continua, entonces existe un x B 2 tal que f (x) = x. La demostracin usual de este teorema requiere ocupar algunos conceptos de topolog o a algebraica, por lo que la omitimos.

2.5.

Completacin de espacios mtricos o e

Una de las primeras construcciones de los nmeros reales se efectu a nales del siglo 19 u o por un procedimiento que consiste en incrustar los racionales en un conjunto ms grande, que a es completo. Denicin 2.37. Consideremos dos espacios mtricos (X, ) y (Y, ). Una funcin biyectiva o e o f : X Y tal que (f (x1 ), f (x2 )) = (x1 , x2 ), para todo x1 , x2 X se llama una isometr En este caso decimos que los espacios mtricos a. e x e Y son isomtricos. Si un espacio mtrico es isomtrico a un subespacio de otro espacio e e e mtrico, decimos que el primero se puede incrustar isomtricamente en el segundo. e e Notemos que una isometr siempre es un homeomorsmo. a Ejemplo. Los reales con la mtrica Euclidiana son isomtricos con el subespacio de C[0, 1] e e dado por las funciones de la forma (x) = x. Teorema 2.38. Sea (X, ) un espacio mtrico. Luego existe una incrustacin isomtrica de e o e X en un espacio mtrico completo. e Demostracion. Consideremos el espacio B(X, R). Sea x0 X. Dado a X denimos a : X R por a = (x, a) (x, x0 ). Notemos que, |a (x)| = |(x, a) (x, x0 )| (a, x0 ). Ahora denimos : X B(X, R) como (a) := a . Mostraremos que dene una isometr del espacio mtrico (X, ) en el espacio B(X, R) con a e la mtrica uniforme . Por denicin, e o (a , b ) = sup |(x, a) (x, b)| (a, b).
xX

Por otra parte, cuando x = a tenemos que |(x, a) (x, b)| = (a, b), lo que prueba que

50

CAP ITULO 2. COMPLETITUD Y CATEGOR IAS

(a , b ) = (a, b).

Denicin 2.39. Sea X un espacio mtrico. Si h : X Y es una incrustacin isomtrica de o e o e X en un espacio mtrico completo Y , el subespacio h(X) de Y es un espacio mtrico completo e e llamado la completacin de X. o Ejercicio. Demuestre que todas las completaciones de un espacio mtrico son isomtricas entre e e si.