Apuntes de Matematica Discreta

8. Relaciones de Equivalencia
Francisco Jose Gonzalez Gutierrez
Cadiz, Octubre de 2004
Universidad de Cadiz Departamento de Matematicas
ii
Leccion 8
Relaciones de Equivalencia
Contenido
8.1 Generalidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199
8.1.1 Denicion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 200
8.1.2 Digrafo asociado a una Relacion de Equivalencia . . . . . . . . . . . . . . . . . 201
8.2 Clases de Equivalencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201
8.2.1 Denicion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201
8.2.2 Lema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 202
8.3 Conjunto Cociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 203
8.3.1 Teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 203
8.3.2 Denicion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204
8.3.3 Teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 208
La verdad no es un objeto que se encuentre al cabo de una
cadena logica rgida; tampoco esta indeterminada en todas las
direcciones del discurso. En una region limitada por contornos
excepcionales: descubrir estos contornos es iluminar esa region,
es explorar lo posible y precisar lo probable, es aplicar a las
cosas la potencia de la claridad y de orden del espritu; en una
palabra es comprender
Jean Ullmo
8.1 Generalidades
Este tipo de relaciones binarias juegan un papel importante en todas las ciencias porque permiten clasi-
car los elementos del conjunto en el que estan definidas.
Muchas veces trataremos a los elementos de un conjunto mas por sus propiedades que como objetos
individuales. En tales situaciones, podremos ignorar todas las propiedades que no sean de interes y
tratar elementos diferentes como equivalentes o indistinguibles, a menos que puedan diferenciarse
utilizando unicamente las propiedades que nos interesen.
La nocion de equivalencia tiene tres caractersticas importantes:
(i) Todo elemento es equivalente a s mismo. (Reexividad).
(ii) Si a es equivalente a b, entonces b es equivalente a a. (Simetra).
199
Universidad de Cadiz Departamento de Matematicas
(iii) Si a es equivalente a b y b es equivalente a c, entonces a es equivalente a c. (Transitividad).
Estas propiedades son la base para una clase importante de relaciones binarias sobre un conjunto.
8.1.1 Denici on
Una relacion binaria R denida sobre un conjunto A se dice que es de equivalencia cuando es reexiva,
simetrica y transitiva.
Ejemplo 8.1 Sea A = {1, 2, 3, 4} y
R = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 4), (4, 3), (3, 3), (4, 4)} .
Ver si R es de equivalencia.
Solucion
Reexividad. En efecto,
(1, 1) R, (2, 2) R, (3, 3) R y (4, 4) R
luego,
x(x A = xRx)
es decir, R es reexiva.
Simetra. En efecto,
(1, 2) R y (2, 1) R
(3, 4) R y (4, 3) R
luego,
x, y A[(x, y) R = (y, x) R]
es decir, la relacion propuesta es simetrica.
Transitividad. En efecto,
(1, 1) R y (1, 2) R = (1, 2) R
(1, 2) R y (2, 1) R = (1, 1) R
(1, 2) R y (2, 2) R = (1, 2) R
(2, 1) R y (1, 1) R = (2, 1) R
(2, 1) R y (1, 2) R = (2, 2) R
(2, 2) R y (2, 1) R = (2, 1) R
(3, 4) R y (4, 4) R = (3, 4) R
(3, 3) R y (3, 4) R = (3, 4) R
(4, 3) R y (3, 3) R = (4, 3) R
(4, 4) R y (4, 3) R = (4, 3) R
luego,
x, y, z A[(x, y) R (y, z) R = (x, z) R]
y la relacion es, por tanto, transitiva.
Ejemplo 8.2
(a) La relacion universal sobre cualquier conjunto A es una relacion de equivalencia.
200
Matematica Discreta Francisco Jose Gonzalez Gutierrez
(b) La relacion vaca es una relacion de equivalencia sobre el conjunto vaco . No es, sin embargo,
una relacion de equivalencia sobre cualquier conjunto no vaco ya que no es reflexiva.
(c) La relacion de igualdad sobre cualquier conjunto es una relacion de equivalencia.
8.1.2 Digrafo asociado a una Relaci on de Equivalencia
El digrafo asociado a una relacion de equivalencia, R, tiene algunas caractersticas que lo distinguen.
Como R es reexiva, cada vertice tiene un bucle.
La simetra implica que si existe un arco desde a hasta b, tambien existe un arco desde b hasta
a.
La transitividad implica que si existe un camino desde a hasta b, entonces existe un arco desde
a hasta b.
Consecuentemente, cada una de las componentes del digrafo de una relacion de equivalencia es un
digrafo completo.
8.2 Clases de Equivalencia
8.2.1 Denici on
Sea R una relacion de equivalencia sobre un conjunto A. Para cada a A, llamaremos clase de
equivalencia de a, al conjunto formado por todos los elementos de A que esten relacionados con el. La
notaremos [a], es decir,
[a] = {x A : xRa}
Observese que la clase de equivalencia de un elemento a nunca es vaca, ya que la reexividad de R
implica que a [a].
Ejemplo 8.3 Sea A = {a, b, c, d} y R el conjunto
R = {(a, a), (a, b), (b, a), (b, b), (c, c), (c, d), (d, c), (d, d)}
Representar el digrafo de R y calcular las clases de equivalencia.
Solucion

d
[a] = {a, b}
[b] = {a, b}
[c] = {c, d}
[d] = {c, d}
Digrafo Clases
Ejemplo 8.3
Observese que [a] = [b] y [c] = [d], es decir, existen solo dos clases de equivalencia.
201
Universidad de Cadiz Departamento de Matematicas
8.2.2 Lema
Sea R una relacion de equivalencia sobre el conjunto A. Entonces,
(i) [a] = [b] si, y solo si aRb.
(ii) Si [a] = [b], entonces [a] [b] =
Demostracion
(i) [a] = [b] si, y solo si aRb.
Solo si. En efecto, supongamos que [a] = [b]. Como a [a] y [a] = [b], entonces a [b] de aqu
que aRb.
Si. Supongamos que aRb y sea x cualquiera de A, entonces
x [a] xRa
= xRb {Hipotesis y transitividad de R}
x [b]
tenemos, pues, que
x A(x [a] = x [b])
es decir, [a] [b].
Por otra parte,
x [b] xRb
= xRa {Simetra de la hipotesis y transitividad de R}
x [a]
tenemos, pues, que
x A(x [b] = x [a])
es decir, [b] [a].
De la doble inclusion hallada se sigue el resultado.
(ii) Si [a] = [b], entonces [a] [b] =
Probaremos la contrarrecproca. Es decir,
[a] [b] = = [a] = [b]
En efecto,
[a] [b] = = x A : x [a] x [b]
x A : xRa xRb
= x A : aRx xRb {Simetra}
= aRb {Transitividad}
[a] = [b] {Apartado (ii)}

Observese que de todo lo anterior se sigue que cualquiera de los elementos que componen una clase de
equivalencia puede elegirse como representante de la misma.
202
Matematica Discreta Francisco Jose Gonzalez Gutierrez
8.3 Conjunto Cociente
8.3.1 Teorema
Si R es una relacion de equivalencia en un conjunto A, entonces la familia de todas las clases de
equivalencia de los elementos de A produce una particion de A.
Demostracion
Dado que cada clase de equivalencia es un subconjunto de A, el conjunto de todas ellas sera una familia
de subconjuntos de A.
Veamos que, en efecto, es una particion de A.
1. [a] = , a A
En efecto, como ya dijimos antes, al menos a pertenece a su clase de equivalencia, luego son no
vacas.
2. Si [a] = [b], entonces [a] [b] =
Directamente de (ii) en el lema anterior.
3.
_
aA
[a] = A
Veamos que la union de todas las clases de equivalencia es el conjunto A. En efecto,
x
_
aA
[a] = a A : x [a]
[a]A
=x A
luego,
x
_
x
_
aA
[a] = x A
_
es decir,
_
aA
[a] A
Por otra parte,
x A = x [x] = x
_
aA
[a]
luego,
x
_
x A = x
_
aA
[a]
_
es decir,
A
_
aA
[a]
de la doble inclusion se sigue el resultado,
A =
_
aA
[a]

203
Universidad de Cadiz Departamento de Matematicas
8.3.2 Denici on
Dada una relacion de equivalencia sobre un conjunto A, llamaremos conjunto cociente al formado por
todas las clases de equivalencia, lo notaremos por A/R, indicando as que es el conjunto A partido
por la relacion de equivalencia R.
A/R = {[a] : a A}
Ejemplo 8.4 Determinar el conjunto cociente A/R siendo R la relacion de equivalencia del ejemplo
8.1
Solucion
A = {1, 2, 3, 4}
[1] = {x A : xR1} = {1, 2}
[2] = {x A : xR1} = {1, 2}
[3] = {x A : xR1} = {3, 4}
[4] = {x A : xR1} = {3, 4}
Consecuentemente,
A/R = {[1] , [3]} = {{1, 2} , {3, 4}}

Ejemplo 8.5 Sea el conjunto Z

+
Z
+
y consideremos en el la relacion
(a, b)R(c, d) si, y solo si a + d = b + c
cualesquiera que sean (a, b) y (c, d) de Z
+
Z
+
.
(a) Probar que la relacion propuesta es de equivalencia.
(b) Hallar las clases de equivalencia.
(c) Obtener el conjunto cociente.
(d) Escribir el conjunto cociente que se obtiene en el caso de que la relacion se dena en el conjunto
AA siendo A = {1, 2, 3, 4, 5}.
(e) Construir una graca que represente al conjunto cociente para A = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
Solucion
(a) Probaremos que R cumple las condiciones exigidas para ser de equivalencia.
Reexividad. En efecto, para cada par (a, b) de Z
+
Z
+
se verifica que
a + b = b + a
de aqu que
(a, b)R(a, b)
y la relacion es, por tanto, reflexiva.
Simetra. En efecto, si (a, b) y (c, d) son cualesquiera de Z
+
Z
+
tales que
(a, b)R(c, d)
204
Matematica Discreta Francisco Jose Gonzalez Gutierrez
tendremos que
a + d = b + c
de donde por la conmutatividad de la suma en Z
+
se sigue que
d + a = c + b
luego
(c, d)R(a, b)
y R es, por tanto, simetrica.
Transitividad. Sean (a, b), (c, d) y (e, f) tres elementos arbitrarios de Z
+
Z
+
, tales que
(a, b)R(c, d) y (c, d)R(e, f)
es decir, tales que
a + d = b + c y c + f = d + e
si sumamos miembro a miembro ambas igualdades obtendremos
a + d + c + f = b + c + d + e
de donde se sigue que
a + f = b + e
luego
(a, b)R(e, f)
y, consecuentemente, R es transitiva.
Por ser reflexiva, simetrica y transitiva, R sera una relacion de equivalencia
(b) Hallemos las clases de equivalencia.
Sea (a, b) un par de enteros positivos cualesquiera. Entonces,
[(a, b)] = {(x, y) Z
+
Z
+
: (x, y)R(a, b)}
= {(x, y) Z
+
Z
+
: x + b = y + a}
= {(x, y) Z
+
Z
+
: x y = a b}
= {(x, y) Z
+
Z
+
: x y = d}
donde d es la diferencia entre a y b. Cuando el par (a, b) recorra todo el conjunto Z
+
Z
+
, su diferencia, d,
recorrera el conjunto Z de los n umeros enteros ya que sera un entero negativo, cero o positivo dependiendo
de que a sea menor, igual o mayor que b.
Por lo tanto, la clase de equivalencia de cualquier elemento tendra la forma:
_
(x, y) Z
+
Z
+
: x y = d, con d Z
_
Por ejemplo,
_
(x, y) Z
+
Z
+
: x y = 0
_
sera la clase de equivalencia del par (1, 1) y del (2, 2), del (3, 3), etc..., en general de todos los pares de
la forma (a, a). Tomando como representante el (1, 1),
[(1, 1)] =
_
(x, y) Z
+
Z
+
: x = y
_
= {(1, 1), (2, 2), (3, 3), . . . . . .}
y el conjunto
_
(x, y) Z
+
Z
+
: x y = 8
_
= {(1, 9), (2, 10), (3, 11), (4, 12), . . . . . .}
205
Universidad de Cadiz Departamento de Matematicas
sera, por ejemplo, [(1, 9)], clase de equivalencia del par (1, 9).
(c) Obtengamos el conjunto cociente.
Z
+
Z
+
/R = { {(x, y) Z
+
Z
+
: x y = 2} ,
{(x, y) Z
+
Z
+
: x y = 1} ,
{(x, y) Z
+
Z
+
: x y = 0} ,
{(x, y) Z
+
Z
+
: x y = 1} ,
{(x, y) Z
+
Z
+
: x y = 2} , }
es decir,
Z
+
Z
+
/R =
_
{(x, y) Z
+
Z
+
: x y = d}
dZ
,
{(x, y) Z
+
Z
+
: x y = 0} ,
{(x, y) Z
+
Z
+
: x y = d}
dZ
+
_
=
_
{(x, y) Z
+
Z
+
: x y = d}
dZ
+ ,
{(x, y) Z
+
Z
+
: x y = 0} ,
{(x, y) Z
+
Z
+
: x y = d}
dZ
+
_
=
_
{(x, x + d) Z
+
Z
+
}
dZ
+ , {(x, x) Z
+
Z
+
} , {(y + d, y) Z
+
Z
+
}
dZ
+
_
= {[(x, x + d)] , [(x, x)] , [(y + d, y)] , con d Z
+
}
xZ
+
,yZ
+
y como x (x + d) = d, x x = 0 y d + y y = d independientemente de los valores que tomen x e
y, podemos tomar x = 1 e y = 1, es decir elegir como representante de cada clase a los pares (1, 1 + d),
(1, 1) y (1 + d, 1), respectivamente. Entonces,
Z
+
Z
+
/R =
_
[(1, 1 + d)] , [(1, 1)] , [(1 + d, 1)] , con d Z
+
_
y haciendo 1 + d = p,
Z
+
Z
+
/R =
_
[(1, p)] , [(1, 1)] , [(p, 1)] , con p Z
+
\ {1}
_
=
_
[(1, p)] , [(p, 1)] , con p Z
+
_
(d) Escribiremos el conjunto cociente para el subconjunto de Z
+
, A = {1, 2, 3, 4, 5}
AA/R = {[(1, p)] , [(p, 1)] , con p A}
= {[(1, 5)] , [(1, 4)] , [(1, 3)] , [(1, 2)] , [(1, 1)] , [(2, 1)] , [(3, 1)] , [(4, 1)] , [(5, 1)]}
= {{(1, 5)} , {(1, 4)(2, 5)} , {(1, 3), (2, 4), (3, 5)} , {(1, 2), (2, 3), (3, 4), (4, 5)} ,
= {(1, 1), (2, 2), (3, 3), (4, 4), (5, 5)} , {(2, 1), (3, 2), (4, 3), (5, 4)} , {(3, 1), (4, 2), (5, 3)} ,
= {(4, 1), (5, 2)} , {(5, 1)}}
(e) Construiremos una graca representativa del conjunto cociente para el subconjunto de Z
+
,
A = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} .
206
Matematica Discreta Francisco Jose Gonzalez Gutierrez
[
(
1
,
1
0
)
]
(1, 10) (2, 10) (3, 10) (4, 10) (5, 10) (6, 10) (7, 10) (8, 10) (9, 10) (10, 10)
(1, 9) (2, 9) (3, 9) (4, 9) (5, 9) (6, 9) (7, 9) (8, 9) (9, 9) (10, 9)
[
(
1
,
9
)
]
(1, 8) (2, 8) (3, 8) (4, 8) (5, 8) (6, 8) (7, 8) (8, 8) (9, 8) (10, 8)
[
(
1
,
8
)
]
(1, 7) (2, 7) (3, 7) (4, 7) (5, 7) (6, 7) (7, 7) (8, 7) (9, 7) (10, 7)
[
(
1
,
7
)
]
(1, 6) (2, 6) (3, 6) (4, 6) (5, 6) (6, 6) (7, 6) (8, 6) (9, 6) (10, 6)
[
(
1
,
6
)
]
(1, 5) (2, 5) (3, 5) (4, 5) (5, 5) (6, 5) (7, 5) (8, 5) (9, 5) (10, 5)
[
(
1
,
5
)
]
(1, 4) (2, 4) (3, 4) (4, 4) (5, 4) (6, 4) (7, 4) (8, 4) (9, 4) (10, 4)
[
(
1
,
4
)
]
(1, 3) (2, 3) (3, 3) (4, 3) (5, 3) (6, 3) (7, 3) (8, 3) (9, 3) (10, 3)
[
(
1
,
3
)
]
(1, 2) (2, 2) (3, 2) (4, 2) (5, 2) (6, 2) (7, 2) (8, 2) (9, 2) (10, 2)
[
(
1
,
2
)
]
(1, 1) (2, 1) (3, 1) (4, 1) (5, 1) (6, 1) (7, 1) (8, 1) (9, 1) (10, 1)
[
(
1
,
1
)
]
[
(
2
,
1
)
]
[
(
3
,
1
)
]
[
(
4
,
1
)
]
[
(
5
,
1
)
]
[
(
6
,
1
)
]
[
(
7
,
1
)
]
[
(
8
,
1
)
]
[
(
9
,
1
)
]
[
(
1
0
,
1
)
]
Conjunto cociente
Ejemplo 8.6 En el conjunto A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} se considera la relacion
aRb si, y solo si a b es m ultiplo de 3
Probar que es de equivalencia, hallar las clases de equivalencia y el conjunto cociente.
Solucion
Observese que
a b es m ultiplo de 3 a b = 3k; k Z.
luego la relacion puede escribirse en la forma
aRb a b = 3k; k Z
Reexiva. Para cada a de A se verifica que
a a = 0
lo cual puede escribirse en la forma
a a = 3 0; 0 Z
207
Universidad de Cadiz Departamento de Matematicas
luego aRa.
Simetrica. Si a y b son cualesquiera de A tales que aRb, entonces
a b = 3k; k Z
de aqu que
b a = 3(k); k Z
y por tanto, bRa.
Transitiva. En efecto, si a, b y c son cualesquiera de A tales que aRb y bRc, entonces
a b = 3k
1
; k
1
Z y b c = 3k
2
; k
2
Z
y si sumamos miembro a miembro ambas ecuaciones, tendremos que
a c = 3(k
1
+ k
2
); k
1
+ k
2
Z
luego aRc.
Clases de equivalencia. Si a es cualquiera de A, entonces
x [a] xRa
x a = 3k; k Z
x = a + 3k; k Z
luego
[a] = {x : x = a + 3k; k Z} .
As pues,
[0] = {x : x = 3k; k Z} = {0, 3, 6, 9}
[1] = {x : x = 1 + 3k; k Z} = {1, 4, 7}
[2] = {x : x = 2 + 3k; k Z} = {2, 5, 8}
El conjunto cociente sera, por tanto,
A/R = {{0, 3, 6, 9} , {1, 4, 7} , {2, 5, 8}}

8.3.3 Teorema
Dada una particion de un conjunto A, puede denirse en el una relacion de equivalencia R tal que el
conjunto cociente A/R coincida con la particion dada.
Demostracion
Sea {A
1
, A
2
, . . . , A
n
} una particion del conjunto A. Denimos la siguiente relacion:
Dos elementos de A estan relacionados si, y solo si pertenecen al mismo subconjunto de la particion.
es decir, si a y b son cualesquiera de A, entonces
aRb A
i
A : a y b A
i
Veamos que R es de equivalencia.
En efecto,
208
Matematica Discreta Francisco Jose Gonzalez Gutierrez
Reexividad. Si a es cualquiera de A, como {A
1
, A
2
, . . . , A
n
} es una particion de A, sera
A =
n
_
i=1
A
i
luego
a
n
_
i=1
A
i
= A
i
: a A
i
= a y a A
i
= aRa
por lo tanto,
a (a A = aRa)
es decir, la relacion es reexiva.
Simetra. Sean a y b dos elementos cualesquiera de A, entonces
aRb A
i
A : a y b A
i
= A
i
A : b y a A
i
bRa
o sea,
a, b A(aRb = bRa)
y la relacion es, por tanto, simetrica.
Transitividad. En efecto, si a, b y c son tres elementos arbitrariamente elegidos en A, entonces
aRb A
i
A : a y b A
i
y
bRc A
j
A : b y c A
j
de donde se sigue que b A
i
A
j
, consecuentemente A
i
A
j
= y por la denicion de particion
tendremos que A
i
= A
j
.
Resulta, pues, que a y c pertenecen al mismo subconjunto de la particion y, por lo tanto, aRc.
As pues,
a, b, c A(aRb bRc = aRc)
es decir, R es transitiva.
Veamos el conjunto cociente.
Por la forma en que hemos definido la relacion, se sigue directamente que las clases de equivalencia
correspondientes son los subconjuntos de la particion, luego
A/R = {A
1
, A
2
, . . . , A
n
}

Ejemplo 8.7 Sea A = {1, 3, 3, 4} y {{1, 2, 3} , {4}} una particion de A. Determnese la relacion de
equivalencia correspondiente en A.
Solucion
Si tenemos en cuenta que las clases de equivalencia son los subconjuntos de la particion, tendremos
[1] = {1, 2, 3} y [4] = {4}
A partir de la denicion de clases de equivalencia y de que R ha de ser de equivalencia, tendremos:
[1] = {1, 2, 3} , luego (1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3) R
[4] = {4} , luego (4, 4) R
209
Universidad de Cadiz Departamento de Matematicas
de aqu que
R = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3), (4, 4)}

Ejemplo 8.8 Determinar si la relacion R cuya matriz se da es una relacion de equivalencia sobre el
conjunto A = {a, b, c}.
(a) M
R
=
_
_
1 0 0
0 1 1
0 1 1
_
_
(b) M
R
=
_
_
1 0 1
0 1 0
0 0 1
_
_
Solucion
Supongamos que r
ij
es un elemento cualquiera de la matriz, donde i indica la fila a la que pertenece y j
la columna.
(a) Veamos si cumple las condiciones para que la relacion propuesta sea de equivalencia.
Reexiva. En efecto lo es ya que todos los elementos de la diagonal principal son unos, lo cual
signica que
x(x A = xRx)
Simetrica. Tambien lo es, ya que
r
ij
= r
ji
, i, j = 1, 2, 3; i = j
lo cual significa que
x, y A(xRy = yRx)
Transitiva. Se prueba con facilidad que
si r
ij
= 1 r
jk
= 1, entonces r
ik
= 1
y
si r
ik
= 0, entonces r
ij
= 0 r
jk
= 0
lo cual significa que
x, y, z A(xRy yRz = xRz)
(b) La relacion propuesta no es de equivalencia ya que r
13
= 1 y r
31
= 0, lo cual significa que
aRc y, sin embargo cR/ a
es decir, la relacion propuesta no es simetrica.
Ejemplo 8.9 Determinar si las relaciones cuyos grafos dirigidos se dan en la figura siguiente son de
equivalencia.
210
Matematica Discreta Francisco Jose Gonzalez Gutierrez
5
1 2
4 3

6
(a)
3
1 2
(b)
Solucion
(a) Veamos si cumple las tres condiciones.
Reexiva. En efecto lo es, ya que en cada uno de los vertices hay un bucle.
Simetrica. Tambien lo es, ya que entre cada dos vertices x e y hay dos aristas, una que va desde x
hasta y y otra que va desde y hasta x.
Transitiva. En efecto, para cada camino entre dos puntos x e y del digrafo, hay una arista entre
los mismos.
(b) Veamos si cumple las condiciones exigidas para que la relacion representada por el digrafo sea de
equivalencia.
Reexiva. En cada uno de los vertices hay un bucle, luego la relacion es reflexiva.
Simetrica. No lo es, ya que por ejemplo entre 1 y 2 hay una arista, pero no as entre 2 y 1.
Consecuentemente, la relacion no es de equivalencia.
Ejemplo 8.10 Si {{a, c, e} , {b, d, f}} es una particion del conjunto A = {a, b, c, d, e, f}, determinar la
relacion de equivalencia correspondiente.
Solucion
Si R es la relacion de equivalencia buscada, entonces el conjunto cociente es
A/R = {{a, c, e} , {b, d, f}}
luego las clases de equivalencia son
[a] = {a, c, e} y [b] = {b, d, f}
Pues bien,
[a] = {a, c, e} , luego (a, a), (a, c), (a, e), (c, a), (c, c), (c, e), (e, a), (e, c) y (e, e) estan en R
211
Universidad de Cadiz Departamento de Matematicas
tambien,
[b] = {b, d, f} , luego (b, b), (b, d), (b, f), (d, b), (d, d), (d, f), (f, b), (f, d) y (f, f) estan en R
Consecuentemente, la relacion es
R = {(a, a), (a, c), (a, e), (c, a), (c, c), (c, e), (e, a), (e, c), (e, e),
(b, b), (b, d), (b, f), (d, b), (d, d), (d, f), (f, b), (f, d), (f, f)}

Ejemplo 8.11 Sobre el conjunto Z

+
Z
+
se dene la relacion,
(a, b)R(c, d) ad = bc
(a) Probar que R es de equivalencia.
(b) Obtener las clases de equivalencia.
(c) Escribir el conjunto cociente.
(d) Escribir el conjunto cociente y dibujar una graca explicativa del mismo para el conjunto A A,
siendo A = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
Solucion
(a) Probaremos que R es de equivalencia.
Reexiva. Sea (a, b) cualquiera de Z
+
Z
+
A. Por la conmutatividad del producto de enteros, ab = ba,
luego (a, b)R(b, a), es decir,
(a, b)
_
(a, b) Z
+
Z
+
= (a, b)R(a, b)

y la relacion es, en efecto, reexiva.

Simetrica. Sean (a, b) y (c, d) dos elementos arbitrarios de Z
+
Z
+
. Entonces,
(a, b)R(c, d) ad = bc bc = ad (c, d)R(a, b)
luego,
(a, b), (c, d) Z
+
Z
+
[(a, b)R(c, d) = (c, d)R(a, b)]
es decir, R es simetrica.
Transitiva. Si (a, b), (c, d) y (e, f) son cualesquiera de Z
+
Z
+
, entonces
(a, b)R(c, d) ad = bc
y
(c, d)R(e, f) cf = de
_
_
_
= adcf = bcde = af = be (a, b)R(e, f)
(b) Obtengamos las clases de equivalencia.
Sea (a, b) un par de enteros positivos cualquiera. Entonces,
[(a, b)] = {(x, y) Z
+
Z
+
: (x, y)R(a, b)}
= {(x, y) Z
+
Z
+
: xb = ya}
=
_
(x, y) Z
+
Z
+
:
x
y
=
a
b
_
Por ejemplo,
[(9, 15)] =
_
(x, y) Z
+
Z
+
:
x
y
=
9
15
_
212
Matematica Discreta Francisco Jose Gonzalez Gutierrez
ahora bien,
9
15
=
9
3
15
3
=
3
5
, siendo 3 = m.c.d.(9, 15)
y
3
5
=
3k
5k
, con k Z
+
luego,
[(9, 15)] =
_
(x, y) Z
+
Z
+
:
x
y
=
3
5
_
= [(3, 5)]
y
[(3, 5)] =
_
(x, y) Z
+
Z
+
:
x
y
=
3
5
_
= {(x, y) Z
+
Z
+
: x = 3k e y = 5k, con k Z
+
}
= {(3k, 5k) : k Z
+
}
= {k(3, 5) : k Z
+
}
En general podemos razonar de forma an aloga.
Si m.c.d.(a, b) = 1, es decir si la fraccion
a
b
es irreducible, entonces
a
b
=
ka
kb
, con k Z
+
Si m.c.d.(a, b) = d = 1, entonces
a
b
=
a
d
b
d
y la fraccion
a
d
b
d
es irreducible, luego
a
d
b
d
=
k
a
d
k
b
d
con k Z
+
Por lo tanto, si llamamos d al m.c.d.(a, b), tendremos
[(a, b)] =
_
(x, y) Z
+
Z
+
:
x
y
=
a/d
b/d
_
=
_
(x, y) Z
+
Z
+
: x = k
a
d
e y = k
b
d
, con k Z
+
_
=
__
k
a
d
, k
b
d
_
, con k Z
+
_
=
_
k
_
a
d
,
b
d
_
, con k Z
+
_
Por ejemplo, si queremos calcular la clase de equivalencia del par (3, 7), como m.c.d.(3, 7) = 1, tendremos
que
[(3, 7)] = {k(3, 7), con k Z
+
}
= {(3, 7), (6, 14), (9, 21), (12, 28), (15, 35), . . .}
y si queremos calcular la clase del par (16, 20), como m.c.d.(16, 20) = 4,
[(16, 20)] =
_
k
_
16
4
,
20
4
_
, con k Z
+
_
= {k(4, 5), con k Z
+
}
= {(4, 5), (8, 15), (16, 20), (20, 25), (24, 30), . . .}
213
Universidad de Cadiz Departamento de Matematicas
(c) Escribamos el conjunto cociente Z
+
Z
+
/R.
Seg un lo que hemos visto en el punto anterior,
Z
+
Z
+
/R = {{k(a, b), con k Z
+
} (a, b) Z
+
Z
+
y m.c.d.(a, b) = 1}
= {[(a, b)] : (a, b) Z
+
Z
+
y m.c.d.(a, b) = 1}
(d) Veamos cual es el conjunto cociente para A = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}.
Por el punto anterior,
AA/R = {{k(a, b), con k Z
+
} (a, b) AA y m.c.d.(a, b) = 1}
= {[(a, b)] : (a, b) AA y m.c.d.(a, b) = 1}
luego tenemos que saber cuantos pares de n umeros primos entre s hay en el conjunto A A. En la
siguiente tabla guran los divisores de todos los n umeros y en los cruces los divisores comunes.
1 2 3 4 5 6 7 8 9 10
1 1,2 1,3 1,2,4 1,5 1,2,3,6 1,7 1,2,4,8 1,3,9 1,2,5,10
1 1 1 1 1 1 1 1 1 1 1 1
2 1,2 1 1,2 1 1,2 1 1,2 1 1,2 1 1,2
3 1,3 1 1 1,3 1 1 1,3 1 1 1,3 1
4 1,2,4 1 1,2 1 1,2,4 1 1,2 1 1,2,4 1 1,2
5 1,5 1 1 1 1 1,5 1 1 1 1 1,5
6 1,2,3,6 1 1,2 1,3 1,2 1 1,2,3,6 1 1,2 1,3 1,2
1 1,7 1 1 1 1 1 1 1,7 1 1 1
8 1,2,4,8 1 1,2 1 1,2,4 1 1,2 1 1,2,4,8 1 1,2
9 1,3,9 1 1 1,3 1 1 1,3 1 1 1,3,9 1
10 1,2,5,10 1 1,2 1 1,2 1,5 1,2 1 1,2 1 1,2,5,10
Por lo tanto,
AA/R = {[(1, 10)] , [(1, 9)] , [(1, 8)] , [(1, 7)] , [(1, 6)] , [(1, 5)] , [(2, 9)] , [(1, 4)] , [(2, 7)] ,
[(3, 10)] , [(1, 3)] , [(3, 8)] , [(2, 5)] , [(3, 7)] , [(4, 9)] , [(1, 2)] , [(5, 9)] , [(4, 7)] ,
[(3, 5)] , [(5, 8)] , [(2, 3)] , [(7, 10)] , [(5, 7)] , [(3, 4)] , [(7, 9)] , [(4, 5)] , [(5, 6)] ,
[(6, 7)] , [(7, 8)] , [(8, 9)] , [(9, 10)] , [(1, 1)] , [(10, 9)] , [(9, 8)] , [(8, 7)] , [(7, 6)] ,
[(6, 5)] , [(5, 4)] , [(9, 7)] , [(4, 3)] , [(7, 5)] , [(10, 7)] , [(3, 2)] , [(8, 5)] , [(5, 3)] ,
[(7, 4)] , [(9, 5)] , [(2, 1)] , [(9, 4)] , [(7, 3)] , [(5, 2)] , [(8, 3)] , [(3, 1)] , [(10, 3)] ,
[(7, 2)] , [(4, 1)] , [(9, 2)] , [(5, 1)] , [(6, 1)] , [(7, 1)] , [(8, 1)] , [(9, 1)] , [(10, 1)]}
= {{(1, 10)} , {(1, 9)} , {(1, 8)} , {(1, 7)} , {(1, 6)} , {(1, 5) , (2, 10)} , {(2, 9)} ,
{(1, 4) , (2, 8)} , {(2, 7)} , {(3, 10)} , {(1, 3) , (2, 6) , (3, 9)} , {(3, 8)} , {(2, 5) , (4, 10)} ,
{(3, 7)} , {(4, 9)} , {(1, 2) , (2, 4) , (3, 6) , (4, 8) , (5, 10)} , {(5, 9)} , {(4, 7)} ,
{(3, 5) , (6, 10)} , {(5, 8)} , {(2, 3) , (4, 6) , (6, 9)} , {(7, 10)} , {(5, 7)} , {(3, 4) , (6, 8)} ,
{(7, 9)} , {(4, 5) , (8, 10)} , {(5, 6)} , {(6, 7)} , {(7, 8)} , {(8, 9)} , {(9, 10)} , {(1, 1)} ,
{(10, 9)} , {(9, 8)} , {(8, 7)} , {(7, 6)} , {(6, 5)} , {(5, 4) , (10, 8)} , {(9, 7)} ,
{(4, 3) , (8, 6)} , {(7, 5)} , {(10, 7)} , {(3, 2) , (6, 4) , (9, 6)} , {(8, 5)} , {(5, 3) , (10, 6)} ,
{(7, 4)} , {(9, 5)} , {(2, 1) , (4, 2) , (6, 3) , (8, 4) , (10, 5)} , {(9, 4)} , {(7, 3)} ,
{(5, 2) , (10, 4)} , {(8, 3)} , {(3, 1) , (6, 2) , (9, 3)} , {(10, 3)} , {(7, 2)} , {(4, 1) , (8, 2)} ,
{(9, 2)} , {(5, 1) , (10, 2)} , {(6, 1)} , {(7, 1)} , {(8, 1)} , {(9, 1)} , {(10, 1)}}
Veamos una graca del conjunto cociente para A = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}.
214
Matematica Discreta Francisco Jose Gonzalez Gutierrez
10
[
(
1
,
1
0
)
]
[
(
3
,
1
0
)
]
[
(
7
,
1
0
)
]
[
(
9
,
1
0
)
]
9
[
(
1
,
9
)
]
[
(
2
,
9
)
]
[
(
4
,
9
)
]
[
(
5
,
9
)
]
[
(
7
,
9
)
]
[
(
8
,
9
)
]
[
(
1
0
,
9
)
]
8
[
(
1
,
8
)
]
[
(
3
,
8
)
]
[
(
5
,
8
)
]
[
(
7
,
8
)
]
[
(
9
,
8
)
]
7
[
(
1
,
7
)
]
[
(
2
,
7
)
]
[
(
3
,
7
)
]
[
(
4
,
7
)
]
[
(
5
,
7
)
]
[
(
6
,
7
)
]
[
(
8
,
7
)
]
[
(
9
,
7
)
]
[
(
1
0
,
7
)
]
6
[
(
1
,
6
)
]
[
(
5
,
6
)
]
[
(
7
,
6
)
]
5
[
(
1
,
5
)
]
[
(
2
,
5
)
]
[
(
3
,
5
)
]
[
(
4
,
5
)
]
[
(
6
,
5
)
]
[
(
7
,
5
)
]
[
(
8
,
5
)
]
[
(
9
,
5
)
]
4
[
(
1
,
4
)
]
[
(
3
,
4
)
]
[
(
5
,
4
)
]
[
(
7
,
4
)
]
[
(
9
,
4
)
]
3
[
(
1
,
3
)
]
[
(
2
,
3
)
]
[
(
4
,
3
)
]
[
(
5
,
3
)
]
[
(
7
,
3
)
]
[(
8
,
3
)
]
[(
1
0
,
3
)
]
2
[
(
1
,
2
)
]
[
(
3
,
2
)
]
[
(
5
,
2
)
]
[(
7
,
2
)
]
[(9
, 2
)]
1
[
(
1
,
1
)
]
[
(
2
,
1
)
]
[(
3
,
1
)
]
[(4
,
1
)]
[(5, 1)]
[(6, 1)]
[(7, 1)]
[(8, 1)]
[(9, 1)]
[(10, 1)]

10
Conjunto cociente

Ejemplo 8.12 Sobre Z

+
Z
+
se define la relacion,
(a, b)R(c, d) a + b = c + d
(a) Probar que R es de equivalencia.
(b) Hallar las clases de equivalencia.
(c) Obtener el conjunto cociente.
Solucion
215
Universidad de Cadiz Departamento de Matematicas
(a) Probemos que R es de equivalencia.
Reexiva. Para todo (a, b) de Z
+
Z
+
se verica que a + b = a + b, de aqu que (a, b)R(a, b) y R
sea reflexiva.
Simetrica. Para todo (a, b) y (c, d) de Z
+
Z
+
, se verifica,
(a, b)R(c, d) a + b = c + d c + d = a + b (c, d)R(a, b)
luego R es simetrica.
Transitiva. Para todo (a, b), (c, d) y (e, f) de AZ
+
Z
+
, se verifica,
(a, b)R(c, d) a + b = c + d
y
(c, d)R(e, f) c + d = e + f
_
_
_
= a + b = e + f (a, b)R(e, f)
luego R es transitiva y, consecuentemente, de equivalencia.
(b) Hallemos las clases de equivalencia.
Sea (a, b) cualquier par de enteros positivos. Entonces,
[(a, b)] = {(x, y) Z
+
Z
+
: (x, y)R(a, b)}
= {(x, y) Z
+
Z
+
: x + y = a + b}
= {(a + b y, y) Z
+
Z
+
}
= {(a + b y, y) : a + b y Z
+
e y Z
+
}
= {(a + b y, y) : a + b y 1 e y 1}
= {(a + b y, y) : y a + b 1 e y 1}
= {(a + b y, y) : 1 y a + b 1}
Por ejemplo,
[(1, 1)] = {(1 + 1 y, y) : 1 y 1 + 1 1} = {(2 y, y) : y = 1} = {(1, 1)}
y
[(5, 8)] = {(5 + 8 y, y) : 1 y 5 + 8 1}
= {(13 y, y) : 1 y 12}
= {(12, 1), (11, 2), (10, 3), (9, 4), (8, 5), (7, 6), (6, 7), (4, 9), (3, 10), (2, 11), (1, 12)}
(c) Obtengamos el conjunto cociente.
Z
+
Z
+
/R =
_
[(a, b)] : (a, b) Z
+
Z
+
_
donde
[(a, b)] = {(a + b y, y) : 1 y a + b 1}
= {(a + b 1, 1) , (a + b 1, 2) , . . . , (2, a + b 2) , (1, a + b 1)}
= [(a + b 1, 1)]
es decir, en cada clase habra un par cuya segunda componente es 1 y que elegiremos como repre-
sentante, luego
Z
+
Z
+
/R =
_
[(a + b 1, 1)] : a Z
+
y b Z
+
_
.
Ademas,
a Z
+
= a 1
y
b Z
+
= b 1
_

_
= a + b 2 = a + b 1 1 = a + b 1 Z
+
216
Matematica Discreta Francisco Jose Gonzalez Gutierrez
es decir, cuando el par (a, b) recorra Z
+
Z
+
, a + b 1 recorrera Z
+
, luego si hacemos a + b 1
igual a k, tendremos que
Z
+
Z
+
/R =
_
[(k, 1)] : k Z
+
_
.
La graca siguiente es una representacion parcial del conjunto cociente.
(1, 10)
(1, 9) (2, 9)
(1, 8) (2, 8) (3, 8)
(1, 7) (2, 7) (3, 7) (4, 7)
(1, 6) (2, 6) (3, 6) (4, 6) (5, 6)
(1, 5) (2, 5) (3, 5) (4, 5) (5, 5) (6, 5)
(1, 4) (2, 4) (3, 4) (4, 4) (5, 4) (6, 4) (7, 4)
(1, 3) (2, 3) (3, 3) (4, 3) (5, 3) (6, 3) (7, 3) (8, 3)
(1, 2) (2, 2) (3, 2) (4, 2) (5, 2) (6, 2) (7, 2) (8, 2) (9, 2)
(1, 1) (2, 1) (3, 1) (4, 1) (5, 1) (6, 1) (7, 1) (8, 1) (9, 1) (10, 1)
[
(
1
,
1
)
]
[
(
2
,
1
)
]
[
(
3
,
1
)
]
[
(
4
,
1
)
]
[
(
5
,
1
)
]
[
(
6
,
1
)
]
[
(
7
,
1
)
]
[
(
8
,
1
)
]
[
(
9
,
1
)
]
[
(
1
0
,
1
)
]
Conjunto cociente

Ejemplo 8.13 En el conjunto Z

+
se define la siguiente relacion R
xRy E
_
x
_
= E (

y)
donde E(x) significa parte entera de x.
Demostrar que se trata de una relacion de equivalencia, hallar las clases de equivalencia y el conjunto
cociente.
Solucion
217
Universidad de Cadiz Departamento de Matematicas
R es de equivalencia.
En efecto, para cada entero positivo x se verifica que E(

x) = E(

x), luego,
x
_
x Z
+
= xRx
_
es decir, R es reexiva.
Tambien es simetrica puesto que,
x, y Z
+
_
xRy = E(

x) = E(

y) E(

y) = E(

x) = yRx

y transitiva, ya que
x, y, z Z
+
_
xRy yRz =
_
E(

x) = E(

y)
_

_
E(

y) = E(

z)
_
= E(

x) = E(

z) = xRz

Clases de equivalencia.
Sea n un n umero entero positivo cualquiera, entonces
[n] =
_
x Z
+
: xRn
_
luego,
x [n] xRn
E (

x) = E (

n)
E (

n)

x < E (

n) + 1
(E (

n))
2
x < (E (

n) + 1)
2
es decir,
[n] =
_
x Z
+
:
_
E
_
n
__
2
x <
_
E
_
n
_
+ 1
_
2
_
Por ejemplo,
[1] =
_
x Z
+
:
_
E
_
1
__
2
x <
_
E
_
1
_
+ 1
_
2
_
= {x Z
+
: 1 x < 4} = {1, 2, 3}
[4] =
_
x Z
+
:
_
E
_
4
__
2
x <
_
E
_
4
_
+ 1
_
2
_
= {x Z
+
: 4 x < 9} = {4, 5, 6, 7, 8}
y as, sucesivamente.
Conjunto cociente.
Observemos lo siguiente:
E(

1) = 1, E(

2) = 1, E(

3) = 1,
E(

4) = 2, E(

5) = 2, E(

6) = 2, E(

7) = 2, E(

8) = 2
E(

9) = 3, E(

10) = 3, . . . . . . . . . E(

15) = 3
E(

16) = 4, E(

17) = 4, . . . . . . . . . . . . E(

24) = 4
E(

25) = 4, . . . . . . . . . . . . . . . . . .
y as sucesivamente, de aqu que el conjunto cociente sea
Z
+
/R = {[1] , [4] , [9] , [16] , [25] . . . . . .}
=
__
n
2

: n Z
+
_
=
__
x Z
+
:
_
E
_

n
2
__
2
x <
_
E
_

n
2
_
+ 1
_
2
__
=
__
x Z
+
: n
2
x < (n + 1)
2
_
n Z
+
_
= {{1, 2, 3} , {4, 5, 6, 7, 8} {9, 10, 11, 12, 13, 14, 15} , {16, 17, 18, 19, 20, 21, 22, 23, 24} , . . .}

218
Matematica Discreta Francisco Jose Gonzalez Gutierrez
Ejemplo 8.14 Dado A = R
2
, sea R la siguiente relacion en A,
(x
1
, y
1
)R(x
2
, y
2
) x
1
= x
2
(a) Verificar que es una relacion de equivalencia.
(b) Describir geometricamente las clases de equivalencia y el conjunto cociente que la relacion R de-
termina en el conjunto A.
Solucion
(a) Veamos que es una relacion de equivalencia.
Reexiva. Para todo (x, y) R
2
, se verifica que x = x luego (x, y)R(x, y).
Simetrica. Dados dos puntos cualesquiera de R
2
, se verifica que:
(x
1
, y
1
)R(x
2
, y
2
) x
1
= x
2
= x
2
= x
1
(x
2
, y
2
)R(x
1
, y
1
)
Transitiva. Para cada terna de puntos de R
2
, se verifica:
(x
1
, y
1
)R(x
2
, y
2
) x
1
= x
2
(x
2
, y
2
)R(x
3
, y
3
) x
2
= x
3
_
= x
1
= x
3
(x
1
, y
1
)R(x
3
, y
3
)
(b) Estudiemos las clases de equivalencia y el conjunto cociente.
Si (a, b) es cualquier punto de R
2
, entonces
[(a, b)] =
_
(x, y) R
2
: (x, y)R(a, b)
_
luego,
(x, y) [(a, b)] (x, y)R(a, b) x = a
de aqu que
[(a, b)] =
_
(x, y) R
2
: x = a
_
es decir, la clase de equivalencia de un punto (a, b) es el conjunto formado por todos los puntos del
plano cuya primera componente es igual a a, o lo que es igual la recta paralela al eje de ordenadas
x = a.
El conjunto cociente sera
R
2
/R = {x = a : a R}
es decir el plano queda partido en rectas paralelas al eje de ordenadas.
Ejemplo 8.15 En R se considera la siguiente relacion:
xRy
_
_
_
x = y
o
x + y = 3
(a) Probar que R es una relacion de equivalencia.
(b) Calcular la clase de equivalencia de 113.
(c) Calcular la clase de equivalencia de un elemento x.
Solucion
219
Universidad de Cadiz Departamento de Matematicas
(a) Veamos si es de equivalencia.
Reexiva. Dado cualquier n umero real x, se verifica que x = x, luego xRx.
Simetrica. Dados dos n umeros reales cualesquiera, x e y, se tiene
xRy
_
_
_
x = y

x + y = 3
_
_
_

_
_
_
y = x

y + x = 3
_
_
_
yRx
Transitiva. Si x, y, z son tres n umeros reales arbitrarios. Entonces,
(xRy) (yRz) = [(x = y) (x + y = 3)] [(y = z) (y + z = 3)]
= [((x = y) (x + y = 3)) (y = z)]
[((x = y) (x + y = 3)) (y + z = 3)]
= [((x = y) (y = z)) ((x + y = 3) (y = z))]
[((x = y) (y + z = 3)) ((x + y = 3) (y + z = 3))]
[(x = z) (x + z = 3)] [(x + z = 3) (x = z)]
= (x = z) (x + z = 3)
xRz
(b) En general,
[a] = {x R : xRa}
luego,
x [a] xRa
_
_
_
x = a

x + a = 3 = x = 3 a
es decir,
[a] = {x R : x = a x + a = 3} = {a, 3 a}
de aqu que
[113] = {110, 113}
(c) Del apartado anterior
[x] = {x, 3 x}

Ejemplo 8.16 En el conjunto A = {1, 2, 3, . . . . . . , q}, siendo q un n umero entero positivo, se define la
siguiente relacion:
aRb m.c.d.(a, p) = m.c.d.(b, p)
Para cada a, b de A y p Z
+
.
(a) Probar que R es una relacion de equivalencia.
(b) Calcular el conjunto cociente que la relacion R determina sobre A para q = 7 y p = 18.
Solucion
(a) Dado que la relacion R viene caracterizada por una igualdad, sera reflexiva, simetrica y transitiva,
por tanto, es de equivalencia.
220
Matematica Discreta Francisco Jose Gonzalez Gutierrez
(b) Calculamos el conjunto cociente cuando
A = {1, 2, 3, 4, 5, 6, 7}
y
aRb m.c.d.(a, 18) = m.c.d(b, 18).
Por definicion,
A/R = {[a] : a A}
y
[a] = {x A : xRa}
luego,
x [a] xRa m.c.d.(x, 18) = m.c.d.(a, 18)
de aqu que
[a] = {x A : m.c.d.(x, 18) = m.c.d.(a, 18)} .
Entonces,
[1] = {x A : m.c.d.(x, 18) = m.c.d.(1, 18)} = {x A : m.c.d.(x, 18) = 1} = {1, 5, 7}
[2] = {x A : m.c.d.(x, 18) = m.c.d.(2, 18)} = {x A : m.c.d.(x, 18) = 2} = {2, 4}
[3] = {x A : m.c.d.(x, 18) = m.c.d.(3, 18)} = {x A : m.c.d.(x, 18) = 3} = {3}
[4] = [2]
[5] = [1]
[6] = {x A : m.c.d.(x, 18) = m.c.d.(6, 18)} = {x A : m.c.d.(x, 18) = 1} = {6}
[7] = [1]
Por tanto,
A/R = {[1] , [2] , [3] , [6]} = {{1, 5, 7} , {2, 4} , {3} , {6}}

Ejemplo 8.17 En R \ {0}, se define la relacion:

aRb a +
1
a
= b +
1
b
De que tipo de relacion se trata?
Solucion
Dado que la relacion viene caracterizada a traves de una igualdad, sera reexiva, simetrica y transitiva,
luego es de equivalencia.
Clases de equivalencia. Sea a cualquiera de R \ {0}, entonces
[a] = {x R \ {0} : xRa}
221
Universidad de Cadiz Departamento de Matematicas
luego,
x [a] xRa
x +
1
x
= a +
1
a
x a +
1
x

1
a
= 0
x a
x a
ax
= 0
(x a)
_
1
1
ax
_
= 0

_
x = a

1
1
ax
= 0

_
x = a

x =
1
a
Consecuentemente,
[a] =
_
1
a
, a
_
Conjunto cociente.
(R \ {0}) /R = {[a] : a R \ {0}}
Observese que a R, se verica que
[a] =
_
1
a
_
y
1
a
= [1, 0) (0, 1]
luego en este intervalo hay un representante de cada clase, de aqu que
(R \ {0}) /R = {[a] : a [1, 0) (0, 1]}

Ejemplo 8.18 En el conjunto A = {12, 52, 16, 17, 26, 29, 47, 35, 53} se define la relacion:
aRb la suma de las cifras de a es igual a la suma de las cifras de b
siendo a y b elementos arbitrarios de A. Estudiar la relacion.
Solucion
Dado que la relacion esta denida por una igualdad, sera reexiva, simetrica y transitiva, por tanto es
de equivalencia.
Veamos el conjunto cociente.
A/R = {[a] : a R}
222
Matematica Discreta Francisco Jose Gonzalez Gutierrez
Los resultados que dan la suma de las diferentes cifras de los n umeros de A, son:
1 + 2 = 3
5 + 2 = 7
1 + 6 = 7
1 + 7 = 8
2 + 6 = 8
2 + 9 = 11
4 + 7 = 11
3 + 5 = 8
5 + 3 = 8
habra, por tanto, cuatro clases de equivalencia:
[12]
[52] = [16]
[17] = [26] = [35] = [53]
[29] = [47]
y el conjunto cociente sera:
A/R = {[12] , [52] , [17] , [29]}
= {{12} , {16, 52} , {17, 26, 35, 53} , {29, 47}}

223