Professional Documents
Culture Documents
Propriedades
Representando Rela co es
Rela c oes
Prof. Dr. Leandro Balby Marinho
1 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Roteiro
1. Introdu c ao 2. Propriedades das Rela c oes 3. Representando Rela c oes Bin arias 4. Rela c ao de Equival encia 5. Rela c oes de Ordem
2 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Rela co es no dia-a-dia
Rela c oes entre objetos de conjuntos ocorrem em muitos contextos, por exemplo: Rela c oes de amizade entre pares de usu arios em redes sociais. Alunos que cursam uma mesma disciplina. Um empresa e sua localiza c ao geogr aca. Uma pessoa e seu n umero de telefone. Um inteiro e seus divis veis.
2 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
3 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
4 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
5 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 1
Sejam S = {1, 2} e T = {2, 3}. Temos que S T = {(1, 2), (1, 3), (2, 2), (2, 3)}
Podemos denir v arias rela c oes entre S e T , por exemplo: Rela c ao de igualdade: R1 = {(a, b ) | a = b } .
R1 = {(2, 2)}.
6 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 2
Seja um conjunto A = {1, 2, 3} e uma rela c ao em A A R = {(a, b ) | a e divis vel por b } Quais pares ordenados est ao na rela c ao?
7 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 2
Seja um conjunto A = {1, 2, 3} e uma rela c ao em A A R = {(a, b ) | a e divis vel por b } Quais pares ordenados est ao na rela c ao? Solu c ao: Comece escrevendo o produto cartesiano: A A = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2), (3, 3)} Os pares ordenados onde a e divis vel por b s ao R = {(1, 1), (2, 1), (2, 2), (3, 1), (3, 3)}
7 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exerc cio 1
Liste os pares ordenados na rela c ao R de A = {0, 1, 2, 3, 4} em B = {0, 1, 2, 3}, onde (a, b ) R se e somente se: a) a > b b) (a + b ) = 4 c) mmc (a, b ) = 2
8 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Rela co es n- areas
Rela c ao n- areas
Dados os conjuntos S1 , S2 , . . . , Sn , uma rela c ao n- area R em S1 S2 . . . Sn e um subconjunto de S1 S2 . . . Sn .
9 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 3
Sejam A = {1, 2}, B = {2} e C = {2, 3} e seu produto cartesiano A B C = {(1, 2, 2), (1, 2, 3), (2, 2, 2), (2, 2, 3)} Abaixo alguns exemplos de rela c oes entre esses tr es conjuntos:
10 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exerc cio 2
Sejam F o conjunto de usu arios do Facebook e T o conjunto de usu arios do Twitter. Dena uma rela c ao em F F T .
11 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Rela co es Un arias
Rela c ao Un aria
Uma rela c ao un aria R em um conjunto S e um subconjunto particular de S .
12 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplos
Exemplo 4: O conjunto dos n umeros pares P (subconjunto de N) e denido pela rela c ao: R = {x | x e par}
13 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Rela co es Um-para-Um
R e uma rela c ao um-para-um se cada primeiro elemento s e cada segundo elemento t aparecem exatamente uma vez na rela c ao.
Exemplo 6: Sejam S = {2, 5, 7, 9} e T = {1, 3, 4, 5}. Uma rela c ao um-para-um e dada por R = {(2, 4), (5, 5), (7, 3), (9, 1)}
14 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Rela co es Um-para-Muitos
R e uma rela c ao um-para-muitos se algum primeiro elemento s aparece mais de uma vez.
Exemplo 7: Considerando os conjuntos do Exemplo 6, uma rela c ao um-para-muitos e dada por: R = {(7, 4), (2, 5), (2, 3)}
15 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Rela co es Muitos-para-Um
R e uma rela c ao muitos-para-um se algum segundo elemento t zer par com mais de um primeiro elemento.
Exemplo 8: Considerando os conjuntos do Exemplo 6, uma rela c ao muitos-para-um e dada por: R = {(2, 4), (3, 4), (5, 2)}
16 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Rela co es Muitos-para-Muitos
R e uma rela c ao muitos-para-muitos se pelo menos um s zer par com mais de um t e pelo menos um t zer par com mais de um s .
Exemplo 9: Considerando os conjuntos do Exemplo 6, uma rela c ao muitos-para-muitos e dada por: R = {(7, 4), (2, 5), (9, 4), (2, 3)}
17 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exerc cio 3
Analise as rela c oes abaixo: a) pai-de(PESSOA,PESSOA) b) casado-com(PESSOA,PESSOA) c) trabalha-em(PESSOA,EMPRESA) quanto ` as caracter sticas um-para-um, um-para-muitos, etc.
18 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Como rela c oes de A em B s ao conjuntos de A B , as opera c oes de conjuntos podem ser aplicada a quaisquer rela c oes entre A e B para produzir novas rela c oes.
19 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exerc cio 4
Sejam R1 e R2 duas rela c oes bin arias em S = {1, 2, 3, 4, 5} denidas por: R1 = {(x , y ) | x = y }. R2 = {(x , y ) | x < y }. Encontre: a) R1 R2 1 b) R 2 c) R d) R1 R2 1 e) R1 R
20 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Roteiro
1. Introdu c ao 2. Propriedades das Rela c oes 3. Representando Rela c oes Bin arias 4. Rela c ao de Equival encia 5. Rela c oes de Ordem
21 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
21 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
21 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
21 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
21 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exerc cio 5
Considere as rela c oes abaixo no conjunto A = {1, 2, 3, 4}:
R1 = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 4), (4, 1), (4, 4)} R2 = {(1, 1), (1, 2), (2, 1)} R3 = {(1, 1), (1, 2), (1, 4), (2, 1), (2, 2), (3, 3), (4, 1), (4, 4)} R4 = {(2, 1), (3, 1), (3, 2), (4, 1), (4, 2), (4, 3)} R5 = {(1, 1), (1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 3), (3, 4), (4, 4)}
Quais dessas rela c oes s ao reexivas, sim etricas, anti-sim etricas e transitivas?
22 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Se uma rela c ao R em um conjunto S n ao tem uma certa propriedade, podemos tentar estender R a m de obter uma rela c ao R em S que tenha a propriedade. Uma rela c ao bin aria R em um conjunto S e dita ser o fecho de uma rela c ao R em S relativo a propriedade P se: R tem a propriedade P . R R . R e a menor rela c ao contendo R com a propriedade P .
23 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 10
Seja S = {1, 2, 3} e R = {(1, 1), (1, 2), (1, 3), (3, 1), (2, 3)}.
24 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 10
Seja S = {1, 2, 3} e R = {(1, 1), (1, 2), (1, 3), (3, 1), (2, 3)}. O fecho reexivo de R e dado por: R = {(1, 1), (1, 2), (1, 3), (3, 1), (2, 3), (2, 2), (3, 3)}
24 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 10
Seja S = {1, 2, 3} e R = {(1, 1), (1, 2), (1, 3), (3, 1), (2, 3)}. O fecho reexivo de R e dado por: R = {(1, 1), (1, 2), (1, 3), (3, 1), (2, 3), (2, 2), (3, 3)}
O fecho sim etrico de R e dado por: R = {(1, 1), (1, 2), (1, 3), (3, 1), (2, 3), (2, 1), (3, 2)}
24 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exerc cio 6
Seja S = {a, b , c , d } e R = {(c , c ), (a, c ), (a, d ), (b , d ), (c , a)}. Ache os fechos reexivo e sim etrico de R .
25 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exerc cio 7
Qual o fecho sim etrico da rela c ao R = {(a, b ) | a > b } no conjunto dos inteiros positivos?
26 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Roteiro
1. Introdu c ao 2. Propriedades das Rela c oes 3. Representando Rela c oes Bin arias 4. Rela c ao de Equival encia 5. Rela c oes de Ordem
27 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Matrizes de Rela co es
27 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Matrizes de Rela co es
Seja R uma rela c ao de A = {a1 , a2 , . . . , am } em B = {b1 , b2 , . . . , bn }. A rela c ao R pode ser representada por uma matriz bin aria mij = 1, 0, se (ai , bj ) R se (ai , bj ) /R
27 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplos
Exemplo 11: Seja A = {1, 2, 3} e B = {1, 2} e a rela c ao R = {(a, b ) | a > b , onde a A e b B } dada pela matriz abaixo. 0 0 MR = 1 0 1 1
28 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplos
Exemplo 11: Seja A = {1, 2, 3} e B = {1, 2} e a rela c ao R = {(a, b ) | a > b , onde a A e b B } dada pela matriz abaixo. 0 0 MR = 1 0 1 1 Exerc cio 8: Seja A = {a1 , a2 , a3 } e B = {b1 , b2 , b3 , b4 , b5 }. Quais pares ordenados est ao na rela c ao R representada pela matriz abaixo? 0 1 0 0 0 MR = 1 0 1 1 0 1 0 1 0 1
28 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Introdu c ao
Propriedades
Representando Rela co es
30 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Em termos de MR , uma rela c ao e antisim etrica se quando mij = 1, mij = 0 ou vice-versa para i = j . MR = 0 0 1 1 0 0
31 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exerc cio 9
Seja a rela c ao R representada pela seguinte matriz: 1 1 0 MR = 1 1 1 0 1 1 Essa rela c ao e reexiva, sim etrica e/ou anti-sim etrica?
32 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Grafos de Rela co es
Rela co es bin arias podem ser representadas por um grafo direcionado onde cada elemento e um v ertice e cada par ordenado uma aresta direcionada. Exemplo 12: O grafo direcionado representando a rela c ao R = {(1, 1), (1, 3), (2, 1), (2, 3), (2, 4), (3, 1), (3, 2), (4, 1)} e dado abaixo.
33 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exerc cio 10
34 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
35 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Uma rela c ao e reexiva se h a um loop em cada v ertice. Uma rela c ao e sim etrica se e somente se para cada aresta entre dois v ertices distintos h a uma aresta na dire c ao oposta.
35 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Uma rela c ao e reexiva se h a um loop em cada v ertice. Uma rela c ao e sim etrica se e somente se para cada aresta entre dois v ertices distintos h a uma aresta na dire c ao oposta. Uma rela c ao e antisim etrica quando n ao houver duas arestas com dire c oes opostas entre v ertices distintos.
35 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Uma rela c ao e reexiva se h a um loop em cada v ertice. Uma rela c ao e sim etrica se e somente se para cada aresta entre dois v ertices distintos h a uma aresta na dire c ao oposta. Uma rela c ao e antisim etrica quando n ao houver duas arestas com dire c oes opostas entre v ertices distintos. Uma rela c ao e transitiva quando existir uma aresta entre os v ertices x e z dado que existem arestas entre os v ertices x e y e y e z.
35 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exerc cio 10
Determine se as rela c oes representadas nos grafos abaixo s ao reexivas, sim etricas, anti-sim etricas e/ou transitivas.
36 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Roteiro
1. Introdu c ao 2. Propriedades das Rela c oes 3. Representando Rela c oes Bin arias 4. Rela c ao de Equival encia 5. Rela c oes de Ordem
37 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Deni c ao 1
Uma rela c ao bin aria em um conjunto S que seja reexiva, sim etrica e transitiva e chamada de uma rela c ao de equival encia em S .
37 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Deni c ao 1
Uma rela c ao bin aria em um conjunto S que seja reexiva, sim etrica e transitiva e chamada de uma rela c ao de equival encia em S . Exemplos:
R = {(x , y ) | x + y e par e x , y N} R = {(x , y ) | senta na mesma leira que y (em uma sala)} . R = {(1, 1), (2, 2), (3, 3), (1, 2), (2, 1)} em A = {1, 2, 3}.
37 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 13
Seja R a rela c ao no conjunto de cadeias do alfabeto da l ngua portuguesa tal que a R b l (a) = l (b ) onde l (x ) e o tamanho da cadeia x. R e uma rela c ao de equival encia?
38 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 13
Seja R a rela c ao no conjunto de cadeias do alfabeto da l ngua portuguesa tal que a R b l (a) = l (b ) onde l (x ) e o tamanho da cadeia x. R e uma rela c ao de equival encia? Como l (a) = l (a) para qualquer cadeia a, segue que a R a e a rela c ao e reexiva.
38 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 13
Seja R a rela c ao no conjunto de cadeias do alfabeto da l ngua portuguesa tal que a R b l (a) = l (b ) onde l (x ) e o tamanho da cadeia x. R e uma rela c ao de equival encia? Como l (a) = l (a) para qualquer cadeia a, segue que a R a e a rela c ao e reexiva. Como l (b ) = l (a) l (a) = l (b ) ent ao a rela c ao e sim etrica.
38 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 13
Seja R a rela c ao no conjunto de cadeias do alfabeto da l ngua portuguesa tal que a R b l (a) = l (b ) onde l (x ) e o tamanho da cadeia x. R e uma rela c ao de equival encia? Como l (a) = l (a) para qualquer cadeia a, segue que a R a e a rela c ao e reexiva. Como l (b ) = l (a) l (a) = l (b ) ent ao a rela c ao e sim etrica. Como l (a) = l (b ) l (b ) = l (c ) l (a) = l (c ) a rela c ao e transitiva.
38 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 13
Seja R a rela c ao no conjunto de cadeias do alfabeto da l ngua portuguesa tal que a R b l (a) = l (b ) onde l (x ) e o tamanho da cadeia x. R e uma rela c ao de equival encia? Como l (a) = l (a) para qualquer cadeia a, segue que a R a e a rela c ao e reexiva. Como l (b ) = l (a) l (a) = l (b ) ent ao a rela c ao e sim etrica. Como l (a) = l (b ) l (b ) = l (c ) l (a) = l (c ) a rela c ao e transitiva. Portanto R e uma rela c ao de equival encia.
38 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exerc cio 11
Verique se a rela c ao bin aria R = {(x , y ) | x divide y } nos inteiros positivos e uma rela c ao de equival encia.
39 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Parti c ao
Deni c ao 2
Uma parti c ao de um conjunto S e uma cole c ao de subconjuntos disjuntos n ao-vazios de S cuja uni ao resulta em S . Os subconjuntos que formam a parti c ao (chamados de classes de equival encia) s ao formados pelos elementos de S que se relacionam.
40 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Deni c ao 3
Seja R uma rela c ao de equival encia em S e x um elemento de S . Denotamos por [x ] o conjunto de todos os elementos de S que se relacionam com x e chamamos esse conjunto de classe de equival encia de x . Assim, [x ] = {y | y S e x R y }
Exemplo 14: No caso da rela c ao x senta na mesma coluna que y , suponha que Jo ao, Pedro e Maria sentam todos na coluna 3. Ent ao: [Jo ao] = [Pedro] = [Maria] = {Jo ao, Pedro, Maria}.
41 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Teorema 1
Seja R uma rela c ao de equival encia em S . Ent ao, as classes de equival encia distintas de S formam uma parti c ao em S , ou seja, (1) a uni ao das classes resulta em S e (2) classes distintas s ao disjuntas.
Corol ario 1
Uma rela c ao de equival encia em um conjunto S determina uma parti c ao de S e uma parti c ao de S determina uma rela c ao de equival encia.
42 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 15
Seja S = {a/b | a, b Z, b = 0}, ou seja, o conjunto de todas as fra c oes.
43 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 15
Seja S = {a/b | a, b Z, b = 0}, ou seja, o conjunto de todas as fra c oes. Duas fra c oes a/b e c /d s ao ditas equivalentes (a/b c /d ) se, e somente se, ad = bc , ou seja: a/b c /d ad = bc
43 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 15
Seja S = {a/b | a, b Z, b = 0}, ou seja, o conjunto de todas as fra c oes. Duas fra c oes a/b e c /d s ao ditas equivalentes (a/b c /d ) se, e somente se, ad = bc , ou seja: a/b c /d ad = bc A rela c ao e uma rela c ao de equival encia (verique).
43 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 15
Seja S = {a/b | a, b Z, b = 0}, ou seja, o conjunto de todas as fra c oes. Duas fra c oes a/b e c /d s ao ditas equivalentes (a/b c /d ) se, e somente se, ad = bc , ou seja: a/b c /d ad = bc A rela c ao e uma rela c ao de equival encia (verique). Algumas classes de equival encia de : 1 = 2 3 = 10 3 2 1 1 2 3 , , , , , ,... 6 4 2 2 4 6 9 6 3 3 6 9 ..., , , , , , ,... 30 20 10 10 20 30 ...,
43 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Roteiro
1. Introdu c ao 2. Propriedades das Rela c oes 3. Representando Rela c oes Bin arias 4. Rela c ao de Equival encia 5. Rela c oes de Ordem
44 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Rela co es de Ordem
Algumas rela c oes s ao usadas para ordenar elementos de conjuntos (alguns ou todos).
ordenamos palavras usando uma rela c ao x R y onde x precede y no dicion ario. ordenamos tarefas pela rela c ao x R y onde x precisa terminar para que y seja executada. ordenamos o conjunto dos inteiros por uma rela c ao x R y onde x e um inteiro menor que y .
44 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Ordem Parcial
Deni c ao 4
Uma rela c ao bin aria em um conjunto S que seja reexiva, anti-sim etrica e transitiva e dita ser uma rela c ao de ordem parcial (ordena c ao parcial) em S .
45 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Ordem Parcial
Deni c ao 4
Uma rela c ao bin aria em um conjunto S que seja reexiva, anti-sim etrica e transitiva e dita ser uma rela c ao de ordem parcial (ordena c ao parcial) em S .
Exemplos:
R1 = {(x , y ) | x y } (em N). R2 = {(A, B ) | A B } (em P (N)). R3 = {(x , y ) | x divide y } (em N).
45 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exerc cio 12
46 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Ordem Parcial
Se R e uma ordena c ao parcial em S , ent ao o par (S , R ) e chamado de um conjunto parcialmente ordenado (ou POSET).
47 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Ordem Parcial
Se R e uma ordena c ao parcial em S , ent ao o par (S , R ) e chamado de um conjunto parcialmente ordenado (ou POSET). Denotaremos por (S , ) qualquer POSET.
47 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Ordem Parcial
Se R e uma ordena c ao parcial em S , ent ao o par (S , R ) e chamado de um conjunto parcialmente ordenado (ou POSET). Denotaremos por (S , ) qualquer POSET. Seja (S , ) um POSET.
47 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Ordem Parcial
Se R e uma ordena c ao parcial em S , ent ao o par (S , R ) e chamado de um conjunto parcialmente ordenado (ou POSET). Denotaremos por (S , ) qualquer POSET. Seja (S , ) um POSET. Se A S ent ao (A, ) tamb em e um POSET. Por exemplo:
47 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Ordem Parcial
Se R e uma ordena c ao parcial em S , ent ao o par (S , R ) e chamado de um conjunto parcialmente ordenado (ou POSET). Denotaremos por (S , ) qualquer POSET. Seja (S , ) um POSET. Se A S ent ao (A, ) tamb em e um POSET. Por exemplo:
Se (N, |) e um POSET, ent ao
47 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Ordem Parcial
Se R e uma ordena c ao parcial em S , ent ao o par (S , R ) e chamado de um conjunto parcialmente ordenado (ou POSET). Denotaremos por (S , ) qualquer POSET. Seja (S , ) um POSET. Se A S ent ao (A, ) tamb em e um POSET. Por exemplo:
Se (N, |) e um POSET, ent ao (1, 2, 3, 6, 12, 18, |) tamb em e um POSET.
47 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Predecessor e Sucessor
Seja (S , ) um POSET. Se x
x = y ou x = y .
Se x y e x = y , denotamos por x y e dizemos que x e um predecessor de y ou que y e um sucessor de x . Um dado y pode ter diversos predecessores mas, se x y e n ao h a z tal que x z y , ent ao dizemos que x e um predecessor imediato de y .
48 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exerc cio 13
Considere a rela c ao x divide y em {1, 2, 3, 6, 12, 18}: a) Escreva os pares ordenados desta rela c ao. b) Escreva todos os predecessores de 6. c) Escreva todos os predecessores imediatos de 6.
49 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Inversas e Duais
Seja R uma rela c ao de um conjunto A em um conjunto B . A rela c ao inversa de B em A, denotada por R 1 , e o conjunto de pares ordenados {(b , a) | (a, b ) R }. A rela c ao inversa R 1 de uma ordena c ao parcial R sobre um conjunto A tamb em e uma ordena c ao parcial. O POSET (S , R 1 ) tamb em e chamado de dual de (S , R ). Por exemplo, o POSET (N, ) (ou (N, 1 )) e o dual do POSET (N, ).
50 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Comparabilidade
Os elementos a e b de um POSET (A, ) s ao compar aveis se a b ou b a. Os elementos a e b de um POSET (A, ) s ao incompar aveis se a b e b a.
51 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 16
52 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Ordena c ao Parcial
O adjetivo parcial e usado porque pode haver pares de elementos incompar aveis. Um POSET onde todos os elementos do conjunto s ao compar aveis e chamada de ordena c ao total (ou cadeia). Por exemplo, o POSET (Z, ) e uma ordem total mas (Z+ , |) n ao.
53 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Sejam os POSETs (A, 1 ) e (B , 2 ). Dene-se a ordem lexicogr aca (ou dicion ario) sobre A B como:
(a, b ) (a , b ) se: a 1 a em A ou se a = a em A e b 2 b em B A ordena c ao dos elementos na primeira vari avel domina, exceto no caso de coincidir, quando a aten c ao passa para a segunda vari avel.
54 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 17
Determine se (3, 5) (4, 8), se (3, 8) (4, 5), e se (4, 9) (4, 11) no POSET (ZZ, ), onde e a ordena c ao lexicogr aca constru da a partir da rela c ao usual em Z.
55 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 17
Determine se (3, 5) (4, 8), se (3, 8) (4, 5), e se (4, 9) (4, 11) no POSET (ZZ, ), onde e a ordena c ao lexicogr aca constru da a partir da rela c ao usual em Z. Solu c ao : Como 3 4, segue que (3, 5) (4, 8) e (3, 8) (4, 5). Temos que (4, 9) (4, 11), pois as primeiras entradas de (4, 9) e (4, 11) s ao as mesmas mas 9 11.
55 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Introdu c ao
Propriedades
Representando Rela co es
Exerc cio 14
57 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 18
Seja {a, b , c , . . . , z } o alfabeto comum ordenado de forma usual. Ent ao S n pode ser identicado como o conjunto de palavras (strings) de tamanho n. Uma ordem lexicogr aca em S n usando a ordem usual do alfabeto pode ser usado para ordenar palavras em um dicion ario, e.g.:
livre livro rma forma casa caso
58 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Diagrama de Hasse
POSETs s ao rela c oes e pode-se sempre desenhar seus d grafos. Muitas das arestas n ao precisam ser mostradas, pois devem necessariamente estar presentes (d grafo sempre reexivo e transitivo). Pode-se retirar as arestas que sempre devem estar presentes. Os grafos obtidos desta forma s ao chamadas de Diagramas de Hasse.
59 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 19
Seja A = {1, 2, 3, 4}. Considere o POSET (A, ) e o grafo dessa rela c ao abaixo.
60 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 19 cont.
Como (A, ) e um POSET, todos os v ertices possuem um loop, que podem ser omitidos.
61 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 19 cont.
As arestas provenientes da transitividade tamb em n ao precisam ser mostradas.
62 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 19 cont.
Por u ltimo, pode-se remover as orienta c oes das arestas e substituir os c rculos por pontos.
63 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exerc cio 15
Seja A = {1, 2, 3, 4, 6, 8, 12} e o POSET (A, |). A partir do d grafo abaixo representando esse POSET, construa o diagrama de Hasse correspondente.
64 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Ao inv es de desenhar uma seta de a para b , coloca-se b mais alto do que a e desenha-se uma linha entre eles. Fica subentendido que o movimento para cima indica sucess ao. Existe aresta de um v ertice a para um v ertice b sempre que b for um sucessor imediato de b .
65 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exerc cio 16
Determine o diagrama de hasse do POSET ({2, 4, 5, 10, 12, 20, 25}, x divide y )
66 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exerc cio 17
67 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
M nimo/Minimal e M aximo/Maximal
Seja (S , ) um POSET. Se houver um x S tal que x y para todo y S , ent ao, x e um elemento m nimo do conjunto (an alogo para elemento m aximo). Um elemento m nimo (m aximo), se existir, eu nico (verique). Um elemento y S e dito ser minimal se n ao houver outro x S tal que x y (an alogo para maximal).
68 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exerc cio 18
Determine os elementos m nimos, minimais, m aximos e maximais das ordens parciais abaixo:
69 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exerc cio 19
Determine os elementos m nimos, minimais, m aximos e maximais da orden parcial do Exerc cio 16.
70 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Seja A um subconjunto de um POSET (S , ). Se u e um elemento de S tal que a u para todo a A, ent ao u e chamado de limite superior de A. Se l e um elemento de S tal que l a para todo a A, ent ao l e chamado de limite inferior de A.
71 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 16
Encontre os limites superiores e inferiores dos subconjuntos {a, b , c }, {j , h} e {a, c , d , f } do POSET mostrado abaixo.
Os limites superiores de {a, b , c } s ao e , f , j e h o u nico limite inferior e a. N ao h a limites superiores para {j , h} e seus limites superiores s ao a, b , c , d , e , f . Os limites superiores de {a, c , d , f } s ao f , h e j , e seu limite inferior a.
Prof. Dr. Leandro Balby Marinho 72 / 75 UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Reticulados
Reticulado
Um reticulado e um POSET (S , ) tal que para cada dois elementos a, b S existe supremo (menor limite superior) e nmo (maior limite inferior) de {a, b }. Para t , r , s , q S
t = sup(r , s ) como o menor elemento t tal que r q = inf(r , s ) como o maior elemento q tal que q tes r eq t. s.
73 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Exemplo 17
Os POSETS (a) e (c) da gura abaixo s ao reticulados. Note que a gura (b) n ao e um reticulado pois os elementos b e c ao possuem um menor limite superior.
74 / 75
UFCG CEEI
Introdu c ao
Propriedades
Representando Rela co es
Refer encias
Keneth H. Rosen. Discrete Mathematics and Its Applications. Sexta Edi c ao. McGRAW-HILL International Edition, 2007. Judith L. Gersting. Fundamentos Matem aticos para a Ci encia da Computa c ao. Quinta Edi c ao. LTC, 2004.
75 / 75
UFCG CEEI