Un conjunto provisto de una topología: una colección especificada de subconjuntos abiertos que contiene el conjunto vacío y el conjunto total, y que está cerrada bajo uniones arbitrarias e intersecciones finitas.

Principio

La topología axiomatiza cuáles subconjuntos se consideran 'abiertos' para definir abstractamente continuidad, convergencia y separación sin referencia a distancias.

Demostración

La recta real R con su topología usual de intervalos abiertos es el ejemplo básico para definir continuidad y límites; la topología discreta (todos los subconjuntos son abiertos) y la indiscreta (solo vacío y todo abierto) ilustran casos extremos.

Aplicación incorrecta

Suponer que todo espacio topológico proviene de una métrica (no es cierto: existen topologías no metrizable) o confundir los axiomas de abiertos con la clausura ante operaciones numerables propia de las sigma-álgebras.

Consecuencia

La estructura topológica permite definir aplicaciones continuas, compacidad, conexidad y axiomas de separación; sostiene muchas áreas del análisis y la geometría al abstraer propiedades locales y globales de continuidad.

Inversión

Una inversión es considerar la perspectiva de los complementos (conjuntos cerrados) o invertir el orden de especialización: pasar a topologías más groseras o más finas invierte relaciones de inclusión y cambia la continuidad en sentido opuesto.

Límite

La topología trata la estructura de abiertos sobre una base dada; no especifica por sí sola propiedades uniformes, métricas, diferenciabilidad o medidas, aunque pueden añadirse estructuras adicionales sobre el mismo conjunto.

Tensión semántica

Tensión entre estructuras topológicas y medidas (abiertos vs conjuntos medibles), y entre topologías que enfatizan propiedades locales (variedades) y las que enfatizan orden global (topologías de orden, espacios espectrales).

Síntesis

Un espacio topológico abstrae la cercanía y la continuidad seleccionando una familia de abiertos cerrada bajo operaciones prescritas; este marco minimal permite estudiar continuidad, límites y separación sin recurrir a distancias numéricas.