Universidad Nacional

Abierta y a Distancia de
México
UNADM

Actividad Coplementaria

Alumno: Andrés Nares Monroy

Matrícula: ES172020278
Asignatura: Topología General
Carrera: Lic. Matemáticas
Actividad complementaria

Logros:
Adaptar las demostraciones y construcciones anteriores para desarrollar una topología
especifica en el plano.
Adaptar las demostraciones y construcciones anteriores para agrupar diferentes espacios.

Desarrollo:

1.- Debes considerar el siguiente conjunto X={(x,y)| 0≤x≤10, 0≤y≤10}, considera la familia
de subconjuntos de X de la forma A={(x,y)| a≤x<b, a≤y<b}.
Considerando la topología de esta familia responde las siguientes preguntas de manera
justificada

a) ¿Esta topología cumple la propiedad de Frechet?

Si puesto que según la definición de espacio de Frechet se requiere que el espacio

topológico únicamente contenga algún subconjunto con los conjuntos pares {x,a}, {y,a}
tales que al unirse generen al espacio topológico y cualesquiera demás elementos que
necesiten para formar al espacio topológico mientras entre ambos conjuntos generen a
otro conjunto del espacio topológico.

b) ¿Esta topología cumple la propiedad de Hausdorff?

Si cumple con la propiedad pero únicamente en el conjunto en que cada elemento se
encuentra separado y la union con otro conjunto separado resulta en algún conjunto que
se encuentra dentro del espacio topologico generado es decir para cada union de
elementos separados debe existir el par en la topología.

2.- Considera el subconjunto A = [0,1] X [0,1] del plano, definimos un camino 𝑙 en A como la
imagen de una función continua de [0,1] en A bajo la topología usual del plano restringida
en A, si consideramos los caminos como subespacios topológicos, se dice que un camino es
cerrado si la función que lo genera cumple que f(0) = f(1), prueba que ser cerrado también
es una propiedad topológica.
Sea el espacio topológico X , 𝐴 = [0,1]𝑥[0,1] el conjunto de caminos que es posible generar
de tal manera que por ser una topología estándar y por hipótesis son conjuntos abiertos
que cumplen 𝑔(0) = 𝑔(1) con dominio 𝑔: [0,1] X[0,1] → 𝑋, sea un homeomorfismo entre
los espacios topológicos X,Y si la función 𝑓: 𝑋 → 𝑌 y su inversa son continuas, sea también
la biyección de la función que implica que la función sea inyectiva y suprayectiva, si 𝑓 −1 es
continua entonces sea 𝑥 ∈ 𝑋 tal que 𝑓(𝑊) es abierto para cada W abierto en X, dado que
la función es inyectiva y suprayectiva entonces existe un valor del codominio y es único para
cada elemento del dominio entonces 𝑓(𝑔(0)) = 𝑦 𝑦 𝑓(𝑔(1)) = 𝑦 dado que por definición
𝑔(0) = 𝑔(1) para algún elemento de Y por lo tanto la función 𝑓(𝑔([0,1])) se tiene que
existen los elementos 𝑓(𝑔(0)) = 𝑓(𝑔(1)) .

Sea el espacio topológico X y 𝑓(𝑔(0)) = 𝑦 𝑒 𝑓(𝑔(1)) = 𝑦 y 𝑓 −1 continua entonces se

definen los subespacios topológicos como conjuntos abiertos 𝑊 ⊂ 𝑋 tales que contienen
𝑔(0) = 𝑔(1) entonces al conjunto abiertos W le corresponde un conjunto 𝑓(𝑊) abierto en
el espacio topológico Y que contiene 𝑓(𝑔(1)) = 𝑓(𝑔(0)) si el espacio topológico X es
generado mediante funciones 𝑔: [0,1] → 𝑋 entonces para cada subconjunto W en X existe
un subconjunto 𝑓(𝑊) si W contiene 𝑓(𝑔(0)) = 𝑓(𝑔(1)) entonces 𝑓(𝑊) contiene el
elemento 𝑓(𝑔(0)) = 𝑦 𝑒 𝑓(𝑔(1)) = 𝑦 si W es un camino en X entonces para cada
subconjunto 𝑔: [0,1] → 𝑋 tal que contiene 𝑔(0) = 𝑔(1) existe un conjunto 𝑓(𝑊) que
contiene 𝑓(𝑔(0)) = 𝑦 𝑒 𝑓(𝑔(1)) = 𝑦, al ser inyectiva la función 𝑓: 𝑋 → 𝑌 entonces cada
cruce de camino no se repite es decir si 𝑥 ≠ 𝑥′ entonces 𝑓(𝑥) ≠ 𝑓(𝑥 ′ ) en la función.

Si cada subconjunto de X sea W se genera en la imagen de tal manera que por ser una
función suprayectiva genera el codominio además 𝑓(𝑥) ≠ 𝑓(𝑥 ′ )entonces el espacio
topológico Y es generado por subconjuntos abiertos 𝑓(𝑊) entonces es posible expresar el
espacio topológico Y mediante subconjuntos 𝑓(𝑊) que contiene 𝑓(𝑔(0)) = 𝑦 𝑒 𝑓(𝑔(1)) =
𝑦, dado que cada camino es un subespacio topológico y cada camino generado por una
función 𝑔: [0,1] → 𝑋 que tengan elementos diferentes en sus conjuntos genera un conjunto
diferente en 𝑌 = 𝑓(𝑊).

Se propone la función 𝑓(𝑔([0,1])): 𝑔([0,1]) → 𝑌 dado que es una función continua y

biyectiva entre elementos X e Y de tal manera que cada subconjunto generado por 𝑔([0,1])
genere igualmente un conjunto abierto en Y, es un subconjunto𝑓(𝑊) tal que 𝑓(𝑔(0)) =
𝑓(𝑔(1)) sobre un dominio [0,1], ademas la función 𝑓(𝑔): 𝑋 → 𝑌 cumple con ser biyectiva
entre los espacios topológicos X,Y por lo tanto el espacio topológico Y tiene una función que
cumple con ser un camino de [0,1] a Y tal que 𝑓(𝑔(0)) = 𝑓(𝑔(1)) por lo tanto el camino
cerrado es una propiedad topológica.

3.-Consideremos el conjunto de caminos sobre A = [0,1] X [0,1].

 a) Prueba que los caminos son conjuntos compactos

Sea S en Sea S en 𝑹𝒏 se dice compacto si y solo si cada cobertura abierta de S contiene una
subcobertura finita, esto es, una subcolección finita que también cubre S.

Una colección F de conjuntos se dice que es una cobertura de un conjunto S si 𝑆 ⊆ ⋃𝛼∈𝐹 𝐶𝛼 .

La colección F es también una cobertura de S. Si F es una colección de conjuntos abiertos
entonces F se llama una cobertura abierta de S.

Sea S en Sea S en 𝑹𝒏 se dice compacto si y solo si cada cobertura abierta de S contiene una
subcobertura finita, esto es, una subcolección finita que también cubre S.

Una colección F de conjuntos se dice que es una cobertura de un conjunto S si 𝑆 ⊆ ⋃𝛼∈𝐹 𝐶𝛼 .

La colección F es también una cobertura de S. Si F es una colección de conjuntos abiertos
entonces F se llama una cobertura abierta de S.

Considera el subconjunto A = [0,1] X [0,1] del plano, definimos un camino 𝑙 en A como la

imagen de una función continua de [0,1] en A bajo la topología usual del plano restringida
en A.

Dado que el camino es una función continua se tiene por definición.

∀ 𝛿 > 0 ∃ 𝜖 > 0 tal que |𝑥 − 𝑥0 | < 𝛿 entonces |𝑓(𝑥) − 𝑓(𝑥0 )| < 𝜖

Entonces es posible definir una bola cerrada con centro 𝑓(𝑥0 ) y un radio |𝑓(𝑥) − 𝑓(𝑥0 )| de
tal manera que para toda 𝑓(𝑥′) entre ambos valores se tiene |𝑓(𝑥′) − 𝑓(𝑥0 )| <
|𝑓(𝑥) − 𝑓(𝑥0 )| = 𝜖 entonces

𝐵(𝑥0 , 𝜖) = {|𝑓(𝑥 ′ ) − 𝑓(𝑥0 )| ≤ 𝜖}

Dado que es posible definir todo elemento del camino en una vecindad cerrada o bola
cerrada entonces el camino es un conjunto cerrado entonces

b) Sean p y q dos caminos en A, entonces definimos la distancia de p a q como

 D(p,q)=sup inf 𝑑(𝑥, 𝑦) + sup inf 𝑑(𝑥, 𝑦)
𝑥∈𝑝 𝑦∈𝑞 𝑦∈𝑞 𝑥∈𝑝

Prueba que D(p,q) es una métrica.

𝐷(𝑝, 𝑞) es una metrica si cumple con la definición de metrica.

Sea 𝑑(𝑥, 𝑦) la ecuación que define la distancia entre dos puntos en un plano 𝑅 2
entonces
𝑑(𝑥, 𝑦) = √(𝑥 − 𝑥 ′ )2 − (𝑦 − 𝑦 ′ )2
Entonces para los elementos que correspondan en diferentes caminos se tiene

sup inf 𝑑(𝑥, 𝑦) = √(𝑥 − 𝑥 ′ )2 − (𝑦 − 𝑦 ′ )2

𝑥∈𝑝 𝑦∈𝑞
sup inf 𝑑(𝑥, 𝑦) = √(𝑥 − 𝑥 ′ )2 − (𝑦 − 𝑦 ′ )2
𝑦∈𝑞 𝑥∈𝑝
Entonces la suma es 𝐷(𝑝, 𝑞) ≥ 0

En caso de ser el mismo camino son igual a cero.

Se representa la diferencia 𝐷(𝑝, 𝑞) ≠ 𝐷(𝑞, 𝑝)

D(p,q)=sup inf 𝑑(𝑥, 𝑦) + sup inf 𝑑(𝑥, 𝑦)

𝑥∈𝑝 𝑦∈𝑞 𝑦∈𝑞 𝑥∈𝑝
D(q,p)= sup inf 𝑑(𝑦, 𝑥) + sup inf 𝑑(𝑦, 𝑥)
𝑦∈𝑞 𝑥∈𝑝 𝑥∈𝑝 𝑦∈𝑞

Se observa que se cambia de lugar los términos entonces cumple con

𝐷(𝑝, 𝑞) = 𝐷(𝑞, 𝑝)

Sean tres caminos tales que

D(p,r)=sup inf 𝑑(𝑥, 𝑠) + sup inf 𝑑(𝑥, 𝑠)

𝑥∈𝑝 𝑠∈𝑟 𝑠∈𝑟 𝑥∈𝑝

D(r,q)=sup inf 𝑑(𝑠, 𝑦) + sup inf 𝑑(𝑠, 𝑦)

𝑠∈𝑟 𝑦∈𝑞 𝑦∈𝑞 𝑠∈𝑟

Sea

𝐷(𝑝, 𝑞) ≤ 𝐷(𝑝, 𝑟) + 𝐷(𝑟, 𝑞)

 𝐷(𝑝, 𝑟) + 𝐷(𝑟, 𝑞)
= sup inf 𝑑(𝑥, 𝑠) + sup inf 𝑑(𝑥, 𝑠) + sup inf 𝑑(𝑠, 𝑦)
𝑥∈𝑝 𝑠∈𝑟 𝑠∈𝑟 𝑥∈𝑝 𝑠∈𝑟 𝑦∈𝑞
+ sup inf 𝑑(𝑠, 𝑦)
𝑦∈𝑞 𝑠∈𝑟
Pero
sup inf 𝑑(𝑥, 𝑦) ≤ sup inf 𝑑(𝑥, 𝑠) + sup inf 𝑑(𝑠, 𝑦)
𝑥∈𝑝 𝑦∈𝑞 𝑥∈𝑝 𝑠∈𝑟 𝑠∈𝑟 𝑦∈𝑞

sup inf 𝑑(𝑥, 𝑦) ≤ sup inf 𝑑(𝑥, 𝑠) + sup inf 𝑑(𝑠, 𝑦)

𝑦∈𝑞 𝑥∈𝑝 𝑠∈𝑟 𝑥∈𝑝 𝑦∈𝑞 𝑠∈𝑟

Por lo tanto 𝐷(𝑝, 𝑞) cumple con la definición de metrica.

Bibliografía
Adams, C. (s.f.). Introduction to topological pure and applied. pearson.

Conexidad por trayectorias. (s.f.). uandm. Obtenido de unadm: https://www.unadmexico.mx/

Munkres . (s.f.). TOPOLOGIA. prentice hall.

TOPOLOGICOS, E. (2020). UNADM. Obtenido de

https://campus.unadmexico.mx/mod/assign/view.php?id=7602&action=editsubmission