1

Dual a la nocion de topologa debil inducida sobre X por una coleccion fi : X Xi de

funciones, tenemos la nocion de topologa fuerte inducida en Y por una coleccion de funcio-
nes gi : Yi Y , la cual es la topologa sobre Y que hace que todas las gi sean continuas. En
particular, cuando hay solo una funcion g : X Y la topologa fuerte resultante sobre Y
es llamada topologa cociente inducida sobre Y por g. En este trabajo estaremos interesados
solamente en estudiar varias formas equivalentes de representar los espacios cocientes.

Proposicion 1 Sean (X, ) un espacio topologico, Y un conjunto no vaco y g : X Y

una funcion (sobreyectiva). Entonces la coleccion de subconjuntos de Y definida por:

g = {G Y : g 1 (G) }

es una topologa que convierte a g en una funcion continua.

Demostracion. Sean (X, ) un espacio topologico, Y 6= y g : X Y una funcion.
Primero veamos que g es una topologa sobre Y . En efecto, es evidente que g (Y ).
g es no vaco ya que existe Y Y tal que g 1 (Y ) = X . i) g , pues Y y
g 1 () = . Ademas, ya se demostro que Y g . ii) Supongamos que G1 , G2 g ,
entonces g 1 (G1 ), g 1 (G2 ) y G1 , G2 Y . Pero, G1 G2 Y y g 1 (G1 G2 ) =
g 1 (G1 ) g 1 (G2 ) . As, G1 G2 g . iii)
S Tomemos {Gi1}iI
S g , entonces Gi g pa-
1 1
S
ra todo i I,S i G Y y g (Gi ) . Luego, iI Gi Y y g ( iI Gi ) = iI g (Gi ) .
Por tanto, iI Gi .
La continuidad de g se tiene en virtud de la definicion de g . 

Observacion 1 Aunque no se haya tenido en cuenta el hecho de ser g sobreyectiva en la

demostracion anterior, si sera escencial en la definicion de espacio cociente y en algunos
resultados posteriores. Si g no es sobreyectiva se generaran abiertos en g no necesarios y
por  inercia , g sera igual a la topologa discreta sobre Y y el caso sera muy trivial.

Definicion 1 La anterior topologa, g , se dice que es la Topologa Cociente inducida

sobre Y por g. Y es el Espacio Cociente de X y la funcion g se denomina Funcion
Cociente.

Proposicion 2 La topologa g es la mas grande sobre Y que convierte a g en una funcion

continua.
Demostracion. Supongamos que existe otra topologa, , sobre Y tal que g es continua.
Veamos que para cualquier abierto G , G g . En efecto, si G , entonces G Y y,
en virtud de la continuidad de g, g 1 (G) . As, por definicion de g , G g . Por tanto,
g .

Tenemos ahora una nueva forma de describir la topologa cociente dada en la siguiente

Proposicion 3 Consideremos (X, ), (Y, g ), y g dadas en la definicion anterior. Entonces

F Y es cerrado en g s, y solo si g 1 (F ) X es cerrado en .

2
 Demostracion. )Como g es continua y F es cerrado en g , entonces g 1 (F ) es cerrado
en . )Sea F Y y sea g 1 (F ) cerrado en . Veamos que F es cerrado en g , es decir,
F C g . En efecto, recuerde que dado U Y , U g s, y solo si g 1 (U ) . Por hipotesis,
(g 1 (F ))C , pero (g 1 (F ))C = g 1 (F C ). As, g 1 (F C ) . Por tanto, F C g . 

Teorema 1 Si (X, 1 ), (Y, 2 ) son espacios topologicos y f : (X, 1 ) (Y, 2 ) es una fun-
cion sobreyectiva, continua y abierta (o cerrada), entonces 2 es la topologa cociente f .

Demostracion. Debemos mostrar que 2 = f . Puesto que 2 es una topologa sobre Y , f es

continua y f es la topologa mas grande sobre Y que convierte a f en una funcion continua,
tenemos 2 f . Ahora veamos que f 2 . En efecto: i) Si U f y f : (X, 1 ) (Y, 2 )
es abierta, entonces f 1 (U ) 1 y f (f 1 (U )) 2 . Pero f es tambien sobreyectiva, as que
f (f 1 (U )) = U y U 2 . Luego, f 2 . ii) Si U f y f : (X, 1 ) (Y, 2 ) es cerrada,
entonces U C es cerrado en f , f 1 (U C ) es cerrado en 1 y f (f 1 (U C )) es cerrado en 2 .
Pero f es sobreyectiva, con lo cual f (f 1 (U C )) = U C . Entonces U C es cerrado en 2 . Es
decir, U 2 . Por tanto, f 2 . Tanto en i) como en ii) ha demostrado que f 2 , esto
completa la prueba. 

Teorema 2 Sea Y con la topologa cociente inducida por la funcion f : (X, 1 ) (Y, f ).
Entonces, cualquier funcion arbitraria g : (Y, f ) (Z, 2 ) es continua s, y solo si
(g f ) : (X, 1 ) (Z, 2 ) es continua.

Demostracion. ) f y g son continuas, por hipotesis. Por tanto (g f ) es continua.

)Sean g f continua, f : (X, 1 ) (Y, f ), f continua y g : (Y, f ) (Z, 2 ). Veamos
que g es continua, es decir, que g 1 (U ) f para cualquier U 2 . En efecto, si U 2 ,
entonces (g f )1 (U ) = (f 1 g 1 )(U ) = f 1 (g 1 (U )) 1 , en virtud de la continuidad de
g f . Pero, recordemos que W f s, y solo si f 1 (W ) 1 . As, tomando W = g 1 (U )
obtenemos g 1 (U ) f . 

Podemos considerar un espacio cociente de X como una coleccion de subconjuntos de X

con una topologa naturalmente definida.

Definicion 2 Sea X un espacio topologico. Una Descomposicion, , de X es una colec-

cion de subconjuntos disyuntos de X cuya union es X.

Proposicion 4 Sean (X, ) un espacio topologico, una descomposicion de X, = y

F =. Definamos una familia de subconjuntos de de la siguiente manera:
[
? = {= : F }

Entonces ? es una topologa sobre .

3
 Demostracion. Obviamente 6= y ? (). i) ? , pues y satisface
?
S requerida para estar en ? . Tomando = = obtenemos,
vacamente la condicion
?
por
definicion de , que F =SF = X . As,
S . ii)Supongamos que =1 , =2 entonces
=1 , =2 , =1 =2 , F =1 F y G=2 G S . Si =1 =2 S
= , trivialmente tenemos
?
S
que =1 =2 . Si =1 =2 6= , tenemos que H=1 =2 H = F =1 F = G=2 G ,
para algunos H = F = G, puesto que existe H =1 , H =2 y las uniones arbitrarias de
elementos, tanto de =1 como de =2 , estan en ; estos es, algunas de las uniones de elemen-
tos de =1 y de =2 coincidiran con todas la posibles uniones de elementos de =1 =2 . As,
? ? ?
S1 =2 . iii)Supongamos que {=?i }iI , entonces =i , para S
= cada i I. Es decir,
F =i F . Ahora, por ser =i y una topologa, tenemos que F iI =i F . Es
S

decir, iI =i . Finalmente, hemos demostrado que ? es una topologa sobre . 

S

Definicion 3 Si dotamos a de la topologa ? , entonces se dice que es un Espacio de

Descomposicion de X.

Definicion 4 Sean P : X una funcion tal que para cada x X, P (x) = D, D y

x D. Entonces se dice que P es la Funcion Natural o Funcion de Descomposicion
de X sobre .

Se demostrara a continuacion que un espacio cociente es igual a un espacio de descom-

posicion.

Teorema 3 La topologa, ? , sobre un espacio de descomposicion, , de X es igual (homeo-

morfa) a la topologa cociente inducida por la funcion natural P : X .

Demostracion. Supongamos P :SX , debemos mostrar que ? = P .

Recordemos que: i) ? = {= : F = F }; ii) P = {< : P 1 (<) }.
Supongamos que = ? . Si = = , tenemos que P 1 (=) = S , as, = P . Si = 6= ,
entonces existe por lo menos un elemento F = y P 1 (=) = F = F , pues, P 1 (=) 6=
implica que existe algun x P 1 (=) tal que
x P 1 (=) P (x) = F = P (x) = F F = x F x F = F
S

Luego, = P , por definicion de P . As hemos demostrado que ? P .

Ahora veamos que P ? . Supongamos que < P . Si < = , trivialmente, tenemos que
6 podemos suponer la existencia de algun R <, con lo cual, P 1 (<) y
< ? . Si < =
1
P (<) 6= . Ademas,
x P 1 (<) P (x) < R < P (x) = R R < x R x R< R.
S

Esto es, P 1 (<) = R< R . As, por definicion de ? , tenemos < ? . Por tanto,
S
P ? .
Finalmente, se hemos mostrado que ? = P .

4
Teorema 4 Si Y esta dotado de la topologa cociente inducida por f : X Y , entonces
Y es homeomorfo al espacio de descomposicion cuyos elementos son los conjuntos f 1 (y),
y Y , segun el homeomorfismo h : Y tal que h f es la funcion natural P de X a .
Demostracion.(Pendiente)

La siguiente es la forma mas usual de introducir la definicion de espacio cociente.

Definicion 5 Si v es una relacion de equivalencia sobre el espacio topologico X, entonces

su Espacio de Identificacion X/ v esta definido como el Espacio de Descomposicion
cuyos elementos son la clases de equivalencia para v.