94

DE TOPOLOG 7. CONSTRUCCION IAS

Tema 4.

Topolog as nales: identicaci on y suma topol ogica

n 7.4.1 (Topolog Construccio a imagen directa (Ejemplo 2.1.2(10))). Consideremos f : X Y una aplicaci on entre conjuntos. Supongamos que (X, TX ) es un e.t. Toda topolog a TY que haga f : (X, TX ) (Y, TY ) continua tiene que cumplir que si V TY , entonces f 1 (V ) TX . Por tanto si consideramos f TX := {V Y | f 1 (V ) TX }, se tiene que T f TX . Como adem as f TX es una topolog a en Y (Ejemplo 2.1.2(10)) entonces hemos probado que f TX es la mayor topolog a en Y que hace f una aplicaci on continua. Esta topolog a es un ejemplo de topolog a nal y se denomina topolog a imagen directa de f sobre Y . La topolog a imagen directa tiene una propiedad universal similar a la topolog a cociente y que se demuestra de la misma manera. n 7.4.2. Sea X un espacio topol Proposicio ogico y sea f : X Y una aplicaci on. Consideramos en Y la topolog a imagen directa por f . Sea Z un espacio topol ogico y sea g : Y Z una aplicaci on. Entonces, g es continua si y solo si lo es g f . La topolog a imagen directa tambi en se caracteriza mediante cerrados. n 7.4.3. Sean X, Y espacios topol Proposicio ogicos y sea f : X Y una aplicaci on continua. Entonces la topolog a sobre Y es la topolog a imagen directa por 1 f si y solo si el conjunto de cerrados de Y es {C Y | f (C ) X es cerrado}. n 7.4.4. Diremos que una aplicaci Definicio on f : (X, TX ) (Y, TY ) es una identicaci on si f es suprayectiva y TY = f (TX ). Vamos a ver la relaci on que hay entre proyecciones en espacios cocientes e identicaciones. n 7.4.5. Sea X e.t. y R relaci Proposicio on de equivalencia en X , entonces la proyecci on R : X X/R es una identicaci on. An alogamente, se tiene una especie de rec proco de este resultado. Obs ervese que si f : (X, TX ) (Y, TY ) es una identicaci on, entonces podemos denir la Rf siguiente relaci on de equivalencia: si x, y X , entonces x y f (x) = f (y ). En tal caso tenemos el espacio cociente X/Rf y f factoriza por dicho espacio obteni endose el siguiente diagrama X (7.1)
f

X/Rf

Y,
h

 Y SUMA TOPOLOGICA TEMA 4. TOPOLOG IAS FINALES: IDENTIFICACION

95

donde f = h f . n 7.4.6. La aplicaci Proposicio on h : X/Rf Y descrita en (7.1) es un homeomorsmo. Por tanto, toda identicaci on puede verse como la proyecci on sobre una topolog a cociente y toda proyecci on cociente es una identicaci on. Propiedades 7.4.7 (Identicaciones). Consideremos f1 : X Y y f2 : Y Z aplicaciones continuas: (1) Si f1 y f2 son identicaciones, entonces f2 f1 es una identicaci on. (2) Si la composici on f2 f1 es una identicaci on, entonces f2 es identicaci on. (3) Si f1 es una identicaci on entonces f2 f1 es identicaci on si y s olo si f2 es identicaci on. (4) Una aplicaci on continua, sobreyectiva y abierta (o cerrada) es una identicaci on. (5) Si f es una aplicaci on biyectiva, entonces es identicaci on si y s olo si es homeomorsmo. Ejercicio 7.30. Sean X, Y e.t. , f : X Y identicaci on. Sean B Y , 1 A := f (B ) X y f : A B la aplicaci on inducida por f . Demostrar que si B es identicaci es abierto (resp. cerrado) entonces f on. Ejercicio 7.31. Demuestra que si X es T1 , T2 , normal o regular, sus cocientes no tienen porqu e serlo Terminamos este Tema con otro ejemplo importante de topolog a nal. n 7.4.8. La suma topol Construccio ogica de una familia de espacios topol ogicos se dene como sigue. Consideremos una familia {(X , T )} de e.t. y el conjunto suma X := X := ({} X ). Para todo tomemos la aplicaci on (7.2) j : X X ,

j (x ) := (, x ).

La topolog a suma se dene como

1 T := {U X | j (U ) abierto }.

Es f acil ver que se cumplen las condiciones (T1-3). Si todos los espacios X son iguales a X , denotaremos esta suma X . Propiedades 7.4.9. Sea {(X , T )} de e.t. y el conjunto suma X := a suma. Sea j : X X la inclusi on. X := ({} X ) con la topolog

96

DE TOPOLOG 7. CONSTRUCCION IAS

1 (1) C X es cerrado si y solo si j (C ) es cerrado en X . (2) j es un homeomorsmo sobre la imagen y esta es a su vez abierta y cerrada en X . (3) Sea f : X Z aplicaci on, Z espacio topol ogico. Entonces f es continua si y solo si j f es continua .

n 7.4.10. Debido a la Propiedad 7.4.9(2), si no hay lugar a conObservacio fusi on identicaremos X con su imagen; con esta identicaci on, se trata de un abierto-cerrado de X . Adem as, la Propiedad 7.4.9(3) se interpreta reemplazando 1 (A). j f por f|X . Obs ervese que si A X = X , entonces A = j 1 Por lo tanto, denotando A = j (A) podemos considerar que todo subconjunto de X es de la forma A . Observemos que las inclusiones (o las aplicaciones j ) son aplicaciones continuas cerradas y abiertas ya que la denici on (o la Propiedad 7.4.9(1)) se traducen en que A es abierto (resp. cerrado) si y solo si A lo es en X . Ejercicio 7.32. Demuestra que si A = A = A .

A X =

X entonces

n 7.4.11. Se pueden probar de manera an Observacio aloga resultados similares para el interior, exterior, puntos aislados y conjunto derivado de A. Ejercicio 7.33. Considera B base de abiertos de X . Demuestra que B := {{} B | B B } es una base de abiertos de X =

X .

Ejercicio 7.34. Sea x X0 para cierto 0 y B x base de entornos de x en X0 . Demuestra que B (x,0 ) := {{0 } B | B B x } es base de entornos para (0 , x) X =

X .