EJERCICIO 1.

Demuestre que si dos m etricas d y son equivalentes, entonces denen la misma topolog a, es decir, los mismos conjuntos abiertos. etricas equivalentes en un conjunto E , es decir, que Demostraci on. Suponga d y dos m existen constantes positivas y tales que d(x, y ) (x, y ) d(x, y ), x, y E ()

Hay que probar que todo abierto A en el espacio (E, d) tambi en est a en el espacio (E, ) y viceversa. En efecto, si A es cualquier abierto en (E, d) y x A existe r > 0 tal que Bd (x, r) A. Luego, para cada t E tal que (x, t) < r se tiene por () que d(x, t) (x, t) < r lo cual implica que d(x, t) < r o sea que cada elemento de B (x, r) est a tambi en en Bd (x, r), Esto implica que B (x, r) Bd (x, r) A y por tanto que A es tambi en un abierto de (E, ). An alogamente, si A es cualquier abierto en (E, ) y x A existe > 0 tal que B (x, ) A. 1 se tiene por () que (x, t) d(x, t) < lo Luego, para cada t E tal que d(x, t) < cual implica que (x, t) < o sea que cada elemento de Bd (x, ) est a tambi en en B (x, ), Esto implica que Bd (x, ) B (x, ) A y por tanto que A es tambi en un abierto de (E, d). Se ha probado que si d y son m etricas equivalentes entonces estas m etricas denen las mismos conjuntos abiertos.

EJERCICIO 2. Para A E se dene (A) =A y (A) = A . Pruebe que ((A)) = (A) y ( (A)) = (A)

Demostraci on. Sea A E . Observe que ((A)) = (A) =A y ( (A)) = (A ) = A por tanto las igualdades que se deben probar son

A=A

A = A

Se utilizar an los siguientes resultados donde X, Y son cualesquiera subconjuntos de E . a. X X . b. X X . c. Si X Y entonces X Y . d. Si X Y entonces X Y . e. X es abierto. f . X es cerrado. g . X es abierto si y solo si X = X . h. X es cerrado si y solo si X = X . i. X es el conjunto abierto m as grande contenido en X .

j . X es el conjunto cerrado m as peque no que contiene a X . Probaremos cada uno de estos resultados. a. Si x X es claro que d(x, X ) = 0 esto implica que x X y por tanto X X . b. Si x X existe r > 0 tal que B (x, r) X . Como x B (x, r) es obvio entonces que x X. c. Sea X Y y sea x X , as existe r > 0 tal que B (x, r) X pero como X Y entonces B (x, r) Y y se obtiene que x Y . d. Probemos primero que x X r > 0 B (x, r) X = . nmo que para todo En efecto, si x X , d(x, X ) = 0. Esto quiere decir por la propiedad del r > 0 existe tr X tal que d(x, tr ) < r con lo cual tr B (x, r) y entonces se concluye que para todo r > 0 B (x, r) A = . Rec procamente, suponga que para todo r > 0, B (x, r) X = . 1 Si d(x, X ) = > 0 por Arqu medes existe m N tal que < . Por hip otesis, existe m 1 1 1 xm B (x, m ) X . Como xm B (x, m ), d(x, xm ) < m < , como xm X la desigualdad d(x, xm ) < contradice que d(x, X ) = > 0 por lo tanto debe cumplirse que d(x, X ) = 0. Ahora suponga que X Y y sean x X y r > 0. Por lo probado anteriormente B (x, r) X = pero como X Y entonces tambi en B (x, r) Y = y se obtiene que x Y y asi X Y . e. Sea {Bi }iI la colecci on de todos los subconjuntos abiertos de A. Es decir, Bi es abierto y Bi A i I . Probemos que A = Bi .
iI

1) Sea x A x es un punto interior de A r > 0 tal que B (x, r) A. Como B (x, r) A y B (x, r) es un conjunto abierto se tiene que B (x, r) = Bi0 , para alg un i0 I y como x B (x, r) x Bi , y as , A Bi .
iI iI

2) Sea x
i I

Bi x Bi0

para alg un i0 I . Como Bi0 es abierto existe r > 0 tal que Bi A existe r > 0 tal que B (x, r) Bi0 A ,
iI

x B (x, r) Bi0 A. As , para cada x de donde se tiene que x A , y con esto que

Bi A , y entonces A =
iI i I

Bi

Ahora como la uni on cualesquiera de conjuntos abiertos es un conjunto abierto, y A = Bi , donde {Bi }iI es la clase de todos los subconjuntos abiertos de A entonces se

concluye que A es abierto. f. Sea {Fi }iI la colecci on de todos los conjuntos cerrados que contienen a A. Es decir, Fi Fi . es cerrado y A Fi i I . Probemos que A =
iI

iI

1) Si x E A entonces x / A esto implica que existe r > 0 tal que B (x, r) A = , y esto a su vez implica que A (E B (x, r)). Como B (x, r) es un conjunto abierto se tiene que E B (x, r) es cerrado como adem as A (E B (x, r)) entonces E B (x, r) = Fi0 para alg un i0 I y como x / E B (x, r) pues entonces x / Fi0 , es decir, x / Fi y por tanto
iI

xE
iI

Fi . Fi entonces x /
iI iI

2) Si x E

Fi implica que existe alg un i0 I tal que x / Fi0

implica que x E Fi0 y como este conjunto es abierto (por ser Fi0 cerrado) existe r > 0 tal que B (x, r) (E Fi0 ) o sea B (x, r) Fi0 = , pero como A Fi0 tambi en se cumple que B (x, r) A = o sea que x / A y as x E A. Hemos probado que E A = E Fi y
iI

por consiguiente que A =

iI

Fi . Ahora como la intersecci on cualesquiera de conjuntos cerrados Fi , donde {Fi }iI la colecci on de todos los conjuntos cerrados
i I

es un conjunto cerrado, y A =

que contienen a A entonces se concluye que A es cerrado. g. Se prob o en clase. h. Es la denici on de conjunto cerrado dada en clase. i. Ya se prob o que A A y que A es abierto. Ahora si B cualquier abierto contenido en A. Como B A por la parte (c) se tiene que B A . Como B es abierto la u ltima inclusi on implica por la parte (g ) que B A con lo cual A es el conjunto abierto m as grande contenido en A. j. Ya se prob o que A A y que A es cerrado. Ahora si B cualquier cerrado que contiene a tltima inclusi on A. Como A B por la parte (d) se tiene que A B . Como B es cerrado la u implica por la parte (h) que A B con lo cual A es el conjunto cerrado m as peque no que contiene a A.

Prueba de la igualdad A = A.

(I).

Para X = A se tiene por (a) que A A. Aplicando a esta inclusi on (c), se obtiene

A A. Ahora por (e) y (g ) se cumple que A = A y entonces A A implica que A A.

(II).

Para la otra inclusi on observe que por (b), A A. Ahora por (d), A A.

Por (f ) y (h), A = A con lo cual A A implica que A A y aplicando (c) a esta

u ltima inclusi on obtenemos que A A y as obtenemos la igualdad A = A.

Prueba de la igualdad A = A.
(I). Por (f ) y (j ) para probar que A A basta probar que A A

(1)

Veamos que es cierta la inclusi on (1). Por (a), A A. Ahora por (c), A A pero por (e) y (g ) se cumple que A = A y entonces A A implica que A A y como A A (por (a))

entonces se concluye que A A.

(II).

Por (f ) y (j ) para probar que A A basta probar que A A

(2)

Pero la inclusi on (2) es una consecuencia de (b) tomando X = A.

Por tanto, A = A.

EJERCICIO 3. Sea (E, d) un espacio m etrico separable. Es posible construir un conjunto no contable A donde todos sus puntos son puntos aislados? D e un ejemplo, o pruebe que no es posible. RESPUESTA: No es posible. Pues si (E, d) un espacio m etrico separable y A E es un conjunto donde todos sus puntos son puntos aislados entonces A debe ser contable. En efecto, Demostraci on: Sea E un espacio m etrico separable y A E un conjunto donde cada uno de sus puntos es aislado. Como E es separable tiene una base contable de abiertos B . Como todos los elementos de A son puntos aislados, dado a A existe ra > 0 tal que B (a, ra ) A = {a}. Como B es una base, por denici on la bola B (a, ra ) es uni on de elementos de B , esto es, existe una colecci on {Bi }iI contenida en B tal que B (a, ra ) =
i I

Bi

Como a B (a, ra ) entonces a Bi0 para alg un i0 I . Escribamos Ba = Bi0 . Como Ba = Bi0 Bi = B (a, ra ) entonces Ba B (a, ra ). Como a Ba A = y
iI

Ba A B (a, ra ) A = {a} entonces Ba A = {a} y con esto obtenemos que para cada x A existe Bx B tal que Bx A = {x} Considere la funci on :AB x Bx Observe que la funci on est a bien denida pues por () cada x en A tiene imagen en la base B . Por otro lado, si x A puede que existan dos (o m as) conjuntos distintos Bx , Bx B que ambos contengan a x, pero solo se escoje uno de ellos, esto hace que la funci on no sea sobreyectiva pero eso no es problema ya que nos interesa solo la inyectividad de . Por () esta funci on es inyectiva, en efecto si a y b son elementos de A tales que (a) = (b) entonces Ba = Bb . Ahora {a} = Ba A = Bb A = {b} = Tenemos que B es contable y es inyectiva. Si B es un conjunto nito entonces A es tambi en nito. Si B es numerable entonces A es contable, pues se vi o en clase que si Y es numerable y existe una inyecci on f : X Y entonces X es contable. En todo caso A es contable. a=b ()