Conjunto cociente
De Wikipedia, la enciclopedia libre
En matemáticas; teniendo, ~, una relación de equivalencia definida en el conjunto K, llamaremos a K/ ~ el conjunto cociente de K por ~ a la partición de K formada por todas las clases de equivalencia determinadas en K por ~. Es decir, el conjunto cociente es el conjunto de todas las clases de equivalencia que se puedan formar con los elementos de K, mediante ~.
Aquellas clases de equivalencia que sean iguales (véase Igualdad de conjuntos en Teoría de conjuntos) se aceptan como la misma y deben tomarse todas ellas como un único elemento del conjunto cociente.
Véase también:
- órbita (matemática)
- descomposición (matemática)
- Lema de abstracción
