Diagrama de Hasse e Reticulados

George Darmiton da Cunha Cavalcanti

CIn - UFPE
Diagrama de Hasse
Seja o poset ({1,2,3,4,6},|). Qual a
representao da relao | usando grafos?
1
2
3
4
6
Diagrama de Hasse
(Construo do diagrama)
A relao reflexiva
possui laos em todos os ns
No preciso colocar os laos
Transitiva
no necessrio colocar as arestas que
ilustram a transitividade
Desenha-se o diagrama de forma que
no preciso colocar setas
1
2
3
4 6
Exemplo
Construa o diagrama de Hasse para ({1,2,3,4}, ).
Exemplo
Construa o diagrama de Hasse que representa a ordem parcial
{(a,b) | a divide b} sobre o conjunto {1,2,3,4,6,8,12}.
Diagrama de Hasse
Desenhe o diagrama de Hasse para o poset
({2,4,5,10,12,20,25},|)
2
10
4
20
12
5
25
Elementos Maximais e Minimais
Seja um poset (S, ).
O elemento a maximal nesse poset se no
existe b S de forma que a < b.
O elemento a minimal nesse poset se no
existe b S de forma que b < a.
Exemplo
2
10
4
20
12
5
25
Desenhe o diagrama de Hasse para o poset
({2,4,5,10,12,20,25},|)
Elementos
maximais
Elementos
minimais
Maior elemento/ Menor elemento
a o maior elemento no poset (S, ) se
b a para todo bS
a o menor elemento no poset (S, ) se
a b para todo bS
Quando existem, o maior e o menor
elementos so nicos
Exemplo
Determine, caso existam, o maior e o menor elemento
dos diagramas de Hasse a seguir.
Menor elemento
Maior elemento Maior elemento
Menor elemento
Limitante superior/inferior
Seja A um subconjunto do poset (S, ).
Se uS e a u para todo aA, ento u
chamado de limitante superior (upper
bound) de A.
Se lS e l a para todo aA, ento l
chamado de limitante inferior (lower
bound) de A.
Limitante superior/inferior
Limitantes superior e inferior dos subconjuntos
{a,b,c}, {j,h} e {a,c,d,f} do seguinte poset.
De {a,b,c}:
sup= {e,f,h,j}; inf={a}
De {j,h}:
sup=; inf={a,b,c,d,e,f}
De {a,c,d,f}:
sup={f,j,h}; inf={a}
b
f
d
j
g
c
e
h
a
Supremo e nfimo
Supremo: o menor dos limitantes
superiores
nfimo: o maior dos limitantes inferiores
Quando existem so nicos
Exemplo
Qual o supremo e o nfimo de {b,d,g} do poset abaixo?
b
f
d
j
g
c
e
h
a
De {b,d,g}:
Superior = {g,h}
Inferior = {b,a}
De {b,d,g}:
Supremo = {g}
nfimo = {b}
Reticulado
Um poset no qual cada par de
elementos possui um supremo e um
nfimo chamado de reticulado.
Reticulados possuem propriedades
especiais.
Modelos de fluxo de informao
Importante papel na lgebra booleana
Exemplo
O segundo diagrama no
um reticulado.
Os elementos b e c no tm
supremo. Os elementos d,e e f
so limitantes superior de b e
c, no entanto no existe o
menor entre eles.