Está en la página 1de 5

Topolog a - Taller 2

Diego Orlando Due nas Daza Cod. 153520 Mayo 9 de 2012


1. Demuestre que el Teorema de extensi on de Tietze implica el Lema de Urysohn. Soluci on: Sean A, B dos subconjuntos cerrados disjuntos de un espacio topol ogico (X, ) normal, ahora veamos la funci on f : A B [0, 1] denida de la siguiente manera: f (x) = 0 1 si x A si x B.

Como f est a denida sobre el subespacio A B , entonces tanto A como B son abiertos y cerrados al tiempo, por lo tanto f es continua. Luego, por el Teorema de Extensi on de Tietze, existe una funci on g : X [0, 1] tal que g (A) = 0 y g (B ) = 1. 2. En la demostraci on del Teorema de Tietze, cuan esencial fue la astuta decisi on en el Paso 1 para dividir el intervalo [r, r] en tres partes iguales? Suponga ahora que se divide el anterior intervalo en los siguientes tres: I1 = [r, ar] ; I2 = [ar, ar] ; I3 = [ar, r] para algun a con 0 < a < 1. Para que valores de a diferentes a a = 1/3 (si los hay), la demostraci on se mantiene? Soluci on: La demostraci on se mantiene, ya que en el caso de 0 < a < 1, aunque los intervalos no quedan de igual tama no, no se tiene problemas pues se considera el tamano de los intervalos I1 o I3 que es siempre igual a r a. Luego la aproximaci on via sumas parciales n-esima se tiene que (r a)n y |gn | a(r a)n1 . por lo tanto la suma tambi en est a acotada entre [r, r], ya que (r a) < 1, luego la serie converge. 3. Sea X metrizable. Muestre que las siguientes proposiciones son equivalentes: i) X es acotado bajo cualquier metrica que da la topolog a de X . ii) Toda funci on continua : X R es acotada. iii) X es punto limite compacto.

[Pista: Si : X R es una funci on continua, entonces F (x) = x + (x) es un embededimiento de X en X R. Si A es un subconjunto innito de X el cual no tiene punto limite, sea una sobreyecci on de A sobre Z+ ] Soluci on: i) (i)(ii). Primero tenemos que X es metrizable y toda metrica generada por la topolog a de X es acotada. Ahora, sean d y d distancias sobre X , luego denimos m como m = d + d , inmediatamente vemos que esta ultima es una metrica (facil de comprobar). Ahora, sea y Bd (x, r) y supangamos que z Bm (y, r d(x, y )), entonces tenemos lo siguiente: d(z, x) d(x, y ) + d(y, z ) d(x, y ) + m(y, z ) < r Luego, para todo punto en Bd (x, r), existe un abierto de (X, m) que esta contenido en la bola, ademas (X, m) es m as na que (X, d). Por lo tanto m y d estan acotadas. Ahora tomemos una funci on continua y ademas, d metrica de X , luego d(x, y ) + |(x) + (y )| tambi en es metrica y por lo anterior tenemos que es acotada. ii) (ii)(iii). Por contrareciproca, si un subconjunto innito A el cual no tiene puntos limite, tenemos entonces que el subconjutno es cerrado. Ahora, consideremos una funci on sobre y continua que va de A en Z, entonces por el Teorema de Extensi on de Tietze y ademas del hecho que todo espacio m etrico es normal, entonces existe una extensi on F : X A la cual no es acotada. iii) (iii)(i). Por Teorema de Heine-Borel-Lebesgue tenemos que dentro de un espacio metrico X , si este tiene la propiedad de Bolzano-Weierstrass, equivale a que X sea compacto. Ahoram sea x X la colecci on de bolas abiertas de la topolog a inducida por la metrica d, {Bn (x)}nN un cubrimiento abierto de X . Dado que X es compacto, existe un subcubrimiento nito {Bni (x)}i=1,2,...,k , como se trata de bolas concentricas, si m = m axn1 , . . . , nk , tenemos que
k

X Luego X es acotado.

(Bni (x)) = B (x, m)


i=1

4. Sea Z un espacio topol ogico. Si Y es un subespacio de Z , decimos que Y es una retracci on de Z si existe una una funci on continua r : Z Y tal que r(y ) = y para todo y Y . a) Muestre que si Z es Hausdor y Y es una retracci on de Z , entonces Y es cerrado en Z . b) Sea A un conjunto de dos puntos en R2 . Muestre que A no es una retracci on de R2 . c) Sea S 1 el circulo unitario de R2 ; muestre que S 1 es una retracci on de R2 {0} donde 0 es el origen. 1 2 Puede conjeturar cuando S es o no una retracci on de R ? Soluci on: a) Sea x Z Y , entonces y = r(x). Por ser Z Hausdor, existen abiertos disjuntos U, V tal que x U y y V . Ahora tomemos la intersecci on V Y , el cual es abierto en Y , luego W = r1 (V Y ) es abierto en Z y este contiene a x, y . Si escogemos un z Y W , tenemos que r(z ) = z con z V , por lo tanto z / U . Entonces si z U W , tenemos que z / Y , es decir que para todo z Z Y existe un abierto B = U W tal que B Z Y . 2

b) Supongamos que existe una funci on continua r : R2 A, luego la imagen inversa de cada punto de A 2 debe ser un abierto de R la cual es no vacia, luego la uni on de esos dos abiertos (ya que son apenas 2 puntos) deberia ser todo el espacio R2 . c) Se dene la siguiente funci on: r : (R2 {0}) S 1 x x |x| esta funci on es continua ya que es composici on de dos funciones continuas (la funci on identica y |x|), como la funci on es un cociente, debemos eliminar del dominio el punto (0, 0). 5. Un espacio Y se dice que tiene la Propiedad Universal de Extensi on si para cada tripla (X, A, f ) donde X es un espacio normal, A es un subconjunto cerrado de X y f : A Y una funci on continua, entonces existe una extensi on de f a una funci on continua de X en Y . a.) Muestre que RJ tiene la Propiedad Universal de Extensi on (Asumimos que RJ tiene la topolog a producto). b.) Muestre que si Y es homoemorfo a una retracci on de RJ , entonces Y tiene la Propiedad Universal de Extensi on. Soluci on: a.) Sea X un espacio normal, A X cerrado y f : A RJ dado por f (a) = {f (a)} J , donde RJ

 A
f =

d d E R f

Supongamos que f es continua, entonces f : A R es continua para todo J , por el Teorema de Extensi on de Tietze, cada f : A R se puede extender a una funci on continua h : X R, entonces h : X RJ dada por h(x) = {h (x)} J es una extensi on continua de h. b.) Sea X un espacio normal, A X cerrado y f : A Y continua. Sea h : Y = , donde es una retracci on de RJ , luego existe una funci on continua : RJ que ja puntualmente a RJ , entonces existe una extensi on continua g : X que extiende a la funci on h f : A . Ahora solo basta ver que h1 g : X Y extiende a f . Inmediatamente vemos que esta funci on es continua (h1 es continua por ser h homeomorfa y g es continua por construcci on). Ahora, sea a A, luego (h1 g )(a) = h1 (g (a)) = h1 ((h f )(a)) = h1 (h(f (a))) = f (a) Lo que completa nuestra demostraci on. 6. Sea Y un espacio normal, entonces decimos que Y es una retracci on absoluta si para cada par de espacios (Y0 , Z ), tales que Z es normal y Y0 es un subespacio cerrado de Z homeomorfo a Y , el espacio Y0 es una retracci on de Z . a.) Muestre que si Y tiene la Propiedad Universal de Extensi on, entonces Y es una retracci on absoluta. 3

b.) Muestre que si Y es una retracci on absoluta y Y es compacto, entonces Y tiene la Propiedad Universal de Extensi on. [Pista: Asuma el Teorema de Tychono, asi sabr a que [0, 1]J es normal. Embeba Y en [0, 1]J .] Soluci on: a.) Sea f : Y0 on puede ser extendida por una funci on continua g : Z Y . Ahora veamos = Y , esta funci que f 1 g : Z Y0 nos muestra que Y0 es una retracci on absoluta de Z , luego es claro que f 1 g es continua (f por ser funci on homeomorfa y g por construcci on). Sea y Y0 , entonces (f 1 g )(y ) = f 1 (g (y )) = f 1 (f (y )) = y Lo que completa nuestra demostraci on. b.) Como los espacios compactos Hausdor son exactamente espacios que son homeomorfos a algun subespacio cerrado de [0, 1]J para algun conjunto J , entonces cualquier compacto Hausdor que es una retracci on absoluta, es una retracci on del espacio por la Propiedad de Extensi on Universal de [0, 1]J , luego el mismo tiene la Propiedad de Extensi on Universal. 7. a) Muestre que la espiral logaritmica C = {0 0} {et cos t et sin t | t R} es una retracci on de R2 . Puede denir una retracci on especica r : R2 C b) Muestre que el eje X amarrado K es una retracci on de R3 . Soluci on: a) Sea C R2 un subespacio cerrado del espacio normal R2 que es homeomorfo a [0, ), por Teorema de Extensi on de Tietze, se tiene que [0, ) tiene la Propiedad de Extensi on Universal, por el ejercicio anterior, tenemos que [0, ) es una retracci on absoluta y por tanto C es una retracci on de R2 . Ahora, la 2 funci on continua r : R C denida como r(x, y ) = ( x2 + y 2 cos log (0, 0) x2 + y 2 , x2 + y 2 sin log x2 + y 2 ) si (x, y ) = (0, 0) si (x, y ) = (0, 0).

Es una retracci on de R2 en C . b) El espacio K R3 es un subespacio cerrado del espacio normal R3 que es homeomorfo a R. Por Teorema de Extensi on de Tietze, tenemos que R tiene la Propiedad Universal de Extensi on, por ejercicio anterior (6a), R es una retracci on absoluta, luego K es una retracci on de R3 . 8. Muestre lo siguiente: Teorema: Sea Y un espacio normal. Entonces Y es una retracci on absoluta si y solo si Y tiene la Propiedad Universal de Extensi on. (Pista: Si X e Y son espacios normales disjuntos, A es cerrado en X y f : A Y es una funci on continua, denimos el Espacio Adjunto Zf como el espacio cociente obtenido de X Y , identicando cada punto a de A con el punto f (a) y con todos los puntos f 1 ({f (a)}). Usando el Teorema de Tietze, muestre que Zf es normal. Si P : X Y Zf es la funci on cociente, muestre que p|Y es un homeomorsmo de Y con un subespacio cerrado de Zf ) 4

9. Sea X1 X2 . . . una suceci on de espacios, donde Xi es un subespacio cerrado de Xi+1 para cada i. Sea X la uni on de los Xi ; X se convierte en topolog a declarando que un conjunto U es abierto en X si U Xi es abierto en X para cada i. a) Muestre que esto es una topolog a en X y que cada espacio Xi es un subespacio (de hecho, un subespacio cerrado) de X en esta topolog a. Esta topolog a se llama la topolog a coherente con los subespacios Xi . b) Muestre que f : X Y es continua si f |Xi es continua para cada Xi . c) Muestre que si cada espacio Xi es normal, entonces X es normal. (Pista: Dados conjuntos cerrados disjuntos A, B en X , coloque f (A) = 0, f (B ) = 1 y extienda f sucesivamente hacia A B Xi con i = 1, 2, . . .)