Escolar Documentos
Profissional Documentos
Cultura Documentos
A,
y e y x, ento x = y
y e y z ento x z
Exerccios:
1. Seja P (A) o conjunto de todos os subconjuntos de A.
relao C uma relao de ordem parcial em P (A).
Mostrar que a
Z dos inteiros.
Z dos inteiros.
em A e B C A. Seja a relao
em B tal
de ordem parcial.
denominado
].
Exerccios:
4. A relao < nos reais de ordem parcial? Por que?
5. Seja A = { x / x pertence aos Inteiros e 1 x 12} e
a relao
Definio:
Predessessor
(sucessor)
predecessor
(sucessor)
imediato
Seja [S, ] um poset.
Supor que x e y pertenam a S.
Se x y, h duas possibilidades: x = y ou x y.
Se x y e x y, denota-se por x < y e diz-se que x um predecessor de
y ou que y um sucessor de x.
Um dado y pode ter diversos predecessores mas, se x < y e no h z tal
que x < z < y, ento diz-se que x um predecessor imediato de y.
Exerccio:
6. Considere a relao x divide y em {1,2,3,6,12,18}.
(a) Escreva os pares ordenados dessa relao;
(b) Escreva todos os predecessores de 6;
(c) Escreva todos os predecessores imediatos de 6
A A | a b} :
Exerccios:
7. Construir o diagrama de Hasse do exerccio 5.
8. Seja A = {1, 2, 3, 4, 6, 8, 9, 12, 18, 24}. A ordem parcial a
divisibilidade sobre A (ou seja, a b sss a | b). Desenhar o diagrama de
Hasse do poset (A, ).
9. Descreva os pares ordenados na relao determinada pelo diagrama de
Hasse sobre o conjunto A = {1, 2, 3, 4}, dado abaixo.
a) Um elemento m
em [ A, ] tal que m a.
Chama-se elemento maximal de A um elemento a
A tal que
A, se x a ento x = a.
b) Um elemento
todo a
para
bound.
OBS.
O elemento maximal no obrigatoriamente comparvel a todos os
elementos do Poset.
Pode haver mais de um elemento maximal.
O elemento greatest
(mximo)
tambm maximal,
mas
Exemplo:.
Exerccio:
10.
(a) Mostrar que
limite inferior
(lower bound) de a e b se d a e d b.
g) l
l e b l e se existir l
h) g
g a e g b e se existir g
A tal que se g a e g b
ento g g; isto
Exerccios:
11. Resolver o exerccio 7 da pg. 191 do Preparata.
12. Construir o diagrama de Hasse para o poset do exemplo anterior.
RETICULADOS
Seja [ A, ] um poset e a e b elementos de A.
Definir a V b como o lub de a e b e denomin-la unio (join).
Definir a
(a) fig. 4.3.4 (a) da pg.197 do Preparata. Comente as figuras 4.3.2 (a)
e (b) da pg. 194 do Preparata.
(b) Leia o exemplo 4.3.3 da pg. 196 do Preparata.
Nesse caso, V e
].
Mostrar,
ou
explicitar
um
contraexemplo,
que
conjunto
de
(a V b) = (a) V
(ii)
(a b) = (a) (b).
(b) e
SUBRETICULADOS
Se [ L, V ] um reticulado e L um subconjunto de L tal que para todo par
de elementos a, b de L tanto a V b quanto a
as operaes V e
esto em L, ento L e
],
RETICULADOS DISTRIBUTIVOS
(i)
a (b v c ) = (a b) v (a c) ou
(ii) a v (b c ) = (a v b) (a v c)
Exemplo: Se A um conjunto qualquer, ento o reticulado [P(A), U, ],
onde P(A) o conjunto de todos os subconjuntos de A, um reticulado
distributivo.
Exerccios
17. Mostrar que um reticulado satisfaz
a (b v c ) = (a b) v (a c) se somente se satisfaz
a v (b c ) = (a v b) (a v c)
18. Resolver os exerccios 1 e 7 da lista 4.4 do Preparata.
19. Mostre que todo subconjunto finito de um reticulado tem um supremo e
um nfimo.
RETICULADOS COMPLEMENTADOS
Def.: Reticulados que possuem I e O so reticulados limitados (bounded).
Def.: Complemento de um elemento a, pertencente a um reticulado [ L, V, ],
limitado, um elemento b tal que A b = O e a v b = I.
sob a relao
divide.
a) Determinar:
- os elementos greatest e least.
- o complemento do elemento 2.