Facultad de Ingeniera - UNLPam

MATEMTICA DISCRETA

Trabajo Prctico No 5: Reticulados y lgebras de Boole

1. Dado el conjunto parcialmente ordenado representado por el diagrama de Hasse de la gura:

a ) Hallar los elementos maximales y minimales. b ) Hay primer elemento? c ) Hay ltimo elemento? d ) Hallar todas las cotas superiores de fa; b; cg. f ) Hallar todas las cotas inferiores de ff; g; hg. e ) Hallar el supremo de fa; b; cg, si es que existe.

g ) Hallar el nmo de ff; g; hg, si es que existe. 2. Dado el conjunto parcialmente ordenado hf3; 5; 9; 15; 24; 45g; =i. a ) Hallar los elementos maximales y minimales. b ) Hay primer elemento? c ) Hay ltimo elemento? d ) Halla todas las cotas superiores de f3; 5g. e ) Hallar el supremo de f3; 5g, si es que existe. f ) Hallar todas las cotas inferiores de f15; 45g.

g ) Hallar el nmo de f3; 5g, si es que existe.

3. Determinar si los conjuntos parcialmente ordenados con estos diagramas de Hasse representan o no un reticulado.

Reticulados y lgebras de Boole.

19

Facultad de Ingeniera - UNLPam

MATEMTICA DISCRETA

4. Probar que los siguientes conjuntos parcialmente ordenados son reticulados distributivos. Indicar las operaciones _ e ^ y, cuando existan, primer y ltimo elemento. a ) (P (X ); ), donde P (X ) es el conjunto partes de un conjunto X . b ) (Z; ), donde es el orden natural en Z. c ) (N; ), donde es el orden natural en N.

d ) (N; =), donde = es la relacin "divide", esto es, para x; y 2 N, x=y si y slo si existe z 2 N tal que xz = y . 5. Demostrar que si un reticulado acotado tiene dos o ms elementos, entonces O 6= I . 6. Sea L un reticulado acotado con al menos dos elementos. Muestre que ningn elemento de L es su propio complemento. 7. Mostrar que no todo reticulado distributivo es complementado y que no todo reticulado complementado es distributivo. 8. Considerar el lgebra (A; _; ^), donde A = fa; b; cg. Decir si (A; _; ^) es un reticulado algebraico; en tal caso, escribir el conjunto y hacer el diagrama de Hasse. a) _ a b c b) _ a b c a a a c b a b c c c c c ^ a b c a a c a b c b b c a b c a a a c b a b c c c c c ^ a b c a a b a b b b b c a b c

9. En cada caso determinar si el reticulado en cuestin es distributivo, complementado o ambas cosas.

10. Para cules de los siguientes valores de n es (D(n); =) un reticulado booleano? (n = 20, 55, 99, 130).

Reticulados y lgebras de Boole.

20

Facultad de Ingeniera - UNLPam

MATEMTICA DISCRETA

11. Decir en cada caso si (A; _; ^; ; 0; 1) es un lgebra de Boole y hacer, cuando corresponda, el diagrama de Hasse del conjunto ordenado reticulado asociado. a ) (fa; b; c; dg; _; ^; ; a; d) _ a b c d b ) (fa; b; c; dg; _; ^; ; a; d) _ a b c d a a b c d b b b d d c c d c d d d d d d ^ a b c d a a a a a b a b a b c a a c c d a b c d x a b c d x d c b a a a b c d b b b c d c c c c d d d d d d ^ a b c d a a a a a b a b b b c a b c c d a b c d x a b c d x d b c a

c ) (fa; b; c; d; e; f g; _; ^; ; b; a) _ a b c d e f a a a a a a a b a b c d e f c a c c c c c d a d c d e f e a e c e e c f a f c f c f ^ a b c d e f a a b c d e f b b b b b b b c c b c d e f d d b d d d d e e b e d e d f f b f d d f x a b c d e f x b a d c f e

12. Para cada una de las lgebras de Boole del ejercicio anterior hallar el conjunto de tomos M y mostrar que dicha lgebra es isomorfa al lgebra de Boole de conjuntos P (M ). 13. Sea A = fa; b; c; d; eg. Ser posible denir sobre A dos operaciones binarias ^ y _, una unaria 0 y dos elementos distinguidos 0 y 1, de manera tal que A con esas operaciones resulte ser un lgebra de Boole? 14. Considerar el lgebra de Boole (D(110); mcm; M CD;0 ; 1; 110), donde D(110) representa a los divisores de 110. a ) Listar sus elementos y construir el Diagrama de Hasse. b ) Encontrar el conjunto M de los tomos de D(110). c ) Dar el isomorsmo f : D(110) ! P (M ) denido como en el Teorema de Representacin de lgebras.

Reticulados y lgebras de Boole.

21

Facultad de Ingeniera - UNLPam

MATEMTICA DISCRETA

15. Probar que en toda lgebra de Boole hA; _; ^; ; 0; 1i se verican las siguientes propiedades, para todos x; y 2 A. a ) Leyes de idempotencia: x _ x = x, b ) Leyes de acotacin: x _ 1 = 1, x ^ 0 = 0. x ^ x = x. x ^ (x _ y ) = x.

d ) Ley de involucin: x = x.

c ) Leyes de absorcin: x _ (x ^ y ) = x,

e ) Leyes de De Morgan: x _ y = x ^ y ,

x^y =x_y

16. Sea A un conjunto. Probar que hP (A); [; \; ; ;; Ai es un lgebra de Boole. 17. Sea A = [0; 1] = fx 2 R : 0 x 1g. Para todos a; b 2 A se denen: a _ b = maxfa; bg, a ^ b = m nfa; bg y a = 1 a. Es hA; _; ^; ; 0; 1i un lgebra de Boole? Justicar. 18. Sea hA; _; ^; ; 0; 1i un lgebra de Boole. Demostrar que para todos a; b 2 A, las siguientes armaciones son equivalentes: (a) a ^ b = 0 (b) a _ b = b (c) a _ b = 1 (d) a ^ b = a.

19. Sea hA; _; ^; ; 0; 1i un lgebra de Boole y sea la relacin de orden determinada por el reticulado algebraico hA; _; ^i. Probar que se verica: x y si y slo si x ! y = 1, donde "!" se dene como x ! y = x0 _ y .

Reticulados y lgebras de Boole.

22