Facultad de Ingeniera - UNLPam MATEMTICA DISCRETA

Trabajo Prctico N
o
2:
Relaciones
1. Enumerar los pares ordenados de la relacin R, de A = 1; 2; 3; 4 en B = 1; 2; 3, donde
(a; b) R si, y slo si,
(a) a = b (b) a +b = 4 (c) a > b (d) a divide a b (e)MCD(a; b) = 1
2. En cada uno de los siguientes casos determinar el dominio e imagen de la relacin R.
a) A = 1; 2; 3; 4, B = 1; 2; 4; 9; 10; 17; (a; b) R si y slo si b = a
2
+ 1.
b) A = B = 1; 2; 3; 4; 6; (a; b) R si y slo si a es divisor de b.
c) A = R; (a; b) R si y slo si a
2
=9 +b
2
=4 = 1.
3. En cada caso, indicar si la relacin R denida sobre el conjunto A, es reexiva, irreexiva,
simtrica, antisemtrica, asimtrica y/o transitiva.
a) A = 1; 2; 3; 4, R = (2; 2); (2; 3); (2; 4); (3; 2); (3; 3); (3; 4)
b) A = 1; 2; 3; 4, R = (1; 1); (1; 2); (2; 1); (3; 3); (4; 4)
c) A = 1; 2; 3; 4, R = (1; 1); (2; 2); (3; 3); (4; 4)
d) A = 1; 2; 3; 4, R = (a; b) A A : a ,= b
e) A = R, R = (x; y) A A : x +y = 0
f ) A = R, (x; y) R si y slo si x y es un nmero racional.
g) A = R, xRy si y slo si x = 2y.
h) A = R, xRy x = 1.
i ) A = Z
+
Z
+
, (x; y) R(z; t) si y slo si x + t = y + z. (Con Z
+
indicamos el conjunto
de los enteros mayores que cero).
4. a) Enumerar todas las relaciones denidas sobre el conjunto 0; 1.
b) Si A tiene n elementos y B tiene m elementos, cuntas relaciones distintas hay de A en
B?
5. Sean A = 1; 2; 3 , B = 1; 2; 3; 4 , R
1
y R
2
relaciones denidas de A en B tales que
R
1
= (1; 2); (2; 3); (3; 4) y R
2
= (1; 1); (1; 2); (2; 1); (2; 2); (2; 3); (3; 1); (3; 2); (3; 3); (3; 4).
Hallar:
(a) R
1
' R
2
(b) R
1
R
2
(c) R
1
R
2
(d) R
2
R
1
6. Considerar las siguientes relaciones en el conjunto de los nmeros reales:
R
1
= (a; b) R
2
: a > b (la relacin "mayor que").
R
2
= (a; b) R
2
: a _ b (la relacin "mayor o igual que").
R
3
= (a; b) R
2
: a = b (la relacin "igual a").
Hallar: R
1
1
' R
3
, R
1
2
R
3
, R
3
R
1
1
, R
2
R
1
y R
2
R
2
.
Relaciones 9
Facultad de Ingeniera - UNLPam MATEMTICA DISCRETA
7. Demostrar que una relacin R en un conjunto A es simtrica si, y slo si, R = R
1
.
8. Demuestre que si una relacin R denida sobre un conjunto A es transitiva e irreexiva,
entonces es asimtrica.
9. Demostrar que una relacin R en un conjunto A es reexiva si, y slo si, la relacin comple-
mentaria R es irreexiva.
10. Sea R una relacin reexiva en un conjunto A. Demostrar que R
n
es reexiva para todo
entero positivo n.
11. a) Escribir todas las ternas de la relacin R = (a; b; c) : a; b y c son enteros tales que
0 < a < b < c < 5.
b) Qu 4-uplas forman la relacin R = (a; b; c; d) : a; b; c y d son enteros positivos tales
que abcd = 6.
12. Hallar las matrices para las relaciones del ejercicio 1. Hallar las matrices y los digrafos para
las relaciones de los apartados (a) a (e) del ejercicio 2.
13. Determinar si las relaciones dadas son reexivas, simtricas, antisimtricas, irreexivas y/o
transitivas. En los dos primeros apartados considerar A = 1; 2; 3; 4; 5 (las las y columnas
de las matrices corresponden a los elementos de A escritos en orden creciente).
a) M
R
=
0
B
B
B
B
@
0 0 0 0 0
1 0 1 0 1
1 1 0 1 0
1 1 1 0 1
1 0 0 1 0
1
C
C
C
C
A
b) M
R
=
0
B
B
B
B
@
1 0 1 0 1
0 1 0 1 0
1 0 1 0 1
0 1 0 1 0
1 0 1 0 1
1
C
C
C
C
A
c) d)
14. Sean R y S relaciones en un conjunto A representadas por las matrices:
M
R
=
0
@
0 1 0
1 1 1
1 0 0
1
A
y M
S
=
0
@
0 1 0
0 1 1
1 1 1
1
A
.
a) Hallar las matrices que representan a las relaciones: R'S, RS, S
1
, R, R S, S R,
R
2
y S
3
.
b) Determinar si las relaciones R y S son reexivas, irreexivas, simtricas, asimtricas,
antisimtricas y/o transitivas, respectivamente.
15. Determinar el nmero de relaciones R en el conjunto A = a; b; c; d que verican simultnea-
mente las tres condiciones siguientes: (i) R es simtrica, (ii) (a; b) R, (iii) (c; c) R.
Mostrar tres de ellas.
16. Sean A = 0; 1; 2; 3, R _ A A, R = (0; 1); (1; 1); (1; 2); (2; 0),(2; 2); (3; 0). Hallar:
Relaciones 10
Facultad de Ingeniera - UNLPam MATEMTICA DISCRETA
a) La clausura reexiva de R
b) La clausura simtrica de R.
c) La clausura transitiva de R.
d) La clausura simetrica-reexiva de R.
17. Dado el digrafo de la gura:
a) Indicar la relacin R determinada por el digrafo y su matriz M
R
.
b) Determinar cules de las siguientes sucesiones de vrtices son caminos; para los que lo
sean indicar su longitud.
(i) 1244 (ii) 44231 (iii) 3242 (iv) 2445423
c) Hallar dos circuitos de longitud 3.
d) Para cada par de vrtices dados, determinar si existe o no algn camino que comience
en el primer vrtice y termine en el segundo.
(i) 1; 1 (ii) 3; 5 (iii) 2; 1 (iv) 4; 4
e) Hallar un ciclo y un circuito que no sea ciclo.
f ) Enumerar los caminos simples de longitud 4 y 5.
g) Hallar las matrices (M
R
)
2
y (M
R
)
3
..
h) Cuntos caminos de longitud 2 hay entre cada par de vrtices? Enumerarlos.
i ) Cuntos caminos de longitud 3 hay entre cada par de vrtices? Enumerarlos.
j ) Es R transitiva? Justicar la respuesta.
k) Hallar la clausura transitiva de R.
18. Hallar la clausura transitiva y la clausura reexivo-transitiva de las siguientes relaciones en
el conjunto A:
a) A = 1; 2; 3; 4, R = (1; 1); (3; 4); (2; 3); (2; 2); (3; 3); (4; 4).
b) A = a; b; c; d; e, R una relacin sobre A cuya matriz es M
R
=
0
B
B
B
B
@
1 0 0 1 0
0 1 0 0 0
0 0 0 1 1
1 0 0 0 0
0 1 0 0 1
1
C
C
C
C
A
.
19. Hallar la relacin ms pequea posible en el conjunto 1; 2; 3; 4 que contenga a
(1; 2); (1; 4); (3; 3); (4; 1) y sea reexiva, simtrica y transitiva.
Relaciones 11
Facultad de Ingeniera - UNLPam MATEMTICA DISCRETA
20. Cules de las siguientes relaciones denidas en el conjunto A = 0; 1; 2; 3 son relaciones de
equivalencia? Para las que lo sean, hallar las clases de equivalencia. Para aquellas relaciones
que no sean de equivalencia, indicar cul es el motivo.
a) R = (0; 0); (1; 1); (2; 2); (3; 3)
b) R = (0; 0); (1; 1); (1; 2); (2; 1); (2; 2); (3; 3)
c) R = (0; 0); (0; 1); (0; 2); (1; 0); (1; 1); (1; 2); (2; 0); (2; 2); (3; 3)
21. Determinar si las relaciones representadas por las siguientes matrices booleanas en algn
conjunto X son relaciones de equivalencia. Para las que lo sean hallar las clases de equiva-
lencia.
a) M
R
=
0
@
1 1 1
0 1 1
1 1 1
1
A
b) M
S
=
0
B
B
@
1 1 1 0
1 1 1 0
1 1 1 0
0 0 0 1
1
C
C
A
22. Determinar en cada caso si la relacin R denida sobre A es de equivalencia; para las que
lo sean hallar las clases de equivalencia.
a) A = 1; 2; 3; 4; 5; 6; 7; 8; 9; aRb si y slo si a = 2
k
:b, para algn k en Z.
b) A = Z
+
Z
+
; (a; b)R(c; d) si y slo si a +d = b +c.
c) Sea A el conjunto de todas las rectas en el plano. Dos rectas estn relacionadas si tienen
un punto en comn.
d) A = N; (x; y) R si y slo si x +y es par.
e) A = Z y sea m Z un entero jo mayor que 1; (x; y) R si y slo si m=x y. (el
smbolo = representa la relacin divide)
f ) Sea A el conjunto de todas las cadenas de nueve bits. Se dene R sobre A como sigue:
(a; b) R si y slo si los dos primeros y los dos ltimos bits de a y de b coinciden.
g) A = T(E) con E un conjunto, X _ E, X jo y no vaco; (Y; Z) R si y slo si
Y X = Z X.
23. Sean R y S relaciones de equivalencia en un conjunto A. Para cada enunciado probar o
muestrar un contraejemplo.
a) R ' S es una relacin de equivalencia.
b) R S es una relacin de equivalencia.
24. Sean R y S relaciones de equivalencia sobre un conjunto A. Demostrar que R S es una
relacin de equivalencia sobre A si y slo si R S = S R.
25. Hallar la relacin de equivalencia ms pequea en el conjunto a; b; c; d; e que contenga el
conjunto (a; b); (a; c); (d; e).
26. Cules de estas familias de subconjuntos son particiones del conjunto de cadenas de bits
de longitud 8?
Relaciones 12
Facultad de Ingeniera - UNLPam MATEMTICA DISCRETA
a) El conjunto de cadenas de bits que empiezan con 1; el conjunto de cadenas de bits que
empiezan con 00 y el conjunto de cadenas de bits que empiezan con 01.
b) El conjunto de cadenas de bits que contienen la cadena 00; el conjunto de cadenas de
bits que contienen la cadena 01; el conjunto de cadenas de bits que contienen la cadena
10 y el conjunto de cadenas de bits que contienen la cadena 11.
c) El conjunto de cadenas de bits que terminan en 00; el conjunto de cadenas de bits que
terminan en 01; el conjunto de cadenas de bits que terminan en 10 y el conjunto de
cadenas de bits que terminan en 11.
d) El conjunto de cadenas de bits que terminan en 111; el conjunto de cadenas de bits que
terminan en 011 y el conjunto de cadenas de bits que terminan en 00.
e) El conjunto de cadenas de bits que tienen 3k unos, donde k es un entero no negativo; el
conjunto de cadenas de bits que tienen 3k + 1 unos, donde k es un entero no negativo,
y conjunto de cadenas de bits que tienen 3k + 2 unos, donde k es un entero positivo.
27. Sea X = 1; 2; 3; 4; 5; 6; 7; 8; 9. Determinar cules de las siguientes familias de subconjuntos
de X son particiones. Para aquellas que lo sean, denir la relacin de equivalencia asociada
e indicar los pares ordenados de dicha relacin.
a) A
1
= 1; 3; 6, A
2
= 2; 8, A
3
= 5; 7; 9.
b) A
1
= 1; 2; 3; 4; 5; 6; 7; 8; 9.
c) A
1
= 1; 5; 7, A
2
= 2; 4; 8; 9, A
3
= 3; 5; 6.
d) A
1
= 1; 2; 7; , A
2
= 3; 5, A
3
= 4; 6; 8; 9, A
4
= 3; 5.
28. Determinar todas las particiones sobre un conjunto con tres elementos.
29. Determinar todas las relaciones de equivalencia sobre un conjunto con tres elementos.
30. a) Si una relacin de equivalencia en un conjunto A tiene una sola clase de equivalencia,
cal es la relacin?
b) Sea R una relacin de equivalencia sobre un conjunto nito A. Si R y A tienen el mismo
nmero de elementos, cal es la relacin?
c) Dar un ejemplo de una relacin de equivalencia (mediante una lista de pares ordenados)
sobre A = 1; 2; 3; 4; 5; 6 que tenga exactamente dos clases de equivalencia.
31. En cada caso, determinar si la relacin R denida sobre A = a; b; c; d es una relacin de
orden parcial y, en caso de que lo sea construir su diagrama de Hasse. Determinar si se trata
de un orden total. Indicar, en caso de que existan, elementos minimales, maximales, primer
elemento y ltimo elemento.
a) M
R
=
0
B
B
@
1 0 1 1
0 1 1 1
0 0 1 1
0 0 0 1
1
C
C
A
b) c)
Relaciones 13
Facultad de Ingeniera - UNLPam MATEMTICA DISCRETA
32. a) Sea S; R un conjunto parcialmente ordenado. Demostrar que S; R
1
es tambin un
conjunto parcialmente ordenado, donde R
1
es la relacin inversa de R. A S; R
1
se le
llama el dual de S; R.
b) Hallar los duales de los conjuntos parcialmente ordenados: 0; 1; 2; _ y Z; _.
33. Sea A = Z
+
' 0 el conjunto parcialmente ordenado de los enteros no negativos con el
orden usual. Considerar el orden lexicogrco en el conjunto de todas las sucesiones nitas
de elementos de A, llamadas palabras, y ordenar los siguientes pares de palabras:
(a) 121, 112 (b) 0123, 0132 (c) 10101, 110 (d) 402, 4001.
Relaciones 14