6) Relaes de Ordenamento 6) Relaes de Ordenamento

6.1) Conjuntos Parcialmente Ordenados ( 6.1) Conjuntos Parcialmente Ordenados (Posets Posets) )
6.2) Extremos de 6.2) Extremos de Posets Posets
6.3) Reticulados 6.3) Reticulados
6.4) lgebras 6.4) lgebras Booleanas Booleanas Finitas Finitas
6.5) Funes 6.5) Funes Booleanas Booleanas
INE5403
INE5403
-
-
Fundamentos de Matemtica
Fundamentos de Matemtica
Discreta para a Computao
Discreta para a Computao
Elementos extremos de
Elementos extremos de
posets
posets
Definio Definio: Considere o : Considere o poset poset (A, (A, ) com a ordem parcial ) com a ordem parcial . Ento: . Ento:
a) Um elemento a a) Um elemento a A A chamado de um chamado de um elemento elemento
maximal maximal de A se no existe c de A se no existe c A tal que a<c (a A tal que a<c (a c, a c, a c). c).
b) Um elemento b b) Um elemento b A A chamado de um chamado de um elemento elemento
minimal minimal de A se no existe c de A se no existe c A tal que c<b (c A tal que c<b (c b, c b, c b). b).
Exemplos Exemplos: :
1. ( 1. (Z Z
+ +
, , ): elemento ): elemento minimal minimal: 1, : 1, maximal maximal: no tem : no tem
2. 2. ( (R R, , ): elemento ): elemento minimal minimal: no tem, : no tem, maximal maximal: no tem : no tem
3. ({1,2,3,4}, 3. ({1,2,3,4}, ): elemento ): elemento minimal minimal: 1, : 1, maximal maximal: 4 : 4
4. ({1,2,3,4}, 4. ({1,2,3,4}, ): elemento ): elemento minimal minimal: 4, : 4, maximal maximal: 1 : 1
Elementos extremos de
Elementos extremos de
posets
posets
Exemplo Exemplo: Considere o : Considere o poset poset A com o diagrama de A com o diagrama de Hasse Hasse abaixo: abaixo:
a2
b1
b2
a1
a3
b3
a1, a2 e a3 so elementos a1, a2 e a3 so elementos maximais maximais de A de A
b1, b2 e b3 so elementos b1, b2 e b3 so elementos minimais minimais de A de A
Elementos extremos de
Elementos extremos de
posets
posets
Exemplo Exemplo: Quais elementos do : Quais elementos do poset poset ({2,4,5,10,12,20,25},|) so ({2,4,5,10,12,20,25},|) so
maximais maximais e quais so e quais so minimais minimais? ?
Elementos Elementos maximais maximais: 12, 20 e 25. : 12, 20 e 25.
Elementos Elementos minimais minimais: 2 e 5. : 2 e 5.
Note que um Note que um poset poset pode ter mais do que um elemento pode ter mais do que um elemento
maximal maximal e mais do que um elemento e mais do que um elemento minimal minimal. .
20
2
12
4 10
5
25
Elementos extremos de
Elementos extremos de
posets
posets
Teorema Teorema: Seja (A, : Seja (A, ) um ) um poset poset finito e no vazio com ordem finito e no vazio com ordem
parcial parcial . Ento A tem pelo menos um elemento . Ento A tem pelo menos um elemento maximal maximal e ao e ao
menos um elemento menos um elemento minimal minimal. .
Prova Prova: :
Seja a Seja a A. Se a no A. Se a no maximal maximal, ento pode , ento pode- -se achar a se achar a
1 1
A A
com a<a com a<a
1 1
. .
Se a Se a
1 1
no no maximal maximal ento pode ento pode- -se achar a se achar a
2 2
A com a A com a
1 1
<a <a
2 2
. .
Este argumento no pode ser continuado indefinidamente, Este argumento no pode ser continuado indefinidamente,
pois o conjunto A pois o conjunto A finito. finito.
Assim, eventualmente ser Assim, eventualmente ser formada a seguinte cadeia: formada a seguinte cadeia:
a < a a < a
1 1
< a < a
2 2
< a < a
3 3
< ... < ... < a < a
k k- -1 1
< a < a
k k
No No poss poss vel encontrar mais algum b vel encontrar mais algum b A tal que A tal que a a
k k
<b <b. .
Logo, Logo, a a
k k
um elemento um elemento maximal maximal de (A, de (A, ). ).
5
Algoritmo para ordenao topolgica de
Algoritmo para ordenao topolgica de
posets
posets
Com o conceito de elementos Com o conceito de elementos minimais minimais, pode , pode- -se estabelecer um se estabelecer um
algoritmo algoritmo para encontrar uma ordenao topolgica de um dado para encontrar uma ordenao topolgica de um dado
poset poset finito (A, finito (A, ). ).
Algoritmo SORT Algoritmo SORT: :
1. I 1. I 1 1
2. S 2. S A A
3. Enquanto S 3. Enquanto S
a. Escolha um elemento a. Escolha um elemento minimal minimal a do conjunto S a do conjunto S
b. SORT[I] b. SORT[I] a a
c. I c. I I+1 I+1
d. S d. S S S - - {a} {a}
O algoritmo abaixo produz um vetor chamado O algoritmo abaixo produz um vetor chamado SORT SORT que satisfaz: que satisfaz:
SORT[1] SORT[1] < <SORT[2] SORT[2] < <... ...
A rela A rela o o < <sobre A definida desta forma sobre A definida desta forma uma uma ordena ordena o o
topol topol gica gica de (A, de (A, ). ).
Algoritmo para ordenao topolgica de
Algoritmo para ordenao topolgica de
posets
posets
Exemplo Exemplo: Seja A={a,b,c,d,e} e seja o diagrama de : Seja A={a,b,c,d,e} e seja o diagrama de Hasse Hasse de de
sobre A dado por: sobre A dado por:
a b
c
e
d
SORT
Algoritmo para ordenao topolgica de
Algoritmo para ordenao topolgica de
posets
posets
Exemplo (cont.) Exemplo (cont.): Seja A={a,b,c,d,e} e seja o diagrama de : Seja A={a,b,c,d,e} e seja o diagrama de Hasse Hasse
de de sobre A dado por: sobre A dado por:
SORT
d
Passo 1:
a b
c
e
Algoritmo para ordenao topolgica de
Algoritmo para ordenao topolgica de
posets
posets
Exemplo (cont.) Exemplo (cont.): Seja A={a,b,c,d,e} e seja o diagrama de : Seja A={a,b,c,d,e} e seja o diagrama de Hasse Hasse
de de sobre A dado por: sobre A dado por:
SORT
d e
Passo 2:
a b
c
Algoritmo para ordenao topolgica de
Algoritmo para ordenao topolgica de
posets
posets
Exemplo (cont.) Exemplo (cont.): Seja A={a,b,c,d,e} e seja o diagrama de : Seja A={a,b,c,d,e} e seja o diagrama de Hasse Hasse
de de sobre A dado por: sobre A dado por:
a b
SORT
d e c
Passo 3:
10
Algoritmo para ordenao topolgica de
Algoritmo para ordenao topolgica de
posets
posets
Exemplo (cont.) Exemplo (cont.): Seja A={a,b,c,d,e} e seja o diagrama de : Seja A={a,b,c,d,e} e seja o diagrama de Hasse Hasse
de de sobre A dado por: sobre A dado por:
a
SORT
d e c b
Passo 4:
Algoritmo para ordenao topolgica de
Algoritmo para ordenao topolgica de
posets
posets
Exemplo (cont.) Exemplo (cont.): Seja A={a,b,c,d,e} e seja o diagrama de : Seja A={a,b,c,d,e} e seja o diagrama de Hasse Hasse
de de sobre A dado por: sobre A dado por:
SORT
d e c b a
Passo 5:
a
b
c
e
d
Elementos extremos de
Elementos extremos de
posets
posets
Definio Definio: Seja o : Seja o poset poset (A, (A, ). Ento: ). Ento:
1) Um elemento a 1) Um elemento a A A chamado de um chamado de um maior elemento maior elemento de A de A
se b se b a a para todo para todo b b A A
2) Um elemento a 2) Um elemento a A A chamado de um chamado de um menor elemento menor elemento de A de A
se a se a b b para todo para todo b b A. A.
Nota Nota: Dado um : Dado um poset poset (A, (A, ), um elemento a ), um elemento a A A um maior (ou um maior (ou
menor) elemento se e somente se ele menor) elemento se e somente se ele um menor (maior) um menor (maior)
elemento do elemento do poset poset dual (A, dual (A, ). ).
Elementos extremos de
Elementos extremos de
posets
posets
Exemplo Exemplo: Determine se os : Determine se os posets posets representados por cada um representados por cada um
dos diagramas de dos diagramas de Hasse Hasse abaixo possuem um maior abaixo possuem um maior
elemento e um menor elemento. elemento e um menor elemento.
a b
c
e d
a b
c
d
a
b c
d
a
b c
e
d
(A): menor elemento a, no tem maior elemento (A): menor elemento a, no tem maior elemento
(B): no tem menor nem maior elemento (B): no tem menor nem maior elemento
(C): no tem menor elemento, maior elemento d (C): no tem menor elemento, maior elemento d
(D): menor elemento a, maior elemento d (D): menor elemento a, maior elemento d
(A) (B) (C) (D)
Elementos extremos em
Elementos extremos em
posets
posets
Exemplo Exemplo: Seja A um conjunto. Determine se h um maior elemento e um : Seja A um conjunto. Determine se h um maior elemento e um
menor elemento no menor elemento no poset poset (P(A), (P(A), ). ).
Exemplo Exemplo: H um maior elemento e um menor elemento no : H um maior elemento e um menor elemento no poset poset ( (Z Z
+ +
, ,|)? |)?
Soluo Soluo: :
O menor elemento o conjunto vazio, pois O menor elemento o conjunto vazio, pois T para qualquer T para qualquer
subconjunto T de A. subconjunto T de A.
O pr O pr prio conjunto A prio conjunto A o maior elemento deste o maior elemento deste poset poset, pois T , pois T A A
sempre que T sempre que T um subconjunto de A. um subconjunto de A.
Soluo Soluo: :
o inteiro 1 o menor elemento, pois 1|n sempre que n um intei o inteiro 1 o menor elemento, pois 1|n sempre que n um inteiro ro
positivo. positivo.
No h maior elemento, pois no existe inteiro que seja divisve No h maior elemento, pois no existe inteiro que seja divisvel por l por
todos os inteiros positivos. todos os inteiros positivos.
15
Elementos extremos em
Elementos extremos em
posets
posets
Definio Definio: Sejam um : Sejam um poset poset (A, (A, ) ) e um subconjunto e um subconjunto B B A. A.
Ento: Ento:
a) um elemento a a) um elemento a A A chamado de uma chamado de uma cota superior cota superior
( ( upper upper bound bound ) de B, se: ) de B, se:
b b a, para todo b a, para todo b B B
b) um elemento a b) um elemento a A A chamado de uma chamado de uma cota inferior cota inferior
( ( lower lower bound bound ) de B, se: ) de B, se:
a a b, para todo b b, para todo b B. B.
Elementos extremos em
Elementos extremos em
posets
posets
Exemplo Exemplo: Seja o : Seja o poset poset A={a,b,c,d,e,f,g,h} com o diagrama de A={a,b,c,d,e,f,g,h} com o diagrama de
Hasse Hasse abaixo. Ache todas as cotas superiores e inferiores dos abaixo. Ache todas as cotas superiores e inferiores dos
seguintes subconjuntos de A: seguintes subconjuntos de A:
a) B a) B
1 1
= {a,b} = {a,b} b) B b) B
2 2
= {c,d,e} = {c,d,e}
a
f g
h
b
c
d e
B
1
no tem cotas inferiores
suas cotas superiores so:
c,d,e,f,g,h
as cotas superiores de B
2
so:
f,g,h
suas cotas inferiores so:
c,a,b
Elementos extremos em
Elementos extremos em
posets
posets
Exerccio Exerccio: Encontre as cotas superiores e inferiores dos : Encontre as cotas superiores e inferiores dos
subconjuntos {a,b,c},{j,h} e {a,c,d,f} no subconjuntos {a,b,c},{j,h} e {a,c,d,f} no poset poset cujo cujo
diagrama de diagrama de Hasse Hasse dado por: dado por:
cotas superiores de {a,b,c}:
e,f,j,h
nica cota inferior: a
no h cotas superiores de {j,h}
suas cotas inferiores so:
a,b,c,d,e,f
b
g f
h
c
d e
j
a
cotas superiores de {a,c,d,f}:
f,h,j
sua cota inferior : a
Elementos extremos em
Elementos extremos em
posets
posets
Observaes Observaes: :
Note que um subconjunto B de um Note que um subconjunto B de um poset poset pode ou no ter pode ou no ter
cotas inferiores ou superiores (em A). cotas inferiores ou superiores (em A).
Alm isto, uma cota superior ou inferior de B pode ou no Alm isto, uma cota superior ou inferior de B pode ou no
pertencer ao prprio B. pertencer ao prprio B.
Menor cota superior / Maior cota inferior
Menor cota superior / Maior cota inferior
Definio (1) Definio (1): :
Um elemento x chamado de Um elemento x chamado de Menor Cota Superior Menor Cota Superior (LUB (LUB - - Least Least
Upper Upper Bound Bound) de um subconjunto A se x uma cota superior ) de um subconjunto A se x uma cota superior
menor do que qualquer outra cota superior de A. menor do que qualquer outra cota superior de A.
ou seja, x ser a menor cota superior de A se: ou seja, x ser a menor cota superior de A se:
a a x para todo a x para todo a A e A e
x x z para todo z que seja uma cota superior de A z para todo z que seja uma cota superior de A
Definio (2) Definio (2): :
Um elemento y chamado de Um elemento y chamado de Maior Cota Inferior Maior Cota Inferior (GLB (GLB - - Greatast Greatast
Lower Lower Bound Bound) de A se y uma cota inferior de A e ) de A se y uma cota inferior de A e z z y para todo z y para todo z
que seja uma cota inferior de A que seja uma cota inferior de A
20
Menor cota superior / Maior cota inferior
Menor cota superior / Maior cota inferior
Exemplo Exemplo: Seja o : Seja o poset poset A={a,b,c,d,e,f,g,h} com o diagrama de A={a,b,c,d,e,f,g,h} com o diagrama de
Hasse Hasse abaixo. Ache todos os abaixo. Ache todos os LUBs LUBs e e GLBs GLBs de: de:
a) B a) B
1 1
= {a,b} = {a,b} b) B b) B
2 2
= {c,d,e} = {c,d,e}
Como B
1
no tem cotas inferiores,
tambm no ter GLBs
LUB(B
1
) = c
Como as cotas inferiores de B
2
so
c,a,b, temos que GLB(B
2
) = c
As cotas superiores de B
2
so f,g,h -
ento, como f no comparvel com
g, conclumos que B
2
no tem LUB
a
f g
h
b
c
d e
Menor cota superior / Maior cota inferior
Menor cota superior / Maior cota inferior
Exerccio Exerccio: Encontre a LUB e a GLB de {b,d,g}, se elas : Encontre a LUB e a GLB de {b,d,g}, se elas
existirem, no existirem, no poset poset cujo diagrama de cujo diagrama de Hasse Hasse : :
as cotas superiores de {b,d,g} so:
g,h
ento, como g<h, g a menor
cota superior (LUB)
as cotas inferiores de {b,d,g} so:
a,b
ento, como a<b, b a maior
cota inferior (GLB)
b
g f
h
c
d e
j
a
Menor cota superior / Maior cota inferior
Menor cota superior / Maior cota inferior
Exemplo Exemplo: Encontre a menor cota superior e a maior cota inferior dos : Encontre a menor cota superior e a maior cota inferior dos
conjuntos {3,9,12} e {1,2,4,5,10}, se elas existirem, no conjuntos {3,9,12} e {1,2,4,5,10}, se elas existirem, no poset poset ( (Z Z
+ +
,|). ,|).
Soluo Soluo: :
GLBs GLBs (maiores cotas inferiores): (maiores cotas inferiores):
um inteiro uma cota inferior de {3,9,12} se 3,9, e 12 forem um inteiro uma cota inferior de {3,9,12} se 3,9, e 12 forem
divisveis por este inteiro divisveis por este inteiro
os os nicos inteiros deste tipo so 1 e 3 nicos inteiros deste tipo so 1 e 3
ento, como 1|3, 3 ento, como 1|3, 3 a a maior cota inferior maior cota inferior de {3,9,12} de {3,9,12}
a a nica cota inferior do conjunto {1,2,4,5,10} nica cota inferior do conjunto {1,2,4,5,10} o 1 o 1
portanto, 1 portanto, 1 a a maior cota inferior maior cota inferior para {1,2,4,5,10} para {1,2,4,5,10}
Menor cota superior / Maior cota inferior
Menor cota superior / Maior cota inferior
Exemplo (cont.) Exemplo (cont.): Encontre a menor cota superior e a maior cota inferior dos : Encontre a menor cota superior e a maior cota inferior dos
conjuntos {3,9,12} e {1,2,4,5,10}, se elas existirem, no conjuntos {3,9,12} e {1,2,4,5,10}, se elas existirem, no poset poset ( (Z Z
+ +
,|). ,|).
LUBs LUBs (menores cotas superiores): (menores cotas superiores):
um inteiro uma cota superior de {3,9,12} um inteiro uma cota superior de {3,9,12} sse sse ele for divisvel por 3, ele for divisvel por 3,
9 e 12. 9 e 12.
os inteiros com esta propriedade so aqueles divis os inteiros com esta propriedade so aqueles divis veis pelo veis pelo mmc mmc
de 3, 9 e 12, que de 3, 9 e 12, que 36. 36.
ento, 36 ento, 36 a a menor cota superior menor cota superior de {3,9,12} de {3,9,12}
um inteiro um inteiro uma cota superior para o conjunto {1,2,4,5,10} uma cota superior para o conjunto {1,2,4,5,10} sse sse ele ele
for divis for divis vel por 1,2,4,5,10 vel por 1,2,4,5,10
os inteiros com esta propriedade so aqueles divis os inteiros com esta propriedade so aqueles divis veis pelo veis pelo mmc mmc
de 1,2,4,5,10, que de 1,2,4,5,10, que 20. 20.
ento, 20 ento, 20 a a menor cota superior menor cota superior de {1,2,4,5,10} de {1,2,4,5,10}
Elementos extremos de
Elementos extremos de
posets
posets
Teorema Teorema: Seja (A, : Seja (A, ) um ) um poset poset. Ento um subconjunto B qualquer de A . Ento um subconjunto B qualquer de A
tem no m tem no m ximo um LUB e um GLB. ximo um LUB e um GLB.
Teorema Teorema: Suponha que (A, : Suponha que (A, ) e ) e (A, (A, ) so ) so posets posets isomorfos sob o isomorfos sob o
isomorfismo f:A isomorfismo f:A A A . Ento tem . Ento tem- -se que: se que:
a) se a a) se a um elemento um elemento maximal maximal ( (minimal minimal) de ) de (A, (A, ), ento f(a) ), ento f(a)
um elemento um elemento maximal maximal ( (minimal minimal) de ) de (A, (A, ); );
b) se a b) se a o maior (menor) elemento de o maior (menor) elemento de (A, (A, ), ento f(a) ), ento f(a)
o maior (menor) elemento de o maior (menor) elemento de (A, (A, ); );
c) se a c) se a uma cota superior (inferior) de um subconjunto B de uma cota superior (inferior) de um subconjunto B de
A, ento f(a) A, ento f(a) uma cota superior (inferior) do subconjunto uma cota superior (inferior) do subconjunto
f(B) de A f(B) de A
d) se todo subconjunto de d) se todo subconjunto de (A, (A, ) tem LUB (GLB), ento todo ) tem LUB (GLB), ento todo
subconjunto de subconjunto de (A, (A, ) tem um LUB (GLB). ) tem um LUB (GLB).
25
Elementos extremos de
Elementos extremos de
posets
posets
Exemplo Exemplo: Mostre que os : Mostre que os posets posets (A, (A, ) e ) e (A, (A, ), cujos diagramas ), cujos diagramas
de de Hasse Hasse esto mostrados abaixo, esto mostrados abaixo, no so isom no so isom rficos rficos. .
a'
b'
c'
b c
a
Soluo Soluo: Os 2 : Os 2 posets posets no so isomrficos porque (A, no so isomrficos porque (A, ) possui um ) possui um
maior elemento a, enquanto que maior elemento a, enquanto que (A, (A, ) no possui um maior ) no possui um maior
elemento. elemento.
Tamb Tamb m se pode argumentar que eles no so isom m se pode argumentar que eles no so isom rficos rficos
porque porque (A, (A, ) no tem um menor elemento enquanto que ) no tem um menor elemento enquanto que
(A, (A, ) tem. ) tem.