TRABAJO 1

ESPACIOS TOPOLÓGICOS Y FUNCIONES

CONTINUAS
RONALDO MENDOZA
HAINER DONADO
ALAIN PERES
August 13, 2022

EJERCICIOS
EJERCICIO 1.4: Pruebe que la union de una cantidad finita de conjuntos
cerrados en un espacio X es cerrado en X.

Proof: Sea {U ∪ni }i=1 una familia finita de conjuntos cerrados en X Debemos
n

probar
∪n que i=1 ∩nUi es un conjunto cerrado en X . En efecto sabemos que
X\( i=1 Ui ) = i=1 (X\Ui ), como para todo i = 1, 2, ...n, Ui es un conjunto cer-
rado en X, entonces
∪n (X\U∩ni ) es un conjunto abierto en X para todo i = 1, 2, ...n
, luego X\( i=1 Ui ) = i=1 (X\Ui ) es un conjunto abierto en X ya que una
interseccion
∪n finita de conjuntos abiertos es un conjunto abierto, en consecuencia
i=1 U i es un conjunto cerrado en X.

Ejercicio 1.1.2
Sea X Un conjunto no vacio, entonces τ = ρ(X) es una topologia en X, llamada
topologia discreta,diremos espacio discreto X, para referirnos a (X, ρ(X)), pro-
bar que es un espacio topologico.

Proof:
Veamos que (X, ρ(X)) es un espacio topologico si cumple lo siguiente
i)X, ∅ ∈ τ ∪
ii)sea{Ui }i∈I una familia de elementos de X, entonces Ui ∈ τ
i∈I
iii) Si u, v ∈ τ , entonces u ∩ v ∈ τ

En efecto.
i) dado que ρ(X) es la coleccion de todos los subconjuntos de X es decir
X ∈ ρ(X) = τ luego X ∈ τ , analogamente ∅ ∈ ρ(X) = τ asi se tiene que

1
∅∈τ

ii) sea {Ui }i∈I una familia de elementos de τ ,pues por hipotesis
∪ todos los
Ui con i ∈ I son abiertos en (X, τ ),luego {Ui }i∈I ⊆ X, entonces Ui es un
i∈I
conjunto ∪
abierto en (X, τ ) (Ya que la reunion cualesquiera de abiertos es abierto)
es decir Ui ⊆ X ∈ τ
i∈I
iii) sea u, v ∈ τ , luego por hipotesis u y v son conjuntos abiertos en (X, τ ),
entonces u ∩ v, es un conjunto abierto (ya que la interseccion finita de abiertos
es un conjunto abierto) por tanto u ∩ v ⊆ X ∈ τ .

Ejercicio 1.1.5:
Sea X un conjunto no vacio, entonces τ = {X, ∅} es una topologia en X lla-
mada topologia indiscreta o topologia grosera.Diremos espacio indiscreto X,
para referirnos a (X, {X, ∅})

Proof:
Veamos que (X, ∅) es un espacio topologico si cumple lo siguiente
i)X, ∅ ∈ τ ∪
ii)sea{Ui }i∈I una familia de elementos de X, entonces Ui ∈ τ
i∈I
iii) Si u, v ∈ τ , entonces u ∩ v ∈ τ

En efecto.
i) Es claro que X, τ ∈ ∅ puesto que τ = {X, ∅}
∪
ii) Sea {Ui }i∈I una familia de elementos de τ y U = Ui si Ui = ∅ para
∪ i∈I
cada i ∈ I se tiene que Ui = ∅ ∈ τ , de lo contrario, existe un k ∈ I tal que
i∈I ∪
Uk ̸= ∅, luego Uk = X dado que τ = {X, ∅}, entonces Uk = X ∈ τ
k∈I

2
𝑖𝑖𝑖𝑖𝑖𝑖) 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑢𝑢, 𝑣𝑣 ∈ 𝜏𝜏, 𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙 𝑢𝑢 𝑦𝑦 𝑣𝑣 𝑠𝑠𝑠𝑠𝑠𝑠 𝑙𝑙𝑙𝑙𝑙𝑙 𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢 𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎 𝑒𝑒𝑒𝑒 𝜏𝜏, 𝑒𝑒𝑒𝑒 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝑢𝑢 = 𝑋𝑋 𝑦𝑦 𝑣𝑣 = ∅ 𝑝𝑝𝑝𝑝𝑝𝑝 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡 𝑢𝑢 ∩ 𝑣𝑣 = 𝑥𝑥 ∩ ∅ = ∅ ∈ 𝜏𝜏

1.14) 𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆 𝑋𝑋 𝑢𝑢𝑢𝑢 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑛𝑛𝑛𝑛 𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣 𝑦𝑦 𝐷𝐷 ⊆ 𝑋𝑋. 𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆

𝜏𝜏1 (𝐷𝐷 ) = {𝑈𝑈 ⊆ 𝑋𝑋: 𝐷𝐷 ⊆ 𝑈𝑈} ∪ {∅}

Y 𝜏𝜏2 (𝐷𝐷) = {𝑈𝑈 ⊆ 𝑋𝑋 ∶ 𝑈𝑈 ∩ 𝐷𝐷 = ∅} ∪ {𝑋𝑋}

𝑃𝑃𝑃𝑃𝑢𝑢𝑢𝑢𝑢𝑢𝑢𝑢 𝑞𝑞𝑞𝑞𝑞𝑞 𝜏𝜏1 (𝐷𝐷 ) 𝑦𝑦 𝜏𝜏2 (𝐷𝐷) 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡 𝑒𝑒𝑒𝑒 𝑋𝑋. ¿ 𝑞𝑞𝑞𝑞𝑞𝑞 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡 𝑠𝑠𝑠𝑠𝑠𝑠 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝐷𝐷 = ∅ 𝑜𝑜 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝐷𝐷 = 𝑋𝑋?

𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃: 𝑝𝑝𝑎𝑎𝑎𝑎𝑎𝑎 𝜏𝜏1 (𝐷𝐷 ) = {𝑈𝑈 ⊆ 𝑋𝑋: 𝐷𝐷 ⊆ 𝑈𝑈} ∪ {∅}

𝑖𝑖) 𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛 𝑞𝑞𝑞𝑞𝑞𝑞 ∅ ∈ 𝜏𝜏1 (𝐷𝐷 ) 𝑝𝑝𝑝𝑝𝑝𝑝 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑, 𝑦𝑦 𝑋𝑋 ⊆ 𝑋𝑋 , 𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙 ℎ𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖 𝐷𝐷 ⊆ 𝑋𝑋 , 𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙 𝑋𝑋 ∈ 𝜏𝜏1 (𝐷𝐷 ).

𝑖𝑖𝑖𝑖) 𝑃𝑃𝑃𝑃𝑃𝑃 𝑜𝑜𝑡𝑡𝑡𝑡𝑡𝑡 𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙, 𝑆𝑆𝑆𝑆𝑆𝑆 {𝑈𝑈𝑖𝑖 }𝑖𝑖∈𝐼𝐼 𝑢𝑢𝑢𝑢𝑢𝑢 𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓 𝑑𝑑𝑑𝑑 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒 𝑑𝑑𝑑𝑑 𝜏𝜏1 (𝐷𝐷 ) , 𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣 𝑞𝑞𝑞𝑞𝑞𝑞 � 𝑈𝑈𝑖𝑖 ∈ 𝜏𝜏1 (𝐷𝐷 ). 𝑒𝑒𝑒𝑒 𝑒𝑒𝑒𝑒𝑒𝑒𝑐𝑐𝑐𝑐𝑐𝑐, 𝑠𝑠𝑠𝑠 𝑈𝑈𝑖𝑖 = ∅, 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑖𝑖 ∈ 𝐼𝐼, 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒
𝑖𝑖∈𝐼𝐼

� 𝑈𝑈𝑖𝑖 = ∅ ∈ 𝜏𝜏1 (𝐷𝐷 ), 𝑑𝑑𝑑𝑑 𝑙𝑙𝑙𝑙 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 , 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒 𝑘𝑘 ∈ 𝐼𝐼 𝑡𝑡𝑡𝑡𝑡𝑡 𝑞𝑞𝑞𝑞𝑞𝑞 𝑈𝑈𝑘𝑘 ≠ ∅ 𝑦𝑦 𝐷𝐷 ⊆ 𝑈𝑈𝑘𝑘 𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙 𝑠𝑠𝑠𝑠 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡 𝑞𝑞𝑞𝑞𝑞𝑞 𝑈𝑈𝑘𝑘 ⊆ � 𝑈𝑈𝑖𝑖 𝑎𝑎𝑎𝑎𝑎𝑎 𝑝𝑝𝑝𝑝𝑝𝑝 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡 𝐷𝐷 ⊆ � 𝑈𝑈𝑖𝑖
𝑖𝑖∈𝐼𝐼 𝑖𝑖∈𝐼𝐼 𝑖𝑖∈𝐼𝐼
𝑑𝑑𝑑𝑑 𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚 𝑞𝑞𝑞𝑞𝑞𝑞 � 𝑈𝑈𝑖𝑖 ∈ 𝜏𝜏1 (𝐷𝐷 )
𝑖𝑖∈𝐼𝐼

𝑖𝑖𝑖𝑖𝑖𝑖) 𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆 𝑈𝑈, 𝑉𝑉 ∈ 𝜏𝜏1 (𝐷𝐷 ) , 𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣 𝑞𝑞𝑞𝑞𝑞𝑞 𝑈𝑈 ∩ 𝑉𝑉 ∈ 𝜏𝜏1 (𝐷𝐷 ). 𝑇𝑇𝑇𝑇𝑇𝑇𝑇𝑇𝑇𝑇𝑇𝑇𝑇𝑇 𝑞𝑞𝑞𝑞𝑞𝑞 𝐷𝐷 ⊆ 𝑈𝑈 𝑦𝑦 𝐷𝐷 ⊆ 𝑉𝑉 𝑝𝑝𝑝𝑝𝑝𝑝 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡 𝐷𝐷 = 𝐷𝐷 ∩ 𝐷𝐷 ⊆ 𝑈𝑈 ∩ 𝑉𝑉 , 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒 𝑒𝑒𝑒𝑒 , 𝑈𝑈 ∩ 𝑉𝑉 ∈ 𝜏𝜏1 (𝐷𝐷 )

𝐷𝐷𝐷𝐷 𝑖𝑖) 𝑖𝑖𝑖𝑖) 𝑦𝑦 𝑖𝑖𝑖𝑖𝑖𝑖) 𝑠𝑠𝑠𝑠 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡 𝑞𝑞𝑞𝑞𝑞𝑞 𝜏𝜏1 (𝐷𝐷 ) 𝑒𝑒𝑒𝑒 𝑢𝑢𝑢𝑢𝑢𝑢 𝑡𝑡𝑡𝑡𝑡𝑡𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜 𝑒𝑒𝑒𝑒 𝑋𝑋

𝑁𝑁𝑁𝑁𝑁𝑁𝑁𝑁 𝑞𝑞𝑞𝑞𝑞𝑞 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝐷𝐷 = ∅ , 𝜏𝜏1 (𝐷𝐷 ) 𝑒𝑒𝑒𝑒 𝑙𝑙𝑙𝑙 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝑦𝑦 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝐷𝐷 = 𝑋𝑋 , 𝜏𝜏1 (𝐷𝐷 ) 𝑒𝑒𝑒𝑒 𝑙𝑙𝑙𝑙 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖.

𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝 𝜏𝜏2 (𝐷𝐷 ) = {𝑈𝑈 ⊆ 𝑋𝑋 ∶ 𝑈𝑈 ∩ 𝐷𝐷 = ∅} ∪ {𝑋𝑋} 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡

𝑖𝑖) 𝑝𝑝𝑝𝑝𝑝𝑝 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝑋𝑋 ∈ 𝜏𝜏2 (𝐷𝐷 ), 𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎 ∅ ⊆ 𝑋𝑋 𝑦𝑦 ∅ ∩ 𝐷𝐷 = ∅ , 𝑑𝑑𝑑𝑑 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 ∅ ∈ 𝜏𝜏2 (𝐷𝐷 )

𝑖𝑖𝑖𝑖) 𝑠𝑠𝑠𝑠𝑠𝑠 {𝑈𝑈𝑖𝑖 }𝑖𝑖∈𝐼𝐼 𝑢𝑢𝑛𝑛𝑛𝑛 𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓 𝑑𝑑𝑑𝑑 𝑒𝑒𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙 𝑑𝑑𝑑𝑑 𝜏𝜏2 (𝐷𝐷 ) , 𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣 𝑞𝑞𝑞𝑞𝑞𝑞 � 𝑈𝑈𝑖𝑖 ∈ 𝜏𝜏2 (𝐷𝐷 ). 𝑆𝑆𝑆𝑆 𝑈𝑈𝑖𝑖 = ∅ 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑖𝑖 ∈ 𝐼𝐼, 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑐𝑐𝑐𝑐𝑐𝑐 � 𝑈𝑈𝑖𝑖 = ∅ 𝑦𝑦 𝑝𝑝𝑝𝑝𝑝𝑝 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡
𝑖𝑖∈𝐼𝐼 𝑖𝑖∈𝐼𝐼

� 𝑈𝑈𝑖𝑖 ∈ 𝜏𝜏2 (𝐷𝐷 ). 𝐷𝐷𝐷𝐷 𝑙𝑙𝑙𝑙 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙 𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏 𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟𝑟 𝑞𝑞𝑞𝑞𝑞𝑞 �(𝑈𝑈𝑖𝑖 ∩ 𝐷𝐷 ) = � 𝑈𝑈𝑖𝑖 ∩ 𝐷𝐷
𝑖𝑖∈𝐼𝐼 𝑖𝑖∈𝐼𝐼 𝑖𝑖∈𝐼𝐼

𝑠𝑠𝑠𝑠𝑠𝑠𝑢𝑢𝑢𝑢 𝑙𝑙𝑙𝑙 𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎𝑎 𝑦𝑦 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝑞𝑞𝑞𝑞𝑞𝑞 𝑐𝑐𝑐𝑐𝑑𝑑𝑑𝑑 𝑈𝑈𝑖𝑖 ∈ 𝜏𝜏2 (𝐷𝐷 ) , 𝑠𝑠𝑠𝑠 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡 𝑞𝑞𝑞𝑞𝑞𝑞 �(𝑈𝑈𝑖𝑖 ∩ 𝐷𝐷 ) = ∅ = � 𝑈𝑈𝑖𝑖 ∩ 𝐷𝐷 , 𝑝𝑝𝑝𝑝𝑝𝑝 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡 , � 𝑈𝑈𝑖𝑖 ∈ 𝜏𝜏2 (𝐷𝐷)
𝑖𝑖∈𝐼𝐼 𝑖𝑖∈𝐼𝐼 𝑖𝑖∈𝐼𝐼
𝑖𝑖𝑖𝑖𝑖𝑖) 𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆 𝑈𝑈, 𝑉𝑉 ∈ 𝜏𝜏2 (𝐷𝐷 ) , 𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣 𝑞𝑞𝑞𝑞𝑞𝑞 𝑈𝑈 ∩ 𝑉𝑉 ∈ 𝜏𝜏2 (𝐷𝐷 ) . 𝑒𝑒𝑒𝑒 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒 𝑝𝑝𝑝𝑝𝑝𝑝 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖 𝑈𝑈 ∩ 𝐷𝐷 = ∅ 𝑦𝑦 𝑉𝑉 ∩ 𝐷𝐷 = ∅ . 𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙
(𝑈𝑈 ∩ 𝐷𝐷 ) ∩ (𝑉𝑉 ∩ 𝐷𝐷 ) = ∅ ∩ ∅ = ∅ = (𝑈𝑈 ∩ 𝑉𝑉) ∩ (𝐷𝐷 ∩ 𝐷𝐷 ) = (𝑈𝑈 ∩ 𝑉𝑉) ∩ 𝐷𝐷 , 𝑒𝑒𝑒𝑒 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝑈𝑈 ∩ 𝑉𝑉 ∈ 𝜏𝜏2 (𝐷𝐷 ) , 𝑎𝑎𝑎𝑎𝑎𝑎 𝑠𝑠𝑠𝑠 𝑠𝑠𝑠𝑠𝑠𝑠𝑢𝑢𝑢𝑢 𝑞𝑞𝑢𝑢𝑢𝑢 𝜏𝜏2 (𝐷𝐷 )𝑒𝑒𝑒𝑒 𝑢𝑢𝑢𝑢𝑢𝑢 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡 𝑒𝑒𝑒𝑒 𝑋𝑋.
𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛 𝑞𝑞𝑞𝑞𝑞𝑞 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝐷𝐷 = ∅ , 𝜏𝜏2 (𝐷𝐷) 𝑒𝑒𝑒𝑒 𝑢𝑢𝑢𝑢𝑢𝑢 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝑦𝑦 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝐷𝐷 = 𝑋𝑋 , 𝜏𝜏2 (𝐷𝐷) 𝑒𝑒𝑒𝑒 𝑙𝑙𝑙𝑙 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖.
1.24) Sean 𝑓𝑓: 𝑋𝑋 ⟶ 𝑌𝑌 una función entre espacios topológicos y 𝔅𝔅 una base para Y, Pruebe que 𝑓𝑓 es continua si y solo si 𝑓𝑓 −1 (𝑣𝑣) es abierto
en X para todo 𝑣𝑣 ∈ 𝔅𝔅.

Proof:
(⟹)

Probemos que 𝑓𝑓 −1 (𝑣𝑣) es abierto en 𝑋𝑋, para todo 𝑣𝑣 ∈ 𝔅𝔅.

En efecto, si 𝑓𝑓 es continua, se tiene que, si 𝑣𝑣 es abierta en 𝑌𝑌, 𝑓𝑓 −1 (𝑣𝑣) es abierta en X para todo 𝑣𝑣 ∈ 𝔅𝔅.
(⟸)

Veamos que 𝑓𝑓 es continua.

Sea 𝑣𝑣 abierta en 𝑌𝑌, luego, 𝑈𝑈 = ⋃𝑖𝑖∈𝐼𝐼 𝐵𝐵𝑖𝑖 , donde los 𝐵𝐵𝑖𝑖 son abiertos básicos, ahora,

𝑓𝑓 −1 (𝑣𝑣 ) = 𝑓𝑓 −1 �� 𝐵𝐵𝑖𝑖 � = � 𝑓𝑓 −1 ( 𝐵𝐵𝑖𝑖 )

𝑖𝑖∈𝐼𝐼 𝑖𝑖∈𝐼𝐼

Lo cual es abierto en 𝑋𝑋.