Espacios Topológicos

Espacios Topológicos
Nota:
 Los encuadrados dobles son definiciones.

 Los encuadrados triples son teoremas.
Sea 𝑋 un conjunto y 𝜏 ⊂ 𝒫(𝑋) (𝜏 familia de subconjuntos de 𝑋)
(𝑋, 𝜏) es un espacio topológico si cumple:
i. ∅∈𝜏
ii. 𝑋∈𝜏
iii. 𝜏 es cerrado por uniones arbitrarias
𝐴𝜆 ∈ 𝜏, siendo 𝐴𝜆 ∈ 𝜏, 𝐿 familia de índices
𝜆∈𝐿
iv. 𝜏 es cerrado por intersecciones finitas

𝑖=𝑛
𝐴𝑖 ∈ 𝜏, siendo 𝐴𝑖 ∈ 𝜏, ∀ 𝑖, 1 ≤ 𝑖 ≤ 𝑛
𝑖=1
Sea (𝑋, 𝜏) un espacio topológico, diremos que 𝑈 ⊂ 𝑋 es un conjunto abierto de 𝑋 si 𝑈 ∈ 𝜏
Sean 𝜏 y 𝜏´ dos topologías sobre un mismo conjunto 𝑋, si 𝜏 ⊂ 𝜏′ diremos que 𝜏′ es más

fina que 𝜏 o que 𝜏 es más gruesa que 𝜏′. Si 𝜏 ⊊ 𝜏′ diremos que 𝜏′ es estrictamente más
fina que 𝜏 o que 𝜏 es estrictamente más gruesa que 𝜏′.
Sean 𝜏 y 𝜏´ dos topologías sobre un mismo conjunto 𝑋, diremos que 𝜏 es comparable con
𝜏′ si alguna de ellas es más fina que la otra.
Observación:
 Si 𝜏′ es más fina que 𝜏 y 𝜏 es más fina que 𝜏′ entonces ambas topologías coinciden.
 Para probar que 𝜏 y 𝜏′ no son comparables alcanza con encontrar dos conjunto 𝑈, 𝑉
tales que:
 𝑈 ∈ 𝜏 y 𝑈 ∉ 𝜏′
 𝑉 ∈ 𝜏′ y 𝑉 ∉ 𝜏
Sea (𝑋, 𝜏) un espacio topológico, 𝑉 ⊂ 𝑋, 𝑥 ∈ 𝑋. Diremos que 𝑉 es un entorno de 𝑥 si, y

solo si 𝑉 ∈ 𝜏 ∧ 𝑥 ∈ 𝑉
De otra forma, un entorno de 𝑥 es un abierto que contiene a 𝑥. Se nota: 𝑉𝑥 o 𝑉(𝑥).
Material elaborado por Ignacio Dolyenko y Mathias Frederico.

Cualquier comentario o sugerencia puedes enviar un e-mail a: idolyenko@gmail.com y/o
mathiasafg@hotmail.com.
Sea 𝑋 un conjunto y ℬ ⊂ 𝒫(𝑋). Diremos que ℬ es base para una topología definida en 𝑋
si cumple:
i. ∀𝑥 ∈ 𝑋, ∃𝐵 ∈ ℬ/𝑥 ∈ 𝐵
ii. Sean 𝐵1 , 𝐵2 ∈ ℬ, ∀𝑥 ∈ 𝐵1 ∩ 𝐵2 , ∃𝐵3 ∈ ℬ 𝑥 ∈ 𝐵3 ∧ 𝐵3 ⊂ (𝐵1 ∩ 𝐵2 )
Teorema (topología generada por una base)
Sea 𝑋 no vacío y ℬ una base para una topología definida en 𝑋

𝑯
Consideramos 𝜏 ℬ = 𝑈 ⊂ 𝑋 ∀𝑥 ∈ 𝑈, ∃𝐵 ∈ ℬ tal que 𝑥 ∈ 𝐵 ∧ 𝐵 ⊂ 𝑈
𝑻 𝜏 ℬ es una topología sobre 𝑋
Dem:
𝟏) ∅ ∈ 𝜏 ℬ
𝟐) 𝑋 ∈ 𝜏 ℬ
𝟑) 𝐴𝜆 ∈ 𝜏 ℬ , siendo 𝐴𝜆 ∈ 𝜏 ℬ , 𝐿 familia de índices
𝜏 ℬ es una topología sobre 𝑋 ⟺
𝜆∈𝐿
𝑖=𝑛
𝟒) 𝐴𝑖 ∈ 𝜏 ℬ , siendo 𝐴𝑖 ∈ 𝜏 ℬ , ∀ 𝑖, 1 ≤ 𝑖 ≤ 𝑛
𝑖=1
𝟏) ∅ ∈ 𝜏 ℬ
∅ ∈ 𝜏 ℬ ⟺ ∀𝑥 ∈ ∅, ∃𝐵 ∈ ℬ tal que 𝑥 ∈ 𝐵 ∧ 𝐵 ⊂ ∅
Lo cual es verdadero pues no existen elemento de ∅ que contradigan lo anterior.
𝟐) 𝑋 ∈ 𝜏 ℬ
𝑋 ∈ 𝜏 ℬ ⟺ ∀𝑥 ∈ 𝑋, ∃𝐵 ∈ ℬ tal que 𝑥 ∈ 𝐵 ∧ 𝐵 ⊂ 𝑋
Lo cual es verdadero por la primera condición de la definición de base.
𝟑) 𝐴𝜆 ∈ 𝜏 ℬ , siendo 𝐴𝜆 ∈ 𝜏 ℬ , 𝐿 familia de índices

𝜆∈𝐿
Sea 𝒜 = 𝐴𝜆 ∈ 𝜏 ℬ , 𝜆 ∈ 𝐿 , 𝐿 familia de índices llamemos A   A

L
probemos que
𝐴∈𝜏 ℬ
𝐴 ∈ 𝜏 ℬ ⟺ ∀𝑥 ∈ 𝐴, ∃𝐵 ∈ ℬ tal que 𝑥 ∈ 𝐵 ∧ 𝐵 ⊂ 𝐴
𝑑𝑒𝑓
Dado 𝑥 ∈ 𝐴 ⟹ ∃𝐴𝜆 0 ∈ 𝒜 𝑥 ∈ 𝐴𝜆 0 𝜏 ℬ
∃𝐵 ∈ ℬ tal que 𝑥 ∈ 𝐵 ∧ 𝐵 ⊂ 𝐴𝜆 0 ⟹
𝐴𝜆 0 ∈ 𝜏 ℬ
⟹ ∃𝐵 ∈ ℬ tal que 𝑥 ∈ 𝐵 ∧ 𝐵 ⊂ 𝐴𝜆 = 𝐴
𝜆∈𝐿
𝑑𝑒𝑓
𝜏 ℬ
Por tanto ∀𝑥 ∈ 𝐴, ∃𝐵 ∈ ℬ tal que 𝑥 ∈ 𝐵 ∧ 𝐵 ⊂ 𝐴 𝐴∈𝜏 ℬ
𝑖=𝑛
𝟒) 𝐴𝑖 ∈ 𝜏 ℬ , siendo 𝐴𝑖 ∈ 𝜏 ℬ , ∀ 𝑖, 1 ≤ 𝑖 ≤ 𝑛
𝑖=1
Para probar esta proposición alcanza con probar que se cumple para la intersección de
dos y luego, por inducción completa puede generalizarse.
Sean 𝐴1 , 𝐴2 ∈ 𝜏 ℬ . Probemos que 𝐴1 ∩ 𝐴2 ∈ 𝜏 ℬ
𝐴1 ∩ 𝐴2 ∈ 𝜏 ℬ ⟺ ∀𝑥 ∈ 𝐴1 ∩ 𝐴2 , ∃𝐵 ∈ ℬ tal que 𝑥 ∈ 𝐵 ∧ 𝐵 ⊂ 𝐴1 ∩ 𝐴2
𝐶𝑜𝑚𝑜
𝐴 1 ∈𝜏 ℬ
𝑃𝑜𝑟 𝑑𝑒𝑓
𝑑𝑒 𝜏 ℬ
𝑥 ∈ 𝐴1 ∃𝐵1 ∈ ℬ tal que 𝑥 ∈ 𝐵1 ∧ 𝐵1 ⊂ 𝐴1
Dado 𝑥 ∈ 𝐴1 ∩ 𝐴2 ⟹ ⟹
𝑥 ∈ 𝐴2 ∃𝐵2 ∈ ℬ tal que 𝑥 ∈ 𝐵2 ∧ 𝐵2 ⊂ 𝐴2
𝐶𝑜𝑚𝑜
𝐴 2 ∈𝜏 ℬ
𝑃𝑜𝑟 𝑑𝑒𝑓
𝑑𝑒 𝜏 ℬ
𝑆𝑒𝑔𝑢𝑛𝑑𝑎
𝑐𝑜𝑛𝑑𝑖𝑐𝑖 ó𝑛
𝑑𝑒 𝑏𝑎𝑠𝑒
⟹ 𝑥 ∈ 𝐵1 ∩ 𝐵2 ∃𝐵3 ∈ ℬ 𝑥 ∈ 𝐵3 ∧ 𝐵3 ⊂ (𝐵1 ∩ 𝐵2 )
Dado 𝑥 ∈ 𝐴1 ∩ 𝐴2 , ∃𝐵3 ∈ ℬ 𝑥 ∈ 𝐵3 ∧ 𝐵3 ⊂ 𝐴1 ∩ 𝐴2 ⟹ 𝐴1 ∩ 𝐴2 ∈ 𝜏 ℬ
𝑥 𝐵3
𝐵1
𝐵2
𝐴2
𝐴1
Observación:
 Al conjunto 𝜏 ℬ se le denomina topología generada por la base ℬ.

 Cada elemento de la base pertenece a 𝜏 ℬ pues satisface su definición.

Teorema (13.1) (alternativa de topología generada por una base)
𝑯 Sea 𝑋 no vacío y ℬ una base para una topología 𝜏 ℬ definida sobre 𝑋
𝑻 𝜏 ℬ es igual a la colección formada por todas las uniones de elementos de ℬ.
Dem:
Debemos probar que:
i. Toda unión de básicos es un elemento de 𝜏.

ii. Todo elemento de 𝜏 es unión de básicos.
i. Sea 𝒞 una colección de elementos de ℬ, por teorema anterior sabemos que cada
elemento de 𝒞 pertenece a 𝜏(ℬ), pues pertenece a ℬ. Además, por ser 𝜏(ℬ) una
topología, cumple que la unión arbitraria de abiertos es abierto. Por lo tanto el
enunciado i. queda así demostrado.
ii. Dado 𝑈 ∈ τ(ℬ) debemos ver que es unión de básicos.

Sea 𝑥 ∈ 𝑈, consideremos 𝐵𝑥 ∈ ℬ/𝐵𝑥 ⊂ 𝑈 (sabemos que existe por ser ℬ una base).
Entonces 𝑈 = B
xU
x , con lo cual 𝑈 es igual a la unión de elementos de ℬ.
Teorema (13.2) (cómo construir una base a partir de una topología)
Sea 𝑋, 𝜏 un espacio topológico

𝑯 𝒂) ∀𝐶 ∈ 𝒞, 𝐶 ∈ 𝜏
Sea 𝒞 familia de subconjuntos de 𝑋/
𝒃) ∀𝑈 ∈ 𝜏, ∀𝑥 ∈ 𝑈, ∃𝐶0 ∈ 𝒞/𝑥 ∈ 𝐶0 ⊂ 𝑈
𝟏) 𝒞 es base para una topología sobre 𝑋

𝑻
𝟐) 𝜏 y la topología generada por 𝒞 coinciden
Dem:
𝟏) 𝒞 es base para una topología sobre 𝑋
∀𝑥 ∈ 𝑋, ∃𝐶 ∈ 𝒞/𝑥 ∈ 𝐶
𝒞 es base ⟺
Sean 𝐶1 , 𝐶2 ∈ 𝒞, ∀𝑥 ∈ 𝐶1 ∩ 𝐶2 , ∃𝐶3 ∈ 𝒞 𝑥 ∈ 𝐶3 ∧ 𝐶3 ⊂ (𝐶1 ∩ 𝐶2 )

Por condición 𝒃)
𝑋 ∈ 𝜏, por 𝜏 una topología ∀𝑥 ∈ 𝑋, ∃𝐶0 ∈ 𝒞/𝑥 ∈ 𝐶0 ⊂ 𝑋 (quedando
demostrada la primera condición).
Por def .de

Por condición 𝒂) Espacio Topológico
Sean 𝐶1 , 𝐶2 ∈ 𝒞 𝐶1 , 𝐶2 ∈ 𝜏 𝐶1 ∩ 𝐶2 ∈ 𝜏 ⟹
∀𝑥 ∈ (𝐶1 ∩ 𝐶2 ), ∃𝐶3 ∈ 𝒞/𝑥 ∈ 𝐶3 ⊂ (𝐶1 ∩ 𝐶2 ) (quedando demostrada la
segunda condición).
∴ 𝒞 es base para una topología sobre 𝑋
𝟐) 𝜏 y la topología generada por 𝒞 coinciden
Debemos probar que 𝜏 = 𝜏(𝒞) ⟺ 𝜏 𝒞 ⊂ 𝜏 ∧ 𝜏 ⊂ 𝜏 𝒞
(*) 𝜏 𝒞 ⊂ 𝜏
∀𝑊 ∈ 𝜏 𝒞 ⟹ 𝑊 es unión de elementos de 𝒞
⟹ 𝑊 es unión de elementos de 𝜏 ⟹
Por condición 𝒂) ∀𝐶 ∈ 𝒞, 𝐶 ∈ 𝜏
Por def .de

Espacio Topológico
𝑊∈𝜏
(**) 𝜏 ⊂ 𝜏 𝒞
Dado 𝑈 ∈ 𝜏 ∀𝑥 ∈ 𝑈, ∃𝐶𝑥 ∈ 𝒞 𝑥 ∈ 𝐶𝑥 ⊂ 𝑈 ⟹ 𝑈 = 𝐶𝑥 ⟹ 𝑈 ∈ 𝜏 𝒞
𝑥∈𝑈
∴ De (*) y (**) 𝜏 𝒞 = 𝜏
Teorema (13.3)
Sean ℬ y ℬ′ bases para la topología 𝜏 y 𝜏′ respectivamente sobre 𝑋. Entonces son

equivalentes las siguientes proposiciones:
𝟏) 𝜏′ es más fina que 𝜏

𝟐) ∀𝑥 ∈ 𝑋, ∀𝐵 ∈ ℬ tal que 𝑥 ∈ 𝐵, ∃𝐵′ ∈ ℬ′ /𝑥 ∈ 𝐵′ ⊂ 𝐵
Dem:
𝟏) ⟹ 𝟐)
Tenemos que 𝜏 ′ es más fina que 𝜏 es decir 𝜏 ⊂ 𝜏 ′ ⟹ ∀𝑈 ∈ 𝜏, 𝑈 ∈ 𝜏′
Dado 𝑥 ∈ 𝑋 y dado 𝐵 ∈ ℬ tal que 𝑥 ∈ 𝐵

Por ser ℬ Como Por ser ℬ′
base de 𝜏 𝜏⊂𝜏′ base de 𝜏′
Como 𝐵 ∈ ℬ 𝐵∈𝜏 𝐵 ∈ 𝜏′ ∃𝐵′ ∈ ℬ′ /𝑥 ∈ 𝐵′ ⊂ 𝐵 (quedando demostrada
esta primera implicancia)
𝟐) ⟹ 𝟏)
Debemos probar que 𝜏 ′ es más fina que 𝜏 es decir 𝜏 ⊂ 𝜏 ′ .
Dado 𝑈 ∈ 𝜏 y sea 𝑥 ∈ 𝑈.
Por ser ℬ Por

base de 𝜏 Hipótesis
𝑥∈𝑈 ∃𝐵 ∈ ℬ/𝑥 ∈ 𝐵 ⊂ 𝑈 ∃𝐵′𝑥 ∈ ℬ′ /𝑥 ∈ 𝐵′𝑥 ⊂ 𝐵
Teorema
13.1
De esta forma 𝑈 = 𝐵𝑥′ 𝑈 ∈ 𝜏′
𝑥∈𝑈
∴ 𝜏 ⊂ 𝜏′
Sea 𝑋 un conjunto y 𝒮 ⊂ 𝒫(𝑋). Diremos que 𝒮 es sub-base para una topología definida
de 𝑋 si cumple:
𝑋= 𝑆
𝑆∈𝒮
Teorema (Topología generada por una sub-base)
Sean 𝑋 un conjunto y 𝒮 una sub-bases de 𝑋. Entonces el conjunto formado por todas las
uniones de intersecciones finitas de elementos de 𝒮 es una topología sobre 𝑋.
Dem:
Observemos que alcanza probar que el conjunto de las intersecciones finitas de elementos de
𝒮 conforma una base para una topología. Luego, aplicando el teorema 13.1 nos aseguramos
que el conjunto formado por la unión de elementos de dicha base es una topología.
Sea ℬ𝒮 = {𝑈 ⊂ 𝑋 𝑈 es intersección finita de elementos de 𝒮}
∀𝑥 ∈ 𝑋, ∃𝐵 ∈ ℬ𝒮 /𝑥 ∈ 𝐵
ℬ𝒮 es base ⟺
Sean 𝐵1 , 𝐵2 ∈ ℬ𝒮 , ∀𝑥 ∈ 𝐵1 ∩ 𝐵2 , ∃𝐵3 ∈ ℬ𝒮 𝑥 ∈ 𝐵3 ∧ 𝐵3 ⊂ (𝐵1 ∩ 𝐵2 )
(*) ∀𝑥 ∈ 𝑋, ∃𝐵 ∈ ℬ𝒮 /𝑥 ∈ 𝐵
∀𝑥 ∈ 𝑋, ∃𝑆𝑥 ∈ 𝒮 por ser 𝒮 sub-base de 𝑋. Considerando 𝑆𝑥 = 𝑆𝑥 ∩ 𝑆𝑥 , tenemos que 𝑆𝑥 ∈ ℬ𝒮

Por lo tanto ∀𝑥 ∈ 𝑋, ∃𝑆𝑥 ∈ ℬ𝒮 /𝑥 ∈ 𝑆𝑥 , quedando demostrada la primera parte.
(**) Sean 𝐵1 , 𝐵2 ∈ ℬ𝒮 , ∀𝑥 ∈ 𝐵1 ∩ 𝐵2 , ∃𝐵3 ∈ ℬ𝒮 𝑥 ∈ 𝐵3 ∧ 𝐵3 ⊂ (𝐵1 ∩ 𝐵2 )
Sean 𝐵1 , 𝐵2 ∈ ℬ𝒮 ⟹ 𝐵1 = 𝑈1 ∩ … ∩ 𝑈𝑛 y 𝐵2 = 𝑉1 ∩ … ∩ 𝑉𝑚 , con 𝑈1 , … , 𝑈𝑛 , 𝑉1 , … , 𝑉𝑚 ∈ 𝒮.
Observemos que 𝐵1 ∩ 𝐵2 = 𝑈1 ∩ … ∩ 𝑈𝑛 ∩ 𝑉1 ∩ … ∩ 𝑉𝑚 = 𝑈1 ∩ … ∩ 𝑈𝑛 ∩ 𝑉1 ∩ … ∩ 𝑉𝑚
Este conjunto está formado como intersección finita de 𝑛 + 𝑚 elementos de 𝒮, con lo cual:
𝐵1 ∩ 𝐵2 ∈ ℬ𝒮 . Llamando 𝐵3 a 𝐵1 ∩ 𝐵2 entonces se cumple que :
∀𝑥 ∈ 𝐵1 ∩ 𝐵2 , ∃𝐵3 ∈ ℬ𝒮 𝑥 ∈ 𝐵3 ∧ 𝐵3 ⊂ (𝐵1 ∩ 𝐵2 ), quedando así demostrada la segunda

parte.
Por tanto, a partir de intersecciones finitas de elementos de 𝒮 se forma una base llamada ℬ𝒮 . La
unión de elementos de ℬ𝒮 genera una topología (teorema 13.1).
Observación:
 El teorema nos muestra que el conjunto de todas las intersecciones de una cantidad
finita de la subbase es una base.
 Para crear la topología a partir de una subbase debo construir primero la base
intersecando finitos elementos de la subbase y luego uniendo cantidades arbitrarias
de los elementos de la base obtengo los de la topología.
Sea 𝑋 un conjunto donde hay definida una relación de orden " < ", llamaremos intervalos
a los siguientes conjuntos:
 𝑎, 𝑏 = 𝑥∈𝑋 𝑎<𝑥<𝑏
 (𝑎, 𝑏] = 𝑥∈𝑋 𝑎<𝑥≤𝑏
 𝑎, 𝑏 = 𝑥∈𝑋 𝑎≤𝑥<𝑏
 𝑎, 𝑏 = 𝑥∈𝑋 𝑎≤𝑥≤𝑏
Sea 𝑋 un conjunto donde hay definida una relación de orden " < ", llamaremos rayos a los
siguientes conjuntos:
 𝑎, +∞ = 𝑥∈𝑋 𝑎<𝑥
 −∞, 𝑎 = 𝑥∈𝑋 𝑥<𝑎
 𝑎, +∞ = 𝑥∈𝑋 𝑎≤𝑥
 (−∞, 𝑎] = 𝑥∈𝑋 𝑥≤𝑎

Teorema: (Base de la topología del orden)
Sea 𝑋 un conjunto donde existe una relación de orden y ℬ ⊂ 𝒫(𝑋) el conjunto formado
por los siguientes conjuntos:
 Todos los intervalos de la forma 𝑎, 𝑏 en 𝑋.

 Todos los intervalos de la forma 𝑎0 , 𝑏 en 𝑋 donde 𝑎0 es el mínimo del conjunto
𝑋 (si existe).
 Todos los intervalos de la forma (𝑎, 𝑏0 ] en 𝑋 donde 𝑏0 es el máximo del conjunto
𝑋 (si existe).
Entonces ℬ es una base para una topología sobre 𝑋. A dicha topología se la denomina
topología del orden.
Dem:
∀𝑥 ∈ 𝑋, ∃𝐵 ∈ ℬ/𝑥 ∈ 𝐵
ℬ es base ⟺
Sean 𝐵1 , 𝐵2 ∈ ℬ, ∀𝑥 ∈ 𝐵1 ∩ 𝐵2 , ∃𝐵3 ∈ ℬ 𝑥 ∈ 𝐵3 ∧ 𝐵3 ⊂ (𝐵1 ∩ 𝐵2 )
(*) ∀𝑥 ∈ 𝑋, ∃𝐵 ∈ ℬ/𝑥 ∈ 𝐵
Si 𝑥 es mínimo basta considerarse 𝐵 = [𝑥, 𝑏), que contiene a 𝑥
Si 𝑥 es máximo basta considerarse 𝐵 = (𝑥, 𝑏], que contiene a 𝑥
Si 𝑥 no es mínimo ni máximo basta considerarse 𝐵 = (𝑧, 𝑦), 𝑧 < 𝑥 < 𝑦
(**) Sean 𝐵1 , 𝐵2 ∈ ℬ, ∀𝑥 ∈ 𝐵1 ∩ 𝐵2 , ∃𝐵3 ∈ ℬ 𝑥 ∈ 𝐵3 ∧ 𝐵3 ⊂ (𝐵1 ∩ 𝐵2 )
Observemos las siguientes intersecciones:
(𝑚, 𝑛)
𝑎, 𝑏 ∩ 𝑐, 𝑑 = ∨
∅
𝑎0 , 𝑏 ∩ [𝑎0 , 𝑐) = [𝑎0 , 𝑑)
(𝑎, 𝑏0 ] ∩ (𝑐, 𝑏0 ] = (𝑑, 𝑏0 ]
(𝑚, 𝑛)
𝑐, 𝑑 ∩ [𝑎0 , 𝑏) = ∨
∅
(𝑚, 𝑛)
𝑐, 𝑑 ∩ (𝑎, 𝑏0 ] = ∨
∅
(𝑑, 𝑐)
[𝑎0 , 𝑐) ∩ (𝑑, 𝑏0 ] = ∨
∅

En todos los casos obtenemos un conjunto al cual denominamos 𝐵3 que es de la forma de un
elemento de la base, con lo cual, dados 𝐵1 , 𝐵2 ∈ ℬ, ∀𝑥 ∈ 𝐵1 ∩ 𝐵2 , ∃𝐵3 ∈ ℬ 𝑥 ∈ 𝐵3 ∧
𝐵3 ⊂ (𝐵1 ∩ 𝐵2 )
∴ Por (*) y (**) ℬ es una base para una topología sobre 𝑋
Teorema: (Sub-base de la topología del orden)
Sea 𝑋 un conjunto donde existe una relación de orden y 𝒮 ⊂ 𝒫(𝑋) el conjunto formado
por los siguientes conjuntos:
 Todos los rayos de la forma 𝑎, +∞ en 𝑋.

 Todos los rayos de la forma −∞, 𝑎 en 𝑋.
Entonces 𝒮 es una sub-base para la topología del orden sobre 𝑋.
Dem:
En primer lugar probaremos que 𝒮 es una sub-base para una topología y luego se demostrará
que la topología generada por 𝒮 es la misma que la topología del orden sobre 𝑋.
(*) 𝒮 es una sub-base para una topología
Se debe poder escribir 𝑋 como unión de elementos de 𝒮, lo cual es trivial, ya que ∀𝑥 ∈

𝑋, ∃ 𝑎, +∞ o −∞, 𝑎 (dependiendo de si 𝑥 tiene elemento anterior, posterior o es máximo o
es mínimo) que contiene a 𝑥.
(**) Debemos demostrar la doble inclusión de las topologías.
1) 𝜏(𝒮) ⊂ 𝜏<
∀𝑈 ∈ 𝜏 𝒮 , 𝑈 es unión de intersecciones finitas de elementos de 𝒮. Los elementos de 𝒮 son

rayos abiertos, que pertenecen a 𝜏< . La intersección finita de estos elementos también
pertenece a 𝜏< (por ser topología). Por último, la unión arbitraria de elementos de 𝜏<
pertenece a 𝜏< también por ser topología .
2) 𝜏< ⊂ 𝜏(𝒮)
Probaremos que en todo básico de 𝜏< existe un básico de 𝜏 𝒮 contenido.
Ahora los básicos de 𝜏(𝒮) se forman con intersecciones finitas de elementos de 𝒮 .

Considerando esta observación tomemos un básico 𝑈 de 𝜏< .
Si 𝑈 = 𝑎, 𝑏 entonces 𝑈 = 𝑎, +∞ ∩ −∞, 𝑏 que, al ser intersección de dos elementos de

𝒮, es básico de 𝜏 𝒮 .
Si 𝑈 = [𝑎0 , 𝑏) entonces 𝑈 = −∞, 𝑏 ∩ −∞, 𝑏 que, al ser intersección de dos elementos de


Si 𝑈 = (𝑎, 𝑏0 ] entonces 𝑈 = 𝑎, +∞ ∩ 𝑎, +∞ que, al ser intersección de dos elementos de
Por tanto, todo básico de 𝜏< es básico de 𝜏(𝒮) con lo cual queda demostrada la inclusión.
Teorema: (base para topología producto)
Sean (𝑋, 𝜏) e (𝑌, 𝜏 ′ ) dos espacios topológicos ℬ es base para

⟹ una topología
Sea 𝑋 × 𝑌 y ℬ ⊂ 𝒫(𝑋 × 𝑌) tal que ℬ = {𝑈 × 𝑉, con 𝑈 ∈ 𝜏, 𝑉 ∈ 𝜏 ′ }
sobre 𝑋 × 𝑌
Dem:
∀𝑥 ∈ 𝑋 × 𝑌, ∃𝐵 ∈ ℬ/𝑥 ∈ 𝐵
ℬ es base ⟺
Sean 𝐵1 , 𝐵2 ∈ ℬ, ∀𝑥 ∈ 𝐵1 ∩ 𝐵2 , ∃𝐵3 ∈ ℬ 𝑥 ∈ 𝐵3 ∧ 𝐵3 ⊂ (𝐵1 ∩ 𝐵2 )
(*) ∀𝑥 ∈ 𝑋, ∃𝐵 ∈ ℬ/𝑥 ∈ 𝐵
Observemos que 𝑋 ∈ 𝜏, 𝑌 ∈ 𝜏 ′ (por ser topologías sobre 𝑋 e 𝑌 respectivamente) ⟹ 𝑋 × 𝑌 ∈ ℬ
Con lo cual ∀𝑥 ∈ 𝑋 × 𝑌, ∃𝐵 = 𝑋 × 𝑌 ∈ ℬ/𝑥 ∈ 𝐵 quedando demostrada la primera

condición.
(**) Sean 𝐵1 , 𝐵2 ∈ ℬ, ∀𝑥 ∈ 𝐵1 ∩ 𝐵2 , ∃𝐵3 ∈ ℬ 𝑥 ∈ 𝐵3 ∧ 𝐵3 ⊂ (𝐵1 ∩ 𝐵2 )
𝐵1 ∈ ℬ ⟹ ∃𝑈1 ∈ 𝜏, 𝑉1 ∈ 𝜏′ 𝐵1 = 𝑈1 × 𝑉1
𝐵2 ∈ ℬ ⟹ ∃𝑈2 ∈ 𝜏, 𝑉2 ∈ 𝜏′ 𝐵2 = 𝑈2 × 𝑉2
𝑈1 , 𝑈2 ∈ 𝜏 ⟹ 𝑈1 ∩ 𝑈2 ∈ 𝜏 ⟹ ∃𝐵3 ∈ ℬ 𝐵3 = 𝐵1 ∩ 𝐵2
⟹ 𝑈 1 ∩ 𝑈2 × 𝑉1 ∩ 𝑉2 ∈ ℬ
𝑉1 , 𝑉2 ∈ 𝜏 ⟹ 𝑉1 ∩ 𝑉2 ∈ 𝜏′
𝐵3

Entonces Sean 𝐵1 , 𝐵2 ∈ ℬ, ∀𝑥 ∈ 𝐵1 ∩ 𝐵2 , ∃ 𝐵3 ∈ ℬ 𝑥 ∈ 𝐵3 ∧ 𝐵3 ⊂ (𝐵1 ∩ 𝐵2 ) así
𝐵1 ∩𝐵2
queda demostrada la última condición para una base.
∴ ℬ es base para una topología sobre 𝑋 × 𝑌
Sean (𝑋, 𝜏) e (𝑌, 𝜏 ′ ) dos espacios topológicos, el conjunto 𝑋 × 𝑌 y consideremos el

conjunto ℬ = {𝑈 × 𝑉, con 𝑈 ∈ 𝜏, 𝑉 ∈ 𝜏 ′ }. A la topología generada por ℬ se la denomina
topología producto de 𝑿 × 𝒀.
Teorema: (15.1)
Sean 𝑋, 𝜏 e 𝑌, 𝜏 ′ dos espacios topológicos 𝒟 es base para

ℬ base para 𝜏, 𝒞 base para 𝜏 ′ ⟹ la topología
Sea 𝒟 = {𝐵 × 𝐶, con 𝐵 ∈ ℬ, 𝐶 ∈ 𝒞} producto sobre 𝑋 × 𝑌
Dem:
Para la demostración de este teorema utilizaremos el enunciado del teorema 13.2.
En primer lugar observemos que todo elemento de 𝒟 es abierto con la topología

producto ya que es producto de dos básicos y estos son abiertos en cada topología respectiva.
Llamemos 𝜏𝑝𝑟𝑜𝑑 a la topología producto y ℬ𝑝𝑟𝑜𝑑 a la base de la topología producto (base

demostrada en el teorema anterior).
Queda probar que ∀𝑊 ∈ 𝜏𝑝𝑟𝑜𝑑 , ∀𝑥 ∈ 𝑊, ∃𝐷 ∈ 𝒟 𝑥 ∈ 𝐷 ⊂ 𝑊.
Dado 𝑊 ∈ 𝜏𝑝𝑟𝑜𝑑 y 𝑥 × 𝑦 ∈ 𝑊.
Como 𝑥 × 𝑦 ∈ 𝑊 ∧ 𝑊 ∈ 𝜏𝑝𝑟𝑜𝑑 ∃𝑈 × 𝑉 ∈ ℬ𝑝𝑟𝑜𝑑 𝑥 × 𝑦 ∈ 𝑈 × 𝑉 ⊂ 𝑊

Existe un
básico que contiene
al punto y esta contenido
en el abierto
∃𝐵 ∈ ℬ 𝑥 ∈ 𝐵 ⊂ 𝑈
Como ℬ es base para 𝜏 y 𝒞 es base para 𝜏 ′ ⟹
∃𝐶 ∈ 𝒞 𝑦 ∈ 𝐶 ⊂ 𝑉
⟹ ∃𝐷 = 𝐵 × 𝐶 ∈ 𝒟/𝑥 × 𝑦 ∈ 𝐵 × 𝐶 ⊂ 𝑈 × 𝑉 ⊂ 𝑊
∀𝑊 ∈ 𝜏𝑝𝑟𝑜𝑑 , ∀𝑥 ∈ 𝑊, ∃𝐷 ∈ 𝒟 𝑥 ∈ 𝐷 ⊂ 𝑊 con lo cual, por lema 13.2 tenemos que 𝒟 es

base para la topología producto sobre 𝑋 × 𝑌.

Sean (𝑋, 𝜏) e (𝑌, 𝜏 ′ ) dos espacios topológicos, (𝑋 × 𝑌, 𝜏𝑝𝑟𝑜𝑑 ) el espacio producto.
Definimos las funciones proyecciones de la siguiente forma:
𝜋1 : 𝑋 × 𝑌 → 𝑋 𝜋1 𝑥, 𝑦 = 𝑥
𝜋2 : 𝑋 × 𝑌 → 𝑌 𝜋2 𝑥, 𝑦 = 𝑦
Teorema: (15.2)
Sean (𝑋, 𝜏) e (𝑌, 𝜏 ′ ) dos espacios topológicos. Consideremos 𝑋 × 𝑌 , las funciones

𝜋1 : 𝑋 × 𝑌 → 𝑋 𝜋1 𝑥, 𝑦 = 𝑥, 𝜋2 : 𝑋 × 𝑌 → 𝑌 𝜋2 𝑥, 𝑦 = 𝑦 y sea el conjunto 𝒮 ⊂ 𝒫(𝑋 ×
𝑌) el siguiente:
𝒮 = 𝜋1−1 𝑈 : 𝑈 ∈ 𝜏 ∪ 𝜋2−1 𝑉 : 𝑉 ∈ 𝜏 ′
Entonces 𝒮 es subbase para la topología producto sobre 𝑋 × 𝑌.
Dem:
Si denominamos 𝜏𝑝𝑟𝑜𝑑 a la topología producto y 𝜏𝒮 al la topología generada por 𝒮.

Debemos demostrar que 𝜏𝑝𝑟𝑜𝑑 = 𝜏𝒮 . Para ello probemos la doble inclusión.
Observemos que el conjunto preimagen según una función proyección, de un abierto es una
“franja” es decir, que si tengo 𝑈 abierto de 𝑋, 𝜋1−1 𝑈 = 𝑈 × 𝑌 ya que este es el conjunto de
todos los elementos cuya primera coordenada pertenece a 𝑈.
Además, como 𝑈 es abierto de 𝑋 y 𝑌 es abierto de 𝑌 entonces 𝑈 × 𝑌 es abierto de la topología

producto. Con esto tenemos que todo elemento de 𝒮 es abierto en la topología producto (*).
(*) 𝜏𝒮 ⊂ 𝜏𝑝𝑟𝑜𝑑
Por lo observado anteriormente ((*)), todo elemento de 𝒮 es abierto en la topología

producto. De esto se sigue que todo elemento de 𝜏𝒮 (que es unión de intersecciones finitas
de elementos de 𝒮 ) también es elemento de 𝜏𝑝𝑟𝑜𝑑 pues es unión de intersecciones finitas
de elementos de 𝜏𝑝𝑟𝑜𝑑 quedando demostrada así la primera inclusión.
(**) 𝜏𝑝𝑟𝑜𝑑 ⊂ 𝜏𝒮
Observemos que cada elemento básico de la topología producto es de la forma 𝑈 × 𝑉.
Además veamos que 𝑈 × 𝑉 = 𝜋1−1 𝑈 ∩ 𝜋2−1 𝑉 (véase la figura de arriba) es decir es la

intersección de dos elementos de 𝒮, que es un abierto de 𝜏𝒮 por definición de topología
generada por una subbase. De esta forma queda demostrada la segunda inclusión.
∴ Por ∗ y (∗∗) 𝜏𝑝𝑟𝑜𝑑 = 𝜏𝒮
Teorema:
Sea 𝑋, 𝜏 espacio topológico

𝑌⊂𝑋 ⟹ 𝜏𝑌 es una topología sobre 𝑌
Consideremos 𝜏𝑌 = {𝑌 ∩ 𝑈 𝑈 ∈ 𝜏}
Dem:
∅ ∈ 𝜏𝑌
𝑌 ∈ 𝜏𝑌
𝜏𝑌 es una topología sobre 𝑌 ⟺
𝜏𝑌 es cerrado por uniones arbitrarias
𝜏𝑌 es cerrado por intersecciones finitas
(*) ∅ ∈ 𝜏𝑌
∅
Como 𝜏 es topología sobre 𝑋 ⟹ ∅ ∈ 𝜏 ⟹ ∅ ∩ 𝑌 ∈ 𝜏𝑌 ⟹ ∅ ∈ 𝜏𝑌
(**) 𝑌 ∈ 𝜏𝑌
𝑌 pues 𝑌⊂𝑋
Como 𝜏 es topología sobre 𝑋 ⟹ 𝑋 ∈ 𝜏 ⟹ 𝑋∩𝑌 ∈ 𝜏𝑌 ⟹ 𝑌 ∈ 𝜏𝑌
(***) 𝜏𝑌 es cerrado por uniones arbitrarias
Consideremos 𝐵𝛼 𝛼∈𝐽 familia de conjuntos de 𝜏𝑌 entonces ∃ 𝑈𝛼 𝛼 ∈𝐽 𝐵𝛼 = 𝑈𝛼 ∩ 𝑌.
Distributiva
de la intersección
respecto de la unión
𝐵𝛼 = 𝑈𝛼 ∩ 𝑌 = 𝑈𝛼 ∩ 𝑌 ∈ 𝜏𝑌
𝛼∈𝐽 𝛼∈𝐽 𝛼 ∈𝐽
∈𝜏 pues es unión
de elementos de 𝜏

(****) 𝜏𝑌 es cerrado por intersecciones finitas
Consideremos 𝐵1 , 𝐵2 , … , 𝐵𝑛 familia de conjuntos de 𝜏𝑌 ⟹ ∃ 𝑈1 , 𝑈2 , … , 𝐵𝑛 𝐵𝛼 = 𝑈𝛼 ∩ 𝑌,

∀𝑛, 1 ≤ 𝛼 ≤ 𝑛.
Asociativa
y
conmutativa
𝐵1 ∩ 𝐵2 ∩ … ∩ 𝐵𝑛 = 𝑈1 ∩ 𝑌 ∩ 𝑈2 ∩ 𝑌 ∩ … ∩ 𝑈𝑛 ∩ 𝑌 = 𝑈1 ∩ 𝑈2 ∩ … ∩ 𝑈𝑛 ∩ 𝑌 ∈ 𝜏𝑌
∈𝜏 pues es intersección
finita de elementos de 𝜏
∴ Por ∗ , ∗∗ , (∗∗∗) y (∗∗∗∗) 𝜏𝑌 es topología sobre 𝑌
Sean (𝑋, 𝜏) espacio topológico y consideremos 𝑌 ⊂ 𝑋 . Definimos topología del

subespacio o topología heredada al conjunto 𝜏𝑌 = {𝑌 ∩ 𝑈 𝑈 ∈ 𝜏}. Al par (𝑌, 𝜏𝑌 ) se lo
denomina subespacio de (𝑋, 𝜏).
Teorema: (16.1)

ℬ base para 𝜏 ⟹ ℬ𝑌 = 𝐵 ∩ 𝑌 𝐵 ∈ ℬ es base para 𝜏𝑌
𝑌 ⊂ 𝑋, 𝑌, 𝜏𝑌
Dem:
Probemos dicho teorema utilizando el teorema 13.2.

Para ello debemos probar que ℬ𝑌 cumple las condiciones:
𝒂) ∀𝐶 ∈ ℬ𝑌 , 𝐶 ∈ 𝜏𝑌
𝒃) ∀𝑈 ∈ 𝜏𝑌 , ∀𝑥 ∈ 𝑈, ∃𝐶0 ∈ ℬ𝑌 /𝑥 ∈ 𝐶0 ⊂ 𝑈
𝒂) ∀𝐶 ∈ ℬ𝑌 , 𝐶 ∈ 𝜏𝑌
Dado 𝐶 ∈ ℬ𝑌 ⟹ ∃𝐶1 ∈ ℬ 𝐶 = 𝐶1 ∩ 𝑌
⟹ 𝐶 = 𝐶1 ∩ 𝑌 ∈ 𝜏𝑌
Como 𝐶1 ∈ ℬ ⟹ 𝐶1 ∈ 𝜏 (Pues todo básico pertenece a la topología)
Por definición
de 𝜏 𝑌
𝒃) ∀𝑈 ∈ 𝜏𝑌 , ∀𝑥 ∈ 𝑈, ∃𝐶0 ∈ ℬ𝑌 /𝑥 ∈ 𝐶0 ⊂ 𝑈
Dado 𝑈 ∈ 𝜏𝑌 , dado 𝑥 ∈ 𝑈:
𝑈 ∈ 𝜏𝑌 ⟹ ∃𝑈1 ∈ 𝜏 𝑈 = 𝑈1 ∩ 𝑌
Llamando
Como 𝐶0
ℬ es base
𝑥 ∈ 𝑈 ⟹ 𝑥 ∈ 𝑈1 ∩ 𝑌 ⟹ 𝑥 ∈ 𝑈 y 𝑈1 ∈𝜏
1 ∃𝐵0 ∈ ℬ 𝑥 ∈ 𝐵0 ⊂ 𝑈1 ⟹ 𝑥 ∈ 𝐵0 ∩ 𝑌 ⟹ 𝑥 ∈ 𝐶0
𝑥∈𝑌 ⟹
𝑈
Como 𝐵0 ⊂ 𝑈1 ⟹ 𝐵0 ∩ 𝑌 ⊂ 𝑈1 ∩ 𝑌 ⟹ 𝐶0 ⊂ 𝑈1 ∩ 𝑌 ⟹ 𝐶0 ⊂ 𝑈
𝐶0
Como 𝐵0 ∈ ℬ ⟹ 𝐵0 ∩ 𝑌 ∈ ℬ𝑌 ⟹ 𝐶0 ∈ ℬ𝑌

⟹ ∃𝐶0 ∈ ℬ𝑌 /𝑥 ∈ 𝐶0 ⊂ 𝑈
Por tanto ∀𝑈 ∈ 𝜏𝑌 , ∀𝑥 ∈ 𝑈, ∃𝐶0 ∈ ℬ𝑌 /𝑥 ∈ 𝐶0 ⊂ 𝑈
∴ Por 𝒂), 𝒃) y por teorema 13.2, ℬ𝑌 es base para 𝜏𝑌
Teorema: (16.2)

𝑌 ⊂ 𝑋, 𝑌 subespacio de 𝑋 ⟹ 𝑈 es abierto en 𝑋
𝑈 abierto en 𝑌
𝑌 abierto en 𝑋
Dem:
Lo que el teorema quiere decir es que si 𝑌 es abierto en 𝑋 entonces todo abierto en el

subespacio 𝑌 también lo es en el subespacio espacio 𝑋.
∀𝑈 abierto en 𝑌, 𝑈 = 𝑉 ∩ 𝑌 donde 𝑉 es abierto en 𝑋.
Def .de
topologia
cuarta
𝑉 es abierto en 𝑋 condición
𝑉 ∩ 𝑌 es abierto en 𝑋 ⟹ 𝑈 es abierto en 𝑋
𝑌 abierto en 𝑋 (Por Hipótesis)
𝑈
Teorema: (16.3)
Sean 𝑋, 𝜏𝑋 e 𝑌, 𝜏𝑌 espacios topológicos

𝑋 × 𝑌, 𝜏𝑋×𝑌 espacio producto
𝐴 ⊂ 𝑋, 𝐴 subespacio de 𝑋
⟹ 𝜏𝐴×𝐵 = 𝜏𝑕𝐴×𝐵
𝐵 ⊂ 𝑌, 𝐵 subespacio de 𝑌
𝜏𝐴×𝐵 topología producto en 𝐴 × 𝐵
𝜏𝑕𝐴×𝐵 topología heredada de 𝑋 × 𝑌 en 𝐴 × 𝐵
Dem:
Recordemos que:
 Una base para la topología producto en 𝐴 × 𝐵 es aquella, formada por conjuntos que
son producto de básicos de 𝐴 por básicos de 𝐵 (Teorema 15.1). Además como 𝐴 es un
subespacio de 𝑋, los básicos en 𝐴 son de la forma 𝑈 ∩ 𝐴, donde 𝑈 es básico en 𝑋. De
igual forma como 𝐵 es un subespacio de 𝑌, los básico en 𝐵 son de la forma 𝑉 ∩ 𝐵,
donde 𝑉 es básico en 𝑌 (estas afirmaciones se justifican por teorema 16.1). Por tanto,
podemos escribir la base de la topología producto sobre 𝐴 × 𝐵 de la siguiente forma:
ℬ𝐴×𝐵 = 𝑈 ∩ 𝐴 × 𝑉 ∩ 𝐵 , con 𝑈 ∈ ℬ𝑋 ∧ 𝑉 ∈ ℬ𝑌
Siendo ℬ𝑋 base para la topología 𝜏𝑋 y ℬ𝑌 base para la topología 𝜏𝑌 .

 Una base para la topología que 𝐴 × 𝐵 hereda como subespacio de 𝑋 × 𝑌, 𝜏𝑋×𝑌 es la
formada por la intersección de básicos de 𝑋 × 𝑌 con el conjunto 𝐴 × 𝐵 (Teorema 16.1)
y los básicos de 𝑋 × 𝑌 son producto de básicos de 𝑋 por básicos de 𝑌 (Teorema 15.1).
Es decir que una base de la topología heredada de 𝑋 × 𝑌 en 𝐴 × 𝐵 e forma:
ℬ𝑕𝐴×𝐵 = 𝑈 × 𝑉 ∩ 𝐴 × 𝐵 , con 𝑈 ∈ ℬ𝑋 ∧ 𝑉 ∈ ℬ𝑌
Siendo ℬ𝑋 base para la topología 𝜏𝑋 y ℬ𝑌 base para la topología 𝜏𝑌 .

 Por último tenemos que se cumple la siguiente igualdad:
𝑈 × 𝑉 ∩ 𝐴 × 𝐵 = 𝑈 ∩ 𝐴 × 𝑉 ∩ 𝐵 (*)
Probemos que estas dos bases son la misma y, de esta forma, las topologías serán las mismas.
𝑀 ∈ ℬ𝐴×𝐵 ⟺ 𝑀 = 𝑈 ∩ 𝐴 × 𝑉 ∩ 𝐵 , con 𝑈 ∈ ℬ𝑋 ∧ 𝑉 ∈ ℬ𝑌 ⟺
(∗)
𝑀 = 𝑈 × 𝑉 ∩ 𝐴 × 𝐵 , con 𝑈 ∈ ℬ𝑋 ∧ 𝑉 ∈ ℬ𝑌 ⟺ 𝑀 ∈ ℬ𝑕𝐴×𝐵
Con esto probamos que ℬ𝐴×𝐵 = ℬ𝑕𝐴×𝐵 .
∴ 𝜏𝐴×𝐵 = 𝜏𝑕𝐴×𝐵
Sea 𝑋 un espacio ordenado. Diremos que un subconjunto 𝑌 de 𝑋 es convexo si para cada

par de puntos 𝑎, 𝑏 de 𝑌 que cumplen 𝑎 < 𝑏 el intervalo (𝑎, 𝑏) está incluido en 𝑌.
Teorema: (16.4.1) (Previo a 16.4)

Sea 𝑋, 𝜏 ′ espacio topológico
⟹ 𝜏′ ⊂ 𝜏
𝒮 ′ subbase para 𝜏 ′
Si ∀𝑆′ ∈ 𝒮′, 𝑆′ ∈ 𝜏
Dem:
Observemos que lo que dice el teorema es que si tengo dos topologías 𝜏 ′ y 𝜏 definidas sobre un
mismo conjunto sea 𝒮 ′ subbase para 𝜏 ′ , si todo elemento de 𝒮 ′ pertenece a 𝜏 entonces 𝜏 es
más fina que 𝜏 ′ .
Leer
observación
posterior a
teorema
"topología
generada
por subbase "
𝒮 ′ subbase para 𝜏 ′ ℬ ′ = {𝐵′ ⊂ 𝑋 𝐵′ es intersección de una cantidad finita de elementos de 𝒮 ′ }
es base para la topología generada por la subbase 𝒮 ′ . Recordemos que 𝜏 ′ generada por ℬ′
es el conjunto de todas las uniones de elementos de ℬ ′ .

Ahora si probemos que 𝜏 ′ ⊂ 𝜏:
∀𝐴 ∈ 𝜏 ′ , 𝐴 es unión arbitraria de elementos de ℬ ′

⟹
Cada elemento de ℬ ′ es intersección de una cantidad finita de elementos de 𝒮 ′
⟹ ∀𝐴 ∈ 𝜏 ′ , 𝐴 es unión arbitraria de intersecciones de una cantidad finita de elementos de 𝒮 ′ (∗)
Por ser
𝜏 topología
Por Hipótesis ∀𝑆 ′ ∈ 𝒮′ , 𝑆′ ∈𝜏 La interseccion de una cantidad finita de elementos
Por ser
𝜏 topología
de 𝑆′ pertenece a 𝜏 La unión arbitraria de intersecciones de una cantidad finita de
elementos de 𝒮 ′ pertenece a 𝜏. Pero las uniones arbitrarias de intersecciones de una
cantidad finita de elementos de 𝒮 ′ no son otra cosa que los elementos de 𝜏 ′ véase ∗ .
Con lo cual ∀𝐴 ∈ 𝜏 ′ ⟹ 𝐴 ∈ 𝜏
∴ 𝜏′ ⊂ 𝜏
Teorema: (16.4.2) (Previo a 16.4)
Sea 𝑋, 𝜏𝑋 espacio topológico

𝑌 ⊂ 𝑋, 𝑌, 𝜏𝑌 subespacio topológico ⟹ 𝒮𝑌 = 𝑆 ∩ 𝑌, 𝑆 ∈ 𝒮𝑋 es subbase para 𝜏𝑌
𝒮𝑋 subbase para 𝜏𝑋
Dem:
Leer
observación
posterior a
teorema
"topología
generada 𝑖=𝑛
por subbase "
𝒮𝑋 subbase para 𝜏𝑋 ℬ𝑋 = 𝐵 ⊂ 𝑋 𝐵 = 𝑆𝑖 , 𝑆𝑖 ∈ 𝒮𝑋 , ∀𝑖, 1 ≤ 𝑖 ≤ 𝑛 es base para 𝜏𝑋 ⟹
𝑖=1
Teorema 𝑖=𝑛
16.1
ℬ𝑌 = 𝐵 ⊂ 𝑋 𝐵 = 𝑆𝑖 ∩ 𝑌, 𝑆𝑖 ∈ 𝒮𝑋 , ∀𝑖, 1 ≤ 𝑖 ≤ 𝑛 es base para 𝜏𝑌 ⟹
𝑖=1
Propiedad 𝑖=𝑛
distributiva
ℬ𝑌 = 𝐵 ⊂ 𝑋 𝐵 = 𝑆𝑖 ∩ 𝑌 , 𝑆𝑖 ∈ 𝒮𝑋 , ∀𝑖, 1 ≤ 𝑖 ≤ 𝑛 es base para 𝜏𝑌 ⟹
𝑖=1 elementos
de la subbase
⟹ 𝒮𝑌 = 𝑆 ∩ 𝑌, 𝑆 ∈ 𝒮𝑋 es subbase para 𝜏𝑌

Teorema: (16.4)
Sea 𝑋 un espacio ordenado

𝜏𝑜𝑟𝑑𝑋 la topología del orden en 𝑋
𝑌 ⊂ 𝑋, 𝑌 convexo en 𝑋 ⟹ 𝜏𝑜𝑟𝑑𝑌 = 𝜏𝑕 −𝑜𝑟𝑑𝑌
𝜏𝑜𝑟𝑑𝑌 la topología del orden en 𝑌
𝜏𝑕−𝑜𝑟𝑑𝑌 la topología del orden que 𝑌 hereda de X
Dem:
𝒂) 𝜏𝑕−𝑜𝑟𝑑𝑌 ⊂ 𝜏𝑜𝑟𝑑𝑌
Para probar la igualdad probaremos que .
𝒃) 𝜏𝑜𝑟𝑑𝑌 ⊂ 𝜏𝑕−𝑜𝑟𝑑𝑌
𝒂) 𝜏𝑕−𝑜𝑟𝑑𝑌 ⊂ 𝜏𝑜𝑟𝑑𝑌
Una subbase para la topología del orden en 𝑋 es:
𝒮𝑜𝑟𝑑𝑋 = 𝑎, +∞ , 𝑎 ∈ 𝑋 ∪ −∞, 𝑎 , 𝑎 ∈ 𝑋 ⟹
Por teorema
16.4.2
𝒮𝑕−𝑜𝑟𝑑𝑌 = 𝑎, +∞ ∩ 𝑌, 𝑎 ∈ 𝑋 ∪ { −∞, 𝑎 ∩ 𝑌, 𝑎 ∈ 𝑋} (*)
Analicemos los conjuntos 𝑎, +∞ ∩ 𝑌 y −∞, 𝑎 ∩ 𝑌.
𝟏) 𝑎, +∞ ∩ 𝑌
Caso 1: Si 𝑎 ∈ 𝑌
Si 𝑎 ∈ 𝑌 entonces 𝑎, +∞ 𝑋 ∩ 𝑌 = 𝑥 ∈ 𝑌 𝑎 < 𝑥 = 𝑎, +∞ 𝑌 . Veamos que nombramos

𝑎, +∞ 𝑋 al rayo abierto del orden en 𝑋 y 𝑎, +∞ 𝑌 al rayo abierto del orden en 𝑌.
Caso 2: Si 𝑎 ∉ 𝑌
Como 𝑌 es convexo, 𝑎 es cota superior de 𝑌 o 𝑎 es cota inferior de 𝑌 pues si no fuera cota

inferior ni cota superior tenemos que el conjunto 𝑌 contradeciría el hecho de que fuera
convexo (ver dibujo) pues existen intervalos que no están totalmente contenidos en 𝑌.

Si 𝑎 es cota inferior de 𝑌 ⟹ 𝑎, +∞ 𝑋 ∩ 𝑌 = 𝑌
(Ver dibujo adjunto)
Si 𝑎 es cota superior de 𝑌 ⟹ 𝑎, +∞ 𝑋 ∩ 𝑌 = ∅
𝑎, +∞ 𝑌
Resumiendo tenemos que 𝑎, +∞ 𝑋 ∩𝑌 = 𝑌
∅
𝟐) −∞, 𝑎 ∩ 𝑌
−∞, 𝑎 𝑌
El razonamiento es análogo al anterior es decir que −∞, 𝑎 𝑋 ∩𝑌 = 𝑌
∅
Luego de realzado el análisis anterior tenemos, por (*) tenemos que el conjunto:
𝒮𝑕−𝑜𝑟𝑑𝑌 = 𝑎, +∞ ∩ 𝑌, 𝑎 ∈ 𝑋 ∪ { −∞, 𝑎 ∩ 𝑌, 𝑎 ∈ 𝑋}
Observemos que por lo estudiado en 𝟏) y 𝟐) tenemos que cualquier elemento de la subbase

𝑎, +∞ 𝑌
es uno de los siguientes conjuntos: −∞, 𝑎 𝑌 y cualquiera de estos conjuntos son abiertos en
𝑌
∅
la topología del orden sobre 𝑌 (pues los rayos son abiertos en la topología del orden).
Tenemos 𝑌, 𝜏𝑜𝑟𝑑𝑌 espacio topológico

Por teorema
Tenemos 𝑌, 𝜏𝑕−𝑜𝑟𝑑𝑌 espacio topológico 16.4.1
𝜏𝑕−𝑜𝑟𝑑𝑌 ⊂ 𝜏𝑜𝑟𝑑𝑌
𝒮𝑕−𝑜𝑟𝑑𝑌 subbase para 𝜏𝑕−𝑜𝑟𝑑 𝑌
∀𝑆 ∈ 𝒮𝑕−𝑜𝑟𝑑𝑌 , 𝑆 ∈ 𝜏𝑜𝑟𝑑𝑌
Demostrando así la primera inclusión.

𝒃) 𝜏𝑜𝑟𝑑𝑌 ⊂ 𝜏𝑕−𝑜𝑟𝑑𝑌
Para probar esto utilicemos nuevamente el teorema 16.4.1, es decir, probemos que,
considerando 𝒮𝑜𝑟𝑑𝑌 = 𝑎, +∞ 𝑌 , 𝑎 ∈ 𝑌 ∪ −∞, 𝑎 𝑌 , 𝑎 ∈ 𝑌 una subbase para la topología
del orden en 𝑌 (donde denotamos 𝑎, +∞ 𝑌 y −∞, 𝑎 𝑌 a los rayos del orden en 𝑌) se cumple
que:
∀𝑆 ∈ 𝒮𝑜𝑟𝑑𝑌 , 𝑆 ∈ 𝜏𝑕−𝑜𝑟𝑑𝑌
Observemos que todos los elementos de 𝒮𝑜𝑟𝑑𝑌 es un rayo de 𝑌 y que todo rayo de 𝑌 puede
escribirse como la intersección de un rayo en 𝑋 con 𝑌 es decir:
𝑎, +∞ 𝑌 = 𝑎, +∞ 𝑋 ∩𝑌
−∞, 𝑎 𝑌 = −∞, 𝑎 𝑋 ∩𝑌
Ahora:
𝑎, +∞ 𝑋 es abierto con la topología del orden en 𝑋 ⟹
⟹ 𝑎, +∞ 𝑋 ∩ 𝑌 es abierto 𝑌 con la topología heredada de 𝑋 ⟹ 𝑎, +∞ 𝑌 ∈ 𝜏𝑕−𝑜𝑟𝑑𝑌

𝑎,+∞ 𝑌
De igual forma se demuestra que −∞, 𝑎 𝑌 ∈ 𝜏𝑕−𝑜𝑟𝑑𝑌 .
Por tanto, ∀𝑆 ∈ 𝒮𝑜𝑟𝑑𝑌 , 𝑆 ∈ 𝜏𝑕−𝑜𝑟𝑑𝑌 .
Tenemos 𝑌, 𝜏𝑜𝑟𝑑𝑌 espacio topológico

Por teorema
Tenemos 𝑌, 𝜏𝑕 −𝑜𝑟𝑑𝑌 espacio topológico 16.4.1
𝜏𝑜𝑟𝑑𝑌 ⊂ 𝜏𝑕−𝑜𝑟𝑑𝑌
𝒮𝑜𝑟𝑑𝑌 subbase para 𝜏𝑜𝑟𝑑𝑌
∀𝑆 ∈ 𝒮𝑜𝑟𝑑𝑌 , 𝑆 ∈ 𝜏𝑕−𝑜𝑟𝑑𝑌
∴ de 𝒂) y 𝒃) 𝜏𝑜𝑟𝑑𝑌 = 𝜏𝑕−𝑜𝑟𝑑𝑌
Observación:
 Si bien el teorema exige que 𝑌 sea convexo, para demostrar la inclusión 𝒃) no fue
utilizada dicha condición. Con esto podemos decir que:
o 𝜏𝑕−𝑜𝑟𝑑𝑌 ⊂ 𝜏𝑜𝑟𝑑𝑌 se cumple si 𝑌 es convexo.
o 𝜏𝑜𝑟𝑑𝑌 ⊂ 𝜏𝑕−𝑜𝑟𝑑𝑌 se cumple para todo 𝑌 ⊂ 𝑋.
Sea (𝑋, 𝜏) un espacio topológico. Diremos que un subconjunto 𝐴 de 𝑋 es cerrado si el

conjunto 𝐴𝐶 es abierto.
Observación:
 Un subconjunto de un espacio topológico puede ser abierto, cerrado, ninguno de los

dos o ambos.
Sea (𝑋,elaborado
Material 𝜏) un espacio topológico.
por Ignacio Diremos
Dolyenko que un
y Mathias subconjunto 𝐴 de 𝑋 es cerrado si el
Frederico.
𝐶
Cualquier 𝐴 es abierto.
conjuntocomentario o sugerencia puedes enviar un e-mail a: idolyenko@gmail.com y/o
Teorema: (17.1)
𝟏) ∅ y 𝑋 son cerrados
Sea (𝑋, 𝜏)
⟹ 𝟐)Las intersecciones arbitrarias de conjuntos cerrados son cerradas
un espacio topológico
𝟑)Las uniones finitas de conjuntos cerrados son cerradas
Dem:
𝟏) ∅ y 𝑋 son cerrados
Teorema: (17.1)
𝑋
∅ ∈ 𝜏 (por ser topología) 𝟏) ∅∅y es abierto
𝑋 son cerrados ∅𝐶
es cerrado 𝑋 es cerrado
Sea (𝑋, 𝜏) ⟹ ⟹ 𝐶 es cerrado ⟹ ∅ es cerrado
𝑋 ∈ 𝜏 (por ser topología) 𝑋 es abierto 𝑋
⟹ 𝟐)Las intersecciones arbitrarias de conjuntos cerrados son cerradas
un espacio topológico
𝟑)Las uniones finitas de∅conjuntos cerrados son cerradas
𝟐)Las intersecciones arbitrarias de conjuntos cerrados son cerradas
Sea 𝐹𝛼 , 𝛼 ∈ 𝐽 una familia de conjuntos cerrados. Debemos probar que 𝐹𝛼 es cerrado.

𝛼 ∈𝐽
C Ley de
DeMorgan
𝐶
𝐹𝛼 es cerrado ⟺ 𝐹𝛼 es abierto 𝐹𝛼 es abierto
𝛼∈𝐽 𝛼∈𝐽 𝛼∈𝐽
𝐹𝛼 cerrado, ∀𝛼 ∈ 𝐽 ⟹ 𝐹𝛼 𝐶 abierto, ∀𝛼 ∈ 𝐽 𝐶
⟹ 𝐹𝛼 es abierto
Por ser 𝜏 topología la unión arbitraria de abiertos es abierta
𝛼 ∈𝐽
∴ 𝐹𝛼 es cerrado
𝛼∈𝐽
𝟑)Las uniones finitas de conjuntos cerrados son cerradas

𝑖=𝑛
Sea 𝐹1 , 𝐹2 , … , 𝐹𝑛 una familia de conjuntos cerrados. Debemos probar que 𝐹𝛼 es cerrado.

𝑖=1
C Ley de
𝑖=𝑛 𝑖=𝑛 𝑖=𝑛
DeMorgan
𝐶
𝐹𝛼 es cerrado ⟺ 𝐹𝛼 es abierto 𝐹𝛼 es abierto
𝑖=1 𝑖=1 𝑖=1
𝑖=𝑛
𝐹𝛼 cerrado, ∀𝛼 ∈ 𝐽 ⟹ 𝐹𝛼 𝐶 abierto, ∀𝛼 ∈ 𝐽 𝐶
⟹ 𝐹𝛼 es abierto
Por ser 𝜏 topología la intersección finita de abiertos es abierta
𝑖=1
𝑖=𝑛
∴ 𝐹𝛼 es cerrado
𝑖=1

Observación:
 Veamos que perfectamente se puede definir topología utilizando conjuntos cerrados y

las propiedades que muestra el teorema 17.1. No hay ninguna diferencia en definir
topología con los abiertos o con los cerrados.
 Si se define topología con los cerrados, se define conjunto abierto como aquel cuyo
complemento es cerrado.
Sea (𝑋, 𝜏) un espacio topológico e 𝑌 ⊂ 𝑋. Diremos que un subconjunto 𝐴 de 𝑌 es cerrado

en 𝑌, si 𝐴 es cerrado con la topología del subespacio.
Teorema: (17.2)
Sea 𝑋, 𝜏 un espacio topológico e 𝑌 ⊂ 𝑋, 𝑌 subespacio de 𝑋. Dado 𝐴 ⊂ 𝑌:
Sea (𝑋, 𝜏) un espacio

𝐴 estopológico
cerrado ene𝑌⟺ ⊂ 𝑋.𝐴 Diremos
= 𝐹 ∩ 𝑌,que
conun
𝐹 cerrado en 𝑋 𝐴 de 𝑌 es cerrado
subconjunto
Dem:
Debo probar: 𝐴 es cerrado en 𝑌 ⟹ 𝐴 = 𝐹 ∩ 𝑌, con 𝐹 cerrado en 𝑋
Def
Def topología
cerrado del subespacio
𝐴 es cerrado en 𝑌 𝐴𝐶Y es abierto en 𝑌 ∃𝑈 ∈ 𝜏 abierto en 𝑋 𝐴𝐶𝑌 = 𝑈 ∩ 𝑌
Véase que nombramos 𝐴𝐶𝑌 al complemento de 𝐴 respecto de 𝑌.
Como 𝑈 es abierto en 𝑋 ⟹ 𝑈 𝐶 es cerrado en 𝑋

⟹ 𝐴 = 𝐹 ∩ 𝑌, con 𝐹 cerrado en 𝑋 (𝐹 = 𝑈 𝐶 )
𝐴 = 𝑈 𝐶 ∩ 𝑌 (véase figura)
(⟸)
Debo probar: 𝐴 = 𝐹 ∩ 𝑌, con 𝐹 cerrado en 𝑋 ⟹ 𝐴 es cerrado en 𝑌
Tenemos que 𝐴 = 𝐹 ∩ 𝑌, con 𝐹 cerrado en 𝑋.

𝑭
Def
topología
Como 𝐹 es cerrado en 𝑋 ⟹ 𝐹 𝐶 es abierto en 𝑋 del subespacio
𝐴𝐶𝑌 es abierto en 𝑌 ⟹
𝐴𝐶𝑌 = 𝐹 𝐶 ∩ 𝑌 véase figura
⟹ 𝐴 es cerrado en Y.
Teorema: (17.3)

𝑌 ⊂ 𝑋, 𝑌 subespacio de 𝑋 ⟹ 𝐴 es cerrado en 𝑋
𝐴 cerrado en 𝑌
𝑌 cerrado en 𝑋
Dem:
Lo que el teorema quiere decir es que si 𝑌 es cerrado en 𝑋 entonces todo cerrado en el

subespacio 𝑌 también lo es en el subespacio espacio 𝑋.
∀𝐴 cerrado en 𝑌, 𝐴 = 𝐹 ∩ 𝑌 donde 𝐹 es cerrado en 𝑋 (Teorema 17.2).

Teorema
17.1 parte
𝐹 es cerrado en 𝑋 dos
𝐹 ∩ 𝑌 es cerrado en 𝑋 ⟹ 𝐴 es cerrado en 𝑋
𝑌 cerrado en 𝑋 (Por Hipótesis)
𝐴
Sea (𝑋, 𝜏) un espacio topológico y 𝐴 ⊂ 𝑋. Definimos interior de 𝐴 a la unión de todos los

abiertos contenidos en 𝐴. Se nota Int(𝐴)
Simbólicamente:
Int 𝐴 = 𝐴𝛼
𝐴𝛼 ∈𝜏
𝐴𝛼 ⊂𝐴

Sea (𝑋, 𝜏) un espacio topológico y 𝐴 ⊂ 𝑋. Definimos clausura o adherencia de 𝐴 a la
intersección de todos los cerrados que contienen a 𝐴. Se nota Cl(𝐴) o 𝐴.
Simbólicamente:
Cl 𝐴 = 𝐴𝛼
𝐴𝛼 es cerrado
𝐴⊂𝐴𝛼
Teorema: (En Munkres está como observaciones) (17.4.1)
𝟏) 𝑖𝑛𝑡 𝐴 es abierto en 𝑋
𝟐) 𝐴 es cerrado en 𝑋
en 𝑌, si 𝐴 Sea 𝑋, 𝜏 espacio
es cerrado topológico
con la topología del subespacio.
⟹ 𝟑) 𝑖𝑛𝑡 𝐴 ⊂ 𝐴 ⊂ 𝐴
𝐴 ⊂ 𝑋, 𝐴 subconjunto de 𝑋
𝟒) Si 𝐴 es abierto ⟺ 𝐴 = 𝑖𝑛𝑡 𝐴
𝟓) Si 𝐴 es cerrado ⟺ 𝐴 = 𝐴
Dem:
𝟏) 𝑖𝑛𝑡 𝐴 es abierto en 𝑋
Por definición, Int 𝐴 = 𝐴𝛼 , siendo 𝐴𝛼 , 𝛼 ∈ 𝐽 la familia de abiertos tales que 𝐴𝛼 ⊂ 𝐴.

𝐴𝛼 ∈𝜏
𝐴𝛼 ⊂𝐴
Def . topología
tercera condición
𝐴𝛼 ∈ 𝜏, ∀𝛼 ∈ 𝐽 𝐴𝛼 ∈ 𝜏 ⟹ Int 𝐴 ∈ 𝜏
𝐴𝛼 ∈𝜏
𝐴𝛼 ⊂𝐴
Int 𝐴
∴ 𝑖𝑛𝑡 𝐴 es abierto en 𝑋
𝟐) 𝐴 es cerrado en 𝑋
Por definición, 𝐴 = 𝐴𝛼 , siendo 𝐴𝛼 , 𝛼 ∈ 𝐽 la familia de cerrados tales que 𝐴 ⊂ 𝐴𝛼 .

𝐴𝛼 cerrado
𝐴⊂𝐴𝛼
Teorema
17.1 parte
dos
𝐴𝛼 es cerrado, ∀𝛼 ∈ 𝐽 𝐴𝛼 es cerrado ⟹ 𝐴 es cerrado
𝐴𝛼 cerrado
𝐴⊂𝐴𝛼
𝐴
∴ 𝐴 es cerrado en 𝑋

𝟑) 𝑖𝑛𝑡 𝐴 ⊂ 𝐴 ⊂ 𝐴
Por definición, Int 𝐴 = 𝐴𝛼 , siendo 𝐴𝛼 , 𝛼 ∈ 𝐽 la familia de abiertos tales que 𝐴𝛼 ⊂ 𝐴.

𝐴𝛼 ∈𝜏
𝐴𝛼 ⊂𝐴
𝐴𝛼 ⊂ 𝐴, ∀𝛼 ∈ 𝐽 ⟹ 𝐴𝛼 ⊂ 𝐴 ⟹ 𝑖𝑛𝑡 𝐴 ⊂ 𝐴
𝐴𝛼 ∈𝜏
𝐴𝛼 ⊂𝐴
Int 𝐴
Por definición, 𝐴 = 𝐴𝛼 , siendo 𝐴𝛼 , 𝛼 ∈ 𝐽 la familia de cerrados tales que 𝐴 ⊂ 𝐴𝛼 .

𝐴𝛼 cerrado
𝐴⊂𝐴𝛼
𝐴 ⊂ 𝐴𝛼 , ∀𝛼 ∈ 𝐽 ⟹ 𝐴 ⊂ 𝐴𝛼 ⟹ 𝐴 ⊂ 𝐴
𝐴𝛼 cerrado
𝐴⊂𝐴𝛼
𝐴
∴ 𝑖𝑛𝑡 𝐴 ⊂ 𝐴 ⊂ 𝐴
𝟒) 𝐴 es abierto ⟺ 𝐴 = 𝑖𝑛𝑡 𝐴
Para probar esto demostraremos la doble inclusión. Por la parte anterior tenemos que
𝑖𝑛𝑡 𝐴 ⊂ 𝐴 falta probar que 𝐴 ⊂ 𝑖𝑛𝑡 𝐴 .
Llamemos ℱ = 𝐴𝛼 , 𝛼 ∈ 𝐽 a la familia de abiertos tales que 𝐴𝛼 ⊂ 𝐴.
𝐴 es abierto (Por hipótesis)

⟹𝐴∈ℱ⟹ 𝐴⊂ 𝐴𝛼 ⟹ 𝐴 ⊂ 𝑖𝑛𝑡 𝐴
𝐴⊂𝐴
𝐴𝛼 ∈𝜏
𝐴𝛼 ⊂𝐴
Int 𝐴
𝐴 está incluído
en la unión pues
de los 𝐴𝛼 pues es
uno de ellos
∴ 𝐴 = 𝑖𝑛𝑡 𝐴
(⟸)
𝐴 = 𝑖𝑛𝑡 𝐴
⟹ 𝐴 es abierto
𝑖𝑛𝑡 𝐴 es abierto
𝟓) Si 𝐴 es cerrado ⟺ 𝐴 = 𝐴
Para probar esto demostraremos la doble inclusión. Por la parte 𝟑) tenemos que 𝐴 ⊂ 𝐴 falta
probar que 𝐴 ⊂ 𝐴.

Llamemos ℱ = 𝐴𝛼 , 𝛼 ∈ 𝐽 a la familia de cerrados tales que 𝐴 ⊂ 𝐴𝛼 .
𝐴 es cerrado (Por hipótesis)

⟹𝐴∈ℱ⟹ 𝐴𝛼 ⊂ 𝐴 ⟹ 𝐴 ⊂ 𝐴
𝐴⊂𝐴
𝐴𝛼 cerrado
𝐴⊂𝐴𝛼
𝐴
La intersección
de los elementos
de ℱ está incluído
en cada uno de los
elementos .Como
𝐴∈ℱ la intersección
esta incluído en 𝐴
∴𝐴=𝐴
(⟸)
𝐴=𝐴 ⟹ 𝐴 es cerrado
𝐴 es cerrado
Teorema: (17.4)
Sea 𝑋, 𝜏𝑋 espacio topológico

𝑌 ⊂ 𝑋, 𝑌, 𝜏𝑌 subespacio de 𝑋
𝐴 ⊂ 𝑌, 𝐴 subconjunto de 𝑌 ⟹ 𝐴𝑌 = 𝐴𝑋 ∩ 𝑌
𝐴𝑋 la clausura de 𝐴 en 𝑋
𝐴𝑌 la clausura de 𝐴 en 𝑌
Dem:
𝒊) 𝐴𝑌 ⊂ 𝐴𝑋 ∩ 𝑌
Probemos la doble inclusión:
𝒊𝒊) 𝐴𝑋 ∩ 𝑌 ⊂ 𝐴𝑌
𝒊) 𝐴𝑌 ⊂ 𝐴𝑋 ∩ 𝑌
Teo rema
17.2
Por Teorema 17.4.1 parte 2, 𝐴𝑋 es cerrado en 𝑋 𝐴𝑋 ∩ 𝑌 es cerrado en 𝑌
Por teorema 17.4.1 parte 3, 𝐴 ⊂ 𝐴𝑋 ⟹
⟹ 𝐴 ⊂ 𝐴𝑋 ∩ 𝑌
Por hipótesis 𝐴 ⊂ 𝑌
Por definición 𝐴𝑌 es igual a la intersección de todos los cerrados que contienen a 𝐴
𝐴𝑌 ⊂ 𝐴𝑋 ∩ 𝑌
Todo conjunto
de la intersección
contiene a la propia
intersección

𝒊𝒊) 𝐴𝑋 ∩ 𝑌 ⊂ 𝐴𝑌
Teorema
17.2
Por Teorema 17.4.1 parte 2, 𝐴𝑌 es cerrado en 𝑌 ∃𝐹 ⊂ 𝑋 𝐴𝑌 = 𝐹 ∩ 𝑌, 𝐹 cerrado en 𝑋
Si está incluído
en la intersección
está incluído en cada
Por teorema 17.4.1 parte 3, 𝐴 ⊂ 𝐴𝑌 conjunto que se interseca
⟹ 𝐴 ⊂ 𝐹∩𝑌 𝐴⊂𝐹 ⟹
𝐴𝑌 = 𝐹 ∩ 𝑌
𝐹 cerrado en 𝑋
Por definición 𝐴𝑋 es igual a la intersección de todos los cerrados que contienen a 𝐴
𝐴𝑋 ⊂ 𝐹 ⟹ 𝐴𝑋 ∩ 𝑌 ⊂ 𝐹 ∩ 𝑌 ⟹ 𝐴𝑋 ∩ 𝑌 ⊂ 𝐴𝑌
Todo conjunto
de la intersección 𝐴𝑌
intersección
∴ Por 𝒊) y 𝒊𝒊), 𝐴𝑌 = 𝐴𝑋 ∩ 𝑌
Teorema: (17.5)
Sea 𝑋, 𝜏 espacio topológico y 𝐴 ⊂ 𝑋, 𝐴 subconjunto de 𝑋
𝒂) 𝑥 ∈ 𝐴 ⟺ ∀𝑈𝑥 , 𝑈𝑥 ∩ 𝐴 ≠ ∅
𝒃) Si ℬ es base para 𝜏 entonces; 𝑥 ∈ 𝐴 ⟺ ∀𝐵𝑥 ∈ ℬ, 𝐵𝑥 ∩ 𝐴 ≠ ∅
Dem:
𝒂) 𝑥 ∈ 𝐴 ⟺ ∀𝑈𝑥 , 𝑈𝑥 ∩ 𝐴 ≠ ∅
Para demostrar esto probemos su negación. Si tenemos que 𝑃 ⟺ 𝑄 esto se cumple si, y solo
sí, no 𝑃 ⟺ no 𝑄. Es decir, probemos que:
𝑥 ∉ 𝐴 ⟺ ∃𝑈𝑥 , 𝑈𝑥 ∩ 𝐴 = ∅
Además recordemos que 𝑈𝑥 es un entorno de 𝑥 es decir un abierto que contiene a 𝑥.
Debo probar que: 𝑥 ∉ 𝐴 ⟹ ∃𝑈𝑥 , 𝑈𝑥 ∩ 𝐴 = ∅
Def .
conjunto
C C
cerrado
𝐴 es cerrado por teorema 17.4.1 parte 2 𝐴 es abierto ⟹ 𝑥 ∈ 𝐴 .
𝑥∉𝐴
C
Además 𝐴 ∩ 𝐴 = ∅. Por tanto existe un abierto que contiene a 𝑥 y cuya intersección

C
con 𝐴 es vacía 𝐴 es dicho abierto .
C
∴ ∃𝑈𝑥 𝑈𝑥 = 𝐴 , 𝑈𝑥 ∩ 𝐴 = ∅
(⟸)
Debo probar que: ∃𝑈𝑥 , 𝑈𝑥 ∩ 𝐴 = ∅ ⟹ 𝑥 ∉ 𝐴
Por hipótesis tenemos que ∃𝑈𝑥 , 𝑈𝑥 ∩ 𝐴 = ∅
𝑈𝑥 es abierto ⟹ 𝑈𝑥 𝐶 es cerrado
Como 𝑈𝑥 ∩ 𝐴 = ∅ ⟹ 𝐴 ⊂ 𝑈𝑥 𝐶 ⟹
Por definición 𝐴 es igual a la intersección de todos los cerrados que contienen a 𝐴
𝐶
𝐴 ⊂ 𝑈𝑥
Todo conjunto
de la intersección
intersección
Por otro lado:
𝐶
𝑥 ∈ 𝑈𝑥 ⟹ 𝑥 ∉ 𝑈𝑥
𝐶
⟹𝑥∉𝐴
Como 𝐴 ⊂ 𝑈𝑥
𝒃) Si ℬ es base para 𝜏 entonces; 𝑥 ∈ 𝐴 ⟺ ∀𝐵𝑥 ∈ ℬ, 𝐵𝑥 ∩ 𝐴 ≠ ∅
Veamos que nombramos 𝐵𝑥 a todo abierto básico que contenga a 𝑥.
𝑥∈𝐴 ∀𝑈𝑥 , 𝑈𝑥 ∩ 𝐴 ≠ ∅
Por parte
𝒂) ⟹ ∀𝐵𝑥 ∈ ℬ, 𝐵𝑥 ∩ 𝐴 ≠ ∅
∀𝐵𝑥 ∈ ℬ, 𝐵𝑥 es un abierto que contiene a 𝑥
(⟸)
Probemos que ∀𝑈𝑥 , 𝑈𝑥 ∩ 𝐴 ≠ ∅.
Def .de
base
Dado 𝑈𝑥 abierto que contiene a 𝑥, como ℬ es base para 𝜏 ∃𝐵𝑥 ∈ ℬ/𝑥 ∈ 𝐵𝑥 ⊂ 𝑈𝑥
Por hipótesis, 𝐵𝑥 ∩ 𝐴 ≠ ∅
⟹ 𝑈𝑥 ∩ 𝐴 ≠ ∅
Como 𝐵𝑥 ⊂ 𝑈𝑥
Tenemos entonces que se cumple que ∀𝑈𝑥 , 𝑈𝑥 ∩ 𝐴 ≠ ∅ 𝑥∈𝐴

Por parte
𝒂)

Observación:
 Sea (𝑋, 𝜏) un espacio topológico y 𝐴 un subconjunto de 𝑋. A los puntos del clausura de

𝐴 se los denomina puntos de adherencia de 𝐴. De esta forma se puede definir de
forma alternativa al clausura de 𝐴 como el conjunto de los puntos de adherencia de 𝐴
y se puede decir que 𝑥 es un punto de adherencia de 𝐴 si, y solo sí, ∀𝑈𝑥 , 𝑈𝑥 ∩ 𝐴 ≠ ∅.
Sea (𝑋, 𝜏) un espacio topológico y 𝑥 ∈ 𝑋 diremos denominamos entorno reducido de 𝒙 al

siguiente conjunto:
𝑈𝑥 − {𝑥}
Con 𝑈𝑥 entorno de 𝑥. Se nota 𝑈𝑥∗
Sea (𝑋, 𝜏) un espacio topológico, 𝐴 ⊂ 𝑋 y 𝑥 ∈ 𝐴. Diremos que 𝑥 es un punto límite de 𝐴

∗
(o punto de acumulación de 𝐴) si ∀𝑈𝑥 , 𝑈𝑥 ∩ 𝐴 ≠ ∅.
En otras palabras 𝑥 es un punto límite de 𝐴 si la intersección de todo entorno de 𝑥

posee elementos de 𝑋 distintos del propio 𝑥.
Sea (𝑋, 𝜏) un espacio topológico, 𝐴 ⊂ 𝑋. Al conjunto de los puntos límite de 𝐴 se lo

denomina conjunto derivado de 𝑨. Se nota al derivado de 𝐴 como 𝐴′ .
Teorema:
Sea 𝑋, 𝜏 espacio topológico y 𝐴 ⊂ 𝑋, 𝐴 subconjunto de 𝑋
𝑥 ∈ 𝐴′ ⟺ 𝑥 ∈ 𝐴 − {𝑥}
Dem:
Def .punto
límite
𝑥∈ 𝐴′ ∀𝑈𝑥 , 𝑈𝑥 ∩ 𝐴 posee elementos distintos de 𝑥 ⟺ ∀𝑈𝑥 , 𝑈𝑥 ∩ 𝐴 − 𝑥 ⟺
Teorema
17.5 parte 𝑎)
𝑥 ∈ 𝐴 − {𝑥}

Teorema: (17.6)

⟹ 𝐴 = 𝐴 ∪ 𝐴′
𝐴 ⊂ 𝑋, 𝐴 subconjunto de 𝑋
Dem:
𝒊) 𝐴 ∪ 𝐴′ ⊂ 𝐴
Probemos la doble inclusión:
𝒊𝒊) 𝐴 ⊂ 𝐴 ∪ 𝐴′
𝒊) 𝐴 ∪ 𝐴′ ⊂ 𝐴
Si el entorno sin
𝑥 intersecado con
𝐴 es no vacío ,si al
entorno le agrego
Def . 𝑥 la intersección
punto con 𝐴 sigue siendo Teorema
límite ∗ no vacía 17.5
Sea 𝑥 ∈ 𝐴′ ∀𝑈𝑥 , 𝑈𝑥 ∩𝐴≠∅ ∀𝑈𝑥 , 𝑈𝑥 ∩ 𝐴 ≠ ∅ 𝑥∈𝐴
Con esto probamos que 𝐴′ ⊂ 𝐴.
𝐴′ ⊂ 𝐴
⟹ 𝐴 ∪ 𝐴′ ⊂ 𝐴
Por teorema 17.4.1 parte 3, 𝐴 ⊂ 𝐴
𝒊𝒊) 𝐴 ⊂ 𝐴 ∪ 𝐴′
𝑥∈𝐴
Sea 𝑥 ∈ 𝐴 pueden suceder dos cosas,
𝑥∉𝐴
Caso 1: 𝑥 ∈ 𝐴
Si 𝑥 ∈ 𝐴 ⟹ 𝑥 ∈ 𝐴 ∪ 𝐴′
Caso 2: 𝑥 ∉ 𝐴
Partimos de que 𝑥 ∈ 𝐴 ∀𝑈𝑥 , 𝑈𝑥 ∩ 𝐴 ≠ ∅ ∀𝑈𝑥 , 𝑈𝑥∗ ∩ 𝐴 ≠ ∅ 𝑥 ∈ 𝐴′ ⟹ 𝑥 ∈ 𝐴 ∪ 𝐴′

Teorema Como Def .
17.5 𝑥∉𝐴 punto
límite
Por Caso 1 y Caso 2 tenemos que dado 𝑥 ∈ 𝐴 ⟹ 𝑥 ∈ 𝐴 ∪ 𝐴′ por tanto 𝐴 ⊂ 𝐴 ∪ 𝐴′ .
∴ Por 𝒊) y 𝒊𝒊) tenemos que 𝐴 = 𝐴 ∪ 𝐴′

Teorema: (17.7) (Corolario de 17.6)
Sea 𝑋, 𝜏 espacio topológico y 𝐴 ⊂ 𝑋.
𝐴 es cerrado en 𝑋 ⟺ 𝐴′ ⊂ 𝐴
Dem:
⟹
Teorema
17.4.1
parte 5 ′
𝐴 es cerrado en 𝑋 𝐴=𝐴⟹𝐴⊂𝐴 ⟹𝐴 ⊂𝐴
Por teorema 17.6, 𝐴 = 𝐴 ∪ 𝐴′ ⟹ 𝐴′ ⊂ 𝐴
(⟸)
𝐴′ ⊂ 𝐴 ⟹ 𝐴′ ∪ 𝐴 ⊂ 𝐴 ∪ 𝐴 ⟹ 𝐴 ⊂ 𝐴
𝐴 𝐴 ⟹𝐴=𝐴
⟹ 𝐴 es cerrado
Por teorema 17.4.1 parte 3, 𝐴 = 𝐴 ∪ 𝐴′ ⟹𝐴⊂𝐴
𝐴 es cerrado
Sea 𝑋, 𝜏 un espacio topológico. Se dice que 𝑋 es un espacio de Hausdorff (o cumple el

axioma 𝑇2 ) si:
∀𝑥1 , 𝑥2 ∈ 𝑋, 𝑥1 ≠ 𝑥2 , ∃𝑈𝑥 1 , 𝑈𝑥 2 entornos de 𝑥1 e 𝑥2 respectivamente 𝑈𝑥 1 ∩ 𝑈𝑥 2 = ∅
Teorema: (17.8)

⟹ 𝐴 es cerrado
𝐴 ⊂ 𝑋, 𝐴 finito
Dem:
Sea 𝐴 = 𝑥1 , 𝑥2 , … , 𝑥𝑛 . Probemos que el conjunto unipuntual 𝑥𝑗 es cerrado en 𝑋.
Para ello probemos que 𝑥𝑗 = 𝑥𝑗 es decir probemos la doble inclusión:
Por teorema 17.4.1 parte 3, 𝑥𝑗 ⊂ 𝑥𝑗 . Falta probar 𝑥𝑗 ⊂ 𝑥𝑗 . Probemos por absurdo

suponiendo que 𝑥𝑗 ⊄ 𝑥𝑗 , es decir ∃𝑥𝑘 ∈ 𝑋/𝑥𝑘 ∈ 𝑥𝑗 ∧ 𝑥𝑘 ∉ 𝑥𝑗 .
Por ser
𝑋 de Hausdorff
Ahora 𝑥𝑘 ∉ 𝑥𝑗 ⟹ 𝑥𝑘 ≠ 𝑥𝑗 ∃𝑈𝑥 𝑘 , 𝑈𝑥 𝑗 𝑈𝑥 𝑘 ∩ 𝑈𝑥 𝑗 = ∅

𝑈𝑥 𝑘 ∩ 𝑈𝑥 𝑗 = ∅ ⟹ 𝑥𝑗 ∉ 𝑈𝑥 𝑘 ⟹ 𝑈𝑥 𝑘 ∩ 𝑥𝑗 = ∅
Por tanto ∃𝑈𝑥 𝑘 , 𝑈𝑥 𝑘 ∩ 𝑥𝑗 = ∅. ABSURDO! Pues 𝑥𝑘 ∈ 𝑥𝑗 y por tanto ∀𝑈𝑥 , 𝑈𝑥 ∩ 𝐴 ≠ ∅.
Absurdo que surge de suponer que 𝑥𝑗 ⊄ 𝑥𝑗 entonces 𝑥𝑗 ⊂ 𝑥𝑗 .
Con esto tenemos que 𝑥𝑗 = 𝑥𝑗 .
∴ 𝑥𝑗 es cerrado
𝑖=𝑛
Teorema
𝐴= 𝑥𝑛 17.1 parte 3
𝐴 es cerrado
𝑖=1
𝑥𝑗 es cerrado, ∀𝑗, 1 ≤ 𝑗 ≤ 𝑛 ∈
Sea 𝑋, 𝜏 un espacio topológico. Se dice que 𝑋 cumple axioma 𝑻𝟏 si todos los conjuntos
finitos son cerrados.
Teorema: (17.9)
Sea 𝑋, 𝜏 espacio topológico, 𝑋 cumple axioma 𝑇1 y sea 𝐴 ⊂ 𝑋.
𝑥 ∈ 𝐴′ ⟺ ∀𝑈𝑥 , 𝑈𝑥 contiene infinitos puntos de 𝐴
Dem:
Debo probar que 𝑥 ∈ 𝐴′ ⟹ ∀𝑈𝑥 , 𝑈𝑥 contiene infinitos puntos de 𝐴
Probemos esto por absurdo, es decir ∃𝑉𝑥 tal que 𝑉𝑥 ∩ 𝐴 es un conjunto finito.
Def .
punto
𝑥∈ 𝐴′
límite
𝑉𝑥∗ ∩ 𝐴 ≠ ∅ ⟹ 𝑉𝑥∗ ∩ 𝐴 es un conjunto finito. Sea 𝑉𝑥∗ ∩ 𝐴 = 𝑥1 , 𝑥2 , … , 𝑥𝑛
Como 𝑉𝑥 ∩ 𝐴 es un conjunto finito
𝐶
Como 𝑋 cumple axioma 𝑇1 ⟹ 𝑥1 , 𝑥2 , … , 𝑥𝑛 es cerrado ⟹ 𝑥1 , 𝑥2 , … , 𝑥𝑛 es abierto
⟹
Como 𝑉𝑥 es un entorno de 𝑥, este es abierto que contiene a 𝑥
𝐶 𝐶
⟹ 𝑉𝑥 ∩ 𝑥1 , 𝑥2 , … , 𝑥𝑛 es un abierto que contiene a 𝑥 ⟹ 𝑉𝑥 ∩ 𝑥1 , 𝑥2 , … , 𝑥𝑛 es entorno de 𝑥
Entorno reducido
𝑉𝑥 ∩ 𝑥1 , 𝑥2 , … , 𝑥𝑛 𝐶 es entorno de 𝑥
⟹ 𝑉𝑥 ∩ 𝑥1 , 𝑥2 , … , 𝑥𝑛 𝐶 ∗ ∩ 𝐴 = ∅ (*) ABSURDO!
Como 𝑉𝑥∗ ∩ 𝐴 = 𝑥1 , 𝑥2 , … , 𝑥𝑛
∗
Pues por hipótesis 𝑥 ∈ 𝐴′ y por tanto debe cumplirse que ∀𝑈𝑥 , 𝑈𝑥 ∩ 𝐴 ≠ ∅.

Absurdo que surge de suponer que ∃𝑉𝑥 tal que 𝑉𝑥 ∩ 𝐴 es un conjunto finito.
∴ ∀𝑈𝑥 , 𝑈𝑥 contiene infinitos puntos de 𝐴
Expliquemos (*):
Observemos que 𝑉𝑥 ∩ 𝑥1 , 𝑥2 , … , 𝑥𝑛 𝐶 es un entorno de 𝑥 que no posee ningún elemento del

conjunto 𝑥1 , 𝑥2 , … , 𝑥𝑛 . Si 𝑉𝑥∗ ∩ 𝐴 = 𝑥1 , 𝑥2 , … , 𝑥𝑛 entonces al intersecar el conjunto
𝑉𝑥 ∩ 𝑥1 , 𝑥2 , … , 𝑥𝑛 𝐶 con 𝐴 obtenemos el conjunto vacío puesto que los únicos posibles
elementos en común eran 𝑥1 , 𝑥2 , … , 𝑥𝑛 .
(⟸)
Debo probar que ∀𝑈𝑥 , 𝑈𝑥 contiene infinitos puntos de 𝐴 ⟹ 𝑥 ∈ 𝐴′
Si ∀𝑈𝑥 , 𝑈𝑥 contiene infinitos puntos de 𝐴 ⟹ ∀𝑈𝑥 , 𝑈𝑥 ∩ 𝐴 contiene infinitos puntos ⟹

Def .
punto
límite
⟹ ∀𝑈𝑥 , 𝑈𝑥∗ ∩ 𝐴 contiene infinitos puntos ⟹ ∀𝑈𝑥 , 𝑈𝑥∗ ∩ 𝐴 ≠ ∅ 𝑥 ∈ 𝐴′
Observación:
 Existe otra posible definición del axioma 𝑇1 y otra posible demostración de este
teorema que acabamos de probar, pero serán abordadas en el apartado de axiomas de
separación.
Sea 𝑋, 𝜏 un espacio topológico, 𝑥𝑛 𝑛 ∈ℕ una sucesión de puntos de 𝑋 y 𝑥 ∈ 𝑋. Se dice

que la sucesión 𝑥𝑛 𝑛∈ℕ converge a 𝑥 si, y solo sí, ∀𝑈𝑥 , ∃𝑛0 ∈ ℕ ∀𝑛 ≥ 𝑛0 , 𝑥𝑛 ∈ 𝑈𝑥 .
Si 𝑥𝑛 𝑛∈ℕ converge a 𝑥 se nota: 𝑥𝑛 → 𝑥
Teorema: (17.10)

𝑋 cumple axioma 𝑇2
𝑥𝑛 𝑛 ∈ℕ una sucesión de puntos de 𝑋 ⟹ 𝑥 = 𝑦
𝑥𝑛 → 𝑥
𝑥𝑛 → 𝑦
Dem:
Lo que establece este teorema es que en todo espacio de Hausdorff, si una sucesión converge
entonces lo hace solo a un punto.
Demostremos este teorema por absurdo. Supongamos que 𝑥 ≠ 𝑦.
𝑋 es Hausdorff
Como 𝑥 ≠ 𝑦 ∃𝑈𝑥 , 𝑈𝑦 entornos de 𝑥 e 𝑦 respectivamente 𝑈𝑥 ∩ 𝑈𝑦 = ∅ (*)
𝑥𝑛 → 𝑥 ⟹ Dado 𝑈𝑥 , ∃𝑛1 ∈ ℕ ∀𝑛 ≥ 𝑛1 , 𝑥𝑛 ∈ 𝑈𝑥
𝑥𝑛 → 𝑦 ⟹ Dado 𝑈𝑦 , ∃𝑛2 ∈ ℕ ∀𝑛 ≥ 𝑛2 , 𝑥𝑛 ∈ 𝑈𝑦 ⟹ ∀𝑛 ≥ 𝑛0 , 𝑥𝑛 ∈ 𝑈𝑥 ∧ 𝑥𝑛 ∈ 𝑈𝑦 ⟹
Sea 𝑛0 = max 𝑛1 , 𝑛2
⟹ ∀𝑛 ≥ 𝑛0 , 𝑥𝑛 ∈ 𝑈𝑥 ∩ 𝑈𝑦
∀𝑛 ≥ 𝑛0 , 𝑥𝑛 ∈ 𝑈𝑥 ∩ 𝑈𝑦
𝑨𝑩𝑺𝑼𝑹𝑫𝑶!. Absurdo que surge de suponer que 𝑥 ≠ 𝑦
Por (∗), 𝑈𝑥 ∩ 𝑈𝑦 = ∅
∴𝑥=𝑦
Teorema: (17.11)
𝒂) Si 𝑋 es un conjunto ordenado con la topología del orden ⟹ 𝑋 es de Hausdorff

𝑋, 𝜏𝑋 espacio topológico de Hausdorff
𝒃) ⟹ 𝑋 × 𝑌, 𝜏𝑝𝑟𝑜𝑑 es de Hausdorff
𝑌, 𝜏𝑌 espacio topológico de Hausdorff
𝒄) ⟹ 𝑌, 𝜏𝑌 es de Hausdorff
Dem:
𝒂) Si 𝑋 es un conjunto ordenado con la topología del orden ⟹ 𝑋 es de Hausdorff
Debemos probar que:
∀𝑥, 𝑦 ∈ 𝑋, 𝑥 ≠ 𝑦, ∃𝑈𝑥 , 𝑈𝑦 entornos de 𝑥 e 𝑦 respectivamente 𝑈𝑥 ∩ 𝑈𝑦 = ∅
Dados 𝑥, 𝑦 ∈ 𝑋, 𝑥 ≠ 𝑦, como 𝑋 es un conjunto ordenado existe un orden entre 𝑥 e 𝑦.
Supongamos, sin perder generalidad que: 𝑥 < 𝑦.
Caso 1: Si 𝑦 es inmediato sucesor de 𝑥.
Recordemos que los rayos abiertos en la topología del orden son conjuntos abiertos.

𝑥, +∞ es un abierto que contiene a 𝑦
−∞, 𝑦 es un abierto que contiene a 𝑥 ⟹
Además 𝑥, +∞ ∩ −∞, 𝑦 = ∅ ver imagen
⟹ ∃𝑈𝑥 −∞, 𝑦 , 𝑈𝑦 𝑥, +∞ entornos de 𝑥 e 𝑦 respectivamente 𝑈𝑥 ∩ 𝑈𝑦 = ∅
Caso 2: Si 𝑦 no es inmediato sucesor de 𝑥.
Si 𝑦 no es inmediato sucesor de 𝑥 ⟹ 𝑥, 𝑦 ≠ ∅ ⟹ ∃𝑟 ∈ 𝑋 𝑥 < 𝑟 < 𝑦
𝑟, +∞ es un abierto que contiene a 𝑦

−∞, 𝑟 es un abierto que contiene a 𝑥 ⟹
Además 𝑟, +∞ ∩ −∞, 𝑟 = ∅ ver imagen
⟹ ∃𝑈𝑥 −∞, 𝑟 , 𝑈𝑦 𝑟, +∞ entornos de 𝑥 e 𝑦 respectivamente 𝑈𝑥 ∩ 𝑈𝑦 = ∅
Con lo anterior tenemos que, por Caso 1 y Caso 2 se cumple que:
∀𝑥, 𝑦 ∈ 𝑋, 𝑥 ≠ 𝑦, ∃𝑈𝑥 , 𝑈𝑦 entornos de 𝑥 e 𝑦 respectivamente 𝑈𝑥 ∩ 𝑈𝑦 = ∅
∴ 𝑋 es de Hausdorff

𝒃) ⟹ 𝑋 × 𝑌, 𝜏𝑝𝑟𝑜𝑑 es de Hausdorff
𝑌, 𝜏𝑌 espacio topológico de Hausdorff
𝑋 × 𝑌 es Hausdorff sí, y solo si:
∀𝑥1 × 𝑦1 , 𝑥2 × 𝑦2 ∈ 𝑋 × 𝑌, 𝑥1 × 𝑦1 ≠ 𝑥2 × 𝑦2 , ∃𝑈𝑥 1 ×𝑦1 , 𝑈𝑥 2 ×𝑦2 entornos de 𝑥1 × 𝑦1 e 𝑥2 × 𝑦2
respectivamente 𝑈𝑥 1 ×𝑦1 ∩ 𝑈𝑥 2 ×𝑦2 = ∅
Observemos que a los elementos de 𝑋 × 𝑌 los notamos como 𝑥 × 𝑦.
Comencemos por tomar 𝑥1 × 𝑦1 , 𝑥2 × 𝑦2 ∈ 𝑋 × 𝑌, 𝑥1 × 𝑦1 ≠ 𝑥2 × 𝑦2
𝑥1 ≠ 𝑥2
𝑥1 × 𝑦1 ≠ 𝑥2 × 𝑦2 ⟺ ∨
𝑦1 ≠ 𝑦2

Estudiemos un solo caso, pues el otro es análogo. Sin perder generalidad digamos que 𝑥1 ≠ 𝑥2 .
Como 𝑥1 ≠ 𝑥2
⟹ ∃𝑊𝑥 1 , 𝑊𝑥 2 entornos de 𝑥1 e 𝑥2 respectivamente 𝑊𝑥 1 ∩ 𝑊𝑥 2 = ∅
𝑋 es de Hausdorff
Tomemos ahora 𝑉𝑦1 , 𝑉𝑦2 entornos de 𝑦1 e 𝑦2 respectivamente.
𝑊𝑥 1 es abierto en 𝑋 que contiene a 𝑥1

⟹ 𝑊𝑥 1 × 𝑉𝑦1 es abierto en 𝑋 × 𝑌 que contiene a 𝑥1 × 𝑦1
𝑉𝑦1 es abierto en 𝑌 que contiene a 𝑦1
De igual forma se prueba que 𝑊𝑥 2 × 𝑉𝑦2 es abierto en 𝑋 × 𝑌 que contiene a 𝑥2 × 𝑦2 .
Además, como 𝑊𝑥 1 ∩ 𝑊𝑥 2 = ∅ entonces 𝑊𝑥 1 × 𝑉𝑦1 ∩ 𝑊𝑥 2 × 𝑉𝑦2 = ∅
Si denominamos 𝑈𝑥 1 ×𝑦1 = 𝑊𝑥 1 × 𝑉𝑦1 y 𝑈𝑥 2 ×𝑦2 = 𝑊𝑥 2 × 𝑉𝑦2 entonces tenemos que
∀𝑥1 × 𝑦1 , 𝑥2 × 𝑦2 ∈ 𝑋 × 𝑌, 𝑥1 × 𝑦1 ≠ 𝑥2 × 𝑦2 , ∃𝑈𝑥 1 ×𝑦1 , 𝑈𝑥 2 ×𝑦2 entornos de 𝑥1 × 𝑦1
e 𝑥2 × 𝑦2 respectivamente 𝑈𝑥 1 ×𝑦1 ∩ 𝑈𝑥 2 ×𝑦2 = ∅.
∴ 𝑋 × 𝑌 es de Hausdorff

𝒄) ⟹ 𝑌, 𝜏𝑌 es de Hausdorff
𝑌, 𝜏𝑌 es 𝑇2 ⟺ ∀𝑥, 𝑦 ∈ 𝑌, 𝑥 ≠ 𝑦, ∃𝑈𝑥 , 𝑈𝑦 entornos de 𝑥 e 𝑦 respectivamente 𝑈𝑥 ∩ 𝑈𝑦 = ∅
Dados 𝑥, 𝑦 ∈ 𝑌
⟹ 𝑥, 𝑦 ∈ 𝑋
Como 𝑌 ⊂ 𝑋 ⟹ ∃𝑉𝑥 , 𝑉𝑦 entornos de 𝑥 e 𝑦 respectivamente 𝑉𝑥 ∩ 𝑉𝑦 = ∅
𝑋 es de Hausdorff

𝑉𝑥 y 𝑉𝑦 son abiertos de 𝑋 ⟹ 𝑉𝑥 ∩ 𝑌 y 𝑉𝑦 ∩ 𝑌 son abiertos de 𝑌
𝑥∈𝑌
⟹ 𝑥 ∈ 𝑉𝑥 ∩ 𝑌
𝑥 ∈ 𝑉𝑥 ⟹
𝑦∈𝑌
𝑦 ∈ 𝑉𝑦 ⟹ 𝑦 ∈ 𝑉𝑦 ∩ 𝑌
⟹ 𝑉𝑥 ∩ 𝑌 y 𝑉𝑦 ∩ 𝑌 son entornos de 𝑥 e 𝑦 respectivamente en la topología heredada.
Además, como 𝑉𝑥 ∩ 𝑉𝑦 = ∅ ⟹ 𝑉𝑥 ∩ 𝑌 ∩ 𝑉𝑦 ∩ 𝑌 = ∅
Llamando 𝑈𝑥 = 𝑉𝑥 ∩ 𝑌 y 𝑈𝑦 = 𝑉𝑦 ∩ 𝑌 tenemos que:
∀𝑥, 𝑦 ∈ 𝑌, 𝑥 ≠ 𝑦, ∃𝑈𝑥 , 𝑈𝑦 entornos de 𝑥 e 𝑦 respectivamente 𝑈𝑥 ∩ 𝑈𝑦 = ∅
∴ 𝑌, 𝜏𝑌 es de Hausdorff


Espacios Topológicos

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Espacios Topológicos

Cargado por

Copyright:

Formatos disponibles

Espacios Topológicos

 Los encuadrados dobles son definiciones.

Sea 𝑋 un conjunto y 𝜏 ⊂ 𝒫(𝑋) (𝜏 familia de subconjuntos de 𝑋)

(𝑋, 𝜏) es un espacio topológico si cumple:

iv. 𝜏 es cerrado por intersecciones finitas

Sea (𝑋, 𝜏) un espacio topológico, diremos que 𝑈 ⊂ 𝑋 es un conjunto abierto de 𝑋 si 𝑈 ∈ 𝜏

Sean 𝜏 y 𝜏´ dos topologías sobre un mismo conjunto 𝑋, si 𝜏 ⊂ 𝜏′ diremos que 𝜏′ es más

Sea (𝑋, 𝜏) un espacio topológico, 𝑉 ⊂ 𝑋, 𝑥 ∈ 𝑋. Diremos que 𝑉 es un entorno de 𝑥 si, y

De otra forma, un entorno de 𝑥 es un abierto que contiene a 𝑥. Se nota: 𝑉𝑥 o 𝑉(𝑥).

Material elaborado por Ignacio Dolyenko y Mathias Frederico.

Teorema (topología generada por una base)

Sea 𝑋 no vacío y ℬ una base para una topología definida en 𝑋

𝑻 𝜏 ℬ es una topología sobre 𝑋

Lo cual es verdadero pues no existen elemento de ∅ que contradigan lo anterior.

Lo cual es verdadero por la primera condición de la definición de base.

𝟑) 𝐴𝜆 ∈ 𝜏 ℬ , siendo 𝐴𝜆 ∈ 𝜏 ℬ , 𝐿 familia de índices

Sea 𝒜 = 𝐴𝜆 ∈ 𝜏 ℬ , 𝜆 ∈ 𝐿 , 𝐿 familia de índices llamemos A   A

Sean 𝐴1 , 𝐴2 ∈ 𝜏 ℬ . Probemos que 𝐴1 ∩ 𝐴2 ∈ 𝜏 ℬ

 Al conjunto 𝜏 ℬ se le denomina topología generada por la base ℬ.

Material elaborado por Ignacio Dolyenko y Mathias Frederico.

𝑯 Sea 𝑋 no vacío y ℬ una base para una topología 𝜏 ℬ definida sobre 𝑋

𝑻 𝜏 ℬ es igual a la colección formada por todas las uniones de elementos de ℬ.

Debemos probar que:

i. Toda unión de básicos es un elemento de 𝜏.

ii. Dado 𝑈 ∈ τ(ℬ) debemos ver que es unión de básicos.

Teorema (13.2) (cómo construir una base a partir de una topología)

Sea 𝑋, 𝜏 un espacio topológico

𝟏) 𝒞 es base para una topología sobre 𝑋

𝟏) 𝒞 es base para una topología sobre 𝑋

Material elaborado por Ignacio Dolyenko y Mathias Frederico.

Por def .de

∴ 𝒞 es base para una topología sobre 𝑋

𝟐) 𝜏 y la topología generada por 𝒞 coinciden

Debemos probar que 𝜏 = 𝜏(𝒞) ⟺ 𝜏 𝒞 ⊂ 𝜏 ∧ 𝜏 ⊂ 𝜏 𝒞

Por def .de

Sean ℬ y ℬ′ bases para la topología 𝜏 y 𝜏′ respectivamente sobre 𝑋. Entonces son

𝟏) 𝜏′ es más fina que 𝜏

Dado 𝑥 ∈ 𝑋 y dado 𝐵 ∈ ℬ tal que 𝑥 ∈ 𝐵

Material elaborado por Ignacio Dolyenko y Mathias Frederico.

Debemos probar que 𝜏 ′ es más fina que 𝜏 es decir 𝜏 ⊂ 𝜏 ′ .

Por ser ℬ Por

Teorema (Topología generada por una sub-base)

Sea ℬ𝒮 = {𝑈 ⊂ 𝑋 𝑈 es intersección finita de elementos de 𝒮}

∀𝑥 ∈ 𝑋, ∃𝑆𝑥 ∈ 𝒮 por ser 𝒮 sub-base de 𝑋. Considerando 𝑆𝑥 = 𝑆𝑥 ∩ 𝑆𝑥 , tenemos que 𝑆𝑥 ∈ ℬ𝒮

Material elaborado por Ignacio Dolyenko y Mathias Frederico.

(**) Sean 𝐵1 , 𝐵2 ∈ ℬ𝒮 , ∀𝑥 ∈ 𝐵1 ∩ 𝐵2 , ∃𝐵3 ∈ ℬ𝒮 𝑥 ∈ 𝐵3 ∧ 𝐵3 ⊂ (𝐵1 ∩ 𝐵2 )

∀𝑥 ∈ 𝐵1 ∩ 𝐵2 , ∃𝐵3 ∈ ℬ𝒮 𝑥 ∈ 𝐵3 ∧ 𝐵3 ⊂ (𝐵1 ∩ 𝐵2 ), quedando así demostrada la segunda

Material elaborado por Ignacio Dolyenko y Mathias Frederico.

 Todos los intervalos de la forma 𝑎, 𝑏 en 𝑋.

Si 𝑥 es mínimo basta considerarse 𝐵 = [𝑥, 𝑏), que contiene a 𝑥

Si 𝑥 es máximo basta considerarse 𝐵 = (𝑥, 𝑏], que contiene a 𝑥

Si 𝑥 no es mínimo ni máximo basta considerarse 𝐵 = (𝑧, 𝑦), 𝑧 < 𝑥 < 𝑦

(**) Sean 𝐵1 , 𝐵2 ∈ ℬ, ∀𝑥 ∈ 𝐵1 ∩ 𝐵2 , ∃𝐵3 ∈ ℬ 𝑥 ∈ 𝐵3 ∧ 𝐵3 ⊂ (𝐵1 ∩ 𝐵2 )

Observemos las siguientes intersecciones:

(𝑎, 𝑏0 ] ∩ (𝑐, 𝑏0 ] = (𝑑, 𝑏0 ]

Material elaborado por Ignacio Dolyenko y Mathias Frederico.

∴ Por (*) y (**) ℬ es una base para una topología sobre 𝑋

Teorema: (Sub-base de la topología del orden)

 Todos los rayos de la forma 𝑎, +∞ en 𝑋.

Entonces 𝒮 es una sub-base para la topología del orden sobre 𝑋.

(*) 𝒮 es una sub-base para una topología

Se debe poder escribir 𝑋 como unión de elementos de 𝒮, lo cual es trivial, ya que ∀𝑥 ∈

(**) Debemos demostrar la doble inclusión de las topologías.