Un espacio topológico es un conjunto X junto con una colección τ de subconjuntos de X (los abiertos) tal que ∅ y X pertenecen a τ, τ es cerrada bajo uniones arbitrarias y intersecciones finitas; τ se llama topología y (X, τ) es un espacio topológico.

Principio

Una topología axiomatiza la cercanía y la continuidad seleccionando qué subconjuntos son abiertos; el cierre bajo uniones arbitrarias e intersecciones finitas asegura la combinación estable de información local y permite definir aplicaciones continuas, convergencia y propiedades de separación.

Demostración

La topología estándar en R generada por intervalos abiertos; la topología discreta donde todo subconjunto es abierto; la topología trivial (indiscreta) donde solo ∅ y X son abiertos. Las topologías producto y subespacio muestran cómo construir nuevos espacios topológicos a partir de otros.

Aplicación incorrecta

Tratar a una familia cerrada solo bajo uniones contables como una topología (esto define más bien una σ-álgebra o σ-topología según el contexto) o asumir propiedades métricas (como que las sucesiones caracterizan el cierre) sin verificar la primera numerabilidad o la metrizabilidad.

Consecuencia

Los espacios topológicos constituyen el marco para continuidad, homeomorfismo, compacidad, conexidad y axiomas de separación (T0, T1, T2, etc.); abstraen rasgos cualitativos de límites y estructuras de vecindad usados en análisis, geometría y topología algebraica.

Inversión

Un espacio métrico produce una topología mediante bolas abiertas (topología metrizable), pero la inversión muestra que existen topologías no metrizables; los extremos discreto e indiscreto ilustran apertura mínima y máxima.

Límite

Requiere cierre bajo uniones arbitrarias e intersecciones finitas y la inclusión de ∅ y X; excluye meras σ-álgebras orientadas a la medida, bases de filtros que no generan una topología y recubrimientos ordenados sin las propiedades de cierre por unión/intersección.

Tensión semántica

Topología versus σ-álgebra o estructura uniforme: la topología se centra en abiertos y continuidad, la σ-álgebra en la mensurabilidad y operaciones contables, las estructuras uniformes en continuidad uniforme y comportamiento de Cauchy — conceptos relacionados pero distintos.

Síntesis

Un espacio topológico es un conjunto con una familia especificada de abiertos cerrada bajo uniones arbitrarias e intersecciones finitas; este sistema axiomático mínimo captura la cercanía, la continuidad y el comportamiento global de los límites sin imponer distancias numéricas.