Espacio cociente
De Wikipedia, la enciclopedia encyclopedia
Espacio cociente es un término matemático que hace referencia a cierta estructura matemática que se deriva de otra en la que se ha definido una relación de equivalencia.
De manera más precisa, si X es una estructura matemática en el que se define una relación de equivalencia ~, entonces el espacio cociente X/~ es la estructura matemática inducida en el conjunto de clases de equivalencia con las operaciones entre clases de equivalencia obtenidas de manera canónica a partir de las correspondientes en X. A la aplicación sobreyectiva inducida que lleva cada elemento en su clase de equivalencia se la llama proyección canónica:
Un caso muy común se refiere al caso en que Y sea una subestructura de X (por ejemplo, subespacio vectorial, subgrupo, subespacio topológico, etc.) en cuyo caso el espacio cociente de la relación de equivalencia asociada se suele denotar como X/Y.