¿Qué es relaciones de equivalencia?
Una **relación de equivalencia** es una relación binaria definida sobre un conjunto que cumple con tres propiedades fundamentales: reflexividad, simetría y transitividad. En términos más sencillos, establece un criterio para agrupar elementos de un conjunto en 'clases' donde los elementos dentro de la misma clase se consideran 'equivalentes' entre sí, según ese criterio. * **Reflexividad:** Todo elemento está relacionado consigo mismo. (a ~ a) * **Simetría:** Si un elemento está relacionado con otro, entonces el segundo también está relacionado con el primero. (Si a ~ b, entonces b ~ a) * **Transitividad:** Si un elemento está relacionado con un segundo y el segundo con un tercero, entonces el primero está relacionado con el tercero. (Si a ~ b y b ~ c, entonces a ~ c) Las relaciones de equivalencia particionan el conjunto original en subconjuntos disjuntos, llamados **clases de equivalencia**, donde cada elemento pertenece a una y solo una clase.
Ejemplo Resuelto
Considera el conjunto de enteros (Z) y la relación 'tiene el mismo resto al dividir por 3'. Dos números enteros están relacionados si dejan el mismo resto al ser divididos por 3. Por ejemplo, 5 y 8 están relacionados porque ambos tienen resto 2 al ser divididos por 3. Esta relación es de equivalencia porque cumple las propiedades reflexiva, simétrica y transitiva, y divide a Z en tres clases de equivalencia: los números que dejan resto 0, los que dejan resto 1, y los que dejan resto 2.