E SCUELA P OLITÉCNICA N ACIONAL

T OPOLOGÍA • TD N ◦ 3
T OPOLOGÍA C OCIENTE Y E SPACIOS C ONEXOS

Jueves 19 de diciembre 2019 Departamento de Matemática

P REGUNTAS
1. Sea X = R con la topología usual, definamos una relación de equivalencia ∼ sobre R por x ∼ y si y solo
si x − y ∈ Z. Demuestre que R/ ∼ es homeomorfo a Y = S1 con la topología usual.

2. Sea X un espacio topológico conexo y ∼ una relación de equivalencia, demuestre que X/ ∼ es un

espacio topológico conexo.

3. Sean X un espacio topológico, π el mapa cociente entre X y su espacio cociente, si π es una aplicación
abierta entonces X/ ∼ es T2 o de Hausdorff si y solo si ∼ es un subconjunto cerrado de X × X. Hint:
Para la segunda implicación use la caracterización de un espacio T2 por medio de su diagonal.

4. Un espacio topológico X es T1 o de Fréchet si para todo x, y ∈ X con x 6= y existen vecindades de x e y

respectivamente tales que x no pertenece a la vecindad de y e y no pertenece a la vecindad de x. Muestre
que x/ ∼ es T1 si y solo si toda clase de equivalencia de ∼ es cerrada en X.

5. Sea X un espacio topológico, para x ∈ X se define su componente conexa como la unión de todos los
subespacios conexos de X que contienen a x. Demuestre:

• Demuestre que C ( x ) es un conjunto abierto y cerrado a la vez.

• Se define la relación ∼ por x ∼ y si y solo si C ( x ) = C (y). Demuestre que es una relación de
equivalencia y describa X/ ∼.

6. Sea X 6= ∅ demuestre que para la topología indiscreta X es conexo por caminos.

7. Sea R con la topología usual, definamos la relación ∼ sobre R como x ∼ y si y solo si x − y ∈ Q para
todo x, y ∈ R.

• Pruebe que ∼ en efecto es una relación de equivalencia sobre R.

• Muestre que R/ ∼ con la topología cociente no es T2 .
• Muestre que la topología cociente en este caso es la topología discreta.

8. Sea X un espacio topológico y ∼ una relación de equivalencia sobre X, muestre que ∼⊂ X × X es abierto
(cerrado) si y solamente si el mapa cociente π es una aplicación abierta (cerrada).

9. Demuestre que el espacio cociente de un espacio cociente de X es un espacio cociente de X. Hint: Pruebe
que el conjunto cociente de X es homeomorfo al conjunto cociente del conjunto cociente de X.

10. Sean X un espacio topológico conexo, Y un espacio topológico y f : X → Y una función continua, enton-
ces el grafo de f es un conjunto conexo en la topología producto. Demuestre también que el recíproco
no se cumple.

11. Demuestre que la imagen de un conjunto conexo por caminos a través de una función continua es
también conexo por caminos.

12. ¿Es A un conjunto conexo con la topología τ?

• A = {1, 2, 3, 4}, τ = {∅, {1}, {2, 3}, {1, 2, 3}, A}

• A un subconjunto cualquiera de un espacio topológico dotado de la topología discreta.

1
 • A = R con la topología cofinita.

13. Muestre que Q no es un conjunto conexo con la topología usual.

14. ¿Todo conjunto convexo es conexo?, ¿todo conjunto conexo es convexo?.

15. Con la topología usual, ¿Cuál de los siguientes subconjuntos de R es conexo?

• R r Q,
1
• { : n ≥ 1},
n
• [0, 1) ∪ (1, 2),
• N.

16. Probar que ( X, τ ) es un espacio topológico conexo si y sólo si para cualquier x, y ∈ X existe un subcon-
junto conexo A de X tal que x, y ∈ A.

17. Sean ( X, τX ), (Y, τY ) dos espacios topológicos, demostrar que el espacio producto X × Y es conexo por
caminos si y sólo si X e Y lo son.
\ [
18. Sean ( X, τ ) y {Si }i∈ I ⊂ X una familia de conjuntos conexos tales que Si 6= ∅, entonces Si es
i∈ I i∈ I
conexo.

19. Realizar los ejercicios 45, 46, 47 del libro base del curso (Introduction a la Topologie, Francis Nier).

ℵ1