Topología cociente
# Topología cociente

En matemáticas, la topología cociente consiste intuitivamente en crear una topología pegando ciertos puntos sobre otros, en un espacio dado, por medio de una relación de equivalencia bien definida. El nuevo espacio así generado recibe el nombre de espacio cociente. Ejemplos conocidos son el toro matemático o la banda de Möbius.

## Definición

Sean $(X,{\mathcal {T}}_{X})\$ un espacio topológico y ${\mathcal {R}}\,$ una relación de equivalencia sobre $X\$. El conjunto cociente $Y=X/{\mathcal {R}}\,$ es el conjunto de clases de equivalencia de los elementos de $X\$:

    $Y=\{[x]:x\in X\}.$

Los conjuntos abiertos que conforman la llamada topología cociente sobre $Y$ son los conjuntos de las clases de equivalencia cuyas uniones son conjuntos abiertos en $X$:

    ${\mathcal {T}}_{\mathcal {R}}=\{U\subseteq Y:\bigcup _{[x]\in U}[x]\in {\mathcal {T}}_{X}\}.$

Definición equivalente: sea la aplicación proyección $p:X\rightarrow X/{\mathcal {R}}$ dada por $p(x)=[x]$, se definen los abiertos de ${\mathcal {T}}_{\mathcal {R}}$ como los conjuntos $U\subseteq Y$ tales que $p^{-1}(U)\subseteq X$ es abierto.

## Propiedades

* La aplicación $p:X\rightarrow X/{\mathcal {R}}$ que envía a cada elemento a su clase de equivalencia correspondiente es continua y esta topología es la más fina topología que hace esto.
* Sean $p\colon X\to X/{\mathcal {R}}$ y $\varphi \colon X/{\mathcal {R}}\to Y$. La aplicación $\varphi$ es continua si, y sólo si, la composición $\varphi \circ p\colon X\to Y$ es continua.
* La propiedad universal: La topología cociente es la única topología que cumple que para cualquier espacio topológico (Z, T) y cualquier función g:(Y, $T_{f}$) $\rightarrow$ (Z, T) se tiene que g es continua si y sólo si $g\circ f$ es continua

## Ejemplos

* El toro como conjunto cociente: Sobre $I^{2}=[0,1]\times [0,1]$ se define la relación de equivalencia $(x,0){\mathcal {R}}(x,1)$ y $(0,y){\mathcal {R}}(1,y)$. El espacio cociente $I^{2}/{\mathcal {R}}$ es homeomorfo a un toro.

    Toro
* La banda de Möbius como conjunto cociente: Sobre $I^{2}$ se define la relación de equivalencia $(0,y){\mathcal {R}}(1,1-y)$. El espacio cociente $I^{2}/{\mathcal {R}}$ es homeomorfo a una banda de Möbius.

    Banda de Möbius
* La botella de Klein como conjunto cociente: Sobre $I^{2}$ se define la relación de equivalencia $(x,0){\mathcal {R}}(x,1)$ y $(0,y){\mathcal {R}}(1,1-y)$. El espacio cociente $I^{2}/{\mathcal {R}}$ es homeomorfo a una botella de Klein (es difícil de visualizar puesto que no es homeomorfo a un subespacio de $\mathbb {R} ^{3}$).
* La esfera como conjunto cociente: Sobre $\{(x,y):|x|+|y|\leq 1\}$ se define la relación de equivalencia $(x,y){\mathcal {R}}(-x,y)$ para $(x,y)$ de la frontera. El espacio cociente correspondiente es homeomorfo a una esfera.

## Bibliografía

* Robles Corbalá Carlos Alberto, "Topología general" primera edición Universidad de Sonora.
* Weisstein, Eric W. «Espacio cociente». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.
* Quotient space en PlanetMath.
* Hazewinkel, Michiel, ed. (2001), «Espacio cociente», Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104 .
