Conjunto cociente
De Wikipedia, la enciclopedia libre
En matemáticas, sea 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 .
Formalmente,
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.
[editar] Véase también
- Órbita (matemática)
- Descomposición (matemática)
- Lema de abstracción
El contenido de esta página es un esbozo sobre lógica matemática. Ampliándolo ayudarás a mejorar Wikipedia. Puedes ayudarte con las wikipedias en otras lenguas. |