3.5 Relaciones de equivalencia.

3.5.1 Introduccin. Sea H el conjunto formado por todos los seres

humanos. Considere una relacin R definida en H de la siguiente
manera:
Si x e y pertenecen a H, se dice que "x est en relacin con y s y
slo s x es compatriota de y".
Con la anterior definicin queda establecida la relacin:

R = {(x, y) / x, y e H . "x es compatriota de y"}.

Esta relacin es reflexiva puesto que toda persona es compatriota de
si mismo. Es simtrica, puesto que "si x es compatriota de y, y es
compatriota de x". Es transitiva, por que "si x es compatriota de y e y
es compatriota de z, entonces x es compatriota de z".
Sea un elemento fijo de H. se denota por el conjunto formado por
los compatriotas de a, es decir:
= {x e H / x R a}.

a est formado por la poblacin del pas del cual es nativo a. Por
ejemplo, si a es colombiano,
= {x e H / x es colombiano}.
Al individuo se le llama un "representante del conjunto a". Cualquier
colombiano puede ser un representante. Eligiendo los diferentes
representantes se obtiene la divisin de la humanidad en pases.

Si se toma otro elemento fijo b e H y se forma el conjunto :
= {x e H / x R b},
pueden ocurrir dos casos:

- Que a R b. En tal caso = .

- Que a b, y entonces y son conjuntos disjuntos, es decir,
pases diferentes.

Siguiendo este proceso se obtienen tantos conjuntos como pases
existen. Se puede verificar que cada conjunto es no vaco y que no
existe interseccin entre cada dos de ellos, adems que la unin de
todos ellos es el conjunto H.

Una relacin que produce sobre el conjunto en el cual se define una
clasificacin con las caractersticas anteriores, se llama relacin de
equivalencia.

3.5.2 Definicin. Sea A un conjunto no vaco y R una relacin en A.
R es una relacin de equivalencia en A, si R es reflexiva, simtrica y
transitiva en A.

Ejemplo 1.
I
A
es una relacin de equivalencia en A (A = 0).

Ejemplo 2.
La relacin de paralelismo definida entre la rectas del plano euclideo,
es una relacin de equivalencia, pero no lo es la relacin de
perpendicularidad.

Ejemplo 3.
Sean a y b enteros y n un nmero fijo positivo. En Z (conjunto de los
enteros) se define una relacin de la siguiente manera:

Se dice que a es congruente con b mdulo n y se escribe, a b (mod
n) s y slo s n (a b), es decir,
a b = kn con k e Z .

En tal caso, el par (a,b) pertenece a la relacin. Esta relacin se llama
congruencia mdulo n.
R
n
= {(x, y) / x y mod n, x, y e Z }.

R
n
es reflexiva, puesto que x x mod n. x x = 0 = 0n . 0 e Z .
R
n
es simtrica. si x y mod n, x y = kn con k e Z . Luego, y x = kn, k e Z
. Es decir, y x mod n.
R
n
es transitiva en Z . Sean x y mod n . y z mod n, entonces:
x y = k
1
n . y z = k
2
n, k
1
y k
2
e Z .
x y + y z = (k
1
+ k
2
)n.
x z = (k
1
+ k
2
)n, (k
1
+ k
2
) e Z .
sea k = k
1
+ k
2
, luego x z = kn y en consecuencia
x z mod n.


3.5.3 Clases de equivalencia.
Definicin. Sea A un conjunto no vaco, R una relacin de
equivalencia en A y x un elemento fijo en A. Al conjunto de todos los
elementos de A relacionados con x, se le denomina clase de
equivalencia de x con respecto a R y se le denota: x.
En consecuencia,

= {y e A / y R x}.
y e y e A . y R x.
y e y e A v y x.

El elemento fijo x se llama representante de clase.


3.5.4 Teorema. Sea R una relacin de equivalencia en un conjunto
no vaco A. Entonces,
- = 0 para cualquier x e A.
- Si x, y e A, entonces = v = 0.
- Sean:
1
,
2
, ... ,
n
las clases de equivalencia de A. Entonces,
1
+
2
+ ... +
n
= A.

Demostracin:
- Como A = 0, existe un x e A y puesto que x R x, entonces:
x e

- Sean x,y e A, x R y v x y.

Si x R y entonces = . En efecto, sea a e ,a R x, y como x R y, a
R y,luego ae . Por tanto, c . (1).


Sea a e y, a R y, como x R y,y R x,luego a R x, y por tanto a e . En
consecuencia c . (2).

De (1) y (2), = .
Si x y, entonces = 0. En efecto, si = 0, existe un a tal
que: a e . a e , luego a R x . a R y.
Por simetra, x R a . a R y, entonces por transitividad x R y. Absurdo!
Luego.
= 0.

Definicin. Sea R es una relacin de equivalencia en A. El conjunto
formado por todas las clases de equivalencia respecto a R, se llama
conjunto cociente de A por R, y se denota A R. En consecuencia,
A R = { / x e A}.


3.5.5 Particin de un conjunto A. Una particin de un conjunto A
no vaco, es una coleccin de subconjuntos no vacos A
1
, A
2
, ..., A
n
de
A tal que:
- A
i
A
j
= 0, i = j.
- A
1
+ A
2
+ ... + A
n
= A.





La figura anterior es una representacin grfica de la particin P =
{A
1
, A
2
, A
3
, A
4
, A
5
, A
6
} de un conjunto A.


Ejemplo 4.
Sea, A = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}.
A
1
= {1, 2, 3, 4}, A
2
= {5, 6, 7}, A
3
= {4, 5, 7, 9}, A
4
= {8, 9, 10},
A
5
= {1,2,3,6,8,10}. Los conjuntos P
1
= {A
1
, A
2
, A
4
} y P
2
= {A
3
, A
5
}
son particiones de A. El conjunto {A
1
, A
3
, A
4
} no es una paricin de A
puesto que 4 e A
1
A
3
.


Nota: El teorema anterior puede interpretarse, diciendo que una
relacin de equivalencia en A genera una particin del conjunto A. La
particin ser el conjunto cociente de A.


Ejemplo 5.
En la relacin de congruencia mdulo n se puede formar las
diferentes clases de equivalencia y el conjunto cociente, as:
R = {(a, b) / a b mod n, a, b e Z }.
a b mod n a b = kn con k e Z .
a = kn + b. Luego los elementos de a son los que dejan residuo b al
ser divididos por n. O sea que habr tantas equivalencias como
posibles residuos. Por esta razn a estas clases se les denomina
clases residuales mdulo n y se forman de la siguiente manera:
= {..., 2n, n, 0, n, 2n,...}
= {..., 1 2n, 1 n, 1, 1 + n, 1 + 2n,...}
= {..., 2 2n, 2 n, 2, 2 + n, 2 + 2n,...}
.

.

.

= {..., 1 2n, 1 n, 1, 1 + n, 1 + 2n,...}

Es posible verificar que no hay otras clases distintas de esta. Por
ejemplo:

= {..., 2n, n, 0, n, 2n,...} = 0




Anlogamente, = , = , etc.


3.5.6 Teorema. Toda particin de un conjunto no vaco A, define
una relacin de equivalencia en A.


Demostracin:
Sea P = { A
1
, A
2
, ..., A
n
} una particin de A. Se define en A la siguiente
relacin:
R = {(x, y) / x e A
i
, y e A
i
. A
i
e P}.
Veamos que R es una relacin de equivalencia.
- R es reflexiva, como A = 0, existe x e A; ahora como P es una
particin de A, x e A
i
, A
i
e p.
- R es simtrica puesto que s x R y, x e y e A
i
y por tanto y R x.
- R es transitiva. s x R y . y R z, entonces, x e A
i
. y e A
i
de
igual manera y e A
j
. z e A
j
. Luego, y e A
i
A
j
, por definicin de
particin se sigue que: A
i
= A
j
. Por tanto, y e A
i
. z e A
i
, de
donde x R z.
Ejemplo 6.
Sean A = {1,2,3,4} y A R = {{1,2,3},{4}} una particin de A.
Determinar la relacin de equivalencia correspondiente en A.

Solucin: Las clases de equivalencia de A sern los subconjuntos de A
que conforman la particin, as:

1 = {1,2,3} 4 = {4}.

A partir de la definicin de 1 y el hecho de que R es una relacin de
equivalencia, se llega a que:
(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,1),(3,2),(3,3) pertenecen a R.
De igual manera (4,4) pertenece a R, entonces:
R = {(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,1),(3,2),(3,3),(4,4)}




Ejercicios 3.5


1) Cul de las siguientes relaciones en S son de equivalencia?
- R = {(a, b)/ a R b s y slo s a y b viven en Medelln}, donde S
= {a / a vive en Medelln}.
- R = {(a, b)/ a y b tienen la misma madre}, donde S = {a / a
es cualquier persona}.
- R = {(a, b)/ a y b tienen un pariente comn}, donde S = {a / a
es cualquier persona }.
2) Defina la relacin "~ " en Z como m ~ n s y slo s m
2
= n
2
.
- Muestre que ~ es una relacin de equivalencia en Z .
- Describa las clases de equivalencia. Cuantas hay?.
3) Para m, n pertenecientes a los naturales defina m ~ n si m
2
n
2
es
mltiplo de 3.
- Muestre que ~ es una relacin de equivalencia en N .
-
D cuatro elementos de .
-
D cuatro elementos de .
- Piensa usted que hay ms clases de equivalencia?.
4) La definicin m n (mod p) tiene sentido inclusive si p = 0 o p =
1.
- Describa esta relacin de equivalencia para p = 1 y sus
respectivas clases de equivalencia.
- Repita el procedimiento anterior para p = 0.
5) Considere la relacin en Z definida como m R n s y slo s m
3
n
3

0 (mod 5)
Es una relacin de equivalencia?.


6) Dado A = {a, b, c, d, e, f}, escriba cinco relaciones de
equivalencia en A diferentes.


7) Sea A = {a, b, c, d} y A R ={{a, b}, {c}, {d}}. Escriba la
relacin de equivalencia correspondiente en A. Escriba todas las
clases de equivalencia.


8) Sea S un conjunto. Es la igualdad "=" una relacin de
equivalencia en S?.


9) Escriba las clases de equivalencia para la relacin de congruencia
mdulo 4. Cul es el conjunto cociente?.


10) Considere el conjunto N x N . Definamos una relacin N x N de la
forma siguiente:
(a, b) ~ (c, d) s y slo s a + b = b + c. Pruebe que R es una relacin
de equivalencia.
11) Para cada una de las siguientes relaciones, decir cules son de
equivalencia. Todas las relaciones son sobre el conjunto de los seres
humanos.
a) x R y representa que x es hijo de y.
b) x R y representa que x es un descendiente de y.
c) x R y representa que x e y tienen los mismos padres.
d) x R y representa que x es de la misma estatura o de menor
estatura que y.


12) Sea R una relacin sobre el conjunto de los enteros positivos, tal
que R = {(a, b)/a b es entero positivo impar}. Ser esta relacin
de equivalencia?.


13) Sea R una relacin simtrica y transitiva sobre un conjunto A.
Demuestre que si para todo a e A existe b e A tal que (a, b) e R,
entonces R es una relacin de equivalencia.


14) Sea R una relacin reflexiva y transitiva en A. Sea T una relacin
en A tal que (a,b) e T s y slo s tanto (a, b) como (b, a) est en R.
Demuestre que T es una relacin de equivalencia.


15) Una relacin R es una funcin si para todo x existe slo una y tal
que x R y. Puede una funcin ser una relacin de equivalencia?.