## [Espacio Topológico](/es/node/60209) Definición 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 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 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 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 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 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 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 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 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.