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 = k1n . y z = k2n, k1 y k2 e Z .
x y + y z = (k1 + k2)n.
x z = (k1 + k2)n, (k1 + k2) 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}.