3.7. Espacios Mtricos Completos La convergencia de sucesiones fue discutida en la seccin 3.2.

En esta seccin, esa discusin contina en el contexto de una propiedad de los espacios mtricos que asegura la convergencia de ciertas sucesiones. La propiedad de inters es la completitud. Hablando intuitivamente, esta propiedad es caracter stica de aquellos espacios en los que toda sucesin convergente converge a un punto en el espacio. !or e"emplo, el intervalo unitario abierto #$,%& no es completa debido a que la secuencia converge al punto que no est' en #$,%&. Esta idea es (ec(a precisa en la definicin que sigue. Definicin: )ea #*,d& un espacio mtrico. +na sucesin de puntos de * es una sucesin de ,auc(- siempre - cuando para cada nmero positivo existe un entero positivo . tal que si m - n son enteros ma-ores o iguales a ., entonces +na comparacin de definiciones demostrar' que toda sucesin convergente es una sucesin de ,auc(-. Definicin: +n espacio mtrico #*,d& es completa si cada secuencia de ,auc(- en * converge a un punto en * Ejemplo 3.7.1. #a& La completitud de la recta real es de (ec(o del an'lisis elemental. +na prueba tambin puede ser (ec(a usando El teorema de intervalos anidados de ,auc(#/eorema 2.%%&. Los detalles del proceso son de"ados como un e"ercicio para el lector #b& La completitud de se sigue de la de . !ara ver esto, considera una sucesin de ,auc(!ara la sucesin de las coordenadas i0 simas de los puntos x1 es una sucesin de ,auc(- en - por tanto converge al nmero real 2i. )e sigue f'cilmente que converge a #c& ,ada intervalo cerrada 3a,b4 es completo. !ara probar esto, considere una secuencia de ,auc(en 3a,b4. 5ado que es completa, esta secuencia converge al nmero real x en . 5ado que 3a,b4 es cerrado, se sigue f'cilmente que x pertenece a 3a,b4 #d& Los intervalos abiertos - los intervalos semi0abiertos semi0cerrados no son completos. !or e"emplo, es una sucesin de ,auc(- en #$,%& que no converge a un punto de #$,%&. E"emplos an'logos muestran la incompletitud de #a,b&, #a,b4, - 3a,b& para todos los nmeros reales a6b #e& El espacio de Hilbert #E"emplo 3.7.3& es completo. La prueba de este (ec(o se de"a como e"ercicio Los e"emplos precedentes muestran que un subespacio de un espacio completo podr an fallar en ser completos. El siguiente teorema caracteri2a aquellos subespacios que no (eredan la propiedad de completitud.

Teorema 3.16: )ea #*,d& un espacio mtrico completo. +n subespacio 8 de * es completo si - solo si es cerrado Prueba: )uponga primero que 8 es un subespacio completo. )e probar' que 8 es cerrado mostrando que 8 contiene todos sus puntos l mites. )i x es un punto l mite de 8, entonces por el teorema 3.9 existe una sucesin de puntos distintos de 8 que converge a x. 5ado que cada sucesin convergente es de ,auc(- - 8 es completo, el l mite de estas sucesiones, a saber x, debe estar en 8. !or tanto 8 es cerrado. )uponga a(ora que 8 es un subespacio cerrado de un espacio mtrico completo *. !ara demostrar que 8 es completo, considere una sucesin de ,auc(de puntos de 8. 5ado que * es completo, esta secuencia converge a un punto x que pertenece a *. !or el teorema 3.: #b&, el (ec(o que 8 es cerrado asegura que el l mite x pertenece a 8. !or tanto cada sucesin de ,auc(- de puntos de 8 converge a un punto en 8, concluimos que 8 es un subespacio completo. Ejemplo 3.7. . La propiedad de completitud no es preservada ba"o la equivalencia topolgica. En otras palabras, existe pares de espacios mtricos que son topolgicamente equivalentes siendo un espacio completo - el otro no completo. La recta real - el intervalo abierto #$,%& ilustran este fenmeno. Definicin: +n subcon"unto 8 de un espacio mtrico * es !enso en nin"una parte en * si tiene un interior vac o. Ejemplo 3.7.3. #a$ ,omo subcon"untos de la recta real , cada uno de los siguientes es denso en ninguna parte ; #i$ cualquier con"unto finito #ii$ el rango de la sucesin #iii$ el con"unto de los enteros #b$ ,omo subcon"untos del plano, cada uno de los siguientes es denso en ninguna parte #i$ cualquier con"unto finito #ii$ Los puntos cu-as coordenadas son enteros #iii$ ,ualquier coleccin finita de rectas #i%$ +n c rculo La propiedad de ser denso en ninguna parte es designada para describir aquellos con"untos que est'n <distribuidos mu- ligeramente= en sus espacios que los contienen. La ligere2a de la distribucin es refle"ada en el (ec(o que la cerradura de un con"unto denso en ninguna parte no contiene ninguna bola abierta de radio positivo. +n con"unto 8 que falle en ser denso en ninguna parte, es pensado como <distribuido densamente= cerca de de los puntos interiores de - es frecuentemente llamado denso en algunas partes. 8unque no deber amos tener ra2n para usar este trmino, parece ser preferible a la doble negacin <no denso en ninguna parte=

Definicin: +n espacio o subespacio mtrico que es la unin de una familia contable de con"untos densos en ninguna parte se dice que es de primera cate"or&a. +n espacio mtrico que no es de primera categor a se dice que es de se"un!a cate"or&a. Ejemplo 3.7.'. #a& ,omo un subespacio de , esl subcon"unto > de los nmeros racionales es de primera categor a. Es la unin de una coleccin contable de con"untos unitarios densos en ninguna parte, cada uno conteniendo un nmero racional. )imilarmente, el con"unto de puntos en que tiene todas sus coordenadas racionales es tambin de primera categor a #b& El siguiente teorema, El teorema de categor a de ?aire, muestra que todo espacio mtrico completo es de segunda categor a. @ustificar' la aseveracin presente que es de segunda categor a para cada entero positivo n. 5esde un punto de vista intuitivo, el concepto de categor a describe la ligere2a o espesor de la distribucin de puntos en un con"unto relativo al espacio que lo contiene. ,omo (emos notado, un con"unto denso en ninguna parte, cu-a cerradura no contiene bolas de radio positivo, es considerada como mu- ligeramente distribuida. +n con"unto de primera categor a es la unin de una familia contable de tales con"untos ligeros, - un con"unto de segunda categor a no lo es. El siguiente lema provee una caracteri2acin de con"untos densos en ninguna parte. )u prueba se de"a como un e"ercicio (ema: +n subcon"unto 8 de un espacio mtrico * es denso en ninguna parte en * si - solo si cada con"unto no vac o en * contiene una bola abierta cu-a cerradura es dis"unto de 8 Teorema 3.17. El teorema de categor a de ?aire. ,ada espacio mtrico completo, considerado como un subespacio de s mismo, es de segunda categor a Prueba: La prueba es por contradiccin. )uponiendo que el teorema es falso, sea * un espacio mtrico completo que no es de segunda categor a. Entonces existe una sucesin de con"unto densos en ninguna parte cu-a unin es *. !or ele lema, el con"unto abierto * debe contener una bola abierta cu-a cerradura es dis"unta de 8%. Escogemos dic(a bola abierta de radio menor a %. 5ado que es un con"unto abierto no vac o, debe contener una bola abierta de radio menor a A para el cual es dis"unto de 82. !rocediendo inductivamente, definimos una sucesin anidada de bolas abiertas para las cuales el radio de es menor que %Bn es dis"unta de La sucesin de centros de estas bolas abiertas es una sucesin de ,auc(- que, por completitud, converge a un punto x en *. 5ado que x pertenece a cada uno de los con"untos , entonces x no pertenece a ninguno de los con"untos !or tanto la unin de los con"unto 8 n no puede ser igual a *, contrariamente a la suposicin que * es de primera categor a. !or tanto espacios mtricos completos solo pueden ser de segunda categor a.

Definicin: )ea #*,d& un espacio mtrico una funcin. Entonces f es contracti%a con respecto a la mtrica d siempre - cuando exista un nmero positivo tal que, para todo es un e"ercicio f'cil mostrar que una funcin contractiva es siempre continua. 5e (ec(o, cualquier funcin que no incrementa la distancia es continua Teorema 3.1): El lema !e contraccin. )ea #*,d& un espacio mtrico completo una funcin contractiva. Entonces existe exactamente un punto x en * para el cual Prueba: !ara mostrar la existencia de tal punto, esco"a un punto x% en * - defina

El (ec(o que f es una funcin contractiva asegura que es una sucesin de ,auc(-. !or completitud, esta sucesin tiene un l mite x en *. 5ado que es continua, entonces la sucesin converge a f#x&. !ero as que es simplemente cu-o limite es x. !or tanto f#x&Cx. !ara mostrar la propiedad de unicidad requerida, suponga que - es un segundo punto que satisface Entonces

5ado que

esta relacin no puede ser verdad a menos que

El punto x para el cual f#x&Cx en la prueba del /eorema 3.%D es llamado un punto fijo de la funcin f, - los teoremas de este tipo son llamados teoremas de punto fijo. Este e"emplo particular, el lema de contraccin, es extremadamente til para resolver ecuaciones en espacios de funciones e ilustra la significancia de la propiedad de completitud. Eeremos los teoremas de punto fi"o de nuevo en un contexto m's general en los cap tulos F - 9. El resultado final de este cap tulo muestra que cada espacio mtrico puede ser considerado como un subespacio de un espacio mtrico completo, llamada la completacin del espacio dado. Earias definiciones preliminares son necesarias. Definicin: )ean #*,d& - #G,dH& espacios mtricos. +na funcin que preserva la distancia desde * (acia G es llamada un enca"e isomtrico Definicin: +n subespacio 8 de un espacio mtrico * es !enso en * siempre cuando /eorema 3.%9. )ea #*,d& un espacio mtrico. Entonces existe un espacio mtrico completo #G,dH& - un enca"e isomtrico para el cual es un subespacio denso de G. El espacio #G,d& es nico en lo que respecta a la equivalencia mtrica.

Prueba: La larga prueba de este teorema, que define la complexin de un espacio mtrico #*,d& es presentada en forma de bosque"o. 8lgunos detalles de la prueba se de"an como e"ercicio para el lector. )ea una familia de todas las sucesiones de ,auc(en *. !or brevedad, denotemos una sucesin de ,auc(- t pica por . 5efina una relacin de equivalencia I en como sigue; Las secuencias de ,auc(van a ser consideradas equivalentes, siempre - cuando la sucesin de nmeros reales tenga l mite $. )e de"a como e"ercicio para el lector verificar que I es una relacin de equivalencia. )ea que denota la familia de clases equivalente, donde denota la clase de equivalencia de . !ara defina

como el l mite de la sucesin de nmeros reales. 5ado que dH es definida para pares de las clases de equivalencia, es necesario mostrar que es independiente de la eleccin de los representativos en sus respectivas clases. !ara sucesiones de ,auc(equivalentes respectivamente a se debe mostrar que

Esto se sigue de las propiedades de la funcin distancia d - del (ec(o que

- se de"a como e"ercicio. La prueba que dH es una mtrica tambin se de"a como e"ercicio. !ara x en *, la sucesin constante cu-o nico valor es x es claramente de ,auc(- - determina un miembro 5efina por

!ara

as que e es un mapeo isomtrico desde * (acia G

!ara ver que la cerradura de )ea un punto de un nmero positivo. La conclusin deseada se seguir' si se puede mostrar que existe algn miembro de cu-a distancia desde es menor a . 5ado que ,auc(-, existe un entero positivo . para el cual implica )ea considere el miembro determinado por 2. Entonces

8s que est' dentro de la distancia prescrita de La completitud de #G,dH& puede ser demostrada como sigue. Los detalles se de"an como un e"ercicio. !rimero note que cada sucesin de ,auc(- en el subespacio denso de G converge. !ara ver esto, sea una sucesin de ,auc(- en , donde cada sucesin tiene un valor constante un punto en *, 1C%,2,3JEntonces es una sucesin de ,auc(- en * - determina un miembro de G para el cual la sucesin de ,auc(- dada en converger. 8(ora sea una sucesin de ,auc(- en G. 5ado que es denso en G, entonces existe para cada entero positivo 1 un miembro cu-a distancia de es menor a %B1. )e sigue que es una sucesin de ,auc(- que, como se acaba de demostrar, converge a algn miembro de G. !or el modo como los miembros fueron elegidos, se sigue que converge al mismo miembro de G. !or tanto G es completo. Kueda por mostrar que #G,dH& es nico en lo que respecta a la equivalencia mtrica. !ara establecer esto, sea otro espacio mtrico completo un enca"e isomtrico de * en L para el cual f#*& es denso en L. 5ebe ser probado que es mtricamente equivalente a 5efina por

Esta funcin es extendida a una isometr a desde G sobre L como sigue; )ea <-= un miembro de 5ado que es denso en G, existe una sucesin de miembros de que converge a -. Entonces es una sucesin de ,auc(- en L que, por completitud, converge a un punto )e de"a como un e"ercicio el mostrar que es una isometr a desde sobre

Definicin: )ea #*,d& un espacio mtrico. El espacio #G,dH& definido por el teorema 3.%9 es llamado la completacin de #*,dH& 5ado que no distinguimos entre espacios mtricos isomtricos, el teorema 3.%9 garanti2a la existencia de exactamente una completacin para cada espacio mtrico. 5e (ec(o, la condicin de unicidad es frecuentemente m's til en determinar la completacin de espacios mtricos que la algo complicada construccin descrita por el teorema. Esto es ilustrado por el siguiente e"emplo. Ejemplo 3.7.*. #a& la completacin del espacio de los nmeros racionales es la recta real . La construccin de completacin es, de (ec(o, frecuentemente usada para definir los nmeros reales a partir de los nmeros racionales. 8sumiendo, sin embargo, que los nmeros reales -a (an sido definidos, la aseveracin es establecida

como sigue; La recta real es un espacio mtrico completo que contiene al espacio mtrico de los racionales como un subespacio denso. La unicidad de la completacin muestra que es la completacin deseada. #b& La completacin de #$,%& es 3$,%4. Esto se sigue f'cilmente a partir de la unicidad de la completacin; 3$,%4 es un espacio mtrico completo que contiene a #$,%& como un subespacio denso Ejemplo 3.7.6. El espacio Este e"emplo generali2a el espacio de funciones reales continuas definidas en un intervalo cerrado 3a,b4. !ara un espacio mtrico dado #*,d&, denota la familia de funciones reales continuas acotadas con dominio *. #+n funcin acotada es una funcin cu-a imagen f#*& es acotada& !ara defina sup La prueba que es una mtrica se de"a como e"ercicio. La mtrica es llamada la mtrica del supremo o la mtrica uniforme para El espacio mtrico es un espacio mtrico completo. !ara ver esto, sea una sucesin de ,auc(- en . Entonces para x en *, la sucesin es una sucesin de ,auc(- de nmeros reales que converge a un nmero real f#x&. Esto define una funcin llamada el lmite de la sucesin . La sucesin converge a la funcin l mite en el siguiente sentido algo fuerte; 5ado existe un entero positivo . tal que si entonces La caracter stica esencial aqu es el (ec(o que el entro . depende solo de - no de de la eleccin de x. El mismo entero . ser' suficiente para cada punto x en *. !or esta ra2n, la sucesin se dice que converge uniformemente a f. La completitud de ser' establecida mostrando que la funcin limite f es acotada - continua. El (ec(o que f est' acotada se sigue f'cilmente; )ea M un entero positivo para el cual implica Entonces dado que es acotada - f#x& difieren por no m's de % para todo x en *, f debe ser tambin acotada. La continuidad de f es establecida como sigue. )ea x $ un punto de * - un nmero positivo. )ea . un nmero positivo tal que si entonces 5ado que es continua en x$, existe un nmero positivo tal que si entonces !or tanto para x en * que satisface

!or tanto la funcin l mite f es continua, es un espacio mtrico completo. El espacio tiene una estructura adicional que, aunque interesante, no es central para el propsito de este texto. /iene un estructura algebraica de adicin multiplicacin por nmeros reales como sigue;

,on estas operaciones, es un espacio vectorial. +na norma para , que tiene propiedades an'logas a aquellas de la norma en es definida por sup Esta norma define la mtrica para como sigue; !or tanto es un espacio vectorial con una norma, - es completo en la mtrica definida por esa norma. /al espacio es llamado un espacio de Banach. Los espacios de ?anac( son extremadamente importantes en topolog a - an'lisis. +n espacio de Hilbert es un espacio de ?anac(N la prueba de esto se de"a como e"ercicio. Onformacin adicional acerca del tema de espacios ?anac( puede ser encontrada en la lista de lecturas suplementarias al final del cap tulo La convergencia de sucesiones en en la siguiente definicin. es definida en un contexto m's general

Definicin: )ean #*,d& - #G,dH& espacios mtricos una sucesin de funciones desde * (acia G. Esta sucesin con%er"e uniformemente a una funcin siempre - cuando para cada nmero positivo existe un entero positivo . tal que si es un punto de *, entonces La prueba del siguiente teorema, que se puede basar en el e"emplo 3.:.7, se de"a como e"ercicio Teorema 3. +. )ea #*,d& - #G,dH& espacios mtricos una sucesin de funciones continuas desde * (acia G que convergen uniformemente a una funcin . Entonces f es continua Los teoremas ma-ores de esta seccin tienen una amplia aplicabilidad a otras 'reas de las matem'ticas. !or e"emplo, el lema de contraccin es usado para probar el /eorema de la Puncin Onversa de an'lisis - el teorema de existencia de !icard de ecuaciones diferenciales. El teorema de ,ategor a de ?aire tiene una multitud de aplicaciones, inclu-endo el principio de acotacin uniforme del an'lisis funcional teoremas en aproximacin de funcionesN puede ser usado, por e"emplo, para mostrar que existe una funcin continua que no es diferenciable en ninguna parte. La aplicabilidad del teorema de ?aire se debe ampliamente al (ec(o que espacio de Hilbert, - muc(os espacios relaciones son espacios mtricos completos. >eferencias para la investigacin de estas aplicaciones son dadas al final del cap tulo. Ejercicio 3.7 1. Muestre la incompletitud de #a,b&, #a,b4, - 3a,b& presentando sucesiones de ,auc(- que no convergen . !ruebe que cada sucesin convergente es una sucesin de ,auc(3. #a& !ruebe lo siguiente; Teorema !e interseccin !e Cantor: )ea #*,d& un espacio mtrico completo una sucesin de con"untos cerrados anidados no vac os cu-os di'metros tiene l mite $. Entonces tiene exactamente un miembro #b& Muestre que, en la parte #a&, podr a ser vac o si el requerimiento que los di'metros tienden a $ es suprimido

'.

Muestre que el espacio de Hilbert #E"emplo 3.7.3& es completo conclu-a que es un espacio de ?anac( *. !ruebe que las siguientes afirmaciones son equivalente para un subcon"unto 8 de un espacio mtrico *; #a& 8 es denso en ninguna parte #b& ,ada con"unto abierto no vac o en * tiene un subcon"unto abierto no vac o dis"unto de #c& ,ada con"unto abierto no vac o en * contiene una bola abierta cu-a cerradura es dis"unta de 8 6. )ea #*,d& un espacio mtrico, M un nmero positivo, funcin continua para la cual

una

!ara todo x,- en *. !ruebe que f es continua. +se esto para concluir que toda funcin contractiva es continua 7. 5e un e"emplo de dos espacios mtricos que son topolgicamente equivalente - para el cual es completo pero no ). 5e un e"emplo de un con"unto * con dos mtricas equivalentes d dH para el cual #*,d& es completo - #*,dH& no lo es. ,. )ea #*,d& un espacio mtrico completo. Muestre que el proceso de completacin del teorema 3.%9 define un espacio #G,dH& que es mtricamente equivalente a #*,d& 1+. ,omplete los detalles en la prueba del teorema 3.%9 11. !ruebe el teorema 3.2$ 1 . 5e un e"emplo de una sucesin de funciones continua tal que, para cada x en OC3$,%4, conver"a a un nmero real f#x&, pero la funcin l mite f no sea continua 13. )ea #*,d& un espacio mtrico - 8 un subespacio denso tal que cada sucesin de ,auc(- en 8 converge a *. !ruebe que * es completo. Odentifique el uso de este resultado en la prueba del teorema 3.%9 1'. Definicin: )ea #*,d& un espacio mtrico. +n punto p en * es un punto aisla!o si el con"unto unitaria QpR es un con"unto abierto #a$ )ea #*,d& un espacio mtrico - <p= un punto de *. 8suma !ruebe que las siguientes afirmaciones son equivalentes; #i$ p es un punto aislado #ii$ #iii$ #b$ !ruebe que un espacio mtrico completo sin puntos aislados debe ser contable #)ugerencia; use el teorema de ,ategor a de ?aire& 1*. )ea #*,d& un espacio mtrico completo una sucesin de subcon"untos abiertos densos en *. !ruebe que es denso en * 16. El teorema de ,ategor a de ?aire #/eorema 3.%:& muestra que para espacios mtricos, la completitud implica la propiedad de ser de segunda categor a. Muestre que estas propiedades no son equivalente dando un e"emplo de un espacio mtrico que es de segunda categor a pero no es completo #)ugerencia; ,ualquier intervalo abierto es topolgicamente equivalente a .& 17. )ea una funcin continua - no acotada. Muestre que existe un nmero t$ para el cual Q <n= un enteroR es un con"unto no acotado