Seno del topólogo

El seno del topólogo, en topología, es una curva contenida en $\mathbb {R} ^{2}$ utilizada frecuentemente para ilustrar determinadas propiedades de los espacios topológicos.^[1] Se utiliza especialmente a modo de ejemplo de espacio topológico que es conexo pero no conexo por caminos.

Definición

Una definición usual del seno del topólogo es la adherencia de gráfica de la función $\sin({\tfrac {1}{x}})$ :

A=\{(x,{\mbox{sen}}({\tfrac {1}{x}})),\ x\in (0,+\infty )\}

,

denotada ${\bar {A}}$ , y que se define a su vez como la unión de $A$ con su frontera, el segmento

\partial A=\{(0,y),\ y\in [-1,1]\}

Estos puntos están en la adherencia porque son puntos límite de las sucesiones $\left({\tfrac {1}{\arcsin y+2\pi n}},\sin \left({\tfrac {1}{1/(\arcsin y+2\pi n)}}\right)\right)_{n\in \mathbb {N} }$ en $A$ .

A medida que x se acerca a cero, 1/x crece cada vez más rápido (de hecho, tiende a infinito), por lo que la frecuencia de la curva sinusoidal también es cada vez mayor. En el límite, la frecuencia es infinita.

Variantes

En ocasiones, se considera solamente $A$ , o la unión de $A$ con el punto $(0,0)$ . También se puede considerar la función $f(x)={\mbox{sen}}({\tfrac {1}{x}})$ definida en un intervalo distinto de (0,1],^[2] aunque siempre en un intervalo abierto en 0. Incluso se puede hacer distinción entre la «curva cerrada» ( ${\bar {A}}$ ) y la «curva abierta» ( $A$ ) del seno del topólogo.^[1]

Espacio conexo no conexo por caminos

El seno del topólogo es un ejemplo clásico de espacio conexo pero no conexo por caminos, mostrando que no son propiedades equivalentes, aunque conexo por caminos sí que implique conexo. Veamos por qué esto es así.

Conexión

En primer lugar, veamos que es conexo. Si $A$ es la gráfica de $\sin({\tfrac {1}{x}})$ , ya hemos visto que el seno del topólogo está contenido (de hecho, es, pero nos basta que esté contenido) en la adherencia ${\bar {A}}$ , pues sus puntos son del propio $A$ y, además, los puntos $\{(0,y):y\in [-1,1]\}$ , que son puntos límite de las sucesiones $\left({\tfrac {1}{\arcsin y+2\pi n}},\sin \left({\tfrac {1}{1/(\arcsin y+2\pi n)}}\right)\right)_{n\in \mathbb {N} }$ de puntos en $A$ . Al ser $A$ conexo (de hecho es conexo por caminos; entre dos puntos cualesquiera podemos seguir el camino que marca la gráfica) y estar el seno del topólogo contenido en su adherencia, este último vuelve a ser conexo.

Conexión por caminos

Demostremos ahora que el seno del topólogo no es conexo por caminos. Tomaremos un punto $p=(0,y)\in {\bar {A}}$ y veremos que no podemos encontrar un camino continuo que lo una a ningún punto de la gráfica $A$ . Esto que parece intuitivamente claro no es inmediato de demostrar.

Para ello, tomaremos un camino continuo $\sigma \colon [0,1]\rightarrow {\bar {A}}$ que parta de $p$ (es decir, $\sigma (0)=p$ ) y veremos que no puede salir del segmento vertical izquierdo $\{(0,y),\ y\in [-1,1]\}\subsetneq {\bar {A}}$ . En particular, habremos visto que no se puede unir continuamente a ningún punto fuera de ese segmento y, entonces, que ${\bar {A}}$ no es conexo por caminos.

Lo que haremos es lo siguiente. Llamemos a ese segmento $B$ . Queremos ver que $\sigma ^{-1}(B)=[0,1]$ . La inclusión $\subseteq$ es trivial. Para ver la igualdad planteamos el argumento siguiente. El conjunto $\sigma ^{-1}(B)$ es no vacío, pues contiene el 0. Como $[0,1]$ es conexo (es un intervalo de $\mathbb {R}$ ), basta ver que $\sigma ^{-1}(B)$ es clopen (abierto y cerrado a la vez), pues los únicos clopens de un conjunto conexo son el vacío y el total, y $\sigma ^{-1}(B)$ sería un clopen no vacío de $[0,1]$ .

Tenemos que ver pues que $\sigma ^{-1}(B)$ es abierto y cerrado a la vez. Que es cerrado está claro, pues $B$ lo es y $\sigma$ es continua (la antiimagen continua de cerrados es cerrada). Veamos pues que es abierto. Para verlo, tomaremos un punto $t_{0}\in \sigma ^{-1}(B)\subseteq [0,1]$ y encontraremos un abierto básico ( $[0,1]$ intersecado con una bola abierta, por definición de topología inducida) a su alrededor. Sea $b=\sigma (t_{0})$ . Tomemos una bola $V=B(b,r)$ con radio suficientemente pequeño para que $V\cap {\bar {A}}$ no toque las dos rectas $y=1,y=-1$ a la vez (sólo puede tocar una). Esto será importante más adelante. Tenemos que $V\cap {\bar {A}}$ es un abierto de ${\bar {A}}$ por definición de topología inducida. Por continuidad de $\sigma$ , $\sigma ^{-1}(V\cap {\bar {A}})\ni t_{0}$ es un abierto de $[0,1]$ . Podemos entonces tomar $\varepsilon >0$ suficientemente pequeño para que $(t_{0}-\varepsilon ,t_{0}+\varepsilon )\cap [0,1]\subseteq \sigma ^{-1}(V\cap {\bar {A}})$ . El conjunto de la izquierda (llamémoslo $U$ ) es un intervalo de $\mathbb {R}$ , luego conexo. Por continuidad, $\sigma (U)\subseteq V\cap {\bar {A}}$ también es conexo, y contiene el punto $b=\sigma (t_{0})$ de $B$ . Supongamos que esto implica que $\sigma (U)\subseteq B$ (ahora lo demostraremos). Entonces, $t_{0}\in U\subseteq \sigma ^{-1}(B)$ y tenemos el entorno abierto de $t_{0}$ que queríamos, lo que demostraría que $\sigma ^{-1}(B)$ es abierto.

Lo único que nos queda demostrar es que un conjunto conexo contenido en $V\cap {\bar {A}}$ que contenga un punto de $B$ está totalmente contenido en $B$ . Lo importante aquí es que $V\cap {\bar {A}}$ no toca las rectas $y=1,y=-1$ a la vez. Supongamos que tal conjunto conexo (llamémoslo aquí $C$ por comodidad aunque en la demostración era $\sigma (U)$ ), no estuviera contenido en $B$ , es decir, tuviera un punto fuera de $B$ . Recordamos que también tiene un punto de $B$ . De aquí vamos a construir una separación, lo que querría decir que no es conexo, una contradicción.

Tenemos por hipótesis un punto $b$ en $B$ y un punto $a$ en la gráfica $A$ . Hay, entre 0 y la abscisa de $a$ , un valor $x_{0}$ que tiene $\sin({\tfrac {1}{x_{0}}})=1$ (análogamente, $\sin({\tfrac {1}{x_{0}}})=-1$ ). Como $V\cap {\bar {A}}$ no toca la recta $y=1$ (o, análogamente, $y=-1$ ), la recta vertical $x=x_{0}$ no toca $V\cap {\bar {A}}$ y por tanto tampoco a $C$ . Así, los conjuntos disjuntos, abiertos en $C$ , $C\cap [(-\infty ,x_{0})\times \mathbb {R} ]$ y $C\cap [(x_{0},+\infty )\times \mathbb {R} ]$ tienen por unión todo $C$ y son no vacíos ( $b$ está en el primero y $a$ en el segundo). Constituyen por tanto una separación de $C$ , que era conexo, lo que es una contradicción. $\quad \square$