Documentos de Académico
Documentos de Profesional
Documentos de Cultura
y Fronteras
Favio Santamaria1 , Carlos Sulvaran1 , Maria Camila Vivas1
1
Estudiante del programa de Matematicas,
Universidad de Cartagena,
Facultad De Ciencias Exactas y Naturales.
18 de septiembre de 2022
Ejercicios.
1. Sean A y B subconjuntos de un espacio topológico X. Pruebe que A ⊆ B.
si y solo si A ⊆ B.
A ⊆ A ⊆ B.
A⊆A⊆B
ası́ A ⊆ B.
2. Sea X un espacio topologico. Pruebe que I : ℘(X) −→ ℘(X) definido por
I(A) = IntX (A) es un operador interior.
1
con lo cual queda establecido i).
Sea x ∈ IntX (A), existe U abierto en X tal que x ∈ U ⊆ A, ası́ x ∈ A,
con lo cual
I(A) ⊆ A
esto es,
I(I(A)) = I(A)
con lo cual queda establecido iii).
Finalmente veamos que I(A ∩ B) = I(A) ∩ I(B).
Sea x ∈ I(A ∩ B), existe U abierto en X tal que x ∈ U ⊆ A ∩ B. Ası́
x ∈ U ⊆ A y x ∈ U ⊆ B, esto es x ∈ I(A) y x ∈ I(B), con lo cual
I(A ∩ B) ⊆ I(A) ∩ I(B).
Sea ahora, x ∈ I(A) ∩ I(B). Entonces x ∈ I(A)y x ∈ I(B), ası́, existe U
abierto en X tal que x ∈ U ⊆ A y x ∈ U ⊆ B, por tanto x ∈ I(A ∩ B).
Siendo ası́, I(A ∩ B) = I(A) ∩ I(B).
De i), ii), iii), y iv), se sigue que I es un operador interior.
3. Sean X = {a, b, c, d, e} y τ = {X, ∅, {a}{c, d}, {a, c, d}, {b, c, d, e}} calcule
en (X, τ ) la clausura de: {b}, {a, c} y {b, d}.
∅, X, {a}c = {b, c, d, e}, {b, c, d, e}c = {a}, {c, d}c = {a, b, e}, {a, c, d}c =
{b, e}
de donde
2
(
∅, si A es finito
IntA =
X, si A es infinito
Prueba
5. Sea A un subconjunto de un espacio (X, τ ). Pruebe ClA (B) = ClX (B)∩A.
Aquı́ A es dotado de la topologia de subespacio de X y B ⊆ A
Por otra parte, sabemos que ClA (B) es cerrado en A. De aquı́, por teorema
anterior (ejercicio 1.26)ClA (B) = C ∩ A. para algún conjunto C cerrado
en X. Luego, C es un cerrado de X que contiene a B; como ClX (B)
es la interseccion de todos los conjuntos cerrados tales que contienen al
conjunto, se concluye que ClX (B) ⊆ C, ası́
3
7. Un espacio se llama separable si tiene un subconjunto denso numerable.
El Ejercicio 2.27 garantiza que Ru es separable.
Sean X un espacio segundo numerable y {B1 , B2 , ...} una base numerable
para X. Para cada n ∈ N, sea xn ∈ Bn . Pruebe que {xn : n ∈ N} es denso
en X. Deduzca que todo espacio segundo contable es separable.
Prueba
8. Sea X un conjunto infinito. Pruebe que todo subconjunto infinito de X es
denso en Xcof . Deduzca que Xcof es separable.
Prueba.