Академический Документы
Профессиональный Документы
Культура Документы
DEPARTAMENTO DE COMPUTACIN Y
TECNOLOGA DE LA INFROMACIN
ESTRUCTURAS DISCRETAS I
GUA PRCTICA N 2
1. Demuestre lo siguiente mediante induccin matemtica:
a) 13 + 24 + 35 + ... + n(n+2) =
b)
n 1
n(n + 1)(2n + 7)
6
2i = 2n 1
i= 0
n
c)
(i)(i! ) = (n + 1)! 1
i= 1
x1 y1=
12. Sean A = {2,2,4,6,8,10} y R una relacin en A tal que aRb si y slo si a+b es mltiplo de 4.
a) Obtenga MR.; b) Determine si R es reflexiva, simtrica, antisimtrica o transitiva; c) Es R una
relacin de equivalencia? ; d) Es R una relacin de orden parcial?
13. Para cada una de las siguientes proposiciones acerca de las relaciones sobre un conjunto A, con |A|=
n, determine si la proposicin es verdadera o falsa. Si es falsa, d un contraejemplo.
a) Si R es una relacin reflexiva sobre A, entonces |R| n.
b) Si R es una relacin sobre A y |R| n, entonces R es reflexiva.
c) Sean R1 y R2 relaciones sobre A y R1R2. Si R1 es reflexiva, entonces R2 es reflexiva.
d) Sean R1 y R2 relaciones sobre A y R1R2. Si R1 es simtrica, entonces R2 es simtrica.
e) Sean R1 y R2 relaciones sobre A y R1R2. Si R1 es transitiva, entonces R2 es transitiva.
f)
14. Sea A un conjunto tal que |A|= n y sea R una relacin sobre A antisimtrica. Cul es el mximo valor
posible de |R|?
15. Sea A un conjunto tal que |A|= n y sea R una relacin de equivalencia sobre A tal que |R|=r. Por qu
r-n siempre es par?
16. D un ejemplo de una relacin R sobre Z que sea transitiva e irreflexiva pero que no sea simtrica.
17. Sea R una relacin binaria no vaca sobre un conjunto A. Demuestre que: a) Si R es irreflexiva y
simtrica, entonces no es transitiva.; b) Si R es irreflexiva y transitiva, entonces no es simtrica; c) Si
R es transitiva y simtrica, entonces no es irreflexiva.
18. Para A={1,2,3,4}, sean R y S las relaciones sobre A definidas como R={(1,2),(1,3),(2,4),(4,4)} y
S={(1,1),(1,2),(1,3),(2,3),(2,4)}. Determine R1, S1, RoS, SoR, R2, R3, S2 y S3.
19. Si R es una relacin reflexiva sobre un conjunto A, demuestre que R2 es tambin reflexiva sobre A.
20. Si A={1,2,3,4}, sea R={(1,1),(1,2),(2,3),(3,3),(3,4),(4,4)} una relacin sobre A. Encuentre dos relaciones
S y T sobre A tales que S T, pero RoS=RoT={(1,1),(1,2),(1,4)}.
21. Sea R una relacin sobre A={1,2,3,4,5,6} cuyo digrafo se muestra a continuacin:
0
MR = 0
1
0
0
1
0
0
1
0
0
0
0
0
1
0
1
0
0
0
1
0
1
25. Si A={1,2,3,4,5} y R es una relacin de equivalencia sobre A que induce la particin A={1,2}U{3,4}U{5}.
Describa a R por extensin.
26. Sea R la siguiente relacin de equivalencia en el conjunto A={1,2,3,4,5,6}:
R={(1,1),(1,5),(2,2),(2,3),(2,6),(3,2),(3,3),(3,6),(4,4),(5,1),(5,5),(6,2),(6,3),(6,6)}
Encontrar la particin de A inducida por R.
27. Sea A = {0,1,2,3,4,5,6,7,8,9} y sea R la relacin de equivalencia en AxA definida por (a,b)R(c,d) si y
slo si a + d = b + c. Obtenga la clase de equivalencia de (2,5).
28. Demuestre que si R es una relacin de equivalencia en un conjunto A, entonces R- 1 es tambin una
relacin de equivalencia en A.
29. Sea A={1,2,3,...,19,20}. Sea R la relacin de equivalencia en A definida por (x,y)R si y slo si x
y(md 5). Encuentre la particin de A inducida por R, es decir, el conjunto cociente A/R.
30. Sea A = {w,x,y,z} y R la relacin en A cuya matriz viene dada por:
1
MR =
0
0
0
1
0
0
0
0
1
0
0
1
MR =
0
0
0
1
0
0
0
0
1
1
1
a
b
f
e
c
d
Diremos que x est relacionado con y (xRy) si x est dos puestos a la izquierda de y.
a) Obtenga la matriz de la relacin R.
b) Es la relacin R reflexiva? Explique.
c) Dibuje el digrafo de la relacin R.
d) Demuestre que la cerradura transitiva de R, R(t), es una relacin de equivalencia.
e) Describa, por extensin, el conjunto cociente A/R(t).
34. Sean A = {1,2,3,4,5,6} y R la relacin dada por xRy si y slo si |x - y| = 1.
a) Trace el digrafo (o grafo dirigido) de R.
b) Obtenga la matriz de R(r) (la cerradura reflexiva de R).
c) Es R(r) una relacin de equivalencia? (Use matrices booleanas).
35. Sea A={1,2,3,6,9,18} y defina R sobre A por xRy ssi y es mltiplo de x. Trace el diagrama de Hasse para
el conjunto parcialmente ordenado (A,R). Obtenga, adems, todas las cadenas maximales de (A,R)
36. Sean (A,R1), (B,R2), dos conjuntos parcialmente ordenados. En AxB se define la relacin R por
(a,b)R(c,d) si aR1c y bR2d. Demuestre que R es un orden parcial.
37. Si en el ejercicio anterior, las relaciones R1 y R2 son rdenes totales, es R un orden total?
38. Ordene topolgicamente los diagramas de Hasse de los conjuntos parcialmente ordenados definidos en
los ejercicios 28 y 29.
39. Sean A = {1,2,3,4,5,6} y R una relacin en A cuya matriz representacin viene dada por:
1
1
MR =
0
1
0
1
0
0
0
0
0
1
1
0
0
0
1
1
1
1
1
1
0
1
0
0
1
0
1
1
0
0
40. Sean A = {a,b,c,d,e,f} y R una relacin en A donde R = {(a,a), (a,b), (a,e), (a,c), (b,c), (b,b), (c,c),
(d,e), (d,a), (d,b), (d,c), (d,d), (e,c), (e,e), (f,e), (f,c), (f,f)}.
41. Sean A = {a,b,c,d,e,f,g,h} y R una relacin de orden parcial en A cuyo diagrama de Hasse se muestra a
continuacin:
a) Determine todos los elementos maximales, minimales, primer elemento (mnimo) y ltimo
elemento (mximo) para el orden parcial R.
b) Ordene topolgicamente el conjunto parcialmente ordenado (A,R).
c) Obtenga todas las cadenas de (A,R) con longitud 3 e indique cules de ellas son maximales.
d) Obtenga el diagrama de Hasse de R- 1. (La relacin R- 1 A2, es tambin un orden parcial).
42. Sea R* una relacin de orden total sobre el conjunto A = {a,b,c,d,e,f,g} y cuyo diagrama de Hasse se
muestra a continuacin:
c
g
f
a
e
b
d
43. Complete los recuadros del siguiente diagrama de Hasse con los elementos del conjunto A con el fin de
obtener una relacin de orden parcial R sobre A cuya ordenacin topolgica sea R*.
a) Determine todos los elementos maximales, minimales, primer elemento (mnimo) y ltimo
elemento (mximo) para el orden parcial R construido por usted en a).
b) Obtenga todas las cadenas de (A,R) con longitud 3 e indique cules de ellas son maximales.
44. D un ejemplo de un conjunto parcialmente ordenado con tres elementos maximales pero que no
tenga primer elemento (o mnimo).
45. Cules de los siguientes conjuntos estn bien ordenados?
a) (N,)
b) (Z,)
c) (N,)
d) (Q,)
e) (Q+,)
f) (Q,)
46. Sean los conjuntos totalmente ordenados (N,) y (Z+,). Si se considera al conjunto totalmente
ordenado (NxZ+,R), donde R es el orden lexicogrfico, cules de las siguientes afirmaciones son
verdaderas y cules son falsas?
a) (5,78)R(7,1)
b) (4,6)R(4,2)
c) (5,5)R(4,23)
d) (1,3)R(1,7)
e) (0,8)R(0,8)
f) (8,7)R(7,8)
47. Sean los conjuntos totalmente ordenados (A,R 1) y (B,R2), donde A = {3,12,22,13,7,4} es un sistema
completo de restos mdulo 6, B = {x Z / x = 2n, con n Z+} y las relaciones R1 y R2 se definen como:
Para a,b A, aR1b si y slo si el resto que deja a al ser dividido por 6 es menor que el resto que
deja b al ser dividido por 6.
Para a,b B, aR2b si y slo si b|a.
Si se considera al conjunto totalmente ordenado (AxB,R), donde R es el orden lexicogrfico, ordene en
forma ascendente la siguiente lista de elementos de AxB:
(22,4), (7,2), (4,32), (22,8), (3,8), (3,2), (3,16), (13,64)
48. Sean los conjuntos totalmente ordenados (A,R1) y (Z+,R2), donde A = {x Z / x = 3n, con nZ+} y R1 y R2
se definen como:
Para x,yA, xR1y si y slo si x es mltiplo de y
Para x,yZ+, xR2y si y slo si x y
Si se considera al conjunto totalmente ordenado (AxZ+,R), donde R es el orden lexicogrfico, cules de
las siguientes afirmaciones son verdaderas y cules son falsas?
a) (35,6)R(35,9)
b) (34,15)R(38,15)
c) (27,2)R(9,8)
d) (310,12)R(310,11)