Trabajo Práctico nº 6: Relaciones

1. Con los conjuntos 𝑨 y 𝑩 dados para cada caso, siempre que sea posible, enumera los pares ordenados de
que pertenecen a la relación y realiza una representación gráfica:
a. 𝐴 = {2, 7} y 𝐵 = {4, 8, 10, 14}; ℛ = {(𝑥, 𝑦) | 𝑦 = 2𝑥}
b. 𝐴 = (3, 9) y 𝐵 = [−1, 5); (𝑎, 𝑏) ∈ ℛ 𝑎 < 𝑏
c. 𝐴 = {0, 1, 2, 3, 4} y 𝐵 = {0, 1, 2, 3}; (𝑎, 𝑏) ∈ ℛ 𝑎 = 𝑏
d. 𝐴 = {0, 1, 2, 3, 4} y 𝐵 = {0, 1, 2, 3}; (𝑎, 𝑏) ∈ ℛ 𝑎 + 𝑏 = 3
e. 𝐴 = {0, 1, 2, 3, 4} y 𝐵 = {0, 1, 2, 3}; (𝑎, 𝑏) ∈ ℛ 𝑎|𝑏
2. Estudia las propiedades de las siguientes relaciones, si el conjunto 𝑨 es el conjunto de personas en la
provincia de Jujuy:
a. 𝑥 ℛ 𝑦 ⇔ 𝑥 es al menos tan alto como 𝑦.
b. 𝑥 ℛ 𝑦 ⇔ 𝑥 es más alto que 𝑦.
c. 𝑥 ℛ 𝑦 ⇔ 𝑥 es hijo de 𝑦.
d. 𝑥 ℛ 𝑦 ⇔ 𝑥 tiene el mismo padre que 𝑦.
e. 𝑥 ℛ 𝑦 ⇔ 𝑥 trabaja en la misma empresa que 𝑦.

3. Dadas las relaciones definidas en un conjunto 𝑨 = {𝟏, 𝟐, 𝟑, 𝟒}:

i. Construye la matriz de la relación 𝑀𝑅
ii. Representa la relación mediante un digrafo.
iii. Indica qué propiedades satisface (recuerda justificar tu respuesta de forma breve y clara considerando
cada representación de la relación).
iv. Indica si la relación es una relación de equivalencia. En ese caso, indica las clases y el conjunto cociente.
v. Indica si la relación es una relación de orden amplio. Si lo es, indica la relación inversa.
a. 𝑅1 = {(1, 1); (1, 4); (2, 3); (3,3); (4,1); (4, 3); (4, 4)}
b. 𝑅2 = {(1,1); (1, 2); (2, 2); (2,3); (4,4); (4,1)}
c. 𝑅3 = {(2, 3); (3, 2); (4, 4); (1, 1)}
d. 𝑅4 = {(1, 1); (1, 4); (2, 2); (3, 4); (3, 3); (4, 3); (4, 1); (4, 4)}
e. 𝑅5 = {(1, 2); (1, 3); (2, 1); (2, 2); (3,1); (3, 3); (4, 4)}
f. 𝑅6 = {(1, 1); (1, 3); (1, 4); (2, 1); (2, 2); (2, 3); (2, 4); (3, 2); (4, 2)}
g. 𝑅7 = {(1, 1); (2, 2); (3, 3); (4, 4)}
h. 𝑅8 = {(1, 1); (1, 3); (2, 2); (3, 1); (3, 3); (4, 4)}
i. 𝑅9 = {(1, 1); (1, 3); (1, 2); (1, 4); (3, 3); (4, 4); (2, 2)}
j. 𝑅10 = {(1, 3); (3, 1); (2, 4); (3, 4)}

4. Dibuja el diagrama de Hasse correspondiente a cada uno de los siguientes ordenes parciales. Indica si son
ordenes totales o parciales. Luego, encuentra el orden parcial dual.
a. 𝐴 = {𝑎, 𝑏, 𝑐}; ℛ1 = {(𝑎, 𝑎), (𝑏, 𝑏), (𝑐, 𝑐), (𝑎, 𝑏), (𝑏, 𝑐), (𝑎, 𝑐)}
b. 𝐴 = {𝑎, 𝑏, 𝑐, 𝑑}; ℛ2 = {(𝑎, 𝑎), (𝑏, 𝑏), (𝑐, 𝑐), (𝑑, 𝑑), (𝑎, 𝑏), (𝑎, 𝑐)}
c. 𝐴 = {∅, {𝑎}, {𝑎, 𝑏}, {𝑐}, {𝑎, 𝑐}, {𝑏}}; 𝑈 ℛ3 𝑉 ⇔ 𝑈 ⊆ 𝑉
d. 𝐴 = {2, 3, 5, 7, 21, 42, 105, 210}; 𝑎 ℛ4 𝑏 ⇔ 𝑎|𝑏 (𝑎 es divisor de 𝑏)
e. 𝐴 = {3, 6, 9, 18, 54, 72, 108, 162}; 𝑎 ℛ5 𝑏 ⇔ 𝑎|𝑏 (𝑎 es divisor de 𝑏)

5. Para cada uno de los diagramas de Hasse, dibuja el digrafo asociado a la relación, lista los pares ordenados
que pertenecen a la relación y encuentra el conjunto en el que se define la relación.
 Diagrama 5.1 Diagrama 5.2 Diagrama 5.3 Diagrama 5.4 Diagrama 5.5
6. Para las siguientes relaciones de equivalencia,
i. Indica la clase de equivalencia del elemento 𝑥 (𝑥̅ 𝑜 [𝑥])
ii. Indica otro nombre para la clase de equivalencia del elemento 𝑥
iii. Lista todas las clases
iv. Indica el conjunto cociente
a. ℛ1 = {(𝑎, 𝑎), (𝑏, 𝑏), (𝑐, 𝑐), (𝑎, 𝑐), (𝑐, 𝑎)} con 𝑥 = 𝑎
b. ℛ2 = {(1, 1), (2, 2), (1, 2), (2, 1), (1, 3), (3, 1), (3, 2), (2, 3), (3, 3), (4, 4), (5, 5), (4, 5), (5, 4)} con 𝑥 = 5
c. ℛ3 = {((0, 0), (0, 0)), ((0, 0), (1, 1)), ((1, 1), (1, 1)), ((1, 1), (0, 0)), ((1, 0), (1, 0)),
((0, 1), (1, 0)), ((1, 0), (0, 1)), ((0, 1), (0, 1))} con 𝑥 = (0, 1)
d. Relación de congruencia módulo 2 en el conjunto de los números enteros (ℤ), con 𝑥 = 1
e. Relación de congruencia módulo 5 en el conjunto de los números enteros (ℤ), con 𝑥 = −3

7. Compruebe que para los enteros 𝒙 e 𝒚 dados, (𝒙 + 𝒚) 𝒎𝒐𝒅 𝒏 = (𝒙 𝒎𝒐𝒅 𝒏 + 𝒚 𝒎𝒐𝒅 𝒏)𝒎𝒐𝒅 𝒏 y
(𝒙 ∙ 𝒚) 𝒎𝒐𝒅 𝒏 = (𝒙 𝒎𝒐𝒅 𝒏 ∙ 𝒚 𝒎𝒐𝒅 𝒏)𝒎𝒐𝒅 𝒏
a. 18 𝑦 27 𝑚𝑜𝑑 5 b. 191 𝑦 37 𝑚𝑜𝑑 8 c. 11 𝑦 14 𝑚𝑜𝑑 6 d. 129 𝑦 266 𝑚𝑜𝑑 4 e. 74 𝑦 188 𝑚𝑜𝑑 13
8. Compruebe para los enteros 𝒂, 𝒃, 𝒙 e 𝒚 dados, que si 𝒂 ≡ 𝒃 (𝒎𝒐𝒅 𝒏) y 𝒙 ≡ 𝒚 (𝒎𝒐𝒅 𝒏), entonces 𝒂 + 𝒙 ≡
𝒃 + 𝒚 (𝒎𝒐𝒅 𝒏) y 𝒂 ∙ 𝒙 ≡ 𝒃 ∙ 𝒚 (𝒎𝒐𝒅 𝒏)
a. 2, 8, 5 𝑦 41 𝑒𝑛 𝑚𝑜𝑑 6 b. 446, 278, 24, 10 𝑚𝑜𝑑 7 c. 269, 413, 12, 60 𝑚𝑜𝑑 12
d. 445, 535, 38, 2 𝑚𝑜𝑑 18 e. 126, 21, 38, 383 𝑚𝑜𝑑 15
9. Determina:
a. 32164 𝑚𝑜𝑑 57 b. 32164 𝑚𝑜𝑑 87 c. 32164 𝑚𝑜𝑑 47 d. 32164 𝑚𝑜𝑑 98 e. 32164 𝑚𝑜𝑑 73
10. Utilizando los resultados del ejercicio anterior, determina:
a. 321127 𝑚𝑜𝑑 57 b. 321123 𝑚𝑜𝑑 87 c. 321124 𝑚𝑜𝑑 47 d. 321125 𝑚𝑜𝑑 98 e. 321121 𝑚𝑜𝑑 73
11. Dado el producto cartesiano 𝑨 = 𝑩 × 𝑩 siendo 𝑩 = {𝟑, 𝟓, 𝟕} y (𝑩, ≼) es el CPO por la relación de menor o
igual entre números enteros y 𝓡 es el orden parcial del producto cartesiano. Describe el orden parcial
(𝑩𝒙𝑩, ≼) y dibuja el diagrama de Hasse correspondiente; indica si la relación 𝓡 es un orden total en 𝑨;
determina el orden parcial dual y dibuja el diagrama de Hasse correspondiente.
12. Dada la relación 𝓡 = {(𝟐, 𝟏𝟐), (𝟓, 𝟑), (𝟒, 𝟖), (𝟒, 𝟔), (𝟑, 𝟔), (𝟑, 𝟐𝟒), (𝟏𝟓, 𝟗𝟐), (𝟏𝟐, 𝟑), (𝟓, 𝟏), (𝟏𝟎, 𝟔)} ordena
los pares ordenados siguiendo el orden lexicográfico.
13. Sea 𝑨 = {∎ , 𝑨, 𝑩, 𝑪, 𝑬, 𝑶, 𝑴, 𝑷, 𝑺} con el orden alfabético común, donde ∎ representa un espacio en blanco
y ∎ ≤ 𝒙 para todas las 𝒙 de 𝑨.
a. Define el orden lexicográfico en 𝐴 × 𝐴 × 𝐴 × 𝐴 × 𝐴
b. Ordena las siguientes palabras (como elementos de A × A × A × A × A):
POMPA, CESO∎, PAPAS, AMPA∎, PESOS, ECOS∎, OSEOS, PASE∎, COMAS, PASES, PASEO, BOCAS, AMASA,
SOMOS, DEMOS, DEDOS, PASOS, ASOMA, PASCO, CAMPO, CESOS, PECAS, OPACA, CEPOS, EPOCA, BOMBA,
PASAS, SOSAS.

14. Sea 𝑨 = {𝒂, 𝒃, 𝒄, 𝒅, 𝒆, . . . , 𝒚, 𝒛} el conjunto formado por las veintiséis letras del alfabeto inglés, con el orden
común ∎ ≤ 𝒂 ≤ 𝒃, 𝒃 ≤ 𝒄, ... , 𝒚 ≤ 𝒛. Ordena las siguientes palabras con orden lexicográfico:
a. Define el orden lexicográfico en 𝐴 × 𝐴 × 𝐴 × … × 𝐴
b. Ordena las siguientes palabras (como elementos de A × A × A × … × A):
MAT, RAT, BAT, CAT, EAT, FAT, NEIGHBOR, NEOPHYTE, NEGLECT, MOMENT, LUXURY, MAXIMUM, CUSTOM,
CUSTODY, CUSTARD, CUSHION, CURTAIN, CULVERT, DISCREET, DISCRETE, DISCOUNT, DISCOURSE, DISKETTE,
DISCRETION.