Definimos una relación de equivalencia en la recta de los números reales que identifica cada uno de los intervalos de la forma $[2n,2n+1]$ donde $n\in\mathbb{Z}$. Es decir, $xRy$ si existe $n$ tal que x e y pertenecen a algún intervalo de la forma $[2n,2n+1]$. Esta relación lo que hace es que dichos intervalos se convierten en un punto en el conjunto cociente, como si cosiéramos el intervalo; y los intervalos de la forma $(2n+1,2n)$ se dejan tal como están.
Es evidente que el espacio cociente es homeomorfo a $\mathbb{R}$. Para ello basta definir la aplicación f(x)=n, si x está en un intervalo de la forma $[2n,2n+1]$ y $f(x)=(x-1)/2$, si $x$ está en un intervalo de la forma $[2n+1,2n+2]$. Esta aplicación es continua y la relación $R_f=R$. Por otro lado, aparte de ser sobreyectiva, es cerrada (no es abierta). Así $f$ es una identificación, que induce un homeomorfismo entre $\mathbb{R}/R$ y $\mathbb{R}$
No hay comentarios:
Publicar un comentario