Estudio de Relaciones Binarias y Equivalencia en Matemáticas
4 - Relación de equivalencia. Conjunto cociente
Una relación binaria sobre un conjunto es un subconjunto del producto cartesiano de ese conjunto consigo mismo, formado por pares ordenados donde el primer elemento está relacionado con el segundo. Se estudian propiedades como la reflexiva, donde cada elemento está relacionado consigo mismo; la simétrica, donde si un elemento está relacionado con otro, el segundo está relacionado con el primero; y la transitiva, que si un elemento está relacionado con un segundo y ese segundo con un tercero, el primero está relacionado con el tercero. Un ejemplo es establecer una relación de equivalencia en el conjunto de los días del año, donde dos días están relacionados si pertenecen al mismo mes, cumpliendo con las tres propiedades mencionadas.
Una relación de equivalencia requiere que la relación binaria sea reflexiva, simétrica y transitiva. Establecer esta relación permite clasificar elementos en clases de equivalencia, agrupándolos por una propiedad común. En un ejemplo práctico, los botones de diferentes colores en una mercería se agrupan por color formando clases de equivalencia, y cada clase se representa por un botón del color correspondiente, formando un conjunto cociente. Este concepto se aplica también a conjuntos como los diputados de un Congreso donde se agrupan por partidos políticos. Estas estructuras ayudan a visualizar cómo se pueden categorizar elementos dentro de un conjunto dado ciertas propiedades compartidas.
Título original: Relación de equivalencia. Conjunto cociente
Participante: Juan
Participante: Pepe
Participante: Tomás
