Capı́tulo 2

Topologı́as Inducidas

En este capı́tulo estudiaremos diferentes formas de construir topologı́as a partir

de otras dadas. Básicamente estudiaremos la topologı́a producto, definida sobre un
producto de espacios topológicos, y la topologı́a cociente inducida por una aplicación
sobreyectiva, como puede ser la proyección canónica asociada a una relación de equi-
valencia.

2.1. Producto de Espacios Topológicos

Q Sea {Xi }i∈I una familia de espacios topológicos. Consideremos el producto X =
i∈I Xi como conjunto de puntos. Nuestro objetivo es construir en X una topologı́a a
partir de las de Xi , i ∈ I.
Vamos a fijar previamente la notación que utilizaremos en adelante. Cada punto
x ∈ X vendrá representado por x = (xi )i∈I , donde xi ∈ Xi para todo i ∈ I. Además,
denotaremos por πi : X → Xi a la i-ésima proyección canónica, es decir,
πi (x) = xi , donde x = (xi )i∈I .
Sea B la familia de todos los subconjuntos producto Πi∈I Ai , donde cada factor Ai es
un abierto de Xi y donde todos los Ai son iguales al correspondiente Xi salvo para un
número finito de ı́ndices i; es decir,
Y
B = { Ai : Ai abierto de Xi , con Ai = Xi si i 6∈ I0 , I0 subconjunto finito de I}.
i∈I
Q
Obsérvese que si I es finito cualquier producto i∈I Ai , con Ai abierto de Xi , cumple
esta condición.

25
2.1. PRODUCTO DE ESPACIOS TOPOLÓGICOS

Proposición 2.1.1 La familia B es una base de una topologı́a en X.

Demostración. Veamos que B verifica las dos propiedades que definen ser base de una
topologı́a:
Q
(i) X = i∈I Xi ∈ B.
Q Q
(ii) Basta comprobar que si A = i∈I Ai , B = i∈I Bi pertenecen a B entonces A∩B
también pertenece a B. En efecto, en primer lugar observemos que
Y
A∩B = Ai ∩ Bi .
i∈I

Por otra parte, sean

I1 ⊂ I subconjunto finito tal que Ai = Xi si i 6∈ I1
I2 ⊂ I subconjunto finito tal que Bi = Xi si i 6∈ I2 .
Entonces,

Ai ∩ Bi = Xi si i 6∈ I1 ∪ I2 , siendo I1 ∪ I2 subconjunto finito.

Luego A ∩ B pertenece a B. ✷

generada por la base B la llamaremos topologı́a pro-

Definición 2.1.2 A la topologı́a Q
ducto sobre X. Al conjunto X = i∈I Xi dotado con la topologı́a producto lo llamare-
mos espacio topológico producto de {Xi }i∈I .

Observación 2.1.3 La topologı́a producto contiene abiertos que no son producto de

abiertos (véase la Figura 2.1).

Ejercicio. Sea {Xi }i∈I una familia de espacios topológicos. Supongamos Bi es

base de la topologı́a de Xi para cada i ∈ I. Prueba que la familia de conjuntos
Y
B = { Bi : Bi ∈ Bi si i ∈ I0 y Bi = Xi si i 6∈ I0 , I0 subconjunto finito de I}
i∈I
Q
es una base de la topologı́a producto sobre X = i∈I Xi .

Definición 2.1.4 Una aplicación f : X → Y entre dos espacios topológicos es abierta

(resp. cerrada) si la imagen por f de cada abierto (resp. cerrado) de X es un abierto
(resp. cerrado) de Y .

26
 CAPÍTULO 2. TOPOLOGÍAS INDUCIDAS

y3

A
y2

y1

x1 x2 x3

Figura 2.1: El conjunto A = ((x1 , x2 ) × (y1 , y3 ))∪((x1 , x3 ) × (y2 , y3 )), que es un abierto
de R × R por ser unión de abiertos, no puede expresarse como producto de abiertos.

Ejercicio. Prueba que f : X → Y es una aplicación abierta si y sólo si f (B) es

abierto de Y para todo abierto B de una base B de la topologı́a de X.

El siguiente resultado aclara la naturaleza de la topologı́a producto.

Q Sea {Xi }i∈I una familia de espacios topológicos, y consideremos el

Teorema 2.1.5
producto X = i∈I Xi . Se verifican las siguientes afirmaciones:
(1) Cada proyección πi : X → Xi , i ∈ I, es continua y abierta cuando X se dota de
la topologı́a producto.
(2) La topologı́a producto es la menos fina de las topologı́as de X que hacen continuas
todas las proyecciones πi .
(3) Una aplicación f : Y → X, y 7→ (fi (y))i∈I , con X dotado de la topologı́a producto,
es continua si y sólo si lo son sus componentes fi = πi ◦ f .
Demostración. (1) Para la continuidad de πj , sea Aj un abierto de Xj . Entonces
Y
πj−1 (Aj ) = Aj × ( Xi ),
i∈I\{j}

que es un elemento de B, y, por tanto, un abierto de X. Por el ejercicio anterior, para

probar que πj es abierta basta comprobar que la imagen por πj de cada Q abierto de B
es abierto de Xj . Pero esto es trivial, ya que si A ∈ B entonces A = i∈I Ai , con Ai
abierto de Xi para todo i ∈ I, y, por tanto, πj (A) = Aj es abierto de Xj .

27
2.1. PRODUCTO DE ESPACIOS TOPOLÓGICOS

(2) Sea τ ′ una topologı́a en X que haga continuas las proyecciones, y A = i∈I Ai
Q
un elemento arbitrario de B. Sea I0 el subconjunto finito de I tal que Ai 6= Xi si y sólo
si i ∈ I0 . Entonces
A = ∩i∈I0 πi−1 (Ai ).
Como πi son continuas, cada πi−1 (Ai ) es abierto de τ ′ . Luego A se expresa como inter-
sección finita de abiertos de τ ′ , y, por tanto, pertenece a τ ′ . En conclusión, τ ′ contiene
a B, luego es más fina que la topologı́a producto.
(3) La implicación a la derecha es inmediata ya que, bajo las hipótesis, fi = πi ◦ f
es composición de aplicaciones continuas.
Para la implicación a la izquierda, supongamos que las componentes fi son conti-
nuas. Para la continuidad de f basta probar que f −1 (A) es abierto de Y para todo
abierto básico A ∈ B. Ahora bien, si A ∈ B entonces
Y
A= Ai , con Ai = Xi si i 6∈ I0 , siendo I0 subconjunto finito de I.
i∈I

En particular,
f −1 (A) = ∩i∈I0 (πi ◦ f )−1 (Ai ).
Como πi ◦ f = fi son continuas para todo i, se tiene que f −1 (A) es abierto de Y por
ser intersección finita de abiertos de Y . ✷
Observación 2.1.6 La topologı́a producto se puede generalizar de la siguiente forma.
Sea {Xi }i∈I una familia arbitraria de espacios topológicos. Sea fi : X → Xi , i ∈ I, una
familia de aplicaciones de un conjunto X a Xi . Se define la topologı́a inicial sobre X
como la intersección de todas las topologı́as sobre X que hacen continuas a todas las
aplicaciones fi , o, equivalentemente, la topologı́a menos fina que hace continuas a todas
las fi . Por el teorema anterior, laQ
topologı́a inicial coincide con la topologı́a producto
en el caso particular de que X = i∈I Xi y fi = πi para todo i ∈ I.

Ejercicio. Prueba que Qn es denso en Rn .

El teorema anterior nos permite mostrar en particular cómo es posible incluir el
producto de una subfamilia cualquiera de espacios topológicos dentro del producto
total, de manera que dicha inclusión preserve la topologı́a. Este resultado generaliza la
idea intuitiva que nos permite ver, por ejemplo, la recta real dentro del plano R2 .
Corolario 2.1.7 Sea {Xi }i∈I una familia de espacios topológicos. Consideremos un
J ⊂ I, y fijemos para cada j ∈ J un pj ∈ Xj . Entonces la aplicación
subconjunto Q
φ = (φ)i∈I : λ∈I\J Xλ → X dada por

xi si i ∈ I \ J
φi (x) = , x = (xi )i∈I\J
pi si i ∈ J

28
 CAPÍTULO 2. TOPOLOGÍAS INDUCIDAS

Q Q
es un homeomorfismo entre λ∈I\J Xλ y φ( λ∈I\J Xλ ).

Demostración. La composición φi = πi ◦ φ es la aplicación constantemente igual a pi

si i ∈ J o la proyección πi si i ∈ I \ J. Luego, en ambos casos, φi es una aplicación
continua. Por el Teorema 2.1.5 (3), φ también es continua.
−1
Q Q
Por otro lado, la aplicación φ : φ( λ∈I\J Xλ ) → λ∈I\J Xλ es continua, puesto
que πi ◦ φ−1 es la restricción a la imagen de φ de la proyección πi : X → Xi , i ∈ I \ J.
✷
Vamos a dedicar lo que queda de esta sección a estudiar la relación entre las pro-
piedades topológicas del espacio producto y las de sus factores. Comenzamos con la
condición de Hausdorff (Defn. 1.5.20).

Q 2.1.8 Sea {Xi }i∈I una familia de espacios topológicos no vacı́os. El producto
Teorema
X = i∈I Xi es Hausdorff si y sólo si todos sus factores lo son.

Demostración. Para la implicación a la derecha, supongamos que X es Hausdorff.

Elegimos un pi ∈ Xi para cada i ∈ I. Sean xj , x′j ∈ Xj , xj 6= x′j para j ∈ I arbitrario.
Consideremos la aplicación
Y
φ : Xj → Xj × Xi , yj 7→ (yj , (pi )i∈I\{j} ).
i∈I\{j}

Obviamente, φ(xj ) 6= φ(x′j ). Como X es Hausdorff, existen abiertos A, A′ de X tales

que φ(xj ) ∈ A, φ(x′j ) ∈ A′ y A ∩ A′ = ∅. Como φ es continua por el corolario anterior,
φ−1 (A), φ−1 (A′ ) son abiertos de Xj . Además, xj ∈ φ−1 (A), x′j ∈ φ−1 (A′ ) y φ−1 (A) ∩
φ−1 (A′ ) = ∅. Luego Xj es Hausdorff para todo j ∈ I.
Para la implicacióna la izquierda, supongamos que Xi es Hausdorff para todo i ∈ I.
Sean x, y ∈ X, x 6= y. Entonces existe j ∈ I tal que xj 6= yj . Como Xj es Hausdorff,
existen abiertos Aj ,QA′j tales que xj ∈ Aj , Q
yj ∈ A′j y Aj ∩ A′j = ∅. Consideremos los
abiertos A = Aj × i∈I\{j} Xi , A′ = A′j × i∈I\{j} Xi . Obviamente, x ∈ A, y ∈ A′ y
A ∩ A′ = ∅. Luego X es Hausdorff. ✷
La topologı́a producto proporciona una nueva caracterización de la propiedad de
ser Hausdorff.

Proposición 2.1.9 Un espacio topológico X es Hausdorff si y sólo si la diagonal ∆ :=

{(x, x) : x ∈ X} es un cerrado en X × X.

Demostración. Para la implicación a la derecha, supongamos que X es Hausdorff. Sea

(x, y) ∈ (X × X) \ ∆ arbitario. Esto significa que x, y ∈ X, x 6= y. Como X es
Hausdorff, existen abiertos A, A′ de X tales que x ∈ A, y ∈ A′ y A ∩ A′ = ∅. En
particular, (x, y) ∈ A × A′ y (A × A′ ) ∩ ∆ = ∅. Luego el abierto A × A′ es un entorno

29
2.1. PRODUCTO DE ESPACIOS TOPOLÓGICOS

X
△
A′ (x, y)

A X

Figura 2.2: A y A′ son abiertos con x ∈ A, y ∈ A′ y A ∩ A′ = ∅. En particular, A × A′

es un entorno de (x, y) que no corta a ∆.

de (x, y) contenido en (X × X) \ ∆ (véase la Figura 2.2). Como (x, y) era arbitrario,

(X × X) \ ∆ es abierto y, por tanto, ∆ es cerrado.
Para la implicación a la izquierda, supongamos que ∆ es un cerrado. Sean x, y ∈ X,
x 6= y. Entonces (x, y) ∈ (X × X) \ ∆. Luego existe un abierto U tal que (x, y) ∈ U y
U ∩ ∆ = ∅. Sea A × A′ un abierto de la base B tal que (x, y) ∈ A × A′ ⊂ U . Entonces,
x ∈ A, y ∈ A′ y A ∩ A′ = ∅. Luego X es Hausdorff. ✷
Como consecuencia más o menos inmediata de este resultado se obtienen los si-
guientes corolarios.

Corolario 2.1.10 Sean f, g : X → Y dos aplicaciones continuas entre dos espacios

topológicos. Si Y es Hausdorff entonces el conjunto

C = {x ∈ X : f (x) = g(x)}

es cerrado en X.

Demostración. Consideremos la aplicación

φ : X → Y × Y, x 7→ (f (x), g(x)).

Como f, g son continuas, también lo es la aplicación φ. Como Y es Hausdorff, ∆ =

{(y, y) : y ∈ Y } es un cerrado de Y . Por tanto, C = φ−1 (∆) es un cerrado de X. ✷

30
 CAPÍTULO 2. TOPOLOGÍAS INDUCIDAS

Corolario 2.1.11 Sean f, g : X → Y dos aplicaciones continuas entre dos espacios

topológicos. Supongamos que Y es Hausdorff. Si f, g coinciden en un subconjunto denso
E de X entonces f, g coinciden en todo X.
Demostración. Por el corolario anterior sabemos que el subconjunto C de X donde f, g
coinciden es un cerrado. Ahora bien, E ⊂ C. Como E es denso,
X = E ⊂ C ⊂ C.
Luego C = X y, por tanto, f, g coinciden en todo X. ✷
A continuación pasamos a estudiar el comportamiento de la condición de metriza-
bilidad frente a la topologı́a producto.
n
Teorema 2.1.12 Sea {(X Qn i , di )}i=1 una familia finita de espacios métricos. Entonces
la topologı́a sobre X = i=1 Xi asociada a la métrica
d(x, y) := max{d1 (x1 , y1 ), . . . , dn (xn , yn )}, donde x = (x1 , . . . , xn ), y = (y1 , . . . , yn ),
(2.1)
coincide con la topologı́a producto.
Demostración. De la definición de la métrica d es inmediato comprobar que
Brd (x, X) = Brd1 (x1 , X1 ) × · · · × Brdn (xn , Xn ).1
Como las bolas Brdi (xi , Xi ) son abiertos de (Xi , di ), es claro entonces que la bola
Brd (x, X) pertenece a la base B de la topologı́a producto. Luego, la topologı́a métrica
τd está incluida en la topologı́a producto τ .
Para la otra inclusión basta probar que la aplicación
Id : (X, τd ) → (X, τ )
es continua, o, equivalentemente, que lo son cada una de sus proyecciones
πi : (X, τd ) → (Xi , di ), i = 1, . . . , n.
Ahora bien, para cada ǫ > 0 consideremos δ = ǫ. Si d(x, y) < δ = ǫ entonces di (xi , yi ) <
ǫ para todo i = 1, . . . , n. Luego las πi son continuas para todo i = 1, . . . , n. ✷
Corolario 2.1.13 La topologı́a producto sobre Rn coincide con la topologı́a usual.
Demostración. Basta aplicar el Teorema 2.1.12 a este caso y recordar que la topologı́a
asociada a la métrica d en (2.1) coincide con la asociada a la métrica usual d0 (Ejemplo
1.3.7). ✷

1
Obsérvese que en la notación hacemos explı́cita tanto la métrica como el espacio a considerar,
para ası́ evitar cualquier posible confusión.

31
2.1. PRODUCTO DE ESPACIOS TOPOLÓGICOS

Ejercicio. Repite la prueba del Teorema 2.1.12 sustituyendo la métrica (2.1) por
esta otra:

d(x, y) = d1 (x1 , y1 ) + · · · + dn (xn , yn ).

El Teorema 2.1.12 se puede extender al caso de una familia infinita numerable de

espacios métricos. En efecto:

Teorema 2.1.14 Sea {(Xn , dn )}∞ n=1 una

Q∞ familia infinita numerable de espacios métri-
cos. Entonces la topologı́a sobre X = n=1 Xn asociada a la métrica
∞
X 1
d(x, y) = dn (xn , yn ), donde x = (xn )n∈N , y = (yn )n∈N , (2.2)
n=1
2n

siendo dn (xn , yn ) = min{1, dn (xn , yn )}, coincide con la topologı́a producto.

Demostración. Para probar que la topologı́a asociada a la métrica d está incluida en la

topologı́a producto τ basta probar que las bolas Brd (x, X) son abiertos de la topologı́a
producto. Sea y ∈ Brd (x, X), y = (yn )n∈N ∈ X. Entonces d(x, y) < r, y, por tanto,

r − d(x, y)
a := > 0.
3
Sea m ∈ N tal que 1/2m ≤ a. Consideremos el siguiente abierto de la base B de la
topologı́a producto:
∞
Y
A := Bad1 (y1 , X1 ) × ··· × Badm (ym , Xm ) × Xn .
n=m+1

Basta probar que y ∈ A ⊂ Brd (x, X). De la definición de A es obvio que y ∈ A. Para la
inclusión A ⊂ Brd (x, X), sea z un punto arbitrario de A. Entonces:
P∞
d(y, z) = Pm 1 1
P
n=1 2n dn (y n , z n ) + n=m+1 2n dn (yn , zn )
∞
< Pm a 1
P
n=1 2n + n=m+1 2n
m
= n=1 2an + 21m < a + 21m ≤ 2a
< r − d(x, y)

donde en la primera desigualdad se ha usado que dn (yn , zn ) < a para todo n = 1 . . . m

(recuérdese que z ∈ A), y que dn (yn , zn ) ≤ 1 para n > m. Luego,

d(x, z) ≤ d(x, y) + d(y, z) < r

32
 CAPÍTULO 2. TOPOLOGÍAS INDUCIDAS

y, por tanto, z ∈ Brd (x, X).

Para la inclusión τ ⊂ τd basta probar que la aplicación
Id : (X, τd ) → (X, τ )
es continua, o, equivalentemente, que lo son cada una de sus proyecciones
πn : (X, τd ) → (Xn , dn ), n ∈ N.
ǫ
Ahora bien, para cada 0 < ǫ < 1 consideremos δ = ǫ/2n . Si d(x, y) < δ = 2n
entonces
1 ǫ
d n (x n , y n ) ≤ d(x, y) < .
2n 2n
Luego dn (xn , yn ) = min{1, dn (xn , yn )} < ǫ. Como ǫ < 1, necesariamente dn (xn , yn ) < ǫ.
Por tanto, πn es continua para todo n ∈ N. ✷

2.2. Cociente de un Espacio Topológico

Una manera muy útil de obtener nuevos espacios topológicos a partir de uno inicial
consiste en “identificar” o “pegar” entre sı́ puntos del espacio topológico de partida.
Por ejemplo, una circunferencia se obtiene a partir de un intervalo cerrado y acotado
pegando sus extremos, una rosquilla a partir de un cilindro identificando sus circunfe-
rencias superior e inferior, y ası́ un largo etcétera. En esta sección vamos a formalizar
este procedimiento, y vamos a estudiar sus principales propiedades.
Consideremos una aplicación sobreyectiva p : X → Y entre un espacio topológico
X y un conjunto Y .
Definición 2.2.1 La topologı́a cociente en Y inducida por p se define como aquella
cuyos abiertos son los subconjuntos A ⊂ Y tales que p−1 (A) es abierto de X.

Ejercicio. Prueba que se trata efectivamente de una topologı́a sobre Y .

Observaciones 2.2.2 (1) La topologı́a cociente coincide con aquella cuyos cerrados
son los subconjuntos C ⊂ Y tales que p−1 (C) es cerrado de X. En efecto, esto es una
consecuencia inmediata de la igualdad p−1 (Y \ C) = X \ p−1 (C).
(2) La topologı́a de la Definición 2.2.1 también se llama topologı́a final. Cuando
se adopta ese nombre, el término topologı́a cociente se reserva para el caso en que la
aplicación sobreyectiva p es la proyección canónica p : X → Y = X/R inducida por
una relación de equivalencia R en X, y en este caso se denota τ /R.
(3) De ahora en adelante, y siempre que no se diga lo contrario, todo espacio
topológico de la forma X/R se considerará dotado de la topologı́a cociente τ /R, y
se denominará espacio topológico cociente.

33
2.2. COCIENTE DE UN ESPACIO TOPOLÓGICO

Ejemplo 2.2.3 Consideremos el espacio topológico X = R con la topologı́a usual y el

conjunto Y = {a, b, c}. Sea p : R → Y la aplicación dada por

 a si x > 0
p(x) = b si x < 0
c si x = 0.


La topologı́a cociente en Y inducida por p es τY = {Y, ∅, {a}, {b}, {a, b}}.

Teorema 2.2.4 Consideremos una aplicación sobreyectiva p : X → Y entre un espa-
cio topológico X y un conjunto Y .
(1) La topologı́a cociente en Y es la más fina de todas las topologı́as en Y que hacen
continua a p.
(2) Supongamos Y dotado de la topologı́a cociente. Entonces f : Y → Z, Z espacio
topológico, es continua si y sólo si lo es la composición f ◦ p : X → Z.
Demostración. (1) Claramente, la topologı́a cociente hace continua a p. Supongamos
que otra topologı́a τ sobre Y hace continua también a p. Si A ∈ τ entonces p−1 (A) es
abierto de X. Luego A es abierto de la topologı́a cociente, y, por tanto, τ está incluida
en la topologı́a cociente.
(2) La implicación a la derecha es trivial, ya que f ◦p es composición de aplicaciones
continuas.
Para la implicación a la izquierda, supongamos que f ◦ p es continua. Sea A un
abierto de Z. Entonces (f ◦ p)−1 (A) = p−1 (f −1 (A)) es abierto de X, y, por tanto,
f −1 (A) es abierto de Y . En definitiva, f : Y → Z es continua. ✷

Ejemplos 2.2.5 (1) En la esfera unitaria de dimensión n definida por

Sn = {x ∈ Rn+1 : kxk = 1}
consideramos la relación de equivalencia dada por
x R y ⇔ x = ±y.
Se define el espacio proyectivo real de dimensión n como
RP n ≡ (Sn /R, τ /R).
Una forma alternativa, pero equivalente, de definir el espacio proyectivo real de
dimensión n es la siguiente:
RP n ≡ (Rn+1 \ {0}/R, τ /R),
donde en este caso
x R y ⇔ x = λy, λ ∈ R.

34
 CAPÍTULO 2. TOPOLOGÍAS INDUCIDAS

0 1

Figura 2.3: Interpretación gráfica de la construcción del toro a partir de un cuadrado

de lado unidad.

(2) Sean X1 , X2 espacios topológicos disjuntos, y consideremos dos puntos x1 ∈ X1 ,

x2 ∈ X2 . En X = X1 ∪ X2 , dotado de la topologı́a
A ⊂ X abierto ⇔ A ∩ X1 , A ∩ X2 son abiertos,
consideremos la relación de equivalencia R cuya única clase no trivial es la for-
mada por x1 R x2 . Se define la suma o unión puntual de X1 y X2 , vı́a x1 ∈ X1 y
x2 ∈ X2 , como el cociente Y = (X1 ∪ X2 )/R dotado de la topologı́a cociente.
(3) En el cuadrado X = [0, 1] × [0, 1] ⊂ R2 consideramos la relación de equivalencia
R determinada por las siguientes identificaciones: (i) cada punto del interior del
cuadrado está identificado sólamente consigo mismo; (ii) cada punto del interior
de cada lado está identificado con el correspondiente punto del lado opuesto; (iii)
los cuatro vértices están identificados entre sı́. Se define el toro topológico como
el espacio cociente X/R dotado de la topologı́a cociente (véase la Figura 2.3 para
una idea intuitiva de la relación definida). En el ejemplo posterior al Teorema
4.2.6 se demuestra que la aplicación
F : X/R → S1 × S1 , (x1 , x2 ) 7→ (cos 2πx1 , sen2πx1 , cos 2πx2 , sen2πx2 ),
establece un homeomorfismo entre el toro y el espacio topológico producto S1 ×S1 .

Ejercicio. Sea f : X → Y una aplicación sobreyectiva entre dos espacios to-

pológicos. Supongamos que Y está dotada de la topologı́a cociente inducida por f .
Consideremos en X la siguiente relación de equivalencia: x1 R x2 ⇔ f (x1 ) = f (x2 ).
Prueba que el espacio topológico cociente (X/R, τ /R) es homeomorfo a Y .

Definiciones 2.2.6 Sea X un conjunto dotado de una relación de equivalencia R. Sea

p : X → X/R la proyección canónica asociada. Se define el saturado de un subconjunto
A ⊂ X como sat(A) = p−1 (p(A)).
Bajo las condiciones anteriores, se dice que A ⊂ X es saturado si A = sat(A).

35
2.3. EJERCICIOS

Supongamos ahora que X es un espacio topológico.

Definición 2.2.7 Se dice que una relación de equivalencia R sobre X es abierta (resp.
cerrada) si el saturado de cualquier abierto (resp. cerrado) de X es abierto (resp.
cerrado) de X.

Con estas definiciones podemos establecer ahora los siguientes resultados:

Proposición 2.2.8 Sea X un espacio topológico con una relación de equivalencia R.

Sea p : X → X/R la proyección canónica asociada. Entonces p es abierta (resp. cerra-
da) si y sólo si R es abierta (resp. cerrada).

Demostración. Razonamos sólo para “abierta” ya que para “cerrada” es análogo. La

proyección p es abierta si y sólo si p(A) es abierto para todo A abierto de X. Ahora
bien, por la definición de la topologı́a cociente, esto último se verifica si y sólo si
sat(A) = p−1 (p(A)) es abierto para todo A abierto de X, esto es, si y sólo si R es
abierta. ✷

Teorema 2.2.9 Consideremos un aplicación sobreyectiva p : X → Y entre dos espa-

cios topológicos. Entonces Y tiene la topologı́a cociente inducida por p si y sólo si p es
continua y transforma abiertos saturados (resp. cerrados saturados) en abiertos (resp.
cerrados).

Demostración. Razonamos sólo para “abierto” (para “cerrado” es análogo).

Para la implicación a la derecha, supongamos que Y tiene la topologı́a cociente
inducida por p. Entonces ya vimos que p debe ser continua. Para la otra propiedad,
sea A un abierto saturado de X, es decir, A = sat(A) = p−1 (p(A)). Como p−1 (p(A))
es abierto, por la definición de la topologı́a cociente tenemos que p(A) también lo es.
Luego p transforma abiertos saturados en abiertos.
Para la implicación a la izquierda, sea τ una topologı́a sobre Y tal que se cumplen
las dos propiedades para p. Como p es continua, y la topologı́a cociente es la topologı́a
más fina sobre Y que verifica esta propiedad, tenemos que τ está incluida en la topologı́a
cociente. Para la otra inclusión, sea A un abierto arbitrario de la topologı́a cociente.
Entonces p−1 (A) es abierto de X. Como p−1 (A) = p−1 (p(p−1 (A))), se tiene que p−1 (A)
es un abierto saturado. Luego, p(p−1 (A)) = A es abierto de (Y, τ ). En definitiva, la
topologı́a cociente está incluida en τ , y, por tanto, ambas topologı́as coinciden. ✷

2.3. Ejercicios
1. Considera los espacios topológicos (R, τ0 ), (R, τcf ) y (R2 , τ0 × τcf ), siendo τcf la
topologı́a de los complementos finitos.

36