MAT 1375 - MATEMTICA DISCRETA B - 2012/1 LISTA DE EXERCCIOS 7 1. Verique se as relaes denidas abaixo so relaes de ordem parcial. Justique.

(a) A relao em {a, b, c, d} representada pela matriz 1 1 1 1 0 1 0 1 0 0 1 0 . 0 0 0 1 (b) A relao em {a, b, c, d} representada pela 1 1 1 0 1 0 0 0 1 0 0 0 (c) A relao em {1, 2, 3} representada pela 1 1 0 1 1 0 matriz 0 1 . 0 1

matriz 1 0 . 1

(d) Seja S(R) o conjunto de todas as funes f : [0, 1] [0, 1]. A relao R1 S(R)S(R) denida por f R1 g (x [0, 1])[f (x) g(x)]. (e) Seja A o conjunto das sequncias binrias de comprimento menor ou igual a 4. Para duas sequncias a = a1 am e b = b1 bn , denimos aR1 b se m = n. (f) Seja A o conjunto das sequncias binrias de comprimento menor ou igual a 4. Para duas sequncias a = a1 am e b = b1 bn , denimos aR2 b se ai = bi para i = 1, . . . , m (em particular m n). (g) Seja A o conjunto das sequncias binrias de comprimento menor ou igual a 4. Para duas sequncias a = a1 am e b = b1 bn , denimos aR3 b se |{i : ai = 0}| |{i : bi = 0}| ou |{i : ai = 1}| |{i : bi = 1}|. (h) Seja A o conjunto das sequncias binrias de comprimento menor ou igual a 4. Para duas sequncias a = a1 am e b = b1 bn , denimos aR4 b se |{i : ai = 0}| |{i : bi = 0}| e |{i : ai = 1}| |{i : bi = 1}|. (i) Seja A o conjunto das sequncias binrias de comprimento menor ou igual a 4. Para duas sequncias a = a1 am e b = b1 bn , denimos aR5 b se existem inteiros positivos 1 1 < 2 m n tais que ai = b i para qualquer i {1, 2, . . . , m}. (j) Seja B = P({1, 2, 3}). Para dois conjuntos C, D P({1, 2, 3}), denimos CR1 D se C = ou se C, D = e max{i : i C} max{i : i D}. (k) Seja B = P({1, 2, 3}). Para dois conjuntos C, D P({1, 2, 3}), denimos CR2 D se C D ou se max{i : i (C D) (D C)} D. 2. Para cada uma das relaes de ordem da questo anterior, verique se a ordem total. Alm disso, decida se possvel utilizar um Diagrama de Hasse para represent-la. Quando possvel, faa tal diagrama.

3. Determine se os diagramas abaixo so diagramas de Hasse para alguma ordem parcial. Justique. e 7 6 f c 4 b a d 1 2 5 3

4. Considere a relao R1 N N dada por xRy se existe um inteiro t 1 tal que y = xt . Prove que R1 uma ordem parcial. Faa o diagrama de Hasse para (C, R1 ), onde C = {2m : m = 0, . . . , 10}. 5. Considere a relao R2 {2, 3, 4, . . .} {2, 3, 4, . . .} dada por xR2 y se {p primo : p|x} {p primo : p|y}. Argumente que R2 no uma relao de ordem parcial. Prove que teremos uma relao de ordem parcial se denirmos R3 {2, 3, 4, . . .} {2, 3, 4, . . .} por xR3 y se {p primo : p|x} {p primo : p|y} ou se {p primo : p|x} = {p primo : p|y} e x y. Faa um diagrama de Hasse para essa relao em termos do conjunto {2, 3, . . . , 18}. 6. Seja R A A uma relao de ordem parcial. Como visto em aula, dizemos que x se xRy e x = y. Um elemento x A predecessor imediato de y A se (x (x
R R

y) (z A)[x y) (z A)[x

zz zz

y z {x, y}]. y z = y].

(a) Prove que x predecessor imediato de y se e somente se

R R R

Considere a ordem parcial R2 {2, 3, 4, . . .} {2, 3, 4, . . .} na questo 5. (b) Prove que todo n 2 tem um nico predecessor imediato com relao a R2 . (c) Prove que n primo se e somente se n no possui sucessor imediato com relao a R2 . 7. Uma ordem parcial R em um conjunto A dita uma boa ordem se, dado qualquer subconjunto = S A, existe um elemento mnimo com relao a R (isto , existe x S tal que x y para todo y S). Por exemplo, a ordem usual uma boa ordem para o conjunto dos nmeros naturais. (a) O conjunto dos nmeros inteiros bem ordenado pela ordem usual? Justique. (b) O conjunto dos nmeros inteiros pode ser bem ordenado? (Isto , existe uma boa ordem para Z?) (c) Mostre que toda boa ordem uma ordem total. 8. Mostre que, se (A, A ) e (B, B ) so conjuntos parcialmente ordenados, ento (A B, ) um conjunto parcialmente ordenado, onde denida por (a1 , b1 ) Se
A

(a2 , b2 ) [a1

a2 b1

b2 ].

so ordens totais, podemos concluir que

uma ordem total?

9. (Desao) Seja S o conjunto de frmulas proposicionais com letras proposicionais A e B. (Por exemplo, A B e A (B (A)) so elementos de S.). Considere a relao R em S tal que f Rg sempre que f g, isto , sempre que f e g so equivalentes. (a) Prove que R uma relao de equivalncia em S.

Seja SR o conjunto de classes de equivalncia induzidas por R em S. Denimos a relao R em SR por [f ]R R [g]R sempre que f g, onde [f ]R denota a classe de equivalncia da frmula proposicional f com relao a R. (b) Prove que R est bem denida, isto , prove que, se [f ]R R [g]R , f [f ]R e g [gR ], ento [f ]R R [g ]R . (c) Mostre que R uma relao de ordem parcial em SR .