Relacin de Equivalencia

Congruencia Mdulo n


Relacin Interseccin
Relacin de Equivalencia
Sea el conjunto A y la relacin R: A A, si R cumple con las propiedades reflexiva,
simtrica y transitiva entonces es una relacin de equivalencia. Es decir que:

La relacin R c A
2
es de equivalencia es reflexiva, simtrica y transitiva

Las relaciones de equivalencia se suelen indicar ~: A A y los elementos de todo par
perteneciente a la relacin se llaman equivalentes, a ~ b se lee a es equivalente con b.

Teorema fundamental de las relaciones de equivalencia
Toda relacin de equivalencia definida en un conjunto provoca en l una particin
(conjunto cociente). Recprocamente, toda particin de un conjunto induce en l una
relacin de equivalencia.
Clases de Equivalencia y Conjunto Cociente
Sea ~ una relacin de equivalencia en A = .

Clase de equivalencia del elemento a e A es el conjunto de todos los elementos
de A equivalentes a a.

Cla = { x e A / x R a } = [ a ] = a

Las clases de equivalencia constituyen una particin de A en el sentido siguiente:
i. Clx =
ii. Clx Cly = si x = y
iii. Clx Cly . = A

Todos los representantes de las clases constituyen un conjunto de ndice.

El conjunto formado por las clases de equivalencia se llama conjunto cociente.

A/ R = A / ~ = { Cla / a e A }
Ejemplo: Sea A = { 1, 2, 3 } y la relacin R = { ( 1, 1 ), ( 2, 2 ), ( 3, 3 ), ( 1, 2 ), ( 2, 1 ) }
1
2
3
A
R es de equivalencia pues cumple con las propiedades:
Reflexiva: x e A: x R x
Simtrica: x, y e A: x R y y R x
Transitiva: x, y, z e A: x R y . y R z x R z

Clases de equivalencia: Cl
1
= { 1, 2 }
Cl
3
= { 3 }
Conjunto de ndices: I = { 1, 3 }
Conjunto Cociente: A / R = { Cl
1
, Cl
3
}
|
|
|
.
|

\
|
=
1 0 0
0 1 1
0 1 1
M
R
Congruencia mdulo n
En el conjunto Z de los nmeros enteros se define la relacin congruencia mdulo n de
la siguiente manera:
Sean a y b dos nmeros enteros y n un nmero natural, se dice que:
a es congruente con b mdulo n n I a b (n es divisor de su diferencia).

Notacin: a b (n)

n I a b

La relacin de congruencia mdulo n es un relacin de equivalencia en el conjunto Z
de nmeros enteros pues es:

Reflexiva: a e Z: n I a a a a (n) a R a
Simtrica: a, b e Z: a R b a b (n) n I a b a b = n. k, k e Z
b a = n. (- k), - k e Z n I b a b a (n) b R a
Transitiva: a, b, c e Z: a R b . b R c a b (n) . b c (n)
n I a b . n I b c a b = n. k
1
, k
1
e Z . b c = n. k
2
, k
2
e Z
sumando miembro a miembro queda a c = n. ( k
1
+ k
2
); ( k
1
+ k
2
) e Z n I a c
a c (n) a R C
Propiedad
Sean a y b nmeros enteros y n un nmero natural, entonces:
a b (n) a y b tienen igual resto en la divisin por n.
Demostracin
Si a b (n) a y b tienen igual resto en la divisin por n
a = n. q
a
+ r
a
0 s r
a
s n
b = n. q
b
+ r
b
0 s r
b
s n
a b = n ( q
a
q
b
) + ( r
a
r
b
)
Como por hiptesis a b (n) es decir n I a b debe ser r
a
r
b
= 0 r
a
= r
b
Si r
a
= r
b
a b (n)
a = n. q
a
+ r
a
0 s ra s n
b = n. q
b
+ r
b
0 s rb s n
a b = n ( q
a
q
b
) + ( r
a
r
b
)
Como por hiptesis r
a
= r
b
a b = n. ( q
a
q
b
) n I a b a b (n)

Esta propiedad permite, para cada nmero natural, clasificar al conjunto de nmeros
enteros segn su resto en la divisin por n.
Propiedad
Sea n un nmero natural , en el conjunto de los nmeros enteros la congruencia mdulo
n determina una particin en Z en n clases de equivalencia.

Cl
0
= { nx + 0, x e Z } = 0
Cl
1
= { nx + 1, x e Z } = 1
Cl
2
= { nx + 2, x e Z } = 2
..
Cl
(n 1)
= { nx + n 1, x e Z } = n 1

El conjunto cociente se escribe Zn = { Cl
1
, Cl
2
, Cl
3
, ., Cl
(n 1)
} =

Ejemplo: Si n = 3 a b(3) determina una particin del conjunto Z en 3 clases de
Equivalencia.
Cl
0
= { 3x, x e Z } = 0
Cl
1
= { 3x + 1, x e Z } = 1
Cl
2
= { 3x + 2, x e Z } = 2
{ }
3
Z 0, 1, 2 =
{ }
0, 1, 2, ......, n 1 -
Relacin Interseccin
Dada R: A A y S: A A ambas de equivalencia, la relacin R S es de equivalencia
pues es:

Reflexiva
a e A: ( a, a ) e R . ( a, a ) e S ( a, a ) e ( R S )

Simtrica
a, b e A: ( a, b ) e ( R S ) ( a, b ) e R . ( a, b ) e S ( b, a ) e R . ( b, a ) e S
( b, a ) e ( R S )

Transitiva
a, b, c e A: ( a, b ) e ( R S ) . ( b, c ) e ( R S ) [ ( a, b ) e R . ( a, b ) e S ] .
. [ ( b, c ) e R . ( b, c ) e S ] ( a, c ) e R . ( a, c ) e S ( a, c ) e ( R S )
Ejemplo
Sean R: Z Z / a R b a
2
= b
2

S: Z Z = a R b | a 1 | = | b 1 |

En R: Z Z es a = b v a = - b
Cla = { x / x = a v x = - a }

En S: Z Z es a 1 = b 1 a = b
a 1 = b + 1 a = 2 b
Cla = { x / x = a v x = 2 a }

R S: Z Z / a R b a = b
Cla = { x / x = a }
R S / ~ = { Cla / a e Z }