Un conjunto X provisto de una colección τ de subconjuntos llamados abiertos tal que el conjunto vacío y X pertenecen a τ, uniones arbitrarias de elementos de τ pertenecen a τ y intersecciones finitas de elementos de τ pertenecen a τ.

Principio

La topología abstrae nociones cualitativas de cercanía y continuidad al axiomizar qué subconjuntos son 'abiertos'; esta estructura determina funciones continuas, convergencia de redes o sucesiones y propiedades de separación sin referencia a distancias.

Demostración

La recta real R con la topología estándar tiene como conjuntos abiertos las uniones arbitrarias de intervalos abiertos (a,b); esta topología hace que los polinomios y funciones continuas sean continuas y proporciona las nociones habituales de convergencia y compacidad usadas en análisis.

Aplicación incorrecta

Confundir una topología con una métrica o asumir que toda espacio topológico es metrizable conduce a errores; no toda topología proviene de una métrica, y basarse en propiedades métricas como que las sucesiones caracterizan la continuidad puede fallar en espacios no metrizables.

Consecuencia

Dada una topología se pueden definir funciones continuas, límites, compacidad, conexidad y varios axiomas de separación; estas consecuencias estructuran gran parte del análisis y la geometría y determinan qué construcciones (producto, cociente, subespacio) preservan continuidad o compacidad.

Inversión

La vista dual considera la retícula de cerrados (complementos de los abiertos) o topologías más groseras/finas: la topología discreta (todos los subconjuntos abiertos) es máxima para la apertura mientras que la topología trivial/indiscreta ({∅,X}) es mínima, invirtiendo muchas propiedades de separación y convergencia.

Límite

Un espacio topológico codifica solo la información de los abiertos y excluye estructuras adicionales como medidas, métricas, estructura diferenciable u operaciones algebraicas; se requieren axiomas adicionales para recuperar esas estructuras más finas.

Tensión semántica

Existe tensión entre propiedades puntuales/ topológicas (p. ej. compacidad, conexidad) y estructuras geométricas o analíticas más fuertes (variedad, espacio métrico); algunos resultados dependen solo de la topología mientras que otros necesitan estructura adicional.

Síntesis

Un espacio topológico es el entorno abstracto mínimo para discutir continuidad y cercanía cualitativa: un conjunto junto con una topología especifica qué subconjuntos son abiertos y así controla funciones continuas, convergencia y propiedades globales básicas sin recurrir a distancias o medidas.