Topología — conjuntos abiertos, continuidad y conceptos clave

La topología es la rama de las matemáticas que estudia los espacios usando conjuntos abiertos y continuidad en lugar de distancia exacta. Si estás aprendiendo los fundamentos de topología, la forma más rápida de entrar es esta: elige qué subconjuntos son abiertos y luego define la continuidad a partir de esa elección.

Por eso la topología puede comparar espacios por su comportamiento local en vez de por longitudes, ángulos o coordenadas.

Qué es un espacio topológico

Sea $X$ un conjunto. Una topología sobre $X$ es una colección $\mathcal{T}$ de subconjuntos de $X$, llamados conjuntos abiertos, tal que:

1. $\varnothing$ y $X$ pertenecen a $\mathcal{T}$.
2. Cualquier unión de conjuntos de $\mathcal{T}$ también pertenece a $\mathcal{T}$.
3. Cualquier intersección finita de conjuntos de $\mathcal{T}$ también pertenece a $\mathcal{T}$.

El par $(X,\mathcal{T})$ se llama espacio topológico.

Esta definición es abstracta a propósito. Una vez que sabes qué conjuntos son abiertos, puedes definir continuidad, entornos y conjuntos cerrados sin escribir nunca una fórmula de distancia.

Por qué importan los conjuntos abiertos

Los conjuntos abiertos te dicen qué significa que un punto tenga espacio a su alrededor. En la topología usual de $\mathbb{R}$, un intervalo abierto como $(1,3)$ es abierto porque cada punto dentro de él tiene un intervalo más pequeño a su alrededor que sigue estando dentro de $(1,3)$.

Esa idea local es el corazón de la topología. Un conjunto es abierto cuando cada uno de sus puntos está dentro del conjunto con cierto margen local de movimiento.

Por eso también la apertura depende de la topología. El mismo subconjunto puede ser abierto en una topología y no serlo en otra.

Cómo los conjuntos abiertos definen otras ideas básicas

Entornos

Un entorno de un punto es cualquier conjunto que contiene un conjunto abierto alrededor de ese punto. Es la forma en que la topología habla de cercanía local sin usar distancia.

Conjuntos cerrados

Un conjunto es cerrado si su complemento es abierto. En espacios familiares como la recta real, los conjuntos cerrados suelen contener su frontera, pero esa no es la definición.

Continuidad

Si $X$ e $Y$ son espacios topológicos, una función $f:X \to Y$ es continua si para todo conjunto abierto $U \subseteq Y$, la imagen inversa $f^{-1}(U)$ es abierta en $X$.

$$f \text{ es continua si } f^{-1}(U) \text{ es abierto para todo abierto } U \subseteq Y$$

Esto coincide con la idea usual del cálculo en $\mathbb{R}$, pero también funciona en espacios donde la distancia no es la estructura principal.

Homeomorfismo

Un homeomorfismo es una función biyectiva que es continua y cuya inversa también es continua. Si dos espacios son homeomorfos, la topología los considera con la misma forma en sentido topológico.

Esa afirmación depende de la continuidad en ambas direcciones. Una biyección por sí sola no basta.

Ejemplo resuelto: por qué $f(x)=x^2$ es continua en la topología usual

Considera $f:\mathbb{R} \to \mathbb{R}$ dada por

$$f(x)=x^2$$

usando la topología usual en $\mathbb{R}$.

Toma el conjunto abierto $(1,4)$ en el codominio. Su imagen inversa es

$$f^{-1}((1,4))=\{x \in \mathbb{R} : 1 < x^2 < 4\}$$

que se simplifica a

$$(-2,-1)\cup(1,2).$$

Ese conjunto es abierto en la topología usual de $\mathbb{R}$ porque es una unión de intervalos abiertos. Este ejemplo muestra la dirección correcta que hay que comprobar: la continuidad trata de imágenes inversas de conjuntos abiertos, no de si $f$ envía conjuntos abiertos a conjuntos abiertos.

En $\mathbb{R}$, esta condición resulta coincidir con la definición usual de continuidad basada en límites.

Errores comunes con los fundamentos de topología

Pensar que "abierto" significa lo mismo en todas partes

No es así. La apertura se define con respecto a una topología elegida.

Confundir imagen e imagen inversa

La continuidad trata de que las imágenes inversas de conjuntos abiertos sean abiertas. Las imágenes de conjuntos abiertos no tienen por qué ser abiertas, a menos que añadas condiciones extra sobre la función.

Tratar la topología como geometría métrica con palabras nuevas

Muchos espacios topológicos sí provienen de métricas, pero la topología en sí es más general. Conserva solo la estructura necesaria para hablar de comportamiento local y continuidad.

Suponer que toda biyección es una equivalencia topológica

Para ser un homeomorfismo, una aplicación debe ser biyectiva, continua y tener inversa continua.

Dónde se usa la topología

La topología proporciona el lenguaje detrás de la continuidad, la compacidad, la conexidad y la convergencia en el análisis moderno. También aparece en geometría, sistemas dinámicos, ecuaciones diferenciales y análisis de datos que estudia la forma a gran escala.

Para un principiante, el uso práctico es más simple: la topología explica por qué la continuidad puede definirse de una manera que no depende de coordenadas ni de una fórmula de distancia.

Prueba un problema parecido

Usa la misma función $f(x)=x^2$, pero ahora empieza con el conjunto abierto $(0,1)$. Calcula $f^{-1}((0,1))$ y comprueba si es abierto en $\mathbb{R}$.

Si quieres dar el siguiente paso, explora otro caso de continuidad y compara la definición topológica con la definición basada en límites del cálculo.