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 , una topología sobre dicho conjunto es una familia de subconjuntos llamados abiertos que cumplen determinadas condiciones.
Sean y dos topologías sobre , entonces la topología es más fina que si . También, se dice que es más gruesa o más débil que . Si la relación de inclusión es estricta, se añade el término estrictamente. Si , las topologías son equivalentes.
La relación de inclusión define una relación parcial de orden sobre el conjunto de posibles topologías sobre .
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 , las topologías inducidas por la distancia euclidiana, distancia del máximo y distancia de Manhattan son equivalentes.[1]
- Sobre , la topología cofinita es más débil que la usual.[3]
Propiedades
Sean y dos topologías sobre . Las siguientes condiciones son equivalentes:
- La función identidad es continua.
- La función identidad es abierta.
Véase también
Referencias
- ↑ a b Llopis, José L. «Comparación de topologías (con ejemplos)». Matesfacil. ISSN 2659-8442. Consultado el 11 de noviembre de 2019.
- ↑ Sapiña, R. «Topología de Sorgenfrey». Problemas y Ecuaciones. ISSN 2659-9899. Consultado el 11 de noviembre de 2019.
- ↑ 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.
Datos: Q906456