Você está na página 1de 4

Lista 6 de Matemtica Discreta I

1. Determine os pares ordenados na relao R do conjunto A = {0, 1, 2, 3, 4} para o conjunto B = {0, 1, 2, 3}, onde (a, b) R se, e somente se: (a) a = b. (b) a + b = 4. (c) a > b. (d) a|b 2. (a) Determine todos os pares ordenados da relao R = {(a, b) : a divide b} no conjunto {1, 2, 3, 4, 5, 6}. (b) Represente gracamente esta relao na forma de tabela 3. Para cada uma das relaes abaixo no conjunto {1, 2, 3, 4}, diga se ela reexiva, simtrica, anti-simtrica e/ou transitiva. (a) {(2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}. (b) {(1, 1), (1, 2), (2, 1), (2, 2), (3, 3), (4, 4)}. (c) {(2, 4), (4, 2)}. (d) {(1, 2), (2, 3), (3, 4)}. (e) {(1, 1), (2, 2), (3, 3), (4, 4)}. (f) {(1, 3), (1, 4), (2, 3), (2, 4), (3, 1), (3, 4)}. 4. Determine se a relao R no conjunto de todas as pessoas reexiva, simtrica, anti-simtrica e/ou transitiva onde (a, b) R se, e somente se, (a) a mais alto que b. (b) a e b nasceram no mesmo dia. (c) a tem o mesmo primeiro nome que b. (d) a e b tem um av em comum.

2 5. Determine se a relao R no conjunto de todas as pginas WEB reexiva, simtrica, anti-simtrica e/ou transitiva onde (a, b) R se, e somente se, (a) Todos que visitaram a pgina a tambm visitaram a pgina b (b) No existem links em comum na pgina a e na pgina b. (c) Existe pelo menos um link em comum nas duas pginas. (d) Existe uma pgina que inclui links para a pgina a e para a pgina b. 6. Determine se a relao R no conjunto de todos os nmeros reais reexiva, simtrica, anti-simtrica e/ou transitiva onde (a, b) R se, e somente se, (a) x + y = 0. (b) x = y. (c) x y um nmero racional. (d) x = 2y. (e) xy 0. (f) xy = 0. (g) x = 1. (h) x = 1 ou y = 1. 7. Uma relao R num conjunto A irreexiva se, para todo a A, (a, a) R, isto , R irreexiva se nenhum elemento de A est relacionado com ele mesmo. Uma relao R sobre um conjunto A pode no ser reexiva e tambm no ser irreexiva ao mesmo tempo? 8. Use a denio por quanticadores para dizer quando uma relao irreexiva. 9. Uma relao R num conjunto A dita assimtrica quando (a, b) R implica (b, a) R. Uma relao assimtrica deve ser anti-simtrica? 10. Se uma relao R num conjunto A anti-simtrica ento ela deve ser assimtrica? 11. Seja R uma relao de um conjunto A para um conjunto B. A relao inversa R1 de B para A o conjunto de todos os pares ordenados {(b, a) : (a, b) R}. A relao complementar R o conjunto de todos os pares ordenados {(a, b) : (a, b) R}. (a) Seja R a relao R = {(a, b) : a < b} no conjunto dos inteiros. Ache R1 e R. (b) Seja R a relao R = {(a, b) : a divide b} no conjunto dos inteiros positivos. Ache R1 e R. 12. Suponha que a funo f : A B bijetiva. Seja R a relao que igual ao grco de f , isto , R = {(a, f (a)), a A}. O que signica a relao inversa R1 ?

3 13. Sejam as relaes R1 = {(1, 2), (2, 3), (3, 4)} e R2 = {(1, 1), (1, 2), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3), (3, 4)} do conjunto {1, 2, 3} ao conjunto {1, 2, 3, 4}. Ache: (a) R1 R2 . (b) R1 R2 . (c) R1 R2 . (d) R2 R1 . 14. Sejam A o conjunto de todos os alunos da universidade e B o conjunto de todos os livros da biblioteca central. Sejam R1 = {(a, b) : a pediu o livro b emprestado} e R2 = {(a, b) : a leu o livro b}. Descreva cada uma das relaes abaixo: (a) R1 R2 . (b) R1 R2 . (c) R1 R2 . (d) R2 R1 . 15. Seja R a relao {(1, 2), (1, 3), (2, 3), (2, 4), (3, 1)} e seja S a relao igual ao conjunto {(2, 1), (3, 1), (3, 2), (4, 2)}. Ache S R. 16. Seja R a relao no conjunto de pessoas igual ao conjunto de todos os pares ordenados (a, b), onde a parente de b. Seja S a relao no conjunto de pessoas igual ao conjunto de todos os pares ordenados (a, b), onde a e b so irmos ou irms. O que signica S R e R S. 17. Seja R a relao no conjunto de todoas as pessoas que tem Doutorado tal que (a, b) R se, e somente se, a foi o orientador de b. Quando um mesmo par (a, b) R2 ? Quando um par ordenado (a, b) Rm ?. 18. Sejam R1 = {(a, b) : a divide b} e R2 = {(a, b) : a mltiplo de b}. Ache: (a) R1 R2 . (b) R1 R2 . (c) R1 R2 . (d) R2 R1 . 19. Quantas relaes existem no conjunto {a, b, c, d}? Quantas relaes existem no conjunto {a, b, c, d} que contm o par (a, a)? 20. Seja S um conjunto com n elementos e sejam a e b dois elementos distintos de S. Quantas relaes existem em S tais que: (a) (a, b) S.

4 (b) (a, b) S.

(c) no tem a como primeiro elemento. (d) tem pelo menos um par ordenado com a sendo o primeiro elemento. 21. Ache um erro na prova do seguinte teorema: Seja R uma relao num conjunto A. Se R simtrica e transitiva ento ela reexiva. Prova: Seja a A. Tome um b A tal que (a, b) R. Como R simtrica, temos que (b, a) R. Agora usando a propriedade transitiva, podemos concluir que (a, a) R, uma vez que (a, b) R e (b, a) R e isto completa a prova. 22. Suponha que R e S so relaes reexivas num conjunto A. Prove ou d um contraexemplo para cada uma das armaes abaixo: (a) R S reexiva. (b) R S reexiva. (c) R S reexiva. (d) S R reexiva. 23. Seja R a relao no conjunto A = {1, 2, 3, 4, 5} contendo os seguintes pares ordenados (1,2), (1,2), (1,3), (2,3), (2,4), (3,1), (3,4), (3,5), (4,2), (4,5), (5,1), (5,2) e (5,4). Ache R2 , R3 , R4 e R5 . 24. Seja R uma relao reexiva no conjunto A. Mostre que Rn reexiva para todos inteiros positivos n. 25. Seja R uma relao simtrica no conjunto A. Mostre que Rn simtrica para todos inteiros positivos n. 26. Suponha que R uma relao irreexiva. Devemos ter necessariamente R2 irreexiva? D uma justicativa para a sua resposta.