RELACIONES DE

EQUIVALENTCIA
DR. EDMUNDO VERGARA MORENO
PARTICIN DE UN CONJUNTO
Una Particin o Conjunto Cociente de un conjunto no vaco A es la
coleccin de los subconjuntos no vacos A1, A2,, de A tal que:
1) Ai Aj = , i j
2) Cada elemento a de A pertenece a uno de los conjuntos Ai.

A2
Celdas o bloques A4
de la particin A1
A3 An
Ejemplo

1) Sea A={x/ x es un nmero natural mayor que 2 y menor que 20}

A1 = {x/ x es un nmero primo de A},
A2 = {x: x es un nmero par A},
A3 = {x: x es un nmero impar no primo de A}
RELACIONES DE EQUIVALENCIA

Una relacin en A es de EQUIVALENCIA si es Reflexiva, Simtrica y Transitiva.

Si ab, se escribe a b.

EJEMPLO 1: A={1, 2, 3, 4}
1 = {(1,1), (1,2), (2,1), (2,2), (3,4), (4,3), (3,3), (4,4)},
2 = {(1,1), (1,2), (2,1), (2,2), (2,3), (3,2), (3,3), (4,4)},
3 = {(1,1), (1,2), (2,1), (1,3), (2,2), (2,3), (3,2), (3,3), (4,4)}

EJEMPLO 2: = {(x,y)/ x-y es un mltiplo de 3, x, y nmeros enteros}

si xy, se escribe x y (mod 3).
Digrafo de una relacin de equivalencia
El dgrafo de una relacin de equivalencia tiene las siguientes
caractersticas:
1) Como es reflexiva, cada vrtice tiene un bucle.
2) La simetra de implica que si existe un arco desde a hasta b, tambin
existe un arco desde b hasta a.
3) La transitividad de implica que si existe un camino desde a hasta b,
entonces existe un arco desde a hasta b.
En consecuencia el dgrafo est formado por sub-dgrafos separados
denominados componentes.
Ejemplo:

4
1

2 3
CLASES DE EQUIVALENCIA
Sea una relacin binaria definida sobre A, si aA, al conjunto
[a]={xA/ x a}, se llama CLASE DE EQUIVALENCIA DE a.

EJEMPLO:
1) A={1, 2, 3, 4}; 1 = {(1,1), (1,2), (2,1), (2,2), (3,4), (4,3), (3,3), (4,4)}
[1]={1,2}, [3]={3,4}
2) A=Z, = {(x,y)/ x-y es un mltiplo de 3, x, y nmeros enteros}
[0] = {, -9, -6, -3, 0, 3, 6, 9, }
[1] = {, -8, -5, -2, 1, 4, 7, 10, }
[2] = {, -10, -7, -4, -1, 2, 5, 8, }
El conjuntos de las clases de equivalencia constituye una particin.
 Lema: Sea una relacin de equivalencia en el conjunto A.
Entonces
1) [a]=[b] si y slo si ab.
2) Si [a][b], entonces [a][b]=.

Teorema: Si es una relacin de equivalencia en un conjunto

A. Entonces la coleccin de todas las clases de equivalencia de los
elementos de A produce una particin de A, que se escribe A/ .
Conjunto Cociente
Sea una relacin de equivalencia sobre el conjunto A, llamaremos
conjunto cociente al formado por todas las clases de equivalencia, se
simboliza A/, indicando que es el conjunto A partido por la relacin
de equivalencia .
A/ = { [a]/ aA }

EJEMPLO: Sea una relacin definida en A, con A = Z+xZ+, definida

como sigue:
(a,b)(c,d) si y slo si a+d=b+c, para todo (a,b), (b.c) de A.
Conjunto Cociente
Sea una relacin de equivalencia sobre el conjunto A, llamaremos
conjunto cociente al formado por todas las clases de equivalencia, se
simboliza A/, indicando que es el conjunto A partido por la relacin de
equivalencia .
A/ = { [a]/ aA }

EJEMPLO: Sea una relacin definida en A, con A = Z+xZ+, definida como

sigue:
(a,b)(c,d) si y slo si a+d=b+c, para todo (a,b), (b.c) de A.
Determine A/.
Teorema: Dada una particin de un conjunto A, puede definirse
en l una relacin que es una relacin de equivalencia tal que el
conjunto cociente A/ coincide con la particin dada.
EJEMPLO: A={{1, 2, 3}, {4, 5}}
Matriz de una relacin
Dados dos conjuntos finitos y no vacos A = {a1, a2, , am}, y B =
{b1, b2, , bn} y una relacin cualesquiera de A en B, llamaremos
matriz de a la matriz booleana siguiente:
1, ( , )
M=[rij], con =
0, ( , )

Donde i=1,2,, m; j=1, 2, , n

Ejemplo:
1) A={1, 2, 3, 4}
1 1 1 1
0 1 0 1
={(a,b)/ a, b A, a es divisor de b}, M = .
0 0 1 0
0 0 0 1
2) A={a, b, c}, Analizar si es una relacin de equivalencia la relacin
cuya matriz es:
1 0 0 1 0 1
i) M = 0 1 1 ii M = 0 1 0
0 1 1 0 0 1
Caractersitcas de la matriz de una relacin de
equivalencia
Si es una relacin de equivalencia, su matriz M=[rij], i=1,2,, m;
j=1, 2, , n tiene las sigtes caractersticas:
1) Es una matriz cuadrada
2) Por la reflexividad, rii =1, i=1, 2, ; es decir, diagonal principal es 1.
3) Por la simetra, si rij =1, entonces rji =1. (Matriz simtrica)
4) Por la transitividad, si rij =, rjk =1, entonces rik =1.