Topologı́a

Segundo cuatrimestre - 2011

Práctica 4
Axiomas de separación y compacidad

Usaremos la siguiente nomenclatura: un espacio X se dice T0 si para cada par de puntos distintos
existe un abierto que contiene a uno solo de ellos. X es T1 si para cualesquiera dos puntos x0 , x1 ∈ X
existen abiertos U0 , U1 tales que xi ∈ Uj si y sólo si i = j. Es T2 (o Hausdorff) si dos puntos distintos
cualesquiera tienen entornos disjuntos. X se dice regular si dados un punto x y un cerrado F en X
tal que x ∈/ F , existen dos abiertos disjuntos, uno conteniendo a x y el otro a F . El espacio es T3
si es regular y T1 . X es completamente regular si para todo cerrado F y todo punto x ∈ / F , existe
una función continua f : X → I = [0, 1] tal que f (F ) = {0} y f (x) = 1. X es Tychonoff si es
completamente regular y T1 . Diremos que X es normal si para cualesquiera dos cerrados disjuntos F1
y F2 existen dos abiertos disjuntos, uno conteniendo a F1 y el otro a F2 . Finalmente, X se dice T4 si
es normal y T1 .

Axiomas de separación

1. Probar que si X es T3 , entonces dos puntos distintos cualesquiera de X admiten entornos cuyas
clausuras son disjuntas.

2. Probar que si X es T4 , entonces todo par de cerrados disjuntos de X admiten entornos cuyas
clausuras son disjuntas.
3. Probar que un subespacio cerrado de un espacio T4 es T4 .

4. Probar que si X tiene la topologı́a del orden, entonces X es T3 .

Q
5. Sea {Xα } una familia de espacios topológicos no vacı́os. Probar que si Xα es Hausdorff ó T3
ó T4 , entonces también lo es cada Xα .

6. Sea X un conjunto y sean T , T ′ topologı́as en X tales que T ⊂ T ′ . Suponiendo que X es

Hausdorff (o T3 o T4 ) con una de estas topologı́as, decidir qué puede deducirse de X con la otra
topologı́a.

7. Sean f, g : X → Y continuas, Y Hausdorff. Probar que {x : f (x) = g(x)} es cerrado en X.

8. Probar que si X es T4 y conexo entonces tiene un solo punto o es no numerable.

9. Sea Z un espacio topológico. Si Y es un subespacio de Z, decimos que Y es retracto de Z si

existe una función continua r : Z → Y tal que r(y) = y para todo y ∈ Y .

(a) Probar que si Z es Hausdorff e Y es un retracto de Z, entonces Y es cerrado en Z.

(b) Sea A ⊂ R2 con dos elementos. Probar que A no es un retracto de R2 .
(c) Probar que S 1 es un retracto de R2 \ {0}. ¿Es S 1 un retracto de R2 ?

10. Probar que si Y es T4 con base B, entonces Y es subespacio de [0, 1]J con J ⊆ B × B.

11. Probar que si {fα : X → R} es una familia de funciones continuas que separa puntos de cerrados,
entonces es inicial.

1 Práctica 4
12. Probar que Rl × Rl no es T4 , pero es Tychonoff.

Compacidad
13. Sean T , T ′ dos topologı́as en X.
(a) Probar que si T ′ es más fina que T y X es compacto para T ′ , entonces X también es
compacto para T .
(b) Probar que si X es compacto y Hausdorff tanto para T como para T ′ , entonces ambas
topologı́as coinciden o no son comparables.
14. Probar que si X tiene la topologı́a del complemento finito, entonces es compacto.
15. Decidir si [0, 1] es compacto para
(a) la topologı́a {U : [0, 1] \ U es numerable o igual a [0, 1]}.
(b) la topologı́a de subespacio de Rl .
16. Sea X Hausdorff y sean A, B ⊂ X compactos y disjuntos. Probar que existen abiertos disjuntos
U, V tales que A ⊂ U y B ⊂ V . En particular todo espacio compacto y Hausdorff es T4 .
17. Mostrar que si f : X → Y es continua, donde X es compacto e Y es Hausdorff, entonces f es
cerrada.
18. Sea f : X → Y , con Y compacto y Hausdorff. Probar que f es continua si y sólo si el gráfico
de f definido por Gf = {(x, f (x)) : x ∈ X} es cerrado en X × Y .
19. Sea p : X → Y suryectiva y cerrada. Probar que si Y es compacto y además p−1 (y) es compacto
para todo y ∈ Y , entonces X es compacto.
20. Sea X metrizable. Probar que son equivalentes:
(a) X es acotado para toda métrica que induzca la topologı́a de X.
(b) Toda función continua φ : X → R es acotada.
(c) X es compacto.
21. Considere el siguiente producto fibrado.

P /X

pb P = X ×Y Z
 
Z /Y

Probar que si X y Z son compactos, e Y Hausdorff, entonces P es compacto.

Hallar un ejemplo en el que Y no sea Hausdorff y P no sea compacto.
22. Sea f : X → Y suryectiva y propia. Probar que si X es Hausdorff, entonces Y también lo es.
23. Sea X Tychonoff. Sean A, B cerrados disjuntos de X. Probar que si A es compacto, entonces
existe una función continua f : X → I tal que f (A) = {0} y f (B) = {1}.

Compacidad local
24. Probar que Q no es localmente compacto.
25. Probar que si X es localmente compacto y Hausdorff, entonces es T3 .

2 Práctica 4
26. Probar que [0, 1]ω no es localmente compacto con la topologı́a uniforme.
Q
27. Probar que si i∈I Xi es localmente compacto, entonces cada Xi es localmente compacto y
todos los Xi , salvo una cantidad finita, son compactos.

28. Probar que si X es localmente compacto y f : X → Y es abierta, entonces f (X) también es

localmente compacto.
Hallar un ejemplo que muestre que la hipótesis f abierta es necesaria.

29. Probar que si X es localmente compacto y Hausdorff, entonces es Tychonoff.

Compactificación de Alexandroff

30. Probar que la compactificación a un punto de N es homeomorfa a {0} ∪ {1/n : n ∈ N} con la

topologı́a subespacio de R.

31. Usando la proyección estereográfica p : S n \ {N } → Rn definida por

1
p(x1 , . . . , xn+1 ) = (x1 , . . . , xn )
1 − xn+1

probar que la compactificación a un punto de Rn es homeomorafa a S n .

32. Probar que si f : X → Y es un homeomorfismo de espacios de Hausdorff localmente compactos,

entonces f se extiende a un homeomorfismo entre sus compactificaciones a un punto.

Grupos topológicos

33. Probar que (R, +), (S 1 , ·) y (GL(n, R), ·) son grupos topológicos.

34. Probar que G es un grupo topológico si y sólo si la función H : G × G → G, H(g, h) = g · h−1

es continua.

35. Probar que para cada a ∈ G, las funciones La : G → G y Ra : G → G, definidas por La (g) = a·g,
Ra (g) = g · a son homeomorfismos.

36. Sea G un grupo topológico, sea e el neutro de G y sea U abierto que contiene a e. Probar que
existe V abierto que contiene a e tal que V · V ⊂ U y V −1 ⊂ U .

37. Probar que si un grupo topológico G es T0 , entonces es T2 .

38. Probar que si H es un subgrupo de un grupo topológico G, entonces la clausura de H es también

un subgrupo. Probar que si H es invariante, entonces su clausura también.

39. De los grupos topológicos GL(n, R), SL(n, R), O(n, R), SO(n, R), decidir cuáles son compactos
y cúales son conexos.

3 Práctica 4