Comparación de topologías

En topología y otras áreas de matemáticas, el conjunto de todas las topologías sobre un conjunto dado es un conjunto parcialmente ordenado. Esta relación de orden puede utilizarse para la comparación de topologías.

Definición

Dado un conjunto X {\displaystyle X} , una topología T {\displaystyle {\mathcal {T}}} sobre dicho conjunto es una familia de subconjuntos llamados abiertos que cumplen determinadas condiciones.

Sean T 1 {\displaystyle {\mathcal {T}}_{1}} y T 2 {\displaystyle {\mathcal {T}}_{2}} dos topologías sobre X {\displaystyle X} , entonces la topología T 1 {\displaystyle {\mathcal {T}}_{1}} es más fina que T 2 {\displaystyle {\mathcal {T}}_{2}} si T 2 T 1 {\displaystyle {\mathcal {T}}_{2}\subseteq {\mathcal {T}}_{1}} . También, se dice que T 2 {\displaystyle {\mathcal {T}}_{2}} es más gruesa o más débil que T 1 {\displaystyle {\mathcal {T}}_{1}} . Si la relación de inclusión es estricta, se añade el término estrictamente. Si T 2 = T 1 {\displaystyle {\mathcal {T}}_{2}={\mathcal {T}}_{1}} , las topologías son equivalentes.

La relación de inclusión {\displaystyle \subseteq } define una relación parcial de orden sobre el conjunto de posibles topologías sobre X {\displaystyle X} .

Ejemplos

  • La topología más fina sobre un conjunto dado es la topología discreta y la topología más gruesa es la trivial.
  • Sobre los reales, la topología usual es más débil que la topología de Sorgenfrey.[1][2]
  • Sobre R n {\displaystyle \mathbb {R} ^{n}} , las topologías inducidas por la distancia euclidiana, distancia del máximo y distancia de Manhattan son equivalentes.[1]
  • Sobre R {\displaystyle \mathbb {R} } , la topología cofinita es más débil que la usual.[3]

Propiedades

Sean T 1 {\displaystyle {\mathcal {T}}_{1}} y T 2 {\displaystyle {\mathcal {T}}_{2}} dos topologías sobre X {\displaystyle X} . Las siguientes condiciones son equivalentes:

  • T 1 T 2 {\displaystyle {\mathcal {T}}_{1}\subseteq {\mathcal {T}}_{2}}
  • La función identidad i d X : ( X , T 2 ) ( X , T 1 ) {\displaystyle id_{X}\colon (X,{\mathcal {T}}_{2})\rightarrow (X,{\mathcal {T}}_{1})} es continua.
  • La función identidad i d X : ( X , T 1 ) ( X , T 2 ) {\displaystyle id_{X}\colon (X,{\mathcal {T}}_{1})\rightarrow (X,{\mathcal {T}}_{2})} es abierta.

Véase también

Referencias

  1. a b Llopis, José L. «Comparación de topologías (con ejemplos)». Matesfacil. ISSN 2659-8442. Consultado el 11 de noviembre de 2019. 
  2. Sapiña, R. «Topología de Sorgenfrey». Problemas y Ecuaciones. ISSN 2659-9899. Consultado el 11 de noviembre de 2019. 
  3. Sapiña, R. «Topología cofinita». Problemas y Ecuaciones. ISSN 2659-9899. Consultado el 11 de noviembre de 2019. 

Bibliografía

  • Munkres, James R. (2000). Topología (en inglés) (2ª edición). Prentice Hall. pp. 77–78. ISBN 0-13-181629-2. 
Control de autoridades
  • Proyectos Wikimedia
  • Wd Datos: Q906456
  • Wd Datos: Q906456