You are on page 1of 5

3.5.1 Introducción.

Sea H el conjunto formado por todos los
seres humanos. Considere una relación R definida en H de la
siguiente manera:
Si x e y pertenecen a H, se dice que "x está en relación con y
sí y sólo sí x es compatriota de y".
Con la anterior definición queda establecida la relación:

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



Esta relación es reflexiva puesto que toda persona es
compatriota de si mismo. Es simétrica, 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 población del país 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 división de la
humanidad en países.

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, países diferentes.



Siguiendo este proceso se obtienen tantos conjuntos como
países existen. Se puede verificar que cada conjunto es no
vacío y que no existe intersección entre cada dos de ellos,
además que la unión de todos ellos es el conjunto H.

Una relación que produce sobre el conjunto en el cual se
define una clasificación con las características anteriores, se
llama relación de equivalencia.

3.5.2 Definición. Sea A un conjunto no vacío y R una
relación en A. R es una relación de equivalencia en A, si R es
reflexiva, simétrica y transitiva en A.

Ejemplo 1.
I
A
es una relación de equivalencia en A (A = 0).

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

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

Se dice que a es congruente con b módulo n y se escribe,
a ÷ b (mod n) sí y sólo sí n¦ (a ÷ b), es decir,
a ÷ b = kn con k e Z .



En tal caso, el par (a,b) pertenece a la relación. Esta relación
se llama congruencia módulo 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 simétrica. 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.


Definición. Sea A un conjunto no vacío, R una relación 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 relación de equivalencia en un
conjunto no vacío 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.


Demostración:
- 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 simetría, x R a . a R y, entonces por transitividad x R y.
Absurdo! Luego.
= 0.


Definición. Sea R es una relación 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}.