Topologa y Espacio Cociente

Memo Garro

Noviembre 2011

1 Aplicacin conciente
Definicin 1. Sean X e Y dos espacios topolgicos y sea p : X Y una aplicacin sobreyectiva.
La aplicacin p se dice que es una aplicacin cociente siempre que

U Y : U es abierto en Y p1 (U ) es abierto en X. (1)

La condicin (1) se conoce tambin como continuidad fuerte.

Proposicin 1. Si p : X Y es una aplicacin cociente, entonces es continua.

Demostracin. Si V Y es un conjunto abierto, entonces es inmediato que p1 (V ) X es abierto

(por la condicin (1)).

Ejemplo 1. Sea Rl la lnea de Sorgenfrey y consideremos R con la topologa usual. Sea tambin
f : Rl R la aplicacin f (x) = x, para todo x Rl . Claramente f es una aplicacin sobreyectiva.
Adems, si < a b < , entonces
[ 1

f 1 (a, b) = (a, b) = a ,b ,
n
nN

es abierto en Rl . Por lo tanto f es continua. Sin embargo,

f 1 [a, b) = [a, b),

es abierto en Rl pero no en R. Por lo tanto f no es una aplicacin cociente. M

Proposicin 2. Una aplicacin p : X Y es una aplicacin cociente si y slo si

C Y : C es cerrado en Y f 1 (C) X es cerrado en X. (2)

Demostracin. Como p es sobreyectiva, entonces

p1 (Y \B) = X\p1 (B),

para todo B Y .
] Supongamos que p es una aplicacin cociente. Sea C Y . Tenemos,

C es cerrado en Y Y \C es abierto en Y
X\p1 (C) es abierto en X
p1 (C) es cerrado en X.

1
 ] Supongamos que p satisface la condicin (2). Sea U Y . Tenemos,

U es abierto en Y Y \U es cerrado en Y
X\p1 (U ) es acerrado en X
p1 (U ) es abierto en X.

Recordemos que una aplicacin f : X Y se dice que es abierta si para un conjunto U X

abierto, f (U ) Y es abierto; se dice que es cerrada si para un conjunto C X cerrado, f (C) Y
es cerrado.
Proposicin 3. Si f es una aplicacin continua sobreyectiva abierta o cerrada, entonces f es una
aplicacin cociente.
Demostracin. Si f es continua entonces para U X, f 1 (U ) es abierto siempre que U Y sea
abierto, si adems f es sobreyectiva y abierta entonces U = f (f 1 (U )) es abierto siempre que
f 1 (U ) sea abierto. Sucede igual cuando f es una aplicacin cerrada.

Ejemplo 2. Sea X el subespacio [0, 1] [2, 3] de R y sea Y el subespacio [0, 2] de R. Definimos la

aplicacin p : X Y , (
x si x [0, 1],
p(x) =
x 1 si x [2, 3].
Entonces p es una aplicacin continua, sobreyectiva y cerrada. Por lo tanto es una aplicacin
cociente. Sin embargo, el conjunto [0, 1] es abierto en X, pero la imagen p([0, 1]) = [0, 1] no es
abierto en Y , y por sonsiguiente p no es un aplicacin abierta. M
Ejemplo 3. Sea 1 : R R R la proyeccin sobre la primera coordenada. Entonces 1 es
continua, sobreyectiva y abierta. Por lo tanto 1 es una aplicacin conciente. Sin embargo no es
una aplicacin cerrada, puesto que el conjunto

C = {(x, y) R R : xy = 1},

es cerrado en R R, pero 1 (C) = R\{0} no es cerrado en R. M

Ejemplo 4. Sea 1 : R R R la proyeccin sobre la primera coordenada. Sea A R R el
subespacio
A = {(x, y) R R : x 0 y = 0}.
Sea q : A R la restriccin de 1 al subespacio A. Notamos que si U R, entonces

q 1 (U ) = A (U R).

Por lo tanto, q 1 (U ) es abierto en A si y slo si U es abierto en R. Por lo tanto q es una aplicacin

cociente.
Por otro lado, el conjunto [0, ) (1, 2) = A (R (1, 2)) es abierto en A, pero


q [0, ) (1, 2) = [0, ),

no es abierto en R. La aplicacin q no es abierta.

Finalmente, el conjunto C = {(1/x, x) R R : x > 0} A es cerrado en A, pero q(C) = (0, ),
no es cerrado en R. La aplicacin q no es cerrada. M

2
 Hay otra forma de caracterizar las funciones cociente va los conjuntos saturados.
Definicin 2. Sea p : X Y una aplicacin sobreyectiva. Decimos que un conjunto C X es
saturado respecto a p si
y Y : C p1 ({y}) 6= p1 ({y}) C (3)
Observacin 1. El conjunto vaco C = y X mismo son conjuntos saturados respecto a cualaquier
aplicacin p.
Proposicin 4. Sea p : X Y una aplicacin sobreyectiva. Un conjunto C X es saturado
respecto a p si y slo si C = p1 (V ) para algn V Y .
Demostracin. ] Sea C X saturado. La afirmacin es obvia si C = o si C = X. Supongamos
que C X. Sea el conjunto
V = {y Y : C p1 ({y}) 6= }.
Si c C, entonces claramente c C p1 ({p(c)}). Por consiguiente V 6= y C p1 (V ). Por
otra parte, si x p1 (V ), entonces C p1 ({p(x)}) 6= , y como C es saturado, p1 ({p(x)}) C,
en particular x C.
] Sea y Y . Si C = p1 (V ) para algn V Y , entonces C p1 ({y}) = p1 (V {y}). Por lo
tanto,
C p1 ({y}) 6= V {y} =
6
yV
p1 ({y}) p1 (V ) = C,
luego, C es saturado.

Hemos visto que la condicin de continuidad no es suficiente para tener una aplicacin cociente.
El siguiente teorema establece el ingrediente extra necesario.
Teorema 1. Una aplicacin sobreyectiva p : X Y es una aplicacin cociente si y slo si p es
continua y p asocia conjuntos abiertos caturados de X con conjuntos abiertos de Y , o bien, conjuntos
cerrados saturados de X con conjuntos cerrados de Y .
Demostracin. ] Ya hemos probado que una aplicacin cociente es continua. Sea V X un
conjunto saturado de X respecto a p. Sea W Y tal que V = p1 (W ). As, W = p(V ). Dado que
p es una aplicacin cociente, si V es abierto entonces W es abierto, o bien, si V es cerrado entonces
W es cerrado.
] Supongamos que p es continua y que asocia conjuntos saturados abiertos de X respecto a
p con conjuntos abiertos de Y . Entonces si U Y es abierto, p1 (U ) es abierto. Inversamente,
supongamos que p1 (U ) es abierto. Obviamente p1 (U ) es un conjunto saturado de X repsecto
a p, por lo tanto U = p(p1 (U )) es abierto. Cuando p asocia conjuntos saturados cerrados de X
respecto a p con conjuntos cerrados de Y , la prueba es anloga.

Ejemplo 5. Sea 1 : R R la proyeccin sobre la primera coordenada. Y sea D R R el

subespacio
D = {(x, y) R R : xy = 1} {(0, 0)}.
Sea q : D R la restriccin de 1 al subespacio D. La aplicacin q es continua y sobreyectiva, pero
no es una aplicacin cociente. En efecto, el conjunto unipuntual {(0, 0)} = q 1 ({0}) es abierto y
saturado en D respecto a q, sin embargo, q({(0, 0)}) = {0} no es abierto en R. M

3
2 Topologa cociente
Ahora usaremos el concepto de aplicacin cociente para construir una topologa sobre un conjunto.

Teorema 2. Sea X un espacio topolgico y sea A un conjunto. Si p : X A es una aplicacin

sobreyectiva, entonces existe una, y solo una, topologa sobre A relativa a la cual p es una aplicacin
cociente. Esta topologa es llamada topologa cociente inducida por p.

Demostracin. Consideremos la clase

= {U A : p1 (U ) es abierto en X}.

es una topologa. Dado que p1 () = y p1 (A) = X son abiertos en X, entonces y A .

Ahora, si {Ui }iI es una subclase de (donde I es un conjunto no vaco), entonces
!
[ [
1
p Ui = p1 (Ui ),
iI iI

Ui . Finalmente, si {Ui }ni=1 es una subcoleccin finita de ,

S
es abierto en X, y por lo tanto iI
entonces
n n
!
\ \
1
p Ui = p1 (Ui )
i=1 i=1
Tn
es abierto en X, y por tanto i=1 Ui .
Por otro lado, es evidente que p es una aplicacin cociente con esta topologa.
Finalmente, si 0 es una topologa sobre A respecto a la cual p es una aplicacin cociente, entonces

U 0 p1 (U ) es abierto en X
u .

Por lo tanto = 0 .

Ejemplo 6. M

3 Espacio Cociente
Definicin 3. Sea X un espacio topolgico y sea X una particin de X en subconjuntos ajenos
no vacos. Sea p : X X la aplicacin sobreyectiva que asocia cada punto de x al subconjunto
de X que lo contiene. El espacio X con la topologa cociente inducida por p se le llama espacio
cociente de X.

Recordemos que una particin X de X induce una relacin de equivalencia dada por la regla

x X y X : x y x y y pertencen al mismo elemento de la particin.

Observamos que

i) x p(x), x X.

ii) x y p(x) = p(y) x p(y) y p(x).

iii) X = {p(x) : x X}.

4
 [
iv) Si U X , entonces p1 (U ) = p(x).
x{yX:p(y)U }
[
v) U X es abierto p(x) es abierto.
x{yX:p(y)U }

Ejemplo 7. M