PR Actico 8: Relaciones (2 Parte) .: Matem Atica Discreta I - 2019 - 2 Semestre
PR Actico 8: Relaciones (2 Parte) .: Matem Atica Discreta I - 2019 - 2 Semestre
PR Actico 8: Relaciones (2 Parte) .: Matem Atica Discreta I - 2019 - 2 Semestre
Relaciones de equivalencia
Ejercicio 2 Para cada n ∈ N ∪ {0} sea Rn el número de relaciones de equivalencia diferentes que
pueden definirse en un conjunto dado con n elementos. Para cada n, i ∈ N sea S(n, i) el número de
Stirling del segundo tipo. Pruebe que:
a. Para todo n ∈ N ∪ {0} se cumple Rn+1 = C0n Rn + C1n Rn−1 + · · · + Cnn R0 .
Ejercicio 3 En cada uno de los siguientes casos, pruebe que R es una relación de equivalencia en A
y describa el conjunto cociente A/R:
a. A = Z y aRb si a2 = b2 .
Ejercicio 4 (1er parcial junio de 2017 Ej5) Hallar la cantidad de relaciones de equivalencia sobre
{0, 1, . . . , 7} tales que #[0] = 2 y #[1] = 4. Opciones: A) 60; B) 120; C) 180; D) 240.
1
Relaciones de orden
Ejercicio 6 Sea A = {a, b, c}, calcular la cantidad de relaciones de orden que hay sobre A.
Ejercicio 7
a. Halle el número de relaciones de equivalencia en {1, 2, 3, 4} que contienen a la relación {(1, 2); (3, 4)}.
Ejercicio 8 Sea A = {1, 2, ..., 100}. ¿Qué hay más, relaciones de equivalencia o de orden en A?
Ejercicio 9 Para ensamblar cierto producto hay que realizar las 11 tareas T1 , T2 , . . . , T11 en el siguiente
orden parcial cuyo diagrama de Hasse se muestra en la Figura 1 (a). Escriba una lista de instrucciones de
4 3 2
5 6
7 8
10 11 9
(a) (b)
Figura 1:
modo tal que, al ejecutarlas según la lista, el resultado final sea el producto correctamente ensamblado.
2
Ejercicio 13 Muestre que en un conjunto con 61 personas, o bien hay una sucesión de 13 personas
cada una de las cuales desciende de la siguiente, o bien hay un grupo de 6 personas ninguna de las
cuales es descendiente de alguna otra.
Ejercicio 14 Para cada uno de los órdenes (A, ≤) siguientes, dibuje el diagrama de Hasse y determine
si se trata de un retı́culo:
Ejercicios Complementarios
∗1 2∗ ∗
3 4∗
∀x ∈ S, f (x) R f (p) =⇒ f (p) es cota superior de S =⇒ p R f (p) =⇒ f (p) ∈ S =⇒ f (p) = p.
a. (A, R) es un retı́culo.
3
a
b c
d e f g
xRy si y = x2 − 1 o si y = x.
z w 1
Ejercicio 22 Sea A el conjunto de naturales n mayores que 1 que dividen a 60. Sea R la relación
en A definida por: aRb si a divide a b. ¿Es R es un orden parcial? ¿total? ¿retı́culo? Halle todos los
elementos maximales y minimales de (A, R). ¿Cuál es el cardinal más grande de una cadena en (A, R)?
¿Y el de una anticadena? ¿Cuántas cadenas de largo 2 hay?