Você está na página 1de 11

RELAES DE ORDEM PARCIAL

Def.: Uma relao binria

sobre A de ordem parcial em A se for:

(a) (reflexiva) para todo x

A,

(b) (antissimtrica) para todo x, y A, se x


(c) (transitiva) para todo x, y A, se x

y e y x, ento x = y

y e y z ento x z

Teorema: As propriedades de transitividade, antissimetria, simetria e


reflexo de uma relao so preservadas na relao inversa.
Corolrio: Se
inversa

uma relao de ordem parcial em A, ento a relao

tambm uma relao de ordem parcial.

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

2. Determinar, entre as relaes definidas a seguir, quais as que so


relaes de ordem parcial. Justificar.
(a) a relao menor ou igual no conjunto

Z dos inteiros.

(b) a relao div (divisibilidade) no conjunto


3. Seja relao de ordem parcial
que para todo a, b em B, a

Z dos inteiros.

em A e B C A. Seja a relao

em B tal

b se somente se a b. Mostrar que relao

de ordem parcial.

CONJUNTOS PARCIALMENTE ORDENADOS (POSET)


Um conjunto S munido de uma relao de ordem parcial

denominado

conjunto parcialmente ordenado (poset) e representado por [S,


Exemplo: A relao de ordem

].

usual nos reais uma relao de ordem

parcial (total, porque todos os pares so comparveis dois a dois).

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

divide. Mostrar que [A, ] um poset.

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

DIAGRAMA DE HASSE EM CONJUNTOS PARCIALMENTE


ORDENADOS
Posets so relaes e seus digrafos podem ser desenhados.
No entanto, muitas arestas no precisam ser mostradas porque so
consequncia das propriedades de reflexo e transitividade.
Portanto, as arestas que sempre devem estar presentes podem ser
retiradas.
As estruturas obtidas desta forma so chamadas de Diagramas de Hasse
dos posets.

Exemplo: Considere o digrafo da ordem parcial, sobre o conjunto


A = {1, 2, 3, 4}, dado por = {(a, b)

A A | a b} :

Retiram-se os loops e as arestas presentes pela transitividade.


Depois retiram-se as indicaes de sentido porque admite-se que o grfico
est construdo de baixo para cima.

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.

Obs.: fecho de uma relao:

Uma relao binria * em um conjunto S dita ser o fecho de uma


relao em S relativo propriedade P se:
1. * tem a propriedade P;
2. ;
3. a menor relao contendo com a propriedade P, ou seja
comP evale

ELEMENTOS NOTVEIS DE UM POSET


Seja [ A, ] um poset

a) Um elemento m

[ A, ] maximal se no houver outro elemento a

em [ A, ] tal que m a.
Chama-se elemento maximal de A um elemento a

A tal que

elemento algum de A sucede estritamente a, isto , para qualquer x

A, se x a ento x = a.

b) Um elemento
todo a

[ A, ] o greatest (mximo) quando a

para

[ A, ]. O greatest tambm denominado upper universal

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

comparvel a todos os elementos do Poset.


c) O elemento minimal definido de forma anloga ao elemento maximal.
d) Analogamente ao greatest I, definido o elemento least O (mnimo).
O least tambm denominado lower universal bound.
e) Um poset finito sempre possui elemento maximal e elemento minimal,
mas no tem, obrigatoriamente, elementos greatest e least.

Exemplo:.

Exerccio:
10.
(a) Mostrar que

I e O, quando existem, so nicos.

(b) Verificar se o poset A = {2, 3, 5, 6, 8, 10, 12, 15, 24} e a


divisibilidade possue greatest e least.
(c) idem para o poset {1, 2, 3, 5, 6, 8, 10, 12, 15, 24} e a
divisibilidade.

f) Sejam a, b elementos de A. Ento, c

limite superior (upper

bound) de a e b se a c e b c. Da mesma forma, d

limite inferior

(lower bound) de a e b se d a e d b.

g) l

A o supremo (least upper bound lub) de a e b se somente se a

l e b l e se existir l

A tal que a l e b l ento l l; isto , l o

menor dos limites superiores.


O supremo (least upper bound lub) de a e b em [ A, ] um
elemento c de A que satisfaz a c e b c e no existe qualquer
outro x em A tal que a x c e b x c, isto , c o menor dos
limites superiores.

h) g

A o nfimo (greatest lower bound glb) de a e b se somente se

g a e g b e se existir g

A tal que se g a e g b

ento g g; isto

, g maior dos limites inferiores.


O nfimo (greatest lower bound glb) de a e b em [ A, ] um
elemento d de A que satisfaz d a e d b e no existe qualquer
outro x em A tal que d x a e d x b, isto , d o maior dos
limites inferiores.
Exemplos:
A = {1, 3, 5, 7. 15, 21, 35, 105}. Seja a relao divide em A. [A, ]
um poset. Determinar:
- o lub (3, 7) 21 ou 105? 21
- o lub (3, 5) 15 ou 105? 15
- o greatest de A 105, porque todos os elementos de A dividem 105.
- o glb de (15, 35) 5 ou 1? 5
- o least de A 1, porque 1 divide todos os elementos de A.

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

b como o glb de a e b e denomin-la conjuno (meet)

Definio: Reticulado (Lattice) um poset [L, ] no qual quaisquer


elementos a, b de L possuem um nico lub (supremo) e um nico
glb (nfimo).
Exemplos:

(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

podem ser vistas como operaes binrias e a notao

acompanha a notao de um sistema algbrico [ L, V,

].

Quando para dois elementos quaisquer a e b em [S, ] existe o join


nico, ento o join se torna uma operao binria em S. Em consequncia, a
operao, para operandos arbitrrios em S, fechada e o resultado nico
(Preparata, pg. 194).
Condio de existncia de V ( ) para qualquer par de elementos de
um poset finito [A, ]:
Para cada dois elementos arbitrrios a e b de um poset finito [ A, ],
uma unio (conjuno) de a e b existe em [ A, ] se somente se [ A,
] possui um greatest I (least - O).
Exerccios:
13.

Mostrar,

ou

explicitar

um

contraexemplo,

que

conjunto

de

subconjuntos de um conjunto L, com as operaes sobre conjuntos de unio


e interseco, sob a relao de C, formam um reticulado. (Preparata ex
4.3.1 da pg. 198)
14. Mostrar que as operaes binrias de unio (join) e conjuno (meet) de
um reticulado tm as seguintes propriedades: idempotncia (ava=a),
comutatividade (avb=bva), associatividade ((avb)vc)=(av(bvc)) e absoro
(av(ab)=a).
15. Construir o diagrama de Hasse de um reticulado e de um poset que no
seja um reticulado.

ISOMORFISMOS ENTRE RETICULADOS

Dois reticulados L1 e L2 so isomorfos se existe uma bijeo tal que


para todo para a, b em L1 valem as equaes
(i)

(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

restritas a L , formam um subreticulado [ L, V*

onde * indica a restrio sobre as operaes V e

],

Exemplo: fig. 4.3.4 da pg. 197 do Preparata.


Exerccios:
16. Resolver os exerccios 5, 6 e 7 da lista 4.3 pg. 198 do Preparata.

RETICULADOS DISTRIBUTIVOS

Um reticulado [ L, V, ] distributivo se para quaisquer trs elementos de


L vale uma das igualdades:

(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.

Def.: Um reticulado [ L, V, ] limitado complementado se para cada


elemento a pertencente a L existe um complemento b pertencente a L.
Exerccios
20. Mostrar que em um reticulado distributivo [L, V, ] complementado, os
complementos so nicos.
21. Mostrar que um supremo de um poset, quando existe, nico.

22. Seja L = {1, 2, 3, 5, 30}. Considere o reticulado [L, V,

sob a relao

divide.
a) Determinar:
- os elementos greatest e least.
- o complemento do elemento 2.

b) Verificar se o reticulado complementado.