Topología cociente

Ilustración de un espacio cociente, S², obtenida por pegado del contorno (en azul) del disco D² a un solo punto.

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

Sea $(X, t_x)\$ un espacio topológico y $\mathcal{R}\,$ una relación de equivalencia sobre $X\$ . El espacio cociente $Y = X/\;\mathcal{R}\,$ se define como el conjunto de clases de equivalencia de elementos de $X\$ .

Y = \{\{v \in X : v\;\mathcal{R}\,x\} : x \in X\}.

Propiedades

La función $f:X \rightarrow Y$ es continua y esta topología es la más fina topología que hace esto.
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$ )->(Z, t) se tiene que g es continua si y sólo si $g \circ f$ es continua

Bibliografía

Robles Corbalá Carlos Alberto, "Topología general" primera edición Universidad de Sonora.
Weisstein, Eric W. «Espacio cociente». En Weisstein, Eric W. 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

Enlaces externos

López Camino, Rafael. «Capítulo 7. espacios cocientes» (PDF). Universidad de Granada. Archivado desde el original el 8 de noviembre de 2015. Consultado el 30 de abril de 2011.

This article is issued from Wikipedia - version of the Saturday, December 05, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.