Cap tulo 8

Espacios completos
8.1 Sucesiones de Cauchy
Denici on 8.1.1 (Sucesi on de Cauchy). Diremos que una sucesi on (xn ) etrico n=1 en un espacio m (X, d) es de Cauchy si para todo > 0 existe un no tal que si n, m > no se cumple que d(xn , xm ) < . El concepto de sucesi on de Cauchy depende de la distancia d como se pone de maniesto en los ejemplos siguientes. Adem as como vimos en el ejemplo 5.2.11 6), tampoco es una propiedad topol ogica ya que no se conserva mediante homeomorsmos. Ejemplo 8.1.2. nicas sucesiones de Cauchy en un espacio m (1) Las u etrico discreto son las de cola constante.
1 (2) ( n )n=1 es de Cauchy tanto en (R, | |) como en ((0, 1), | |).

(3) La sucesi on (n) n=1 no es de Cauchy en (R, | |). Proposici on 8.1.3. Si una sucesi on (xn ) etrico (X, d) converge a x X , n=1 en un espacio m entonces (xn )n=1 es de Cauchy. Demostraci on. Como xn x, para todo > 0 existe un no tal que si n > no , entonces d(xn , x) < 2 . As , para todo n, m > no se tiene d(xn , xm ) d(xn , x) + d(x, xm ) < + = 2 2

El rec proco de este resultado no es cierto en general. 71

72 Ejemplo 8.1.4.

CAPITULO 8. ESPACIOS COMPLETOS

1 La sucesi on ( n )nN es de Cauchy en ((0, +), | |) y sin embargo no converge.

Lema 8.1.5. Si (xn ) on de Cauchy en un espacio m etrico (X, d) tal que existe n=1 es una sucesi una subsucesi on (xnk )k=1 que converge a x, entonces la sucesi on (xn ) en converge a x. n=1 tambi Demostraci on. Como (xn ) n=1 es de Cauchy, dado > 0 existe un n1 tal que para todo n, m > n1 se cumple que d(xn , xm ) < 2 . Por otra parte la subsucesi on (xnk )k es convergente a x, luego existe un ko tal que si nk > nko se cumple d(xnk , x) < 2 . Consideremos no = max{n1 , nko }, y tomemos n > no y k tal que nk > no , entonces d(xn , x) d(xn , xnk ) + d(xnk , x) < y la sucesi on (xn ) n=1 converge a x. Proposici on 8.1.6. Toda sucesi on de Cauchy en un espacio m etrico (X, d) est a acotada. Demostraci on. Consideremos = 1, por el hecho de ser de Cauchy existe no tal que si m, n > no se tiene que d(xn , xm ) < 1, de modo que si n > no , xn B (xno +1 , 1). S olo quedan un n umero nito de t erminos que pueden estar fuera de esta bola. Sea r = max{d(x1 , xno ), ..., d(xno , xno +1 )} Para todo n se cumple d(xn , xno +1 ) r. As , {xn : n = 1, ..., } B (xno +1 , r + 1) + = 2 2

8.2 Espacio m etrico completo

Denici on 8.2.1 (Espacio completo). Diremos que un espacio m etrico (X, d) es completo si toda sucesi on de Cauchy es convergente. Ejemplo 8.2.2. (1) Todo espacio m etrico discreto es completo. (2) (0, ) no es completo con la distancia usual.

 8.2. ESPACIO METRICO COMPLETO Proposici on 8.2.3. El espacio Rn con cualquiera de las tres m etricas d1 , d2 , d es completo.

73

Demostraci on. Sea (xn ) on de Cauchy que, por la proposici on anterior est a acotada, n=1 una sucesi luego est a contenida en una bola cerrada, que por el teorema de Heine-Borel-Lebesgue 7.4.13, es compacto; entonces seg un este mismo teorema, dicha sucesi on tiene una subsucesi on convergente. Aplicando ahora el Lema 8.1.5 (xn )n=1 tambi en es convergente. Proposici on 8.2.4. Todo espacio m etrico compacto es completo. Demostraci on. Sea (X, d) un espacio m etrico compacto y sea (xn ) on de Cauchy en n=1 una sucesi X . Como (X, d ) es compacto, tambi en es secuencialmente compacto, luego existe una subsuce si on de (xn ) en es n=1 , (xnk )k=1 , convergente y como consecuencia del Lema 8.1.5 (xn )n=1 tambi convergente. La implicaci on rec proca no es cierta, pero s que se cumple si se considera una hip otesis adi sta cional, la de ser totalmente acotado. La demostraci on siguiente es algo complicada. Adem as, e propiedad justica que los espacios m etricos totalmente acotados reciban tambi en el nombre de precompactos. Proposici on 8.2.5. Todo espacio m etrico completo y totalmente acotado es secuencialmente compacto. Demostraci on. Sea (X, d) un espacio m etrico completo y totalmente acotado, sea (xn ) n=1 una sucesi on en X . Vamos a construir una subsucesi on de Cauchy que ser a convergente al ser X completo y por tanto X ser a secuencialmente compacto. Si la sucesi on es nita no hay nada que probar, pues tiene innitos t erminos iguales y ya tenemos la subsucesi on convergente. Supongamos entonces que la sucesi on S = (xn ) n=1 tiene innitos t erminos distintos. Como X es totalmente acotado y S X , S tambi en es totalmente acotado, por 1 tanto dado 2 existe un n umero nito de bolas con este radio que recubren S . Como S es innito, una de estas bolas contendr a innitos puntos de dicha sucesi on S , llamemos a esta bola B1 . Consideremos ahora B1 S . Este conjunto es tambi en totalmente acotado, de modo que si con1 sideramos 22 , B1 S estar a recubierto por un n umero nito de bolas de radio 212 y de ellas, al menos una, que llamaremos B2 , contendr a una cantidad nita de t erminos de la sucesi on. As sucesivamente hemos construido una sucesi on de bolas Bk de radio 21 k , cada una de las cuales tiene innitos t erminos de la sucesi on y que, seg un se han construido, dos a dos tienen intersecci on no vac a. Vamos a construir la subsucesi on de la siguiente manera:

74

CAPITULO 8. ESPACIOS COMPLETOS

El primer t ermino ser a un t ermino arbitrario de la sucesi on que est e en B1 y le llamamos xn1 , como en B2 hay innitos t erminos de la sucesi on, existe un t ermino de la sucesi on xn2 = xn1 y con n2 > n1 , as sucesivamente construimos una subsucesi on (xnk )k , tal que cada xnk Bk . Veamos que esta subsucesi on es de Cauchy. Si p, q N con p < q , como Bp Bq = , tendremos que si y Bp Bq d(xnp , xnq ) d(xnp , y ) + d(y, xnq ) Por tanto, dado > 0, existe m tal que
1 2m1

1 1 1 1 1 + q < p + p = p1 p 2 2 2 2 2

< y si p, q > m (con p > q por ejemplo), entonces 1 2p1 < 1 2m1 <

d(xnp , xnq ) < y la subsucesi on es de Cauchy.

Teniendo en cuenta que todo espacio m etrico compacto es secuencialmente compacto, podemos expresar los dos resultados anteriores en el siguiente teorema: Teorema 8.2.6. Un espacio m etrico (X, d) es compacto si, y s olo si (X, d) es completo y totalmente acotado. Proposici on 8.2.7. Todo subespacio cerrado de un espacio completo es completo. Demostraci on. Sea (X, d) un espacio m etrico completo y sea H X cerrado. Sea (xn ) on de Cauchy en H . Evidentemente, tambi en es sucesi on de Cauchy en n=1 una sucesi X . Por tanto, converge a un punto x X . Como H cerrado x H , y (xn ) n=1 converge a x en H. Proposici on 8.2.8. Todo subespacio completo de un espacio m etrico es cerrado. Demostraci on. Sea (X, d) un espacio m etrico y sea H X tal que (H, dH ) es completo. Veamos que H es cerrado comprobando que H = H . Si x H , entonces existe una sucesi on en H , (xn )n=1 , que converge a x y por tanto es de Cauchy, tanto en X como en H . Como (H, dH ) es completo la sucesi on (xn ) etrico y n=1 converge en H a un punto x . Pero (X, d) es un espacio m por tanto de Hausdorff y x = x . Es decir, x H .

8.3 Algunos resultados interesantes

Teorema 8.3.1 (Teorema de Encaje de Cantor). Sea (X, d) un espacio m etrico completo y sea {Cn }n=1 una sucesi on decreciente de cerrados en X , no vac os y tales que la sucesi on de sus di ametros converge a 0. Entonces C es exactamente un punto. n=1 n

8.3. ALGUNOS RESULTADOS INTERESANTES

75

Demostraci on. Que la sucesi on de cerrados es decreciente quiere decir que C1 C2 Cn . . . . Sea (xn ) on en X de manera que xn Cn para cada n N . n=1 una sucesi Veamos que esta sucesi on es de Cauchy: Como los di ametros de ( (Cn ))n forman una sucesi on que tiende a 0, tendremos que dado > 0, existe no N tal que si n > no , (Cn ) < . Por tanto, como la sucesi on de cerrados es decreciente, tenemos que si n, m > no , con m > n, xn , xm Cn y entonces d(xn , xm ) < (Cm ) < y la sucesi on es de Cauchy. Entonces, como X es completo (xn )n es convergente a un punto x X . Veamos que x nN Cn . Supongamos que no fuera as , entonces existe k N tal que x / Ck y r como Ck es cerrado, tenemos que d(x, Ck ) = r > 0, con lo que la bola B (x, 2 ) y Ck no tienen puntos comunes, pero si n > k , xn Ck (la sucesi on de cerrados es decreciente), lo que implica r que xn / B (x, 2 ), lo cual es imposible puesto que xn x. nico en la intersecci Veamos por n que este punto es el u on. Supongamos que existe otro punto y nN Cn , entonces d(x, y ) (Cn ) para todo n N y como limn (Cn ) = 0, ha de ser d(x, y ) 0, pero d es una distancia, luego d(x, y ) = 0. Por tanto x = y . Teorema 8.3.2 (Baire). Sea (X, d) un espacio m etrico completo y sea {An } on de n=1 una sucesi abiertos de X tales que An es denso en X para cada n N. Entonces se cumple que A n=1 n es denso en X. Demostraci on. Es suciente probar que todo abierto no vac o de X corta a n=1 An . Sea A X un abierto. Como A1 es denso, A A1 es no vac o y por tanto x1 A A1 y A A1 es abierto, luego existe r1 < 1 tal que la bola cerrada B (x1 , r1 ) A A1 . Como la bola B (x1 , r1 ) es abierto y no vac o y A2 es denso resulta que B (x1 , r1 ) A2 es no vac o 1 y por tanto existe x2 B (x1 , r1 ) A2 y es abierto luego existe r2 < 2 tales que B (x2 , r2 ) B (x1 , r1 ) A2 A A1 A2 As , por inducci on se puede construir una sucesi on de bolas {B (xn , rn )} n=1 tales que para cada 1 n N, rn < n , y B (xn , rn ) A A1 ... An . Si consideramos las bolas cerradas, la familia {B (xn , rn )} otesis del Teorema n=1 cumple la hip nico punto: de encaje de Cantor, y por tanto su intersecci on es un u n=1 B (xn , rn ) = {x}, x X
As , tal y como se han construido estas bolas, x A ( n=1 An ) y n=1 An es denso.

76

CAPITULO 8. ESPACIOS COMPLETOS

8.4

Completado de un espacio m etrico

) es el completado Denici on 8.4.1 (Espacio completado). Diremos que un espacio m etrico (X, d ) es completo y X es isom de un espacio m etrico (X, d) si (X, d etrico a un subconjunto denso de X. Ejemplo 8.4.2. (R, | |) es un completado de (Q, | |). Teorema 8.4.3. Sea X un conjunto cualquiera. Entonces el espacio m etrico (B (X, R), d ) con B (X, R) = {f : X R : f acotada} y d (f, g ) = sup{| f (x) g (x) |: x X }, es un espacio m etrico completo. Demostraci on. Sea (fn ) on, de funciones, de Cauchy en (B (X, R), d ). Entonces n=1 una sucesi para cada x X la sucesi on de n umeros reales (fn (x)) on de Cauchy en (R, | n=1 , es una sucesi |). Como (R, | |) es completo se tiene que, para cada x X , (fn (x)) n=1 converge a un punto en R que llamaremos f (x). A partir de estos l mites denimos una funci on, f : X R, tal que a cada x X le hace corresponder el l mite de la sucesi on (fn (x))n=1 , que hemos llamado f (x). Veamos que (fn )n converge a f . Como la sucesi on es de Cauchy, tendremos que para todo > 0, existe no tal que si m, n > no , entonces d (fn , fm ) = sup{|fn (x) fm (x)| : x X } < . En particular, si tomamos n > no jo y p N, tendremos que d(fn , fn+p ) = sup{|fn (x) fn+p (x)| : x X } < Entonces tendremos que para todo x X , se cumple que |fn (x) fn+p (x)| < Si ahora tomamos l mites cuando p , tendremos que, para todo x X |fn (x) fn+p (x)| |fn (x) f (x)| lo que implica que |fn (x) f (x)| < y por tanto la conclusi on es que si n > no entonces d (fn , f ) = sup{|fn (x) f (x)| : x X } < lo que implica que (fn )n converge a f . Esto tambi en implica que f B (X, R), es decir, est a acotada, pues como (fn )n es de Cauchy, por la proposici on 8.1.6, est a acotada, luego existe M > 0 tal que (fn )n B (0, M ), con 0 la funci on

8.5. EJERCICIOS

77

id enticamente nula, es decir d (0, fn ) < M para todo n N. Entonces, dado 1 > 0, como (fn )n converge a f , existe un n1 tal que si n > n1 , entonces d (fn , f ) < 1. Por tanto podemos poner d (0, f ) d (0, fn ) + d (fn , f ) < M + 1

Proposici on 8.4.4. Existe un completado de cualquier espacio m etrico (X, d). Demostraci on. Sea a X jo. Denimos la aplicaci on : X B (X, R) como x : X R, tal que x (y ) = d(y, x) d(y, a). x B (X, R) puesto que d (0, ) = sup{|x (y )| : y X } = sup{|d(y, x) d(y, a)| : y X } = d(x, a) Adem as es una isometr a puesto que d (x , z ) = sup{|d(y, x) d(y, z )| : y X } = d(x, z ) Si ahora consideramos la adherencia (X ) en B (X, R), con la distancia inducida, tenemos que por la proposici on 8.2.7, (X ) es completo por ser cerrado en B (X, R) que es completo. Ya hemos encontrado un completado de X .

8.5 Ejercicios
1. Pruebe que toda sucesi on de Cauchy en un espacio m etrico es totalmente acotada.[Lipschutz],
pag. 199

2. Sea (X, d) un espacio m etrico. Una aplicaci on f : X X se llama contractiva, si existe k R con 0 k < 1, tal que para todo x, y X , d(f (x), f (y )) kd(x, y ). Pruebe: a) Si f es contractiva, entonces f es continua. b) Si f es contractiva y (X, d) es completo, existe x X tal que f (x) = x (Teorema del punto jo)
[Lipschutz], pag. 201

3. En el teorema de punto jo del ejercicio anterior, las hip otesis son necesarias: 1 2 a) Completitud. Demuestre que la aplicaci on f : (0, 3 ) (0, 1 3 ) dada por f (x) = x es una contractiva y que no tiene punto jo. b) Contractiva. Demuestre que la aplicaci on f : [1, ) [1, ) dada por f (x) = 1 x+ x no cumple | f (x) f (y ) |<| x y | y no tiene punto jo. 4. El Teorema de Encaje de Cantor necesita de todas las hip otesis:

78

CAPITULO 8. ESPACIOS COMPLETOS

1 a) Espacio m etrico completo. Demuestre que {(0, n ]}n=2 es una sucesi on de conjuntos cerrados de ((0, 1), | |) tales que sus di ametros convergen a 0 y, sin embargo, su intersecci on es el vac o. 1 b) Conjuntos cerrados. Demuestre que {(0, n )}n=1 es una sucesi on de conjuntos no cerrados en R tales que sus di ametros convergen a cero y su intersecci on es el vac o.

on c) Sucesi on de di ametros convergente a 0. Demuestre que {[n, )} n=1 es una sucesi decreciente de conjuntos cerrados en R tales que su intersecci on es el vac o. 5. Sea (X, d) un espacio m etrico. Demuestre que si A, B X son completos, entonces A B tambi en es completo. [Fleitas], pag. 180 6. Sea (xn )n una sucesi on en un espacio m etrico (X, d) y sea la sucesi on de conjuntos A1 = {x1 , x2 , . . . }, A2 = {x2 , x3 , . . . }, . . . , An = {xn , xn+1 , . . . } Pruebe que (xn )n es una sucesi on de Cauchy si, y s olo si la sucesi on de los di ametros ( (An ))n , converge a 0. [Lipschutz], pag. 199 REFERENCIAS [Lipschutz]: Topolog a General. Autor: S. Lipschutz. Serie Schaum. Ed. McGraw-Hill. 1970 [Fleitas]: Problemas de Topolog a General. Autores: G. Fleitas y J. Margalef. Ed. Alhambra 1983

 Indice General
1 Preliminares 1.1 Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2 Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3 Numerabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 Espacios Metricos 1 1 3 6 11

2.1 Distancias y espacios metricos . . . . . . . . . . . . . . . . . . . . . . . . . 11 2.2 Bolas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2.3 Abiertos. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 2.4 Cerrados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3 Espacios topologicos 23

3.1 Espacio topologico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 3.2 Cerrados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3.3 Entornos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3.4 Subespacios topologicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 3.5 Espacios topologicos metrizables . . . . . . . . . . . . . . . . . . . . . . . . 31 4 Subconjuntos notables de un Espacio Topologico 35

4.1 Adherencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 4.1.1 Subconjuntos densos . . . . . . . . . . . . . . . . . . . . . . . . . . 37 79

80

INDICE GENERAL . . . . . . . . . . . . . . . 38 4.1.2 Puntos aislados y puntos de acumulacion 4.2 Interior y frontera . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 4.3 Sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42

5 Continuidad

45

5.1 Continuidad en un punto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 5.2 Continuidad en todo el espacio . . . . . . . . . . . . . . . . . . . . . . . . . 48 5.3 Continuidad uniforme. Isometr as . . . . . . . . . . . . . . . . . . . . . . . . 51 6 Espacios conexos 53

6.1 Conexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 6.2 Conexos en R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 y continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 6.3 Conexion 7 Espacios compactos 59

7.1 Espacios compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 7.2 Subconjuntos compactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60 7.3 Compactos en R y Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61 7.3.1 Compactos en R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61 7.3.2 Compactos en Rn . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62 7.4 Compactos en un espacio metrico . . . . . . . . . . . . . . . . . . . . . . . 64 7.4.1 Compactos en Rn de nuevo . . . . . . . . . . . . . . . . . . . . . . . 67 7.5 Compactos y funciones continuas . . . . . . . . . . . . . . . . . . . . . . . 68 nita . . . . . . . . . . . . . . . . . . . . . . . 69 7.6 Propiedad de la interseccion 8 Espacios completos 71

8.1 Sucesiones de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 8.2 Espacio metrico completo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72 8.3 Algunos resultados interesantes . . . . . . . . . . . . . . . . . . . . . . . . 74

 INDICE GENERAL

81

8.4 Completado de un espacio metrico . . . . . . . . . . . . . . . . . . . . . . . 76 8.5 Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77