Práctico 4 - Topologı́a 2023, FaMAF - UNC

Compactificación
1. Sea f : X −→ R una función. Decimos que f se anula en ∞ si para todo  > 0 existe K ⊂ X
compacto tal que |f (x)| <  para todo x 6∈ K. Sea X ∗ la compactificación de Alexandroff de X y
f˜ : X ∗ −→ R la función definida por
(
˜ f (x) x ∈ X
f (x) = .
0 x=∞
Probar que f es continua y se anula en ∞ si y sólo si f˜ es continua.

Topologı́a producto
2. Sean Xi , i ∈ I, espacios topológicos, y para cada i ∈ I, sea Ai un subconjunto de Xi .

◦ Q
= i∈I A◦i .
Q
(a) Probar que, si I es finito, i∈I Ai
(b) Probar que lo anterior puede no ser cierto si I es infinito.
Q Q
(c) Estudiar las relaciones entre i∈I Ai y i∈I Ai .

3. Sean X1 , X2 dos espacios topológicos, y A1 , A2 subconjuntos de X1 , X2 , respectivamente. Probar

que


Fr(A1 × A2 ) = Fr(A1 ) × A2 ∪ A1 × Fr(A2 ) .
Y
4. Sea {Xi }i∈I una familia de espacios topológicos y sea a ∈ X = Xi . Probar que el conjunto de
i∈I
elementos de X que difieren de a en un número finito de coordenadas es denso en X.

5. Sea (X, d) un espacio métrico. Probar que la topologı́a de X es la menos fina que hace que d :
X × X → R sea continua.

6. Sea X un espacio topológico.

(a) Probar que la aplicación diagonal D : X −→ X × X, D(x) = (x, x), es continua.
(b) Probar que D(X) es cerrado en X × X si y sólo si X es T2 .

7. Sean X, Y, Z espacios topológicos y f : X × Y → Z una función. Para cada x ∈ X y cada y ∈ Y ,

definimos las funciones
fx : Y −→ Z y fy : X −→ Z
0 0
y 7−→ f (x, y ) x0 7−→ f (x0 , y)
(a) Probar que, si f es continua, entonces las funciones fx y fy son continuas, para todo x ∈ X y
todo y ∈ Y .
(b) Mostrar que la recı́proca no vale.

8. Sea {Xi }i∈I una familia de espacios topológicos. Probar que:

Q
(a) i∈I Xi es T2 si y sólo si Xi es T2 para todo i.
Q
(b) Si i∈I Xi es separable, entonces cada Xi es separable.
(c) Si I es numerable, entonces vale la recı́proca de b).
Q
(d) i∈I Xi es N1 (respectivamente, N2 ) si y sólo si cada Xi es N1 (respectivamente N2 ) y todos,
salvo una cantidad numerable, son indiscretos.
Q
(e) i∈I Xi es (arco-)conexo si y solo si cada Xi es (arco-)conexo.

9. Sean X, Y dos espacios topológicos, y A, B subconjuntos compactos de X e Y , respectivamente.

Probar que si W es un entorno de A × B en X × Y , entonces existen U y V abiertos en X e Y
respectivamente tales que A × B ⊂ U × V ⊂ W .
1
Práctico 4 - Topologı́a 2023, FaMAF - UNC

Q
10. Sean Y = j∈J Yj un espacio producto y pj : Y −→ Yj las respectivas proyecciones para cada j ∈ J.
Probar que una función f : X −→ Y es continua si y sólo si pj ◦ f : X −→ Yj es continua para todo
j ∈ J.

11. Sean f : X1 −→ Y1 y g : X2 −→ Y2 funciones continuas. Probar que

f × g : X1 × X2 −→ Y1 × Y2 , (x1 , x2 ) 7→ (f (x1 ), g(x2 ))
es una función continua. ¿Vale el resultado análogo para un producto arbitrario de espacios y
funciones?

12. 1 Sean f, g : X −→ R funciones continuas. Probar que f + g es una función continua. Lo mismo vale
para las siguientes funciones: a · f para todo a ∈ R; |f |; ; f − g; f.g; fg , (si g 6= 0); max{f, g} y
min{f, g}.

13. Sea g : S n → R una función continua. Probar que existe x ∈ S n tal que g(x) = g(−x).

14. Sea f : X −→ Y una función entre espacios topológicos. El gráfico de f es el subconjunto

graf(f ) = {(x, f (x)) | x ∈ X}
de X × Y . Sea F : X −→ graf(f ) la función definida por F (x) = (x, f (x)) para todo x ∈ X.
(a) Probar que F es un homeomorfismo si y sólo si f es continua.
(b) Probar que graf(f ) es cerrado en X × Y si Y es T2 y f es continua.
(c) Probar que f es continua si X es T2 , Y compacto y graf(f ) es cerrado en X × Y .

15. Sea I un conjunto de ı́ndices. Escribimos I = J ∪ K, donde J, K son no vacı́os y disjuntos. Sean
Xi , Yi espacios topológicos.
Q Q  Q

(a) Probar que i∈I Xi ' j∈J Xj × k∈K Xk .
Q Q
(b) Si Xi ' Yi para todo i ∈ I, probar que i∈I Xi ' i∈I Yi .

Espacio de funciones
16. Probar que la topologı́a de la convergencia puntual es menos fina que la topologı́a compacto abierta.

17. Sea X = R[0,1] con la topologı́a producto de la usual de R.

(a) Sea f (x) = 1. Dar algunos entornos sub-básicos de f .
(b) Sea g = cos(πx). Dar 3 entornos de f que contengan a g y 3 entornos de f que no contengan
a g.
(c) Mostrar que para todo entorno de f y para todo N > 0 hay una h en dicho entorno y un
x ∈ [0, 1] tal que h(x) ≥ N .
(d) Mostrar que para todo entorno de f y para todo N > 0 hay una h en dicho entorno tal que
R1
0
h(x) ≥ N .

1Este ejercicio se puede resolver usando la topologı́a producto pero también sin usarla