Professional Documents
Culture Documents
y x
b a
Exemplo 10.
Exerccio 19. Obtenha a Relacao de Ordem Parcial R
que tenha como Diagrama Hasse o grafo do Exemplo 10.
19
Diagramas Hasse
Exerccio 20. Desenhar o diagrama Hasse do poset
({2, 4, 5, 10, 12, 20, 25}, |).
20
Elementos Maximos e Mnimos
Denicao 18. Um elemento a, de um poset (S, R) e
maximo no poset se nao existe b S tal que a b.
De forma similar, a e mnimo no poset se nao existe
b S tal que b a.
Exerccio 21. Que elementos do poset ({2, 4, 5, 10, 12,
20, 25}, |) sao maximos, e que elementos sao mnimos ?
Denicao 19. Um elemento a, de um poset (S, R) e
o Limite Maximo (LM) do poset se b a para todo
b S.
De forma similar, a e o limite mnimo (lm) no poset se
a b para todo b S.
Exerccio 22. Para um conjunto X, determine se existem
LM e lm no poset (2
X
, ).
Exerccio 23. Existem LM e lm no poset (Z
+
, |)?
21
Fronteiras Superiores e Inferiores
Denicao 20. Dado um poset (S, R) e um subconjunto
A S um elemento s S e uma Fronteira Superior (FS)
de A se a s, para todo a A.
De forma similar, i S e uma fronteira inferior (fi) de A
se i a, para todo a A.
Exerccio 24. Encontre as fronteiras superiores e inferi-
ores dos subconjuntos {2, 4, 10}, {5, 10, 25}, e {2, 5, 10},
no poset ({2, 4, 5, 10, 12, 20, 25}, |).
Exerccio 25. Encontre as fronteiras superiores e inferi-
ores dos subconjuntos {{}, {}, {, }}, {, {}, {}}, no
poset correspondente ao Diagrama Hasse do Exemplo
9.
Exerccio 26. Encontre as fronteiras superiores e infe-
riores dos subconjuntos {, a}, {a, b}, {a, b, y}, no poset
correspondente ao Diagrama Hasse do Exemplo 10.
22
Fronteira Superior mnima e
fronteira inferior Maxima
Denicao 21. Dado um poset (S, R) e um subconjunto
A S um elemento x S e a Fronteira Superior mnima
(FSm) de A se a x, para todo a A, e x s para todo
s que seja FS de A.
De forma similar, y S e a fronteira inferior Maxima (fiM)
de A se y a, para todo a A, e z y para todo z que
seja fi de A.
Exerccio 27. Encontre, se existirem, as FSm e fiM dos
subconjuntos {2, 4, 10}, {5, 10, 25}, {2, 5, 10}, no poset
({2, 4, 5, 10, 12, 20, 25}, |).
Exerccio 28. Encontre, se existirem, as FSm e fiM dos
subconjuntos {{}, {}, {, }}, {, {}, {}}, e A no po-
set correspondente ao Diagrama Hasse do Exemplo 9.
Exerccio 29. Encontre, se existirem, as FSm e fiM dos
subconjuntos {, a}, {a, b}, {a, b, y}, no poset correspon-
dente ao Diagrama Hasse do Exemplo 10.
23
Reticulados (Lattices)
Denicao 22. Um reticulado e um poset (S, R) tal que,
para todo subconjunto A = {s
1
, s
2
}, s
1
, s
2
S, FSm e fiM
de A existem. Nesse caso se usa a notacao s
1
s
2
e s
1
s
2
,
respectivamente para FSm e fiM de A.
Exerccio 30. Indique quais dos seguintes posets sao
reticulados:
1. ({2, 4, 5, 10, 12, 20, 25}, |);
2. poset correspondente ao Diagrama Hasse do Exem-
plo 9;
3. poset correspondente ao Diagrama Hasse do Exem-
plo 9.
24
Reticulados (Lattices)
Denicao 23. Para generalizar o conceito de fronteira
inferior Maxima ou l = inf(A) = s
1
s
2
s
n
, onde
A S, l, z S e s
1
, . . . , s
n
A dene-se:
(s
i
A)l s
i
& (z)((s
i
A)z s
i
) z l
Observacao: l nao necessariamente pertence a A.
Em palavras, para que um elemento l seja nmo ou M
de um subconjunto A de S, ele precisa ser menor que y,
para todo y A e qualquer elemento que seja menor que
algum elemento de A e necessariamente menor que l.
Denicao 24. Para generalizar o conceito de Fronteira
Superior mnima ou u = sup(A) = s
1
s
2
s
n
, onde
A S, u, z S e s
1
, . . . , s
n
A dene-se:
(s
i
A)u s
i
& (z)((s
i
A)z s
i
) z u.
Observacao: u nao necessariamente pertence a A.
Em palavras, para que um elemento u seja supremo ou
FSm de um subconjunto A de S, ele precisa ser maior que
y, para todo y A e qualquer elemento que seja maior
que algum elemento de A e necessariamente maior que u.
Exerccio 31. Fazer os exerccios 1, 4, 5, 9, 10, 22, 27,
32, 35, 43 e 44 da se cao 8.6 (paginas 578 a 581), da
sexta edi cao em portugues).
25
EEE908 - Modelagem e
Controle de Sistemas Dinamicos
a Eventos Discretos
Linguagens e Automatos
Hopcroft, J.E., Motwani, R. e Ullman, J.D.,
Introduction to Automata Theory, Languages and
Computation, Addison-Wesley, 2
a
edicao, 2001
Prof. Patrcia N. Pena
Feveriro, 2014