Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Leccion8 - Relaciones de Equivalencia PDF
Leccion8 - Relaciones de Equivalencia PDF
8. Relaciones de Equivalencia
ii
Lección 8
Relaciones de Equivalencia
Contenido
8.1 Generalidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199
8.1.1 Definición . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 200
8.1.2 Digrafo asociado a una Relación de Equivalencia . . . . . . . . . . . . . . . . . 201
8.2 Clases de Equivalencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201
8.2.1 Definición . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201
8.2.2 Lema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 202
8.3 Conjunto Cociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 203
8.3.1 Teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 203
8.3.2 Definición . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204
8.3.3 Teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 208
8.1 Generalidades
Este tipo de relaciones binarias juegan un papel importante en todas las ciencias porque permiten clasi-
ficar los elementos del conjunto en el que están definidas.
Muchas veces trataremos a los elementos de un conjunto más por sus propiedades que como objetos
individuales. En tales situaciones, podremos ignorar todas las propiedades que no sean de interés y
tratar elementos diferentes como “equivalentes” o indistinguibles, a menos que puedan diferenciarse
utilizando únicamente las propiedades que nos interesen.
199
Universidad de Cádiz Departamento de Matemáticas
Estas propiedades son la base para una clase importante de relaciones binarias sobre un conjunto.
8.1.1 Definición
Una relación binaria R definida sobre un conjunto A se dice que es de equivalencia cuando es reflexiva,
simétrica y transitiva.
R = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 4), (4, 3), (3, 3), (4, 4)} .
Ver si R es de equivalencia.
Solución
Reflexividad. En efecto,
(1, 1) ∈ R, (2, 2) ∈ R, (3, 3) ∈ R y (4, 4) ∈ R
luego,
∀x (x ∈ A =⇒ xRx)
es decir, R es reflexiva.
Simetrı́a. 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 relación propuesta es simétrica.
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 relación es, por tanto, transitiva.
Ejemplo 8.2
200
Matemática Discreta Francisco José González Gutiérrez
(b) La relación vacı́a ∅ es una relación de equivalencia sobre el conjunto vacı́o ∅. No es, sin embargo,
una relación de equivalencia sobre cualquier conjunto no vacı́o ya que no es reflexiva.
(c) La relación de igualdad sobre cualquier conjunto es una relación de equivalencia.
El digrafo asociado a una relación de equivalencia, R, tiene algunas caracterı́sticas que lo distinguen.
− Como R es reflexiva, cada vértice tiene un bucle.
− La simetrı́a implica que si existe un arco desde a hasta b, también 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 relación de equivalencia es un
digrafo completo.
8.2.1 Definición
Sea R una relación 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 estén relacionados con él. La
notaremos [a], es decir,
[a] = {x ∈ A : xRa}
Solución
[a] = {a, b}
[b] = {a, b}
[c] = {c, d}
• • • •
a b c d
[d] = {c, d}
Digrafo Clases
Ejemplo 8.3
Obsérvese que [a] = [b] y [c] = [d], es decir, existen sólo dos clases de equivalencia.
201
Universidad de Cádiz Departamento de Matemáticas
8.2.2 Lema
Demostración
x ∈ [a] ⇐⇒ xRa
=⇒ xRb {Hipótesis y transitividad de R}
⇐⇒ x ∈ [b]
x ∈ [b] ⇐⇒ xRb
=⇒ xRa {Simetrı́a de la hipótesis y transitividad de R}
⇐⇒ x ∈ [a]
En efecto,
[a] ∩ [b] 6= ∅ =⇒ ∃x ∈ A : x ∈ [a] ∧ x ∈ [b]
⇐⇒ ∃x ∈ A : xRa ∧ xRb
=⇒ ∃x ∈ A : aRx ∧ xRb {Simetrı́a}
=⇒ aRb {Transitividad}
⇐⇒ [a] = [b] {Apartado (ii)}
Obsérvese 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
Matemática Discreta Francisco José González Gutiérrez
8.3.1 Teorema
Demostración
Dado que cada clase de equivalencia es un subconjunto de A, el conjunto de todas ellas será una familia
de subconjuntos de A.
1. [a] 6= ∅, ∀a ∈ A
En efecto, como ya dijimos antes, al menos a pertenece a su clase de equivalencia, luego son no
vacı́as.
luego,
!
[
∀x x ∈ [a] =⇒ x ∈ A
a∈A
es decir,
[
[a] ⊆ A
a∈A
luego,
!
[
∀x x ∈ A =⇒ x ∈ [a]
a∈A
es decir,
[
A⊆ [a]
a∈A
203
Universidad de Cádiz Departamento de Matemáticas
8.3.2 Definición
Dada una relación 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 relación de equivalencia R.
A/R = {[a] : a ∈ A}
Ejemplo 8.4 Determinar el conjunto cociente A/R siendo R la relación de equivalencia del ejemplo
8.1
Solución
A = {1, 2, 3, 4}
Consecuentemente,
A/R = {[1] , [3]} = {{1, 2} , {3, 4}}
Solución
(a) Probaremos que R cumple las condiciones exigidas para ser de equivalencia.
a+b=b+a
de aquı́ que
(a, b)R(a, b)
y la relación es, por tanto, reflexiva.
(a, b)R(c, d)
204
Matemática Discreta Francisco José González Gutiérrez
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, simétrica.
Transitividad. Sean (a, b), (c, d) y (e, f ) tres elementos arbitrarios de Z+ × Z+ , tales que
a+d+c+f =b+c+d+e
donde d es la diferencia entre a y b. Cuando el par (a, b) recorra todo el conjunto Z+ ×Z+ , su diferencia, d,
recorrerá el conjunto Z de los números enteros ya que será un entero negativo, cero o positivo dependiendo
de que a sea menor, igual o mayor que b.
(x, y) ∈ Z+ × Z+ : x − y = d, con d ∈ Z
Por ejemplo,
(x, y) ∈ Z+ × Z+ : x − y = 0
será 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),
y el conjunto
205
Universidad de Cádiz Departamento de Matemáticas
será, por ejemplo, [(1, 9)], clase de equivalencia del par (1, 9).
es decir,
Z+ × Z+ /R = {(x, y) ∈ Z+ × Z+ : x − y = d}d∈Z− ,
{(x, y) ∈ Z+ × Z+ : x − y = 0} ,
{(x, y) ∈ Z+ × Z+ : x − y = d}d∈Z+
= {(x, y) ∈ Z+ × Z+ : x − y = −d}d∈Z+ ,
{(x, y) ∈ Z+ × Z+ : x − y = 0} ,
{(x, y) ∈ Z+ × Z+ : x − y = d}d∈Z+
= {(x, x + d) ∈ Z+ × Z+ }d∈Z+ , {(x, x) ∈ Z+ × Z+ } , {(y + d, y) ∈ Z+ × Z+ }d∈Z+
= {[(x, x + d)] , [(x, x)] , [(y + d, y)] , con d ∈ Z+ }x∈Z+ ,y∈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+
(e) Construiremos una gráfica representativa del conjunto cociente para el subconjunto de Z+ ,
A = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} .
206
Matemática Discreta Francisco José González Gutiérrez
(1, 10) (2, 10) (3, 10) (4, 10) (5, 10) (6, 10) (8, 10) (7, 10) (9, 10) (10, 10)
]
0)
,1
[(1
(1, 9) (2, 9) (3, 9) (4, 9) (5, 9) (6, 9) (7, 9) (8, 9) (9, 9) (10, 9)
)]
,9
[(1
(1, 8) (2, 8) (3, 8) (4, 8) (5, 8) (6, 8) (7, 8) (8, 8) (9, 8) (10, 8)
)]
,8
[(1
(1, 7) (2, 7) (3, 7) (4, 7) (5, 7) (6, 7) (7, 7) (8, 7) (9, 7) (10, 7)
)]
,7
[(1
(1, 6) (2, 6) (3, 6) (4, 6) (5, 6) (6, 6) (7, 6) (8, 6) (9, 6) (10, 6)
)]
,6
[(1
(1, 5) (2, 5) (3, 5) (4, 5) (5, 5) (6, 5) (7, 5) (8, 5) (9, 5) (10, 5)
)]
,5
[(1
(1, 4) (2, 4) (3, 4) (4, 4) (5, 4) (6, 4) (7, 4) (8, 4) (9, 4) (10, 4)
)]
,4
[(1
(1, 3) (2, 3) (3, 3) (4, 3) (5, 3) (6, 3) (7, 3) (8, 3) (9, 3) (10, 3)
)]
,3
[(1
(1, 2) (2, 2) (3, 2) (4, 2) (5, 2) (6, 2) (7, 2) (8, 2) (9, 2) (10, 2)
)]
,2
[(1
(1, 1) (2, 1) (3, 1) (4, 1) (5, 1) (6, 1) (7, 1) (8, 1) (9, 1) (10, 1)
]
)]
)]
)]
)]
)]
)]
)]
)]
)]
1)
,1
,1
,1
,1
,1
,1
,1
,1
,1
0,
[(1
[(2
[(3
[(4
[(5
[(6
[(7
[(8
[(9
[(1
Conjunto cociente
Solución
Obsérvese que
a − b es múltiplo de 3 ⇐⇒ a − b = 3k; k ∈ Z.
luego la relación puede escribirse en la forma
aRb ⇐⇒ a − b = 3k; k ∈ Z
Reflexiva. 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 Cádiz Departamento de Matemáticas
luego aRa.
a − b = 3k; k ∈ Z
de aquı́ que
b − a = 3(−k); −k ∈ Z
y por tanto, bRa.
a − b = 3k1 ; k1 ∈ Z y b − c = 3k2 ; k2 ∈ Z
a − c = 3(k1 + k2 ); k1 + k2 ∈ Z
luego aRc.
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 será, por tanto,
8.3.3 Teorema
Dada una partición de un conjunto A, puede definirse en él una relación de equivalencia R tal que el
conjunto cociente A/R coincida con la partición dada.
Demostración
Dos elementos de A están relacionados si, y sólo si pertenecen al mismo subconjunto de la partición.
aRb ⇐⇒ ∃Ai ⊆ A : a y b ∈ Ai
En efecto,
208
Matemática Discreta Francisco José González Gutiérrez
luego
n
[
a∈ Ai =⇒ ∃Ai : a ∈ Ai =⇒ a y a ∈ Ai =⇒ aRa
i=1
por lo tanto,
∀a (a ∈ A =⇒ aRa)
es decir, la relación es reflexiva.
o sea,
∀a, b ∈ A (aRb =⇒ bRa)
y la relación es, por tanto, simétrica.
aRb ⇐⇒ ∃Ai ⊆ A : a y b ∈ Ai
y
bRc ⇐⇒ ∃Aj ⊆ A : b y c ∈ Aj
Por la forma en que hemos definido la relación, se sigue directamente que las clases de equivalencia
correspondientes son los subconjuntos de la partición, luego
A/R = {A1 , A2 , . . . , An }
Ejemplo 8.7 Sea A = {1, 3, 3, 4} y {{1, 2, 3} , {4}} una partición de A. Determı́nese la relación de
equivalencia correspondiente en A.
Solución
Si tenemos en cuenta que las clases de equivalencia son los subconjuntos de la partición, 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 Cádiz Departamento de Matemáticas
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 relación R cuya matriz se da es una relación de equivalencia sobre el
conjunto A = {a, b, c}.
1 0 0
(a) MR = 0 1 1
0 1 1
1 0 1
(b) MR = 0 1 0
0 0 1
Solución
Supongamos que rij 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 relación propuesta sea de equivalencia.
Reflexiva. En efecto lo es ya que todos los elementos de la diagonal principal son unos, lo cual
significa que
∀x (x ∈ A =⇒ xRx)
y
si rik = 0, entonces rij = 0 ∨ rjk = 0
(b) La relación propuesta no es de equivalencia ya que r13 = 1 y r31 = 0, lo cual significa que
Ejemplo 8.9 Determinar si las relaciones cuyos grafos dirigidos se dan en la figura siguiente son de
equivalencia.
210
Matemática Discreta Francisco José González Gutiérrez
1 • • 2
1 • • 2
6 •
5 •
3 •
4 • • 3
(a) (b)
Solución
Ejemplo 8.10 Si {{a, c, e} , {b, d, f }} es una partición del conjunto A = {a, b, c, d, e, f }, determinar la
relación de equivalencia correspondiente.
Solución
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) están en R
211
Universidad de Cádiz Departamento de Matemáticas
también,
[b] = {b, d, f } , luego (b, b), (b, d), (b, f ), (d, b), (d, d), (d, f ), (f, b), (f, d) y (f, f ) están en R
Consecuentemente, la relación 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 )}
(a, b)R(c, d) ⇐⇒ ad = bc
Solución
luego,
∀(a, b), (c, d) ∈ Z+ × Z+ [(a, b)R(c, d) =⇒ (c, d)R(a, b)]
es decir, R es simétrica.
Transitiva. Si (a, b), (c, d) y (e, f ) son cualesquiera de Z+ × Z+ , entonces
(a, b)R(c, d) ⇐⇒ ad = bc
y =⇒ adcf = bcde =⇒ af = be ⇐⇒ (a, b)R(e, f )
(c, d)R(e, f ) ⇐⇒ cf = de
212
Matemática Discreta Francisco José González Gutiérrez
ahora bien,
9
9 3 3
= 15 = , siendo 3 = m.c.d.(9, 15)
15 3
5
y
3 3k
= , con k ∈ Z+
5 5k
luego,
+ + x 3
[(9, 15)] = (x, y) ∈ Z × Z : = = [(3, 5)]
y 5
y
x 3
[(3, 5)] = (x, y) ∈ Z+ × Z+ : =
y 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áloga.
a
− Si m.c.d.(a, b) = 1, es decir si la fracción es irreducible, entonces
b
a ka
= , con k ∈ Z+
b kb
− Si m.c.d.(a, b) = d 6= 1, entonces
a
a d
= b
b d
a
d
y la fracción b
es irreducible, luego
d
a
k ad
d
b
= con k ∈ Z+
d k db
213
Universidad de Cádiz Departamento de Matemáticas
luego tenemos que saber cuantos pares de números primos entre sı́ hay en el conjunto A × A. En la
siguiente tabla figuran los divisores de todos los números 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,
A × A/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)}}
214
Matemática Discreta Francisco José González Gutiérrez
10 • • • • • • • • • • •
]
0)
[(1, 9)] [(1, 10)]
,1
0)]
0)
[(9
,1
[(3, 1
[(7
]
9)
]
, 9)
0,•
9)]
9 • • • • • • • • • • 1
)]
[(
[(5
,9
)]
]
[(4,
[(2, 9)
,9
[(8
[(7
)]
,8
8 • • • • • • • • • ([ 9 • •
)]
[(1, 8)]
8)]
,8
8)]
[(7
[(3,
,
[(5
)]
]
, 7•
, 7)
7)]
7 • • • • • • • • 8 ]• •
)]
[(4 [( )]
7)
,7
[(3,
)]
[(1, 7)]
)]
, 7
0,
[(6
,7
[(9
[(2, 7
[(1
[(5
)]
7, 6•
6 • • • • • • • ( • • •
)]
[
,6
[(1, 6)]
[(5
)]
5 • • • • • • 6, 5• •
[( )] • • )] •
)]
)] ,5 ,5
,5
,5
[(1, 5)]
]
5)]
[(9
, 5)
[(7 [(8
[(4
[(2,
[(3
)] 4)]
5, 4• [(9, •
4 • • • • • [ ( • • )] • •
)]
,4
,4
)]
[ (7
[(3
[(1, 4
)] 3)]
4, 3• [(7,•
3 • • • • [ ( • • • • 3)] •
3)] 3)] [(10,
[(8,
)]
,
)]
[( 5
,3
3
[(2
[(1,
2 • • • • • • • )] • • ]• •
)] 2)] [(7, 2 [(9, 2)
,2 [(5,
]
[(3
, 2)
[(1
1 • • ]• • • •
[(6, 1)]
• • • • •
, 1) [(3,
1)] [(4, 1
)] [(5, 1)] [(7, 1)] [(8, 1)] [(9, 1)] [(10, 1)]
)]
[(2
,1
[(1
• • • • • • • • • •
1 2 3 4 5 6 7 8 9 10
Conjunto cociente
(a, b)R(c, d) ⇐⇒ a + b = c + d
Solución
215
Universidad de Cádiz Departamento de Matemáticas
luego R es simétrica.
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 =⇒ a + b = e + f ⇐⇒ (a, b)R(e, f )
(c, d)R(e, f ) ⇐⇒ c + d = e + f
Por ejemplo,
donde
[(a, b)] = {(a + b − y, y) : 1 6 y 6 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 habrá 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+ .
Además,
a ∈ Z+ =⇒ a > 1
y =⇒ a + b > 2 =⇒ a + b − 1 > 1 =⇒ a + b − 1 ∈ Z+
b ∈ Z+ =⇒ b > 1
216
Matemática Discreta Francisco José González Gutiérrez
(1, 10)
(1, 9) (2, 9)
(1, 1) (2, 1) (3, 1) (4, 1) (5, 1) (6, 1) (7, 1) (8, 1) (9, 1) (10, 1)
[(1
[(1
[(2
[(3
[(4
[(5
[(6
[(7
[(8
[(9
0,
,1
,1
,1
,1
,1
,1
,1
,1
,1
1
)]
)]
)]
)]
)]
)]
)]
)]
)]
)]
Conjunto cociente
Demostrar que se trata de una relación de equivalencia, hallar las clases de equivalencia y el conjunto
cociente.
Solución
217
Universidad de Cádiz Departamento de Matemáticas
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 reflexiva.
También es simétrica 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úmero entero positivo cualquiera, entonces
[n] = x ∈ Z+ : xRn
luego,
x ∈ [n] ⇐⇒ xRn
√ √
⇐⇒ E ( x) = E ( n)
√ √ √
⇐⇒ E ( n) 6 x < E ( n) + 1
√ 2 √ 2
⇐⇒ (E ( n)) 6 x < (E ( n) + 1)
es decir, n √ 2 √ 2 o
[n] = x ∈ Z+ : E n 6x< E n +1
Por ejemplo,
n √ 2 √ 2 o
[1] = x ∈ Z+ : E 1 6x< E 1 +1 = {x ∈ Z+ : 1 6 x < 4} = {1, 2, 3}
n √ 2 √ 2 o
[4] = x ∈ Z+ : E 4 6x< E 4 +1 = {x ∈ Z+ : 4 6 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] . . . . . .}
2
= n : n ∈ Z+
√ 2 √ 2
= x ∈ Z+ : E n2 6x< E n2 + 1
= x ∈ Z+ : n2 6 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
Matemática Discreta Francisco José González Gutiérrez
(x1 , y1 )R(x2 , y2 ) ⇐⇒ x1 = x2
(b) Describir geométricamente las clases de equivalencia y el conjunto cociente que la relación R de-
termina en el conjunto A.
Solución
Reflexiva. Para todo (x, y) ∈ R2 , se verifica que x = x luego (x, y)R(x, y).
Simétrica. Dados dos puntos cualesquiera de R2 , se verifica que:
luego,
(x, y) ∈ [(a, b)] ⇐⇒ (x, y)R(a, b) ⇐⇒ x = a
de aquı́ que
[(a, b)] = (x, y) ∈ R2 : 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 será
R2 /R = {x = a : a ∈ R}
es decir el plano queda partido en rectas paralelas al eje de ordenadas.
Solución
219
Universidad de Cádiz Departamento de Matemáticas
(b) En general,
[a] = {x ∈ R : xRa}
luego,
x=a
x ∈ [a] ⇐⇒ xRa ⇐⇒ ∨
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}
Ejemplo 8.16 En el conjunto A = {1, 2, 3, . . . . . . , q}, siendo q un número entero positivo, se define la
siguiente relación:
aRb ⇐⇒ m.c.d.(a, p) = m.c.d.(b, p)
Para cada a, b de A y p ∈ Z+ .
(b) Calcular el conjunto cociente que la relación R determina sobre A para q = 7 y p = 18.
Solución
(a) Dado que la relación R viene caracterizada por una igualdad, será reflexiva, simétrica y transitiva,
por tanto, es de equivalencia.
220
Matemática Discreta Francisco José González Gutiérrez
A = {1, 2, 3, 4, 5, 6, 7}
y
aRb ⇐⇒ m.c.d.(a, 18) = m.c.d(b, 18).
Por definición,
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,
Por tanto,
A/R = {[1] , [2] , [3] , [6]} = {{1, 5, 7} , {2, 4} , {3} , {6}}
1 1
aRb ⇐⇒ a + =b+
a b
Solución
Dado que la relación viene caracterizada a través de una igualdad, será reflexiva, simétrica y transitiva,
luego es de equivalencia.
221
Universidad de Cádiz Departamento de Matemáticas
luego,
x ∈ [a] ⇐⇒ xRa
1 1
⇐⇒ x+ =a+
x a
1 1
⇐⇒ x−a+ − =0
x a
x−a
⇐⇒ x−a− =0
ax
1
⇐⇒ (x − a) 1 − =0
ax
x=a
⇐⇒ ∨
1− 1 =0
ax
x = a
⇐⇒ ∨
x= 1
a
Consecuentemente,
1
[a] = ,a
a
Conjunto cociente.
(R \ {0}) /R = {[a] : a ∈ R \ {0}}
Ejemplo 8.18 En el conjunto A = {12, 52, 16, 17, 26, 29, 47, 35, 53} se define la relación:
Solución
Dado que la relación está definida por una igualdad, será reflexiva, simétrica y transitiva, por tanto es
de equivalencia.
222
Matemática Discreta Francisco José González Gutiérrez
Los resultados que dan la suma de las diferentes cifras de los números 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
[12]
[52] = [16]
[17] = [26] = [35] = [53]
[29] = [47]
223