Topología general
Unidad I
Rosalinda Martínez Muñoz
ES 1821012221
MT-MTGE-2301-B2-001
Eduardo García Mendiola
Topología General
Unidad 1
Actividad 3
Topología general
Unidad 1
1. Sea 𝑋 = {𝑎, 𝑏, 𝑐, 𝑑, 𝑒, 𝑓}. Muestre (justificando su respuesta) si los siguientes
subconjuntos de 𝑋 son o no espacios topológicos en 𝑋:
a. 𝜏1 = {𝑋, ∅, {𝑐}, {𝑏, 𝑑, 𝑒}, {𝑏}}
No es un espacio topológico en 𝑋 falta intersecciones{𝑐} = {𝑏, 𝑑, 𝑒} ∩ {𝑏}
b. 𝜏2 = {𝑋, ∅, {𝑎}, {𝑏, 𝑑, 𝑒}, {𝑎, 𝑏, 𝑑}{𝑎, 𝑏, 𝑑, 𝑒}}
No es un espacio topológico en 𝑋 falta intersecciones {𝑎} = {𝑎, 𝑐}, {𝑎, 𝑓}
c. 𝜏3 = {𝑋, ∅, {𝑏}, {𝑎, 𝑏, 𝑐}, {𝑑, 𝑒, 𝑓}{𝑏, 𝑑, 𝑒, 𝑓}}
No es un espacio topológico en 𝑋 falta intersecciones {𝑏} = {𝑑, 𝑒, 𝑓}, {𝑎, 𝑏}
2. Sea 𝑋 = {𝑎, 𝑏, 𝑐, 𝑑, 𝑒}. Sea 𝜏 ⊂ 𝒫(𝑋) definida por
𝜏 = {∅}, {𝑎}, {𝑐, 𝑑}, {𝑎, 𝑐, 𝑑}, {𝑏, 𝑐, 𝑑, 𝑒}, 𝑋
a. Mostrar que 𝜏 es una topología en X.
Al cumplir con todas las propiedades, si es un espacio topológico
b. Indicar los conjuntos cerrados en 𝜏.
c. Indicar las cerraduras, interiores y fronteras de {𝑎}, {𝑏}.
Cerradura Interiores Frontera
{𝑎} {𝑎} {𝑎}
menor cerrado que contiene Mayor abierto contenido en Cerradura de {𝑎}- interior de
a {𝑎}: {𝑎}. {𝑎}: {𝑎}. {𝑎}: ∅
{𝑏} {𝑏} {𝑏}
menor cerrado que contiene Mayor abierto contenido en Cerradura de {𝑎}- interior de
a {𝑏}: {𝑏, 𝑒}. {𝑏}: ∅ {𝑏}: {𝑏, 𝑒}.
d. Indicar la cerradura de {𝑎, 𝑐}.
Menor cerrado que contiene a {𝑎, 𝑐}: ∅
e. Indicar las vecindades de 𝑐 y 𝑑.
f. Indicar si 𝜏 es Hausdorff.
No es Hausdorff
Topología general
Unidad 1
3. Sea 𝑇 un espacio topológico. Mostrar que, para cada subconjunto 𝐴 ⊂ 𝑇, y para todo
conjunto abierto 𝑈 se tiene que:
𝐴 ∩ 𝑈 = ∅ ⟺ 𝐴̅ ∩ 𝑈 = ∅
4. Sea 𝑛 ∈ ℕ, 𝐴𝑛 = {𝑛, 𝑛 + 1, 𝑛 + 2, … } y 𝑇 = {∅, 𝐴𝑛 }𝑛∈ℕ
a. Mostrar que 𝑇 es una topología en ℕ.
b. El conjunto {1,3,5,7, … } ¿es abierto? ¿Por qué?
c. Indicar las vecindades 𝑉2 y 𝑉3.
d. ¿𝑇 es Hausdorff?
e. Indicar los conjuntos cerrados en 𝑇.
f. Indicar el interior y la cerradura de los conjuntos
a) {4}
b) {2,4,6,8, … }
5. Sea 𝑇 una topología sobre el conjunto 𝑋 = {𝑎, 𝑏, 𝑐}. Si los subconjuntos {𝑎}, {𝑏}, y {𝑐}
son abiertos y están en 𝑇, mostrar que 𝑇 es la topología discreta sobre 𝑋.