Вы находитесь на странице: 1из 48

UNIVERSIDAD NACIONAL DEL CALLAO

FACULTAD DE CIENCIAS NATURALES Y MATEMATICA DEPARTAMENTO ACADEMICO DE MATEMATICA

INFORME FINAL DE SEPARATA CONJUNTOS ABIERTOS Y CONJUNTOS CERRADOS EN ESPACIOS METRICOS

Resoluci on Decanal N 102-2012-D-FCNM.

Mg. Dionicio Orlando Moreno Vega

SEMESTRE ACADEMICO 2012-B

Indice general
Resumen Introducci on Materiales y M etodos 1. Marco Te orico 1.1. Conjuntos . . . . . . . 1.2. Operaciones B asicas . 1.3. Ejercicios y Problemas 1.4. Otras Operaciones . . 1.5. Ejercicios y Problemas 1.6. Familias de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2 3 4 4 4 6 6 7 7 10 10 15 16 16 17 17 22 23 28 29 30 31 31 33 35 41 43 45 46

2. Espacios M etricos 2.1. Deniciones y Ejemplos 2.2. Ejercicios y Problemas . 2.3. Subespacio M etrico . . . 2.4. Ejercicios y Problemas .

3. Conjuntos Abiertos 3.1. Bolas en Espacios M etricos . . . . . . 3.2. Ejercicios y Problemas . . . . . . . . 3.3. Conjuntos Abiertos . . . . . . . . . . 3.4. Ejercicios y Problemas . . . . . . . . 3.5. Conjuntos Abiertos en un Subespacio 3.6. Ejercicios y Problemas . . . . . . . . 4. Conjuntos Cerrados 4.1. Sucesiones en Espacios M etricos . . . 4.2. Ejercicios y Problemas . . . . . . . . 4.3. Conjuntos Cerrados . . . . . . . . . . 4.4. Ejercicios y Problemas . . . . . . . . 4.5. Conjuntos Cerrados en un Subespacio Discusi on y Conclusiones Bibliograf a

ii

Resumen

En esta separata, se introduce la noci on de espacio m etrico y de subespacio m etrico, estudiando numerosos ejemplos y propiedades b asicas. Se introduce la noci on de topolog a asociada a un espacio m etrico introduciendo las bolas abiertas y a partir de aqui se estudian los conjuntos abiertos, conjuntos cerrados y sus propiedades.

Introducci on

El concepto abstracto de espacios m etricos fue introducido inicialmente por el matem atico Franc es M. Fr echet en 1906 y desarrollado mas tarde por el famoso top ologo F. Hausdor en sus Mengenlehre. Despu es de 1920, la topolog a m etrica es objeto de exhaustivas investigaciones que logran su pleno desarrollo y ponen de maniesto su extraordinario poder unicador de toda una variedad de teor as, hasta entonces dispersas y aparentemente independientes. Su importancia inicial se atribuye, en parte, a que fuera reconocida como una interesante generalizaci on de la teor a de espacios normados y las aplicaciones de estos en el naciente an alisis funcional, desarrollada por Stephan Banach y sus seguidores. A su vez, la escuela de Mosc u realizaba importantes descubrimientos sobre propiedades de los espacios m etricos, con impresionante despliegue de actividad investigadora durante la d ecada 1920-1930. Su principal objetivo consist a en obtener condiciones necesarias y sucientes para que un espacio topol ogico fuese metrizable. En la actualidad, la topolog a m etrica constituye una rama de la topolog a general y los espacios m etricos un caso particular de los topol ogicos. Todas las Obras de la topolog a general dedican uno o dos cap tulos al tratamiento de los espacios m etricos. No obstante, estos u ltimos admiten y merecen un estudio independiente por dos razones. Primero, pueden ser desarrollados en forma de una hermosa teor a acabada, menos inclinada a presentar fen omenos patol ogicos que la topolog a general, y, por tanto, m as asequible a nuestra intuici on geom etrica. Segundo, constituye el fundamento indispensable y m as inmediato para un estudio serio y riguroso del an alisis matem atico. Se pretende alcanzar las siguientes competencias espec cas: utilizar los conceptos b asicos asociados a la noci on de espacio m etrico, reconocer y utilizar las propiedades sencillas de los conjuntos abiertos y conjuntos cerrados en espacios m etricos, construir ejemplos de espacios m etricos usando la noci on de subespacio m etrico y espacio m etrico producto.

Materiales y M etodos

Los materiales utilizados para la elaboraci on de esta separata fueron: Libros de especializaci on, servicios de internet, CDs, memoria USB, fotocopias, espiralados, tipeos e A impresiones, papel de impresi on, y el editor de texto L TEX. La metodolog a empleada en esta separata es el enfoque inductivo y deductivo. Inductivo pues inducimos las deniciones, teoremas, proposiciones, lemas, corolarios, etc. y el deductivo porque deducimos demostraciones de teoremas, proposiciones, lemas y corolarios.

Cap tulo 1 Marco Te orico


1.1. Conjuntos

En este cap tulo presentamos los conceptos fundamentales sobre la teor a de conjuntos que nos ser an muy u tiles en el desarrollo de la separata. En primer lugar recordamos las operaciones b asicas: pertenencia, uni on, intersecci on y diferencia. A continuaci on introducimos el producto cartesiano de dos o mas conjuntos y el conjunto potencia. No pretendemos elaborar una teor a demasiado formalista y rigurosa que se aleje, a veces demasiado, de los objetivos de la separata. Por esto, nosotros adoptaremos un punto de vista, mayoritario por otra parte, simple: supondremos que todo el mundo sabe lo que es un conjunto, al menos una idea intuitiva bastante razonable. Para avanzar un poco tambi en supondremos conocidos algunos conceptos b asicos sobre los conjuntos. No obstante, recordaremos brevemente, y sin entrar en muchos detalles, las ideas necesarias para abordar un curso de introducci on a la Topolog a de Espacios M etricos.

1.2.

Operaciones B asicas

Como siempre, jaremos una notaci on b asica antes de empezar. La primera operaci on que se dene con un conjunto es la de pertenencia de sus elementos: si un elemento a pertenece a un conjunto A escribiremos a A, mientras que utilizaremos el s mbolo / para indicar que el objeto a no es un elemento del conjunto A. Utilizaremos la notaci on A B para indicar que todos los elementos de A son tambi en elementos de B . Entonces se dir a que A es un subconjunto de B . Si existe alg un elemento de B que no est a en A, entonces diremos que A es un subconjunto propio de B , y se representar a como A B . Cuando se trabaja en alguna de las areas de Matem aticas, normalmente se tiene un conjunto de referencia que se suele llamar conjunto universal o conjunto total, y que nosotros denotaremos habitualmente por X . Por ejemplo, en geometr a eucl dea plana este conjunto es el formado por todos los puntos del plano; en otras areas de las matem aticas, este conjunto puede ser el formado por todos los n umeros reales, o por todas las funciones, etc. En Topolog a de Espacios M etricos ser a un espacio m etrico. 4

Dado un conjunto cualquiera A X , denimos el complemento de A (en X ), lo que denotaremos por Ac o X A, como el conjunto Ac = X A = {x X : x / A}. Es necesario recordar tambi en el concepto de conjunto vac o, que representaremos por , y que es el conjunto que no tiene ning un elemento; lo consideraremos nito y supondremos que est a contenido en cualquier otro conjunto. Adem as, satisface las siguientes igualdades: X X = X c = y X = c = X. Dados dos conjuntos A y B , podemos denir tres operaciones elementales entre ellos: la uni on, la intersecci on y la diferencia. Uni on de Conjuntos La uni on de los conjuntos A y B es el conjunto formado por los elementos que pertenecen a A, a B o a ambos, y se representa por A B = {x X : x A o x B }. Los elementos que son comunes a ambos conjuntos no se duplican. Por ejemplo, si A = {1, 2} y B = {2, 3}, entonces A B = {1, 2, 3}. Intersecci on de conjuntos La intersecci on de dos conjuntos A y B es el conjunto formado por los elementos que pertenecen simult aneamente a los conjuntos A y B , y se representa como A B = {x X : x A y x B }. La intersecci on de dos conjuntos puede ser el conjunto vac o. Por ejemplo, si A = {1, 2} y B = {3, 4}, entonces A B = Diferencia de Conjuntos La diferencia de los conjuntos A y B es el conjunto formado por los elementos de A que no pertenecen a B , y se representa como A B = {x X : x A y x / B }. El conjunto A B se llama a veces el complemento de B en A. Algunos conjuntos de uso habitual Recordemos la notaci on habitual para referirnos a los conjuntos de n umeros: N (n umeros naturales o enteros positivos), Z (n umeros enteros), Q (n umeros racionales), R (n umeros reales) y C (n umeros complejos).

1.3.

Ejercicios y Problemas

1. Pruebe que A B = A (X B ) 2. Estudie cu ales de las siguientes armaciones son verdaderas. En caso de ser verdadera, demu estrela; y si es falsa, encuentre un contraejemplo. i) A B y A C , entonces A B C . ii) A B y A C , entonces A B C . iii) A B o A C , si, y s olo si, A B C . iv ) A B y A C , si, y s olo si, A B C .

1.4.

Otras Operaciones

Ya hemos visto que la uni on (), la intersecci on () y la diferencia son operaciones que nos permiten obtener, a partir de dos conjuntos dados, un nuevo conjunto. Pero tambi en podemos construir el conjunto formado por todas las parejas de elementos de ambos conjuntos. M as precisamente, dados dos conjuntos A y B , el producto cartesiano A B es el conjunto denido por A B = {(x, y ) : x A e y B }. Conjunto Potencia Y qu e ocurre cuando los elementos de un conjunto A son, a su vez, conjuntos? Bueno, para evitar malentendidos y no caer en contradicciones, en este caso diremos que A es una colecci on de conjuntos o una familia de conjuntos. No obstante, como suele ser habitual, tambi en se utiliza el t ermino conjunto de conjuntos. Utilizaremos letras caligr acas para referirnos a las familias de conjuntos: A, B, etc. El ejemplo m as inmediato es el siguiente. Dado un conjunto A, el conjunto formado por todos los subconjuntos de A se denomina conjunto potencia de A y se denota por P (A). Tambi en se suele decir que P (A) es el conjunto de las partes de A. Algunas propiedades Leyes distributivas: Son dos: (pru ebelas como ejercicio) i) A (B C ) = (A B ) (A C ), ii) A (B C ) = (A B ) (A C ). Leyes de De Morgan: Tambi en son dos: i) A (B C ) = (A B ) (A C ), ii) A (B C ) = (A B ) (A C ).

1.5.

Ejercicios y Problemas

1. Sean X e Y dos conjuntos, A, C X y B, D Y . Pruebe las siguientes igualdades y contenidos: i) A (B D ) = (A B ) (A D ). ii) A (B D ) = (A B ) (A D ). iii) A (Y B ) = (A Y ) (A B ). iv ) (A B ) (C D ) = (A C ) (B D ). v ) (A B ) (C D ) (A C ) (B D ). Encuentre un ejemplo que demuestre que la inclusi on puede ser estricta. vi) (X Y ) (A B ) = (X (Y B )) ((X A) Y ). 2. Demuestre las leyes de De Morgan. 3. Estudie cu ales de las siguientes armaciones son verdaderas. Demu estrelas cuando lo sean y proporcione un contraejemplo en caso contrario. i) A C y B D entonces (A B ) (C D ). ii) (A B ) (C D ), entonces A C y B D . iii) (A B ) (C D ), entonces A C y B D . Suponiendo que A y B son no vac os. iv ) (A B ) (C D ) = (A C ) (B D ).

1.6.

Familias de Conjuntos

Las operaciones uni on e intersecci on que hemos denido para dos conjuntos se pueden extender sin ninguna dicultad a una familia arbitraria de conjuntos. Sea A una familia de conjuntos. Entonces la uni on de los elementos de A se dene como el conjunto de todos los elementos que pertenecen a alguno de los conjuntos de A y lo representaremos por A = {x X : x A, para alg un A A}.
AA

De modo similar, la intersecci on de los elementos de A se dene como el conjunto formado por los elementos que pertenecen a todos los elementos de A, es decir, A = {x X : x A, para todo A A}.
AA

Las leyes distributivas y de De Morgan que hemos visto anteriormente pueden extenderse sin excesiva dicultad al caso de familias arbitrarias de conjuntos. Teorema 1 (Leyes distributivas). Sea A = {Ai : i I } una familia arbitraria de conjuntos y B un conjunto. Entonces: 7

i) B (
iI

Ai ) =
iI

(B Ai ). (B Ai ).
iI

ii) B (
iI

Ai ) =

Prueba. S olo probaremos la propiedad i), pues la otra se prueba de manera totalmente an aloga. Sea x B ( Ai ). Si x B , entonces x B Ai para todo i I , por lo que
iI

x
iI

(B Ai ). En otro caso, x
iI

Ai , por lo que x Ai para todo i I . Entonces (B Ai ). Entonces


iI

x B Ai , para todo i I , por lo que x B(


iI

Ai )
iI

(B Ai ).

(1.1)

Rec procamente, si x
iI

(B Ai ) entonces x B Ai para todo i I . Si x B entonces Ai y


iI

tambi en x B (
iI

Ai ). En otro caso, x Ai para todo i I , es decir, x

as xB(
iI

Ai ). Entonces (B Ai ) B (
iI iI

Ai ).

(1.2)

De (1.1) y (1.2): B (
iI

Ai ) =
iI

(B Ai ).

Teorema 2 (Leyes de De Morgan). Sea A = {Ai : i I } una familia arbitraria de subconjuntos de un conjunto dado X . Entonces: i) X (
iI

Ai ) =
iI

(X Ai ). (X Ai ).
iI

ii) X (
iI

Ai ) =

Prueba. Probaremos s olo el apartado i), pues el ii) es totalmente an alogo. Si x X (


iI

Ai ), entonces x / Ai para todo i I , de modo que x X Ai para (X Ai )


iI

todo i I luego x

X (
iI

Ai )
iI

(X Ai ).

(1.3)

Rec procamente, si x
iI

(X Ai ) entonces x / Ai para todo i I , por lo que x /


iI

Ai

entonces x X (
iI

Ai ), esto es (X Ai ) X (
iI iI

Ai ).

(1.4)

De (1.3) y (1.4): X (
iI

Ai ) =
iI

(X Ai )

Para nalizar esta secci on enunciamos el siguiente resultado acerca de la diferencia de conjuntos. Teorema 3 Sean A y B dos subconjuntos de X . Se cumple: i) A (A B ) = A B . ii) A (A B ) = A B . Prueba. La prueba es bastante sencilla y basta repetir las ideas expuestas en las demostraciones anteriores. Demostremos, por ejemplo, el apartado i). Si x A (A B ) entonces x A y x / A B . Esta segunda condici on implica que x B . Entonces x A B , luego A (A B ) A B. (1.5)

Rec procamente, si x A B entonces x A y x B que implica que x A y x / AB y as x A (A B ), de este modo A B A (A B ). De (1.5) y (1.6): A (A B ) = A B (1.6)

Cap tulo 2 Espacios M etricos


2.1. Deniciones y Ejemplos

Denici on 1 Sea X un conjunto no vac o y d : X X R una funci on. Decimos que d ES UNA METRICA EN X si, y s olo si, cumple las siguientes propiedades: i) Para todo x, y X : d(x, y ) 0, ii) Para x, y X : d(x, y ) = 0 si, y s olo si, x = y , iii) Para todo x, y X : d(x, y ) = d(y, x), iv ) Para todo x, y, z X : d(x, y ) d(x, z ) + d(z, y ). Nota 1 i) Los elementos de X ser an llamados puntos. ii) d(x, y ) es llamado distancia de x a y . Denici on 2 Un ESPACIO METRICO es un par (X, d) donde X es un conjunto y d una m etrica denida sobre X . Ejemplo 1 Consideremos el conjunto R de los n umeros reales y la funci on d : R R R denida por d(x, y ) = |x y |, para todo x, y R. Las condiciones de m etrica se deducen inmediatamente de las propiedades conocidas del valor absoluto. A esta m etrica llamaremos m etrica usual de R. Esta conere a R estructura de espacio m etrico, el cual se llama usualmente la recta real. Son muchas y muy diversas las m etricas que pueden denirse para R. No obstante, a menos que se exprese lo contrario, cuando se considere a R como espacio m etrico, se entender a que la distancia es la denida arriba. Ejemplo 2 Sea X un conjunto no vac o cualquiera, denamos la funci on d : X X R tal que para todo x, y X : 1 si x = y, d(x, y ) := 0 si x = y.

Esta m etrica se llama m etrica discreta y vericar las condiciones de m etrica se reduce a una mera comprobaci on. Observamos adem as que cambiando el 1 por cualquier otro valor 10

num erico positivo obtenemos otra m etrica, tambi en discreta. Al espacio m etrico resultante (X, d) se le llama espacio discreto. Aunque carece de mayor inter es, dada su evidente trivialidad, nos indica que todo conjunto no vac o puede proveerse de una m etrica. Por otra parte, los espacios discretos se emplean con frecuencia como contra-ejemplos. Ejemplo 3 Sea X = R2 , denamos las funciones d1 , d2 , d : R2 R2 R tal que para todo x, y R2 : d1 (x, y ) := |x1 y1 | + |x2 y2 |, d2 (x, y ) := (x1 y1 )2 + (x2 y2 )2 ,

d (x, y ) := m ax(|x1 y1 |, |x2 y2 |) La prueba de que d1 y d son m etricas es una mera comprobaci on. En efecto, tal y como se han denido, las dos son no negativas; adem as como |xi yi | = 0 y (xi yi )2 = 0 si, y s olo si, xi = yi se cumple la condic on ii) de m etrica. Adem as |xi yi | = |yi xi | 2 2 y (xi yi ) = (yi xi ) , con lo que obtenemos la condici on iii). Para la desigualdad triangular s olo hay que tener en cuenta la desigualdad triangular del valor absoluto, esto es, |xi yi | |xi zi | + |zi yi|; para i {1, 2} con lo que en el caso d1 tenemos: d1 (x, y ) = = = y para d : d (x, y ) = = = = m ax(|x1 y1 |, |x2 y2 |) m ax(|x1 z1 | + |z1 y1 | + |x2 z2 | + |z2 y2 |) m ax[(|x1 z1 | + |x2 z2 |) + (|z1 y1 | + |z2 y2 |)] m ax(|x1 z1 | + |x2 z2 |) + m ax(|z1 y1 | + |z2 y2 |) d (x, z ) + d (z, y ) |x1 y1 | + |x2 y2 | |x1 z1 | + |z1 y1 | + |x2 z2 | + |z2 y2 | (|x1 z1 | + |x2 z2 |) + (|z1 y1 | + |z2 y2 |) d1 (x, z ) + d1 (z, y )

Lo mismo sucede con las propiedades i), ii) y iii) para la m etrica usual d2 ; no asi con la propiedad iv ) en la que hay que utilizar la desigualdad de Cauchy Schwarz. Sean x, y, z R2 y consideremos:
2

[d2 (x, y )]2 = [(


i=1 2

(xi yi )2 ) 2 ]2 (xi yi )2

=
i=1 2

=
i=1 2

[(xi zi ) + (zi yi )]2 [(xi zi )2 + (zi yi)2 + 2(xi zi )(zi yi)]


i=1

11

[d2 (x, y )]

=
i=1 2

(xi zi ) +
i=1 2

(zi yi) + 2
i=1 2

(xi zi )(zi yi ) (xi zi )] 2 [(zi yi )] 2


i=1
1 1 1

i=1

(xi zi )2 +
i=1 2
1 2

(zi yi)2 + 2[
2

= {[
i=1

(xi zi )2 ] + [
i=1

(zi yi )2 ] 2 }2

= (d2 (x, z ) + d2 (z, y ))2 luego d2 (x, y ) d2 (x, z ) + d2 (z, y ) Las funciones anteriores miden la distancia de una forma distinta, y en la siguiente gura se puede ver una representaci on gr aca de cada una de ellas:

Figura 2.1: Gr acos de d1 , d2 y d Las tres m etricas son generalizaciones de la m etrica usual que hemos denido en R y las tres tienen nombre propio: d1 se llama la distancia de suma o taxi, d2 se llama la distancia eucl dea o usual y d se llama la distancia del m aximo o del ajedrez. Ejemplo 4 El ejemplo 3 anterior se puede generalizar facilmente a Rn como sigue. Sean los puntos x = (x1 , x2 , , xn ) e y = (y1 , y2 , , yn ) Rn . Se denen:
n

d1 (x, y ) :=
i=1

|xi yi|, 12

d2 (x, y ) := [
i=1

(xi yi )2 ] 2 ,

d (x, y ) := m ax{|xi yi | : 1 i n} Compruebe como ejercicio, que se verican las condiciones de m etrica. Ejemplo 5 Sea X = C, denamos la funci on d : C C R tal que para todo z1 , z2 C: d(z1 , z2 ) := |z1 z2 |. Pruebe que d es una m etrica en C. Ejemplo 6 Sea X = B([a, b]; R) = {f : [a, b] R : |f (x)| M, M > 0}, denamos la funci on d : B([a, b]; R) B([a, b]; R) R tal que para todo f, g B([a, b]; R): d (f, g ) := sup |f (x) g (x)|.
axb

Pruebe que d es una m etrica en B([a, b]; R), llamada m etrica del supremo. En la siguiente gura se representa la distancia del supremo entre dos funciones f y g .

Figura 2.2: Distancia del supremo

Ejemplo 7 Sea X = C ([a, b]; R) = {f : [a, b] R : f es continua en[a, b]}, denamos la funci on d : C ([a, b]; R) C ([a, b]; R) R tal que para todo f, g C ([a, b]; R):
b

d(f, g ) :=
a

|f (x) g (x)|dx.

Pruebe que d es una m etrica en C ([a, b]; R). En la siguiente gura se representa la distancia entre dos funciones f y g .

13

Figura 2.3: La distancia es el area comprendida entre dos curvas

Ejemplo 8 Sea X = = {(xm )mN : (xm )mN es una sucesi on acotada en R}, de namos la funci on d : R tal que para todo (xm )mN , (ym )mN : d((xm )mN , (ym)mN ) := sup |xn yn |.
nN

Pruebe que d es una m etrica en . Ejemplo 9 Tambi en se pueden construir espacios m etricos a partir de otros conocidos. En efecto, sean (X, d) y (Y, d ) dos espacios m etricos. Para puntos x = (x1 , x2 ) e y = (y1 , y2 ) en X Y se dene: d1 (x, y ) := d(x1 , y1 ) + d (x2 , y2, d2 (x, y ) :=
2 2 d(x1 , y1)2 + d (x2 , y2 ),

d (x, y ) := m ax(d(x1 , y1 ), d (x2 , y2 ) Pruebe que d es una m etrica en X Y . Este es un procedimiento, digamos estandar, para denir distancias en espacios que son el producto cartesiano de una colecci on nita de espacios m etricos. As , si (X1 , d1 ), , (Xn , dn ) son n espacios m etricos, se pueden denir en X1 Xn las distancias:
n

d1 (x, y ) :=
i=1 n

di (xi , yi ),

d2 (x, y ) := [
i=1

di (xi , yi )2 ] 2 ,

d (x, y ) := m ax{di(xi , yi) : 1 i n} con x = (x1 , x2 , , xn ) e y = (y1 , y2 , , yn ) X1 Xn . La siguiente, es una propiedad que nos ser a u til y que es consecuencia directa de los axiomas de m etrica.

14

Proposici on 1 Sea (X, d) un espacio m etrico. Para todo x, y, z, t X se verica |d(x, y ) d(z, t)| d(x, z ) + d(y, t). En particular: |d(x, z ) d(y, z )| d(x, y ). Prueba: Aplicamos la desigualdad triangular y la simetr a de la m etrica: d(x, y ) d(x, z ) + d(y, z ) d(x, z ) + d(y, t) + d(z, t) de donde d(x, y ) d(z, t) d(x, z ) + d(y, t) Procediendo de manera similar: d(z, t) d(z, x) + d(t, x) d(x, z ) + d(y, t) + d(x, y ) de donde d(x, z ) d(y, t) d(x, y ) d(z, t) Las desigualdades (2.1) y (2.2) equivalen a: |d(x, y ) d(z, t)| d(x, z ) + d(y, t). Estamos en condiciones de practicary profundizar un poco por cuenta propia. De modo que puede trabajar con los ejercicios y problemas siguientes. (2.2) (2.1)

2.2.

Ejercicios y Problemas

1. Sea d : N N R denida por d(m, n) = |m2 n2 | Es (N, d) un espacio m etrico? Justique su respuesta. 2. Sea X un conjunto. Demuestre que una aplicaci on d : X X R es una m etrica si, y s olo si, para x, y, z X , se verican i) d(x, y ) = 0 si, y s olo si, x = y . ii) d(x, y ) d(x, z ) + d(y, z ). 3. Sea (X, d) un espacio m etrico. Se denen d , d , d : X X R como sigue: d (x, y ) = kd(x, y ), k R+ d (x, y ) = m n{1, d(x, y )} d (x, y ) = [d(x, y )]2 Demuestre que d y d son m etricas sobre X , pero que d no tiene por qu e ser necesariamente una m etrica. 4. Sea X un conjunto y f : X R una aplicaci on inyectiva. Demuestre que la aplicaci on d : X X R denida por d(x, y ) = |f (x) f (y )| es una m etrica sobre X. 5. Sea f : R R una funci on estrictamente creciente. Demuestre que la aplicaci on d : R R R denida por d(x, y ) = |f (x) f (y )| es una m etrica sobre R. 6. Considere el conjunto C ([0, 1]; R) de las funciones reales continuas en el intervalo [0, 1]. Sean f (x) = x(1 x) y g (x) = x. Calcule d (f, g ) y d(f, g ) seg un las deniciones de los ejemplos 6 y 7. 15

2.3.

Subespacio M etrico

El siguiente resultado nos permite denir un subespacio m etrico, simplemente como un subconjunto Y X y la m etrica d restringida a Y . Proposici on 2 Sea (X, d) un espacio m etrico, Y X y la funci on d Y : Y Y R denida por dY (x, y ) = d(x, y ), para todo x, y Y . Entonces dY es una m etrica sobre Y , que se denomina m etrica inducida por d. El par (Y, d) se dice que es un SUBESPACIO METRICO DE X . La demostraci on se reduce a una mera comprobaci on que puede realizar, sin dicultad, como ejercicio. Est a claro que cualquier subespacio m etrico, considerado de forma aislada es un espacio m etrico y, por su puesto, todo espacio m etrico es un subespacio de s mismo. Esta es una nueva forma de construir nuevos espacios m etricos, a partir de otros conocidos. n Se nalaremos que, si Y R , cuando se hable de Y como de un espacio m etrico, supondremos que su distancia es la distancia inducida por la distancia eucl dea de Rn , salvo que se diga lo contrario. Veamos algunos ejemplos de subespacios para aanzar este concepto. Ejemplo 10 Y = [0, 1] con la m etrica inducida por el valor absoluto es un subespacio de R. Ejemplo 11 El conjunto C ([a, b]; R) de las funciones reales continuas en [a, b], con la m etrica inducida por d , es un subespacio m etrico del conjunto B([a, b]; R) de las funciones acotadas en dicho intervalo. Ejemplo 12 Veamos las distancias que se inducen en algunos conjuntos. Podemos identicar desde el punto de vista conjuntista, la recta real R y el subconjunto de R2 , denido como R {0} = {(x, 0) : x R}, mediante la aplicaci on x (x, 0). Es evidente que se trata de una biyecci on verdad? Nos podemos plantear la siguiente pregunta Que relaci on hay entre la m etrica euclidea, d2 y la m etrica del valor absoluto en R?; ve amoslo. Si calculamos la distancia entre dos puntos de (x, 0), (y, 0) R {0}, tenemos: d2 ((x, 0), (y, 0)) = (x y )2 = |x y | = d(x, y )

y esta u ltima es la distancia usual de R. Esto signica que, en cierto modo podemos considerar la recta real como un subespacio m etrico de R2 . Observe que ocurre lo mismo con las m etricas d1 y d . Podemos practicar un poco m as, de nuevo por nuestra cuenta.

2.4.

Ejercicios y Problemas

1. Estudie las distancias que, sobre R, inducen d1 y d consideradas sobre R2 . Y si considera las distancias d1 , d2 y d sobre Rn e intenta calcular las que inducen, respectivamente, sobre Rnk , con 1 < k < n? 2. Sea A R2 denido como A = {(x, y ) R2 : y = x2 }. Calcule expl citamente las m etricas inducidas sobre A por d1 , d2 y d .

16

Cap tulo 3 Conjuntos Abiertos


3.1. Bolas en Espacios M etricos

A continuaci on vamos a estudiar los subconjuntos, quiz as m as importantes, de un espacio m etrico: las bolas. Se trata de una generalizaci on del concepto conocido de intervalo abierto centrado en un punto de R. Denici on 3 Sea (X, d) un espacio m etrico, a X y r > 0. i) La BOLA ABIERTA de centro a y radio r , es el conjunto Br (a) = {x X : d(x, a) < r } ii) La BOLA CERRADA de centro a y radio r , es el conjunto Br [a] = {x X : d(x, a) r } iii) La ESFERA de centro a y radio r , es el conjunto Sr [a] = {x X : d(x, a) = r } Las bolas juegan un papel muy importante a lo largo del desarrollo del presente separata, de modo que vamos a deternos en estudiar algunas de ellas. Ejemplo 13 En (R, | |) i) La bola abierta de centro a y radio r > 0, es el conjunto Br (a) = = = = = {x R : d(x, a) < r } {x R : |x a| < r } {x R : r < x a < r } {x R : a r < x < a + r } ]a r, a + r [

Esto es, la bola abierta es un intervalo abierto de extremos a r y a + r ii) La bola cerrada de centro a y radio r , es el conjunto Br [a] = = = = = {x R : d(x, a) r } {x R : |x a| r } {x R : r x a r } {x R : a r x a + r } [a r, a + r ]

Esto es, la bola cerrada es un intervalo cerrado de extremos a r y a + r 17

iii) La esfera de centro a y radio r , es el conjunto Sr [a] = {x X : d(x, a) = r } Sr [a] = = = = = Ejemplo 14 En (R2 , d2 ) i) La bola abierta de centro (a, b) y radio r > 0, es el conjunto Br ((a, b)) = {(x, y ) R2 : d2 ((x, y ), (a, b)) < r } = {(x, y ) R2 : (x a)2 + (y b)2 < r } = {(x, y ) R2 : (x a)2 + (y b)2 < r 2 } Esto es, la bola abierta es el interior de un c rculo (es decir sin la circunferencia) de radio r > 0 y centro en el punto (a, b). ii) La bola cerrada de centro (a, b) y radio r > 0, es el conjunto Br [(a, b)] = {(x, y ) R2 : d2 ((x, y ), (a, b)) r } = {(x, y ) R2 : (x a)2 + (y b)2 r } = {(x, y ) R2 : (x a)2 + (y b)2 r 2 } Esto es, la bola cerrada es el c rculo de radio r > 0 y centro en el punto (a, b). iii) La esfera de centro (a, b) y radio r > 0, es el conjunto Sr [(a, b)] = {(x, y ) R2 : d2 ((x, y ), (a, b)) = r } = {(x, y ) R2 : (x a)2 + (y b)2 = r } = {(x, y ) R2 : (x a)2 + (y b)2 = r 2 } Esto es, la esfera es la circunferencia de radio r > 0 y centro en el punto (a, b). {x R : d(x, a) = r } {x R : |x a| = r } {x R : x a = r o x a = r } {x R : x = a + r o x = a r} {a r, a + r }

Bola abierta Br((0,0))

Bola cerrada Br (0,0)

Esfera Sr (0,0)

Figura 3.1: Bolas para la m etrica d2

18

Ejemplo 15 En (R3 , d2 ) i) La bola abierta de centro (a, b, c) y radio r > 0, es el conjunto Br ((a, b, c)) = {(x, y, z ) R3 : (x a)2 + (y b)2 + (z c)2 < r 2 Es el interior de la bola s olida (sin la esfera) de radio r > 0 y centrada en (a, b, c). ii) La bola cerrada de centro (a, b, c) y radio r > 0, es el conjunto Br [(a, b, c)] = {(x, y ) R2 : (x a)2 + (y b)2 + (z c)2 r 2 } Es la bola s olida (junto con la esfera) de radio r > 0 y centrada en (a, b, c). iii) La esfera de centro (a, b, c) y radio r > 0, es el conjunto Sr [(a, b)] = {(x, y ) R2 : (x a)2 + (y b)2 + (z c)2 = r 2 } Es la la esfera de radio r > 0 y centrada en (a, b, c). Ejemplo 16 La forma geom etrica de las bolas y esferas dependen en general de la m etrica que se usa. En (R2 , d ) i) La bola abierta Br ((0, 0)) es el interior del cuadrado de centro (0, 0) y de lados paralelos a los ejes de coordenadas, con longitud 2r y cuyos diagonales se cortan en (0, 0). En este caso la bola es Br ((0, 0)) = {(x, y ) R2 : d ((x, y ), (0, 0)) < r } es decir, los puntos del plano que verican m ax{|x|, |y |} < r . Por tanto ha de cumplirse que |x| < r e |y | < r ; en denitiva, las coordenadas x e y han de estar en el intervalo ] r, r [ de modo que la bola ser a Br ((0, 0)) =] r, r [] r, r [. De las misma forma se obtiene que para cualquier punto (a, b) R2 Br ((a, b)) =]a r, a + r []b r, b + r [. ii) La bola cerrada Br [(0, 0)] es el cuadrado de centro (0, 0) y de lados paralelos a los ejes de coordenadas y con longitud 2r . En este caso la bola es Br [(0, 0)] = {(x, y ) R2 : d ((x, y ), (0, 0)) r } es decir, los puntos del plano que verican m ax{|x|, |y |} r . Por tanto ha de cumplirse que |x| r e |y | r ; en denitiva, las coordenadas x e y han de estar en el intervalo [r, r ] de modo que la bola ser a Br [(0, 0)] = [r, r ] [r, r ]. De las misma forma se obtiene que para cualquier punto (a, b) R2 Br [(a, b)] = [a r, a + r ] [b r, b + r ].

19

Bola abierta Br((0,0))

Bola cerrada Br (0,0)

Figura 3.2: Bolas para la m etrica d

Ejemplo 17 En (R2 , d1 ) i) La bola abierta Br ((0, 0)) es el interior del cuadrado centrado en el punto (0, 0), cuyos diagonales son paralelos a los ejes coordenadas y con los v ertices en los puntos (0, r ) (0, r ) (r, 0) (r, 0). Ahora tenemos Br ((0, 0)) = {(x, y ) R2 : d1 ((x, y ), (0, 0)) < r } es decir los puntos del plano que verican |x| + |y | < r . Si suponemos que x, y 0 se debe cumplir x + y < r , es decir, se trata de los puntos del plano cuyas coordenadas son no negativas y verican y < r x; en denitiva, los puntos del primer cuadrante que est an por debajo de la recta y = r x. Razonando de la misma manera sobre los posibles signos de las coordenadas se obtiene el cuadrado a que nos refer amos antes. ii) La bola cerrada Br [(0, 0)] es el cuadrado centrado en el punto (0, 0), cuyos diagonales son paralelos a los ejes coordenadas y con los v ertices en los puntos (0, r ) (0, r ) (r, 0) (r, 0). Ahora tenemos Br [(0, 0)] = {(x, y ) R2 : d1 ((x, y ), (0, 0)) r } es decir los puntos del plano que verican |x| + |y | r . Si suponemos que x, y 0 se debe cumplir x + y r , es decir, se trata de los puntos del plano cuyas coordenadas son no negativas y verican y r x; en denitiva, los puntos del primer cuadrante que est an por debajo de la recta y = r x. Razonando de la misma manera sobre los posibles signos de las coordenadas se obtiene el cuadrado a que nos refer amos antes. Ejemplo 18 Sea (X, d) un espacio m etrico discreto, a X y r > 0. i) Si r < 1, entonces Br (a) = Br [a] = {a}, Sr [a] = . ii) Si r = 1, entonces Br (a) = {a}, Br [a] = X , Sr [a] = X {a}. iii) Si r > 1, entonces Br (a) = Br [a], Sr [a] = .

20

Bola abierta Br((0,0))

Bola cerrada Br (0,0)

Esfera Sr (0,0)

Figura 3.3: Bolas para la m etrica d1

Ejemplo 19 Sea X = [0, 1] R con la m etrica dX inducida por la m etrica d de R. Entonces en R con la m etrica usual la bola B1 (1) es el intervalo ]0, 2[ mientras que, para la distancia inducida en X , B1 (1) es el intervalo ]0, 1], que es precisamente ]0, 2[[0, 1]. Ejemplo 20 Sea (C ([0, 1]; R), d) y f0 C ([0, 1]; R) una funci on. i) La bola abierta Br (f0 ) es el conjunto Br (f0 ) = {f C ([0, 1]; R) : sup |f (x) f0 (x)| < r, x [0, 1]} cuya gr aca se encuentra entre las gr acas de las funciones f0 r y f0 + r . ii) La bola cerrada Br [f0 ] es el conjunto Br [f0 ] = {f C ([0, 1]; R) : sup |f (x) f0 (x)| r, x [0, 1]} cuya gr aca se encuentra entre las gr acas de las funciones f0 r y f0 + r .

Figura 3.4: Bola cerrada Br [f0 ]

21

Otra vez, puede ser un buen momento para pensar por su cuenta.

3.2.

Ejercicios y Problemas

1. Denamos la aplicaci on d : R2 R2 R como sigue: si x1 = y1 , |x2 y2 | d((x1 , x2 ), (y1 , y2 )) := |x2 | + |x1 y1 | + |y2 | si x1 = y1 .

Pruebe que d es una m etrica sobre R2 . Determine y represente gr acamente las bolas B1 ((0, 0)), B1 ((1, 0)), B1 ((0, 1)) y B1 ((2, 3)).

2. Se dene la parte entera de un n umero real x R como [|x|] = el mayor n umero entero menor o igual que x. Sea la aplicaci on : R R R denida como (x, y ) := |[|x|] [|y |]| + |(x [|x|]) (y [|y |])|. i) Pruebe que es una m etrica en R.
3 ). C omo son las bolas abiertas? ii) Estudie como son las bolas B1 (0), B1 ( 2

iii) Pruebe que (x, y ) y d(x, y ) = |x y | inducen la misma m etrica en el conjunto Z de los n umeros enteros. 3. Pruebe que la aplicaci on denida como (x, y ) := m ax{|x1 x2 |, d(y1, y2)}, con x = (x1 , y1), y = (x2 , y2) es una m etrica en R2 , siendo d la m etrica discreta. Determine como son las bolas. 4. Sea d : R R R denida por d(x, y ) := 2| x y | . 1 + 3| x y |

Compruebe que es una m etrica y determine la bola Br (0) 5. Sea d : R R R la m etrica denida por: si x = y, 0 d(x, y ) := d(x, 0) + d(0, y ) si x = y.

Siendo d la m etrica discreta. Determine anal ticamente y geom etricamente las bolas Br (x).

6. Sea C ([0, 2 ]) con la m etrica del supremo. Describa anal ticamente y gr acamente como son las bolas de radio 1 y centro en las funciones f (x) = sin xy g (x) = 2+cos x, respectivamente.

22

3.3.

Conjuntos Abiertos

Denici on 4 Sea (X, d) un espacio m etrico y U X . i) a U es un PUNTO INTERIOR DE U si, y s olo si, existe r > 0 tal que Br (a) U . ii) El conjunto de todos los puntos interiores de U es llamado interior de U y ser a denotado por int(U ). iii) U es una vecindad o entorno de a si, y s olo si, a int(U ). iv ) U es ABIERTO si, y s olo si, U = int(U ). Observaci on 1 int(U ) U para todo U X . En consecuencia para probar que un conjunto es abierto, ser a suciente probar que U int(U ). Proposici on 3 Sea (X, d) un espacio m etrico, Br (a) y X Br [a] son conjuntos abiertos; para todo a X y r > 0. Prueba. Sea x Br (a), entonces d(x, a) < r . Consideremos 0 < < r d(x, a), armamos que B (x) Br (a). En efecto, sea y B (x), entonces d(y, a) d(y, x) + d(x, a) < + d(x, a) < r entonces y Br (a). Luego existe > 0 tal que B (x) Br (a) por tanto x int(Br (a)). Luego Br (a) int(Br (a)). Por tanto Br (a) es un conjunto abierto.

P x

Figura 3.5: Ilustraci on en R2 de la demostraci on de la proposici on

Proposici on 4 Sea (X, d) un espacio m etrico y U, V X . i) Si U V , entonces int(U ) int(V ) ii) int(int(U )) = int(U ) Prueba.

23

i) Sea a int(U ), existe r > 0 tal que Br (a) U V , entonces existe r > 0 tal que Br (a) V , lo que implica que a int(V ). Luego int(U ) int(V ). ii) Por denici on int(int(U )) int(U ). Sea x int(U ); existe r > 0 tal que Br (x) U , entonces existe r > 0 tal que int(Br (x)) int(U ), esto implica que existe r > 0 tal que Br (x) int(U ), luego x int(int(U )). Por tanto int(U ) int(int(U )).

Supongamos ahora que C U Y C es un conjunto abierto. Tomando interiores a ambos miembros de esta inclusi on y teniendo en cuenta que C coincide con su interior, obtenemos: C int(U ). Este resultado lo podemos interpretar gurativamente diciendo int(U ) es el m aximo conjunto abierto en U . Obtengamos otra caracterizaci on del interior de un conjunto cualquiera U . Proposici on 5 Sea (X, d) un espacio m etrico y U X . int(U ) es la uni on de todos los abiertos contenidos en U . Prueba. Sea F = {B U : B es abierto}. (F no es vac a, ya que al menos F ). Probemos que int(U ) = B.
B F

En efecto, para todo B F : B U y B es abierto, lo cual implica B int(U ), de donde B int(U ).


B F

Rec procamente, como int(U ) es abierto y est a contenido en U , entonces int(U ) F ; luego, int(U )
B F

B.

El siguiente teorema, no obstante su muy sencilla demostraci on, es de extraordinaria trascendencia al permitirnos operar con abiertos en forma conjuntista. Proposici on 6 Sea (X, d) un espacio m etrico. i) y X son conjuntos abiertos. ii) Si U, V X son abiertos, entonces U V es un conjunto abierto. iii) Sea {U } una familia arbitraria de conjuntos abiertos, entonces

U es un con-

junto abierto. 24

Prueba. i) Supongamos que int() = (hip otesis auxiliar). Sea a int(), entonces existe r > 0 tal que Br (a) lo que es una contradicci on. Por tanto int() = . Sea x X , entonces B1 (x) X , luego x int(X ), entonces X int(X ). Por tanto X es un conjunto abierto. ii) Si la interseci on es vac a, por la parte i) ya, es un conjunto abierto. Supongamos entonces, que U V = . Si x U V , entonces x U y x V , como U y V son conjuntos abiertos, existen r1 > 0 y r2 > 0 tales que Br1 (x) U y Br2 (x) V . Considero r = m n{r1 , r2 } > 0; entonces Br (x) Br1 (x) U y Br (x) Br2 (x) V , esto implica que Br (x) U V , esto prueba que U V es un conjunto abierto. iii) Sea x

U ; existe 0 tal que x U0 . Como U0 es un conjunto abierto, U entonces int(


existe r0 > 0 tal que Br0 (x) U0 tanto

U )

U . Por

U es un conjunto abierto.

Corolario 1 Sea (X, d) un espacio m etrico, U1 , U2 , , Um X conjuntos abiertos, enm

tonces
i=1

Ui es un conjunto abierto.

No puede garantizarse que la intersecci on de un n umero innito de abiertos sea un abierto. Por ejemplo en la recta real (ejemplo 1 de 2.1) todo intervalo abierto es un conjunto abierto, observaci on que vale la pena destacar. En efecto, sea a < b y consideremos el intervalo abierto ]a, b[. Es f acil comprobar que: ]a, b[= {x R : a < x < b} = {x R : |x ba a+b |< }; 2 2

a+b pero el u ltimo conjunto de la derecha no es otra cosa que B ba ( ), y sabemos que 2 2 toda bola abierta es un conjunto abierto. Pero volvamos a nuestro ejemplo. Consideremos la familia de innitos abiertos constituida por los intervalos 1 1 ] , [ para todo n natural. La intersecci on en esa familia es el conjunto {0} constituido n n por un solo punto, el cual no es abierto en R. Ejemplo 21 Sea el subconjunto de R2 : A = {(x, y ) R2 : |x| < 1, |y | < 2} para la distancia eucl dea, es un subconjunto abierto. Se v e f acilmente que el conjunto A es el rect angulo abierto (sin bordes) ] 1, 1[] 2, 2[ (ve ase gura 3.6(a). Para ver que es abierto, comprobemos que contiene una bola, de radio adecuado, en cada uno de sus puntos. Sea (a, b) A, es decir a ] 1, 1[ y b ] 2, 2[; si tomamos r < m n{1 |a|, 2 |b|} se tiene que Br ((a, b)) A. En efecto, si (x, y ) Br ((a, b)) se tiene (x a)2 +(y b)2 < r 2 , de donde se deduce que |x a| < r < 1 |a| y, por tanto, 1 + |a| + a < x < 1 |a| + a, 25

de modo que si |a| = a (a 0) queda 1 + 2a < x < 1 y x ] 1, 1[; y si |a| = a (a < 0) queda 1 < x < 1 + 2a, y tambi en es x ] 1, 1[. De forma similar se comprueba que y ] 2, 2[. Por el contrario, el conjunto siguiente no es abierto B = {(x, y ) R2 : |x| < 1, |y | 2}. Ahora B es el rect angulo ] 1, 1[[2, 2]. Para comprobar que no es abierto basta con encontrar un punto de B tal que cualquier bola con centro en ese punto tenga puntos fuera r ) / B y, sin de B . Tomamos el punto (0, 2); entonces para todo r > 0 el punto (0, 2 + 2 embargo, est a en la bola Br ((0, 2)) (ve ase gura 3.6(b).

Figura 3.6:

Ejemplo 22 La condici on de ser un conjunto abierto depende naturalmente de la distancia y del espacio total. El conjunto {0} R es abierto con la m etrica discreta, pero no lo es con la m etrica eucl dea. Proposici on 7 En un espacio m etrico (X, d), un conjunto es abierto si, y s olo si, se puede expresar como uni on de bolas abiertas. Prueba. () Si A X es un abierto, para cada x A, existe rx > 0 tal que Brx (x) A, de modo que Brx (x) A, pero como cada punto de A est a en una de estas bolas,
xA

tambi en se cumple A
xA

Brx (x) con lo que A es la uni on de bolas abiertas.

() Es evidente. El teorema que sigue nos indica lo que sucede al tomar el interior de una uni on y el de una intersecci on. 26

Teorema 4 Sea (X, d) un espacio m etrico y U, V X . Se cumple i) int(U ) int(V ) int(U V ) ii) int(U ) int(V ) = int(U V ) Prueba. i) Tenemos que int(U ) U y int(V ) V , de donde int(U ) int(V ) U V pero en virtud de la proposici on 6, int(U ) int(V ) es un conjunto abierto lo cual implica: int(U ) int(V ) int(U V ). ii) Como int(U ) U y int(V ) V , tenemos que int(U ) int(V ) U V pero en virtud de la proposici on 6, int(U ) int(V ) es un conjunto abierto lo cual implica: int(U ) int(V ) int(U V ). Por otra parte, U V U y U V V , de donde tomando interiores int(U V ) int(U ) y int(U V ) int(V ); luego int(U V ) int(U ) int(V ), concluimos que: int(U V ) = int(U ) int(V ).

Ambos resultados establecidos en el teorema precedente pueden, por supuesto, extenderse a un n umero nito de conjuntos por inducci on. int(U ) int(V ) puede muy bien no coincidir con int(U V ). Por ejemplo, consideremos en la recta real los conjuntos U = {x R : x < 0}, V = {x R : x 0}; es evidente que U V = R, el cual es abierto y coincide por tanto con su interior, es decir int(U V ) = R. Por otra parte, se comprueba f acilmente que int(U ) = U y int(V ) = {x R : x > 0}, de donde int(U ) int(V ) = R {0}. Denici on 5 Sea (X, d) un espacio m etrico y U X , la frontera de U , denotado por U , es el conjunto U = {x X : B (x) U = y B (x) (X U ) = ; para todo > 0}. 27

Proposici on 8 Sea (X, d) un espacio m etrico y U X , se cumple: U es abierto si, s olo si, U U = . Prueba. () Sea x U , existe r > 0 tal que Br (x) U , esto implica que existe r > 0 tal que Br (x) (X U ) = , entonces x X U . Por tanto U X U . Luego U U = () Sea x U , entonces x X U , por denici on de frontera existe > 0 tal que B (x) U = o B (x) (X U ) = , de aqui tenemos que existe > 0 tal que B (x) (X U ) = , entonces existe > 0 tal que B (x) U , concluimos que x int(U ), entonces U int(U ). Luego U es abierto.

3.4.

Ejercicios y Problemas
i) U = {(x, y ) R2 : xy = 0} ii) V = {(x, y ) R2 : x Q}

1. Justique si son abiertos los siguientes conjuntos en (R2 , d2 ):

iii) R = {(x, y ) R2 : |x| < 1} iv ) R = {(x, y ) R2 : 0 < x < 1, 0 < y < 1} {(x, y ) R2 : x2 + y 2 = 0} 2. En un espacio m etrico (X, d) tomamos a X y r > 0. Pruebe que U = {x X : d(x, a) > r } es abierto.

28

3.5.

Conjuntos Abiertos en un Subespacio

Sea (X, d) un espacio m etrico e Y X no vac o. Por 2.3. sabemos que Y da origen a un espacio m etrico (Y, d) con respecto a la m etrica inducida por d. Nos proponemos averiguar c omo son los conjuntos abiertos en el subespacio (Y, d) y qu e relaci on guardan con los abiertos en (X, d). Antes que nada, conviene precisar c omo son las bolas abiertas en (Y, d), punto de partida para todo. Tomemos un a Y y r > 0. La bola abierta de centro a y radio r en (Y, d) es el conjunto {x Y : dY (a, x) = d(a, x) < r }; pero esto no es otra cosa que Y Br (a), donde Br (a) es la bola abierta de centro a y radio r en (E, d). Proposici on 9 Sea (X, d) un espacio m etrico, Y X no vac o y B Y . Son equivalentes: i) B es abierto en el subespacio (Y, d) de (X, d). ii) Existe U X abierto en (X, d) tal que B = U Y . Prueba. i) ii) Seg un la proposici on 7, B es uni on de bolas abiertas en Y , luego tenemos, B=
xB

{x Y : dY (a, x) = d(a, x) < r } =


xB

({x X : d(a, x) < r } Y )

entonces, B=
xB

(Br (x) Y ) = (
xB

Br (x)) Y.

Haciendo U = xB Br (x), tenemos que existe U X abierto en (X, d) tal que B = U Y . ii) i) Sea a B , por hip otesis a U y a Y , como U es abierto en (X, d), existe r > 0 tal que Br (a) U . Luego existe r > 0 tal que Br (a) Y U Y = B para todo a B . Por tanto B es abierto en (Y, d). Observaci on 2 Cuando Y = X en vez de decir B es abierto en (X, d) diremos simplemente B es abierto. Ejemplo 23 Observemos que, aunque los abiertos en el subespacio, son intersecci on de abiertos de espacio con el subconjunto en cuesti on, los abiertos del subespacio no son necesariamente, abiertos en el espacio; en efecto Sea X = R, Y = [0, 2] y B = [0, 1[, entonces B =] 1, 1[Y (intersecci on del abierto ] 1, 1[ en R con el subespacio), luego B es abierto en (Y, d), pero no lo es en R con la distancia usual. Proposici on 10 Sea (X, d) un espacio m etrico, Y X no vac o y B Y . Son equivalentes: i) Todo abierto en (Y, d) es tambi en abierto en (X, d). ii) Y es abierto en (X, d). 29

Prueba. i) ii) Sabemos que Y es abierto en (Y, d), entonces por hip otesis Y es abierto en (X, d). ii) i) Seg un la proposici on 9, si B Y es abierto en (Y, d), existe U X abierto tal que B = U Y , luego B es intersecci on de dos abiertos y por tanto tambi en es abierto.

Hace demasiado tiempo que no pensamos en algunos problemas.

3.6.

Ejercicios y Problemas

1. Demuestre que el intervalo Y = [a, b] es abierto en (Y, d), pero que no lo es en el espacio total R con la m etrica eucl dea.

30

Cap tulo 4 Conjuntos Cerrados


4.1. Sucesiones en Espacios M etricos

Denici on 6 Sea (X, d) un espacio m etrico. Una sucesi on en X es una funci on x : N X que a cada m N, le asocia un punto x(m) = xm , llamado m esimo t ermino de la sucesi on. Nota 2 Las sucesiones son denotadas por {x1 , x2 , , xm , } = {xm }mN o simplemente (xm )mN = (xm ) X . Denici on 7 Sea (X, d) un espacio m etrico y (xm ) X . Decimos que x X es el l mite de (xm ), lo que denotamos por el s mbolo l m xm = x si, y s olo si, > 0,
m

m0 N/m m0 , entonces d(xm , x) < . Denici on 8 Sea (X, d) un espacio m etrico y (xm ) X . i) (xm ) es convergente si, y s olo si, x X , tal que l m xm = x.
m

ii) (xm ) es divergente si, y s olo si, (xm ) no es convergente. Proposici on 11 Sea (X, d) un espacio m etrico. El l mite de una sucesi on convergente de puntos de X es u nico. Prueba. Sea (xm ) X convergente, supongamos que n x, x X , tal que l m xm = x y l m xm = x . Armamos que x = x . Supongamos que x = x , entonces d(x, x ) > 0, m por denici on de l mite m1 N/ m m1 d(xm , x) < m2 N/ m m2 d(xm , x ) < Consideremos m0 = m ax{m1 , m2 } N. Entonces d(x, x ) d(x, xm0 ) + d(xm0 , x ) < Luego x = x . 31 d(x, x ) d(x, x ) + = d(x, x ) 2 2 ( / ) . d(x, x ) 2 d(x, x ) . 2
m

Denici on 9 Sea (X, d) un espacio m etrico y (xm ) X . Decimos que (xm ) es acotada si, y s olo si, C > 0 tal que d(xm , xm ) C ; m, m N. Proposici on 12 Sea (X, d) un espacio m etrico y (xm ) X . Si (xm ) es convergente entonces (xm ) es acotada. Prueba. Por hip otesis x X tal que l m xm = x, por denici on de l mite m0
m

N/m m0 , entonces d(xm , x) < 1. Luego d(xm , xm ) d(xm , x) + d(x, xm ) < 2; m, m m0 . Deniendo C = m ax{d(x1 , x2 ), , d(x1 , xm0 1 ), , d(xm0 2 , xm0 1 ), 2} tenemos d(xm , xm ) C ; m, m m0 .

Observaci on 3 El rec proco de la proposici on es falso. Denici on 10 Sea (X, d) un espacio m etrico, k : N N funci on estrictamente creciente y sea (xm ) X . La composici on N N X m km xkm es llamada subsucesi on de (xm ) y ser a denotado por (xkm ) (xm ). Proposici on 13 Sea (X, d) un espacio m etrico y (xm ) X . Si l m xm = x, entonces
m k x

toda subsucesi on de (xm ) converge a x. Prueba. Sea (xkm ) (xm ), por mostrar que l m xkm = x. Sea > 0, por hip otesis
m

m0 N/m m0 , entonces d(xm , x) < . Como k es estrictamente creciente, se cumple: m m0 , entonces km km0 m0 . Luego d(xkm , x) < , km m0 . Por tanto l m xkm = x. Denici on 11 Sea (X, d) un espacio m etrico y (xm ) X . Decimos que (xm ) es una sucesi on de cauchy si, y s olo si, > 0, m0 N/m, m m0 , entonces d(xm , xm ) < . Proposici on 14 Sea (X, d) un espacio m etrico y (xm ) X . Si (xm ) es convergente, entonces (xm ) es una sucesi on de Cauchy. Prueba. Por hip otesis x X , tal que l m xm = x. Por denici on de l mite dado > 0, m m0 N/m m0 , entonces d(xm , x) < . Luego para todo m, m m0 , 2 d(xm , xm ) d(xm , x) + d(x, xm ) < .

Luego (xm ) es una sucesi on de Cauchy.

32

Teorema 5 Sea (X, d) un espacio m etrico y (xm ) X una sucesi on de Cauchy. Si (xm ) admite una subsucesi on convergente, entonces (xm ) es convergente y ambos tienen el mismo l mite. Prueba. Sea (xkm ) (xm ), tal que l m xkm = x, x X . Sea > 0,
m

m1 N/m, m m1 , entonces d(xm , xm ) < . 2 m2 N/m m2 , entonces d(xkm , x) < . 2 1 Claramente M = k [{1, 2, , m1 1}] es nito, por ser k creciente. Consideremos m0 > m ax{m ax M, m2 } N

(4.1) (4.2)

Como m0 > m ax M , entonces m0 / M , esto quiere decir que k (m0 ) = km0 m1 luego de (4.1) m m1 ; d(xm , xkm0 ) < . (4.3) 2 Por otro lado Como m0 > m2 y de (4.2) obtenemos d(xkm0 , x) < . 2 De (4.3) y (4.4) m m1 ; d(xm , x) d(xm , xkm0 ) + d(xkm0 , x) < por tanto l m xm = x.
m

(4.4)

4.2.

Ejercicios y Problemas

1. Sea (X, d) un espacio m etrico y (xm ) X una sucesi on de Cauchy. Pruebe que (xm ) es acotada. 2. Sea (X, d) un espacio m etrico y (xm ) X una sucesi on acotada. (xm ) es una sucesi on de Cauchy? Justique su respuesta. 3. Sea (X, d) un espacio m etrico y (xm ), (ym ) X dos sucesiones de Cauchy. Pruebe que (d(xm , ym )) R es convergente. 4. Sea (X, d) un espacio m etrico y (xm ), (ym ) X dos sucesiones. Si (xm ) es una sucesi on de Cauchy y l m d(xm , ym ) = 0, pruebe que (ym ) es de Cauchy.
m

5. Sea (X, d) un espacio m etrico y (xm ), (ym ) X dos sucesiones. Si l m xm = x y


m m

l m d(xm , ym ) = 0, pruebe que l m ym = x.


m m

6. Sea (X, d) un espacio m etrico y (xm ), (ym) X dos sucesiones tal que l m xm = x y l m ym = y . Pruebe que l m d(xm , ym ) = d(x, y ).
m m

33

7. Pruebe que si se suprime de la sucesi on (xm ) un conjunto nito y arbitrario de sus t erminos y se conservan los restantes en el mismo orden relativo, se obtiene una subsucesi on de (xm ). 8. Sea (X, d) un espacio m etrico y (xm ), (ym ) X dos sucesiones tales que el conjunto {m N : xm = ym } es nito. Pruebe que ambas convergen al mismo l mite o ambas carecen de l mite. 9. Sea (xm ) una sucesi on real que tiene l mite x. Pruebe que si y < x, entonces existe un m0 N tal que m m0 : y < xm . 10. Sea (xm ) una sucesi on real que tiene l mite distinto de cero. Pruebe que existe un m0 N tal que m m0 : xm tiene el mismo signo que el l mite. 11. En la recta real, l m xm = x y l m ym = y , x < y . Pruebe que existe un m0 N m m tal que m m0 : xn < yn . 12. En la recta real, l m xm = x, l m ym = y y m N : xm < ym . Pruebe que m m x y . Dar un ejemplo en el cual x = y .

34

4.3.

Conjuntos Cerrados

Los que llamaremos conjuntos cerrados juegan, en los espacios m etricos, o si queremos, en la topolog a m etrica, un papel tan importante como los conjuntos abiertos y, en cierto sentido dual. Denici on 12 Sea (X, d) un espacio m etrico y F X . i) a X es un PUNTO ADHERENTE a F si, y s olo si, existe (xm ) F tal que l m xm = a.
m

ii) El conjunto de todos los puntos adherentes a F es llamado clausura o cerradura de F y ser a denotado por F . iii) F es CERRADO si, y s olo si, F = F . Proposici on 15 Sea (X, d) un espacio m etrico y F, G X . Se cumple: i) F G entonces F G. ii) F F . Prueba. i) Sea a F , por denici on existe (xm ) F tal que l m xm = a. Entonces existe
m

(xm ) G tal que l m xm = a. Entonces a G.


m

ii) a F , consideremos xm = a; para todo m N, entonces (xm ) F tal que l m xm =


m

a, luego a F . Por tanto F F . Observaci on 4 Desde que F F , para mostrar que F es cerrado, es suciente vericar que F F . El siguiente teorema ofrece una primera caracterizaci on de los puntos adherentes. Teorema 6 Sea (X, d) un espacio m etrico, F X y a X . Son equivalentes: i) a F , ii) B (a) F = ; > 0. Prueba. i) ii) Sea a F , por denici on (xm ) F tales que l m xm = a. Sea > 0, m0 N/ m >
m

m0 entonces d(xm , a) < , lo que implica que xm B (a); m m0 . En particular: xm0 B (a) F , luego B (a) F = ; > 0. ii) i) Sea m N, por hip otesis B 1 (a) F = , denotemos por xm B 1 (a) F . m m 1 Hemos construido una sucesi on (xm ) F tal que d(xm , a) < ; m N. Dado > 0; m 1 m0 N/ m m0 entonces < . Luego m0 N/ m m0 , entonces d(xm , a) < , m entonces por denici on l m xm = a y por tanto a F .
m

35

Corolario 2 Sea (X, d) un espacio m etrico, F X y a X . Se cumple: a / F si, y s olo si, > 0/ B (a) X F . Corolario 3 Sea (X, d) un espacio m etrico y F X se cumple: F = F . Prueba. Sabemos que F F. (4.5) Sea a F por denici on B (a) F = ; para todo > 0, sea y B (a) F , entonces y B (a) y y F . Como B (a) es abierto, existe > 0 tal que B (y ) B (a) y y F . Entonces B (y ) F = , luego B (a) F = , para todo > 0. Asi tenemos que a F . Entonces F F. (4.6) De (4.5) y (4.6) F = F . El siguiente teorema establece una important sima relaci on entre conjuntos abiertos y cerrados. Si A es abierto (cerrado) su complemento es cerrado (abierto). Puede verse como una caracterizaci on de cerrados en t erminos de abiertos, que muy bien ha podido tomarse como denici on de cerrado, tal como se hace en topolog a general. Teorema 7 Sea (X, d) un espacio m etrico y F X . Son equivalentes: i) F es cerrado, ii) X F es abierto. Prueba. i) ii) / F . En virtud F es cerrado, entonces F = F . Sea a X F , entonces a X F , luego a del corolario 2 > 0/ B (a) X F , esto implica que a int(X F ), as tenemos X F int(X F ). Luego X F es abierto. ii) i) Supongamos que F no es cerrado (hip otesis auxiliar), entonces F F , luego existe a F y a / F . Como a X F , por hip otesis > 0/ B (a) X F , por corolario 2 a / F , lo que es una contradicci on. Por tanto F = F . Luego F es cerrada.

Los conjuntos cerrados juegan un papel sim etrico respecto de los abiertos, de hecho, observe el siguiente resultado y comp arelo con la proposici on 6. Proposici on 16 Sea (X, d) un espacio m etrico. Se cumple: i) , X son cerrados, ii) Si F1 , F2 X son conjuntos cerrados, entonces F1 F2 es cerrado. iii) Sea {F } una familia arbitraria de conjuntos cerrados de X , entonces

F es

un conjunto cerrado. Prueba. i) Como es abierto, entonces X = X es cerrado, Tambi en X es abierto, entonces X X = es cerrado. 36

ii) Como F1 , F2 X son conjuntos cerrados, entonces X F1 y X F2 son abiertos, en virtud de la proposici on 6 (X F1 ) (X F2 ) es abierto, entonces X F1 F2 es abierto, luego F1 F2 es cerrado. iii) X

F =

(X F ). (X F ), luego X

Como X F son abiertos; , por proposici on 6 es abierto. Por tanto

F es un conjunto cerrado.

Supongamos que A B y B es un conjunto cerrado. Clausurando ambos miembros esta inclusi on y teniendo en cuenta que B coincide con su clausura, obetemos: A B . Esto lo podemos interpretar gurativamente diciendo que el menor conjunto cerrado que contiene a A es su clausura. Podemos obtener otra caracterizaci on interesante de la clausura: on Proposici on 17 Sea (X, d) un espacio m etrico y F X . Pruebe que F es la intersecci de todos los conjuntos cerrados que contienen a F . Prueba. Sea F = {F B : B es cerrado}. (F no es vac a, ya que al menos X F ). Probemos que F = B.
B F

En efecto, para todo B F : F B y B es cerrado, lo cual implica F B , de donde F


B F

B,

por otro lado, F es cerrado y F F luego F F , entonces B F.


B F

En resumen, F es la intersecci on de todos los conjuntos cerrados que contienen a F . Proposici on 18 Sea (X, d) un espacio m etrico y U, V X . Se cumple: i) U abierto y V cerrado, entonces U V es abierto, ii) U cerrado y V abierto, entonces U V es cerrado. Prueba. U V = U (X V ). Proposici on 19 Sea (X, d) un espacio m etrico. Br [a] y Sr [a] son conjuntos cerrados; a X y r > 0.

37

Prueba. Sea x X Br [a], lo cual es equivalente a que d(x, a) > r . Sea r1 = d(x, a) r > 0 y veamos que Br1 (x) X Br [a]. En efecto, si y Br1 (x), entonces d(x, y ) < r1 , es decir, d(x, y ) < d(x, a) r. Por otra parte, d(a, x) d(a, y ) + d(y, x). sumando (4.7) y (4.8): d(a, y ) > r, lo que equivale a y / Br (a), es decir y X Br [a]. Entonces Br1 (x) X Br [a], luego X Br [a] int(X Br [a]). Luego X Br [a] es abierto, por tanto Br [a] es cerrado. Para demostrar que la esfera Sr [a] es un conjunto cerrado, basta con aplicar la proposici on 18, sabiendo que Sr [a] = Br [a] Br (a) (4.8) (4.7)

r1 x

a r

Figura 4.1: Ilustraci on en R2 de la demostraci on de la proposici on

En un espacio m etrico (X, d) consideremos una bola abierta Br (a) y la cerrada del mismo centro y radio Br [a]. Sabemos que Br (a) Br [a]. Clausurando ambos miembros de esa inclusi on y teniendo en cuenta que la clausura de la bola cerrada coincide con esta por ser cerrada, obtenemos: Br (a) Br [a]. 38

Conviene destacar que, en general, esa inclusi on es propia; es decir, la clausura de la bola abierta no es necesariamente igual a la bola cerradadel mismo centro y radio. Por ejemplo, Sea (X, d) un espacio m etrico discreto (Ejemplo 2) de m as de un punto y tomemos x X . tenemos que B1 (x) = {x}, de donde B1 (x) = {x}, en cambio B1 [x] = X. No obstante, en muchos espacios particulares la clausura de la bola abierta s coincide con n la cerrada. Pruebe que esto sucede siempre en R . Teorema 8 Sea (X, d) un espacio m etrico y A, B X . Se cumple i) A B A B , ii) A B = A B . Prueba. i) Tenemos que AAyBB implican AB AB pero teniendo en cuenta que las clausuras son conjuntos cerrados, el conjunto AB es cerrado; de manera que, clausurando ambos miembros de las inclusiones anteriores, obtenemos: A B A B. ii) Tenemos que AAyBB implican A B A B; pero teniendo en cuenta que las clausuras son conjuntos cerrados, el conjunto AB es cerrado; de manera que, clausurando ambos miembros de las inclusiones anteriores, obtenemos: A B A B. (4.9) Por otra parte, clausurando en A A B y B A B, resulta A A B y B A B, de donde A B A B, De (4.9) y (4.10): AB =AB 39 (4.10)

Observaci on 5 La clausura de la intersecci on no es igual, en general, a la intersecci on de las clausuras. Por ejemplo, en la recta real consideremos los intervalos abiertos A =]a, b[, B =]b, c[, para a < b < c. Se comprueba con facilidad que A B = y A B = {b}. Ambas relaciones establecidas en el teorema 6 pueden extenderse, aplicando el principio de inducci on, a cualquier n umero nito de conjuntos. Son muy u tiles los resulatados que establece el pr oximo teorema, adem as de relacionar, en forma interesante, el interior y la clausura. Teorema 9 Sea (X, d) un espacio m etrico y A X . Se cumple i) X A = X int(A), ii) X A = int(X A). Prueba. i) Tomando complemento a ambos miembros de la inclusi on int(A) A, su sentido se invierte y obtenemos X A X int(A) pero X int(A) es cerrado, clausurando resulta; X A X int(A). (4.11) Por otra parte, tenemos X AX A y tomando complemento tenemos X X A A, pero X X A es abierto, tomando interiores obtenemos X X A int(A) y complemento de nuevo X int(A) X A. De (4.11) y (4.12): X A = X int(A) ii) Tomando complemento a ambos miembros de la inclusi on A A, su sentido se invierte y obtenemos X A X A; pero X A es abierto, tomando interiores resulta; X A int(X A). (4.13) Por otra parte, tenemos int(X A) X A, y tomando complemento tenemos A X int(X A), pero X int(X A) es cerrado, clausurando obtenemos A X int(X A) y complemento de nuevo int(X A) X A, De (4.13) y (4.14): X A = int(X A) (4.14) (4.12)

40

Teorema 10 Sea (X, d) un espacio m etrico e Y X . Se cumple: Y = Y X Y . Prueba. x Y si, y s olo si, B (x) Y = y B (x) (X Y ) = , para todo > 0; si, y s olo si, x Y y x X Y ; si, y s olo si, x Y X Y . Corolario 4 Sea (X, d) un espacio m etrico e Y X . Entonces Y es cerrado. Corolario 5 Sea (X, d) un espacio m etrico e Y X . Entonces Y = (X Y ).

4.4.

Ejercicios y Problemas

1. En (R2 , d2 ), el conjunto B = {(x, y ) R2 : |x| < 1, |y | 2} no es cerrado. Pero F = {(x, y ) R2 : |x| 1, |y | 2} s lo es, lo cual se puede comprobar razonando de forma similar al ejemplo 21. 2. Cualquier recta en (R2 , d2 ) es conjunto cerrado. Basta ver que su complemento es abierto. Siun punto est a fuera de la recta, la bola abierta de centro este punto y radio menor que la distancia de dicho punto a la recta est a contenida en el complementario de la recta, lo que prueba que es abierto. 3. Pruebe que cualquier subconjunto en la m etrica discreta es cerrado y tambi en abierto. Observe entonces que puede darse el caso de conjuntos que son, a la vez, abiertos y cerrados. 4. Sea (X, d) un espacio m etrico, a X y r > 0. Pruebe que el conjunto {x X : d(x, a) r } es un conjunto cerrado. 5. Considere el espacio m etrico de las sucesiones reales acotadas ( , d), donde d es la denida como en el ejemplo 8. Pruebe que el conjunto F = {(xm ) : l m xm =
m

0} es cerrado. 6. Pruebe que todo conjunto cerrado en R es intersecci on en una familia numerable de abiertos. 7. Pruebe que, en Rn , la clausura de una bola abierta es la bola cerrada del mismo centro y radio y su frontera es la esfera correspondiente. 8. A es abierto y B cualquiera en un espacio (X, d). Pruebe que i) A B A B . ii) A B = A B . 9. Si A es abierto y B cualquiera en un espacio (X, d), Pruebe que A B = si, y s olo si, A B = . 10. Pruebe que, en un espacio m etrico discreto, todo conjunto es abierto y cerrado a la vez. 41

11. Verique que para cualquier conjunto A en (X, d): A = int(A) A. 12. Verique que para cualquier conjunto A en (X, d): A = A int(A). 13. Verique que para cualquier conjunto A en (X, d): A = A A. 14. Verique que, A es cerrado si, y s olo si, A A. 15. Pruebe que, si A y B son conjuntos cualesquiera en (X, d), (A B ) A B . on se transforma en igualdad. Proporcione un Pruebe que si A B = , la inclusi ejemplo en el cual la inclusi on sea propia. 16. La frontera de un conjunto no vac o puede ser vac a?. Justique su respuesta.

42

4.5.

Conjuntos Cerrados en un Subespacio

Sea (X, d) un espacio m etrico e Y X no vac o. Por 2.3. sabemos que Y da origen a un espacio m etrico (Y, d) con respecto a la m etrica inducida por d. Pasemos a averiguar c omo son los cerrados en (Y, d). Antes recordaremos la denici on de cerrado en cualquier espacio m etrico. El conjunto es cerrado si contiene todos aquellos puntos del espacio que son sus puntos adherentes. Particularizando, decimos que el conjunto B Y es cerrado en (Y, d) si todo punto de Y , que sea adherente a B , pertenece a B . Dicho de otra manera equivalente, B es cerrado en Y si todo punto adherente a B que est e en Y , pertenece a B . N otese que esto no excluye la posibilidad de que existan en X puntos adherentes a B que no pertenezcan a B ni a Y . Por ejemplo, sean a < c < b en la recta real y Y =]a, b[, B =]a, c]. Es sencillo vericar que B es cerrado en Y , y sin embargo, no contiene a su punto adherente a, el cual, por su puesto, no pertenece a Y . Luego, B es cerrado en (Y, d) si, y s olo si, B = Y B . Cabe destacar que F es siempre abierto y cerrado en (Y, d); aunque no sea ninguno de los dos en (X, d). Proposici on 20 Sea (X, d) un espacio m etrico, Y X no vac o y B Y . Son equivalentes: i) B es cerrado en el subespacio (Y, d) de (X, d). ii) Existe F X cerrado en (X, d) tal que B = F Y . Prueba. i) ii) Sabemos que B es cerrado en (Y, d) si, y s olo si, B = Y B . Por tanto existe F = B X cerrado en (X, d), tal que B = Y F . ii) i) Supongamos que F X es cerrado en (X, d) y que B = F Y . Entonces B F , y tomando clausura a ambos miembro B F , pero F es cerrado, entonces B F , Luego Y B F Y =B por otro lado B B , entonces B = B Y B Y. Por tanto B = Y B, luego B es cerrado en (Y, d). Observaci on 6 Cuando Y = X en vez de decir B es cerrado en (X, d) diremos simplemente B es cerrado. Proposici on 21 Sea (X, d) un espacio m etrico y Y X . Entonces, las bolas cerradas del subespacio m etrico (Y, d) son intersecci on de bolas cerradas en el espacio total, con Y . Prueba. Tomemos a Y y r > 0. La bola cerrada de centro a y radio r en (Y, d) es el conjunto, {x Y : dY (x, a) = d(x, a) r } = {x X : d(x, a) r } Y = Br [a] Y.

43

Proposici on 22 Sea (X, d) un espacio m etrico, Y X no vac o y B Y . Son equivalentes: i) Todo cerrado en (Y, d) es tambi en cerrado en (X, d). ii) Y es cerrado en (X, d). Prueba. i) ii) Sabemos que Y es cerrado en (Y, d), entonces por hip otesis Y es cerrado en (X, d). ii) i) Seg un la proposici on 19, si B Y es cerrado en (Y, d), existe F X cerrado tal que B = F Y , luego B es intersecci on de dos cerrados y por tanto tambi en es cerrado.

44

Discusi on y Conclusiones

La separata mantiene el enfoque de los autores: Iribarren T. Ignacio L. Topolog a de Espacios M etricos. Kreyszig E. Introductory functional analysis whit applications. y Lages Lima, Elon. .Espacios m etricos. Textos utilizados como consulta por los docentes de la Facultad de Ciencias Naturales y Matem atica en especial en los cursos de An alisis Funcional, Introducci on a la Teoria de Distribuciones, Seminario de Tesis I y II; en la Escuela Profesional de Matem atica. En esta separata estudiamos los espacios M etricos, conjuntos abiertos en espacios m etricos y subespacios, Sucesiones en espacios m etricos y conjuntos cerrados en espacios m etricos y subespacios. La separata contiene ejemplos y ejercicios para aclarar las deniciones. La separata es parte de los apuntes de clase del curso de An alisi Funcional, que se dict o en la Escuela Profesional de Matem atica de la Facultad de Ciencias Naturales y Matem atica de la Universidad Nacional del Callao en el semestre acad emico 2012-B; por tanto estos apuntes est a orientada en especial para los estudiantes de dicho curso. Tambi en puede ser utilizada como material de consulta por estudiantes de An alisis I, An alisis II, Seminario de Matem atica, Introducci on a la Teoria de Distribuciones, Espacios de Sobolev, Seminario de Tesis I y II.

45

Bibliograf a
[1] Lages Lima, Elon. C urso de Analise vol. 1. Projeto Euclides. 12. ed. IMPA, 2009. [2] Lages Lima, Elon. C urso de Analise vol. 2. Projeto Euclides. 11. ed. IMPA, 2009. [3] Halmos P. R. Naive Set Theory. N. J., Van Nostrand, 1960. [4] Iribarren T. Ignacio L. Topolog a de Espacios M etricos. Editorial Limusa-Wiley, S. A. M exico. 1973. [5] Kreyszig E. Introductory functional analysis whit applications. Jhon Wiley. 1978. [6] Lages Lima, Elon. .Espacios m etricos. Rio de janeiro: IMPA, 1979. [7] Herrero Pi neyro, Pedro Jos e. Topolog a de Espacio M etricos. Universidad Murcia, 2011.

46