Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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 (𝐷𝐷 ) 𝑦𝑦 𝜏𝜏2 (𝐷𝐷) 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡 𝑒𝑒𝑒𝑒 𝑋𝑋. ¿ 𝑞𝑞𝑞𝑞𝑞𝑞 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡 𝑠𝑠𝑠𝑠𝑠𝑠 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝐷𝐷 = ∅ 𝑜𝑜 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝐷𝐷 = 𝑋𝑋?
𝑖𝑖𝑖𝑖) 𝑃𝑃𝑃𝑃𝑃𝑃 𝑜𝑜𝑡𝑡𝑡𝑡𝑡𝑡 𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙, 𝑆𝑆𝑆𝑆𝑆𝑆 {𝑈𝑈𝑖𝑖 }𝑖𝑖∈𝐼𝐼 𝑢𝑢𝑢𝑢𝑢𝑢 𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓𝑓 𝑑𝑑𝑑𝑑 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒 𝑑𝑑𝑑𝑑 𝜏𝜏1 (𝐷𝐷 ) , 𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣 𝑞𝑞𝑞𝑞𝑞𝑞 � 𝑈𝑈𝑖𝑖 ∈ 𝜏𝜏1 (𝐷𝐷 ). 𝑒𝑒𝑒𝑒 𝑒𝑒𝑒𝑒𝑒𝑒𝑐𝑐𝑐𝑐𝑐𝑐, 𝑠𝑠𝑠𝑠 𝑈𝑈𝑖𝑖 = ∅, 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝑖𝑖 ∈ 𝐼𝐼, 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒
𝑖𝑖∈𝐼𝐼
� 𝑈𝑈𝑖𝑖 = ∅ ∈ 𝜏𝜏1 (𝐷𝐷 ), 𝑑𝑑𝑑𝑑 𝑙𝑙𝑙𝑙 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 , 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒 𝑘𝑘 ∈ 𝐼𝐼 𝑡𝑡𝑡𝑡𝑡𝑡 𝑞𝑞𝑞𝑞𝑞𝑞 𝑈𝑈𝑘𝑘 ≠ ∅ 𝑦𝑦 𝐷𝐷 ⊆ 𝑈𝑈𝑘𝑘 𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙 𝑠𝑠𝑠𝑠 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡 𝑞𝑞𝑞𝑞𝑞𝑞 𝑈𝑈𝑘𝑘 ⊆ � 𝑈𝑈𝑖𝑖 𝑎𝑎𝑎𝑎𝑎𝑎 𝑝𝑝𝑝𝑝𝑝𝑝 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡 𝐷𝐷 ⊆ � 𝑈𝑈𝑖𝑖
𝑖𝑖∈𝐼𝐼 𝑖𝑖∈𝐼𝐼 𝑖𝑖∈𝐼𝐼
𝑑𝑑𝑑𝑑 𝑚𝑚𝑚𝑚𝑚𝑚𝑚𝑚 𝑞𝑞𝑞𝑞𝑞𝑞 � 𝑈𝑈𝑖𝑖 ∈ 𝜏𝜏1 (𝐷𝐷 )
𝑖𝑖∈𝐼𝐼
𝑖𝑖𝑖𝑖𝑖𝑖) 𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆 𝑈𝑈, 𝑉𝑉 ∈ 𝜏𝜏1 (𝐷𝐷 ) , 𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣𝑣 𝑞𝑞𝑞𝑞𝑞𝑞 𝑈𝑈 ∩ 𝑉𝑉 ∈ 𝜏𝜏1 (𝐷𝐷 ). 𝑇𝑇𝑇𝑇𝑇𝑇𝑇𝑇𝑇𝑇𝑇𝑇𝑇𝑇 𝑞𝑞𝑞𝑞𝑞𝑞 𝐷𝐷 ⊆ 𝑈𝑈 𝑦𝑦 𝐷𝐷 ⊆ 𝑉𝑉 𝑝𝑝𝑝𝑝𝑝𝑝 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡 𝐷𝐷 = 𝐷𝐷 ∩ 𝐷𝐷 ⊆ 𝑈𝑈 ∩ 𝑉𝑉 , 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒 𝑒𝑒𝑒𝑒 , 𝑈𝑈 ∩ 𝑉𝑉 ∈ 𝜏𝜏1 (𝐷𝐷 )
𝐷𝐷𝐷𝐷 𝑖𝑖) 𝑖𝑖𝑖𝑖) 𝑦𝑦 𝑖𝑖𝑖𝑖𝑖𝑖) 𝑠𝑠𝑠𝑠 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡 𝑞𝑞𝑞𝑞𝑞𝑞 𝜏𝜏1 (𝐷𝐷 ) 𝑒𝑒𝑒𝑒 𝑢𝑢𝑢𝑢𝑢𝑢 𝑡𝑡𝑡𝑡𝑡𝑡𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜𝑜 𝑒𝑒𝑒𝑒 𝑋𝑋
𝑁𝑁𝑁𝑁𝑁𝑁𝑁𝑁 𝑞𝑞𝑞𝑞𝑞𝑞 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝐷𝐷 = ∅ , 𝜏𝜏1 (𝐷𝐷 ) 𝑒𝑒𝑒𝑒 𝑙𝑙𝑙𝑙 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝑦𝑦 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝐷𝐷 = 𝑋𝑋 , 𝜏𝜏1 (𝐷𝐷 ) 𝑒𝑒𝑒𝑒 𝑙𝑙𝑙𝑙 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡 𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖𝑖.
𝑖𝑖) 𝑝𝑝𝑝𝑝𝑝𝑝 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝑋𝑋 ∈ 𝜏𝜏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:
(⟹)
En efecto, si 𝑓𝑓 es continua, se tiene que, si 𝑣𝑣 es abierta en 𝑌𝑌, 𝑓𝑓 −1 (𝑣𝑣) es abierta en X para todo 𝑣𝑣 ∈ 𝔅𝔅.
(⟸)
Sea 𝑣𝑣 abierta en 𝑌𝑌, luego, 𝑈𝑈 = ⋃𝑖𝑖∈𝐼𝐼 𝐵𝐵𝑖𝑖 , donde los 𝐵𝐵𝑖𝑖 son abiertos básicos, ahora,
→ Por definición de subbase 𝑫𝑫 ⊆ 𝜏𝜏, por hipótesis 𝜏𝜏 es mas gruesa que 𝜌𝜌, lo que significa que 𝜏𝜏 ⊆
𝜌𝜌, luego por el axioma de transitividad 𝑫𝑫 ⊆ 𝝆𝝆.
Ahora por la proposición 1.3.1, esto es equivalente a decir que dado 𝑈𝑈 abierto en (𝑋𝑋, 𝜏𝜏) y 𝑥𝑥 ∈ 𝑈𝑈,
existen 𝑛𝑛 ∈ ℕ y 𝐷𝐷1 , 𝐷𝐷2 , … . . , 𝐷𝐷𝑛𝑛 ∈ 𝑫𝑫 tales que 𝑥𝑥 ∈ 𝐷𝐷1 ∩ 𝐷𝐷2 ∩ … ∩ 𝐷𝐷𝑛𝑛 ⊆ 𝑈𝑈. 𝑥𝑥 ∈ 𝜏𝜏, además como
por hipótesis 𝐷𝐷 ⊆ 𝜌𝜌, esto implica que 𝑥𝑥 ∈ 𝜌𝜌.
Luego {∀: 𝑥𝑥 ∈ 𝜏𝜏 → 𝑥𝑥 ∈ 𝜌𝜌} lo que es lo mismo 𝜏𝜏 ⊆ 𝜌𝜌, esto significa que 𝜌𝜌 es más fina que 𝜏𝜏.
Solución: Sea 𝑍𝑍 = {𝑎𝑎, 𝑏𝑏, 𝑐𝑐 }. Para ver el número de topologías diferentes que se pueden crear a
partir de este conjunto, empezaremos desde la topología indiscreta:
Luego:
Y por último el conjunto potencia 𝑃𝑃(𝑋𝑋) = {∅, {𝑎𝑎, 𝑏𝑏, 𝑐𝑐 }, {𝑎𝑎, 𝑏𝑏}, {𝑏𝑏, 𝑐𝑐 }, {𝑎𝑎, 𝑐𝑐 }, {𝑎𝑎}, {𝑏𝑏}, {𝑐𝑐 }}
Proof: Sea ℝ𝑢𝑢 un espacio con base numerable y ℤ un subconjunto de ℝ𝑢𝑢 , ahora sean
1 1
𝑛𝑛 ∈ ℤ y 𝑈𝑈 = �𝑛𝑛 − , 𝑛𝑛 + � un abierto euclidiano, luego,
2 2
𝑈𝑈 ∩ ℤ = {𝑛𝑛}
Por lo tanto, cada unitario en la topología relativa es un abierto, entonces, cualquier subconjunto de ℤ es
abierto en la topología relativa.
𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸𝐸 1.23) 𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆 (𝑋𝑋, 𝜏𝜏1 ) 𝑦𝑦 (𝑋𝑋, 𝜏𝜏2 ) 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡 𝑦𝑦 ℬ1 , ℬ2 , 𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝 𝜏𝜏1 𝑦𝑦 𝜏𝜏2 𝑟𝑟𝑟𝑟𝑟𝑟𝑝𝑝𝑝𝑝𝑝𝑝𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡. 𝑃𝑃𝑃𝑃
⊆ 𝜏𝜏2
𝑠𝑠𝑠𝑠 𝑦𝑦 𝑠𝑠𝑠𝑠𝑠𝑠𝑠𝑠 𝑠𝑠𝑠𝑠 𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑𝑑 𝐵𝐵 ∈ ℬ1 𝑦𝑦 𝑥𝑥 ∈ 𝐵𝐵 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒 𝐶𝐶 ∈ ℬ2 𝑡𝑡𝑡𝑡𝑡𝑡 𝑞𝑞𝑞𝑞𝑞𝑞 𝑥𝑥 ∈ 𝐶𝐶 ⊆ 𝐵𝐵.
𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃𝑃: 𝑆𝑆𝑆𝑆𝑆𝑆𝑆𝑆 (𝑋𝑋, 𝜏𝜏1 ) 𝑦𝑦 (𝑋𝑋, 𝜏𝜏2 ) 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒 𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡 𝑦𝑦 ℬ1 , ℬ2 , 𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏𝑏 𝑝𝑝𝑝𝑝𝑝𝑝𝑝𝑝 𝜏𝜏1 𝑦𝑦 𝜏𝜏2 𝑟𝑟𝑟𝑟𝑟𝑟𝑝𝑝𝑝𝑝𝑝𝑝𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡𝑡 , 𝑒𝑒𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛𝑛 𝑝𝑝
∈ 𝜏𝜏1 ,
𝑦𝑦 𝑥𝑥 ∈ 𝑈𝑈, 𝑒𝑒𝑥𝑥𝑥𝑥𝑥𝑥𝑥𝑥𝑥𝑥 𝐵𝐵 ∈ ℬ1 𝑦𝑦 𝑥𝑥 ∈ 𝐵𝐵 ⊆ 𝑈𝑈 𝑦𝑦 𝑐𝑐𝑐𝑐𝑐𝑐𝑐𝑐 𝜏𝜏1 ⊆ 𝜏𝜏2 , 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒 𝐵𝐵 ∈ 𝜏𝜏2 𝑦𝑦 𝑥𝑥
∈ 𝐵𝐵 , 𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙𝑙 𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒𝑒 𝐶𝐶 ∈ ℬ2 , 𝑡𝑡𝑡𝑡𝑡𝑡 𝑞𝑞𝑞𝑞𝑞𝑞 𝑥𝑥 ∈ 𝐶𝐶 ⊆ 𝐵𝐵