Topología cociente

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
Ilustración de un espacio cociente, S2, obtenida por pegado del contorno (en azul) del disco D2 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[editar]

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[editar]

  • La función f 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[editar]

Enlaces externos[editar]