Universidade Federal de Pernambuco Centro de Informtica Anjolina Grisi de Oliveira

Relaes
O que uma relao em um conjunto? Uma relao R em um conjunto S uma relao de S para S Em outras palavras, um subconjunto de S ' S O que uma relao reflexiva?

- Uma relao R em um conjunto S chamada de reflexiva se (s,s) S para todo elemento s S.

Matemtica Discreta if670 Centro de Informtica / UFPE 2

Relaes
O que uma relao simtrica?
Uma relao R em um conjunto S chamada simtrica se (b,a) R toda vez que (a,b) R, para a,b S. Em outras palavras: Se (a,b) R (b,a) R.

O que uma relao anti-simtrica?

- Uma relao R em um conjunto S chamada anti-simtrica se quando (a,b) R e (b,a) R ento a = b, para a,b S. - Se (a,b) R (b,a) R a = b.
Matemtica Discreta if670 Centro de Informtica / UFPE 3

Relaes
O que uma relao transitiva?
Uma relao R em um conjunto S chamada transitiva se toda vez que (a,b) R e (b,c) R, ento (a,c) R, para a,b,c S. Se (a,b) R (b,c) R (a,c) R.

Matemtica Discreta if670

Centro de Informtica / UFPE

Exemplos
Defina uma relao no conjunto {1,2,3,4} que seja: a) reflexiva, simtrica e no seja transitiva. R={(1,1),(2,2),(3,3),(4,4),(1,2),(2,3),(2,1),(3,2)} b) simtrica, transitiva, e no reflexiva R={(1,1)} c) reflexiva, anti-simtrica e no transitiva. R={(1,1),(2,2),(3,3),(4,4),(1,2),(2,3)} d) reflexiva, simtrica e transitiva R={(1,1),(2,2),(3,3),(4,4)} e) reflexiva, anti-simtrica e transitiva R={(1,1),(2,2),(3,3),(4,4)}
Matemtica Discreta if670 Centro de Informtica / UFPE 5

Relaes
Explique como uma matriz de bits pode ser usada para representar uma relao em um conjunto finito S. Liste os elementos de S em uma ordem arbitrria: {s1,s2,...,sn} A relao R pode ser representada pela matriz MR = [mij] onde: [mij] = 1, se (si,sj) R [mij] = 0, se (si,sj) R S={1,2,3} e R={(1,2),(2,2),(3,1)} Ordem: {1,2,3}
Matemtica Discreta if670

0 0 1

1 1 0

0 0 0
6

Centro de Informtica / UFPE

Relaes
Explique como uma matriz de bits que representa uma relao em um conjunto finito S pode ser usada para determinar se a relao reflexiva, simtrica, e antisimtrica. Reflexiva: se todos os elementos da diagonal principal forem iguais a 1 Simtrica: se a matriz for igual a sua transposta Anti-simtrica: para i { j, se [mij] = 1 ento [mji] = 0. Ou em outras palavras, quando i { j, ou [mij] = 0 ou [mji] = 0
1 0 1 1 1 0 0 0 1
Centro de Informtica / UFPE 7

Reflexiva e anti-simtrica

Matemtica Discreta if670

Relaes de Equivalncia
O que uma relao de equivalncia em um conjunto? uma relao que reflexiva, simtrica e transitiva Que relaes no conjunto {a,b,c,d} so relaes de equivalncia e contm os pares (a,b) e (b,d) ? R1={(a,a),(b,b),(c,c),(d,d),(a,b),(b,d),(a,d),(b,a),(d,b),(d,a) } R2={(a,a),(b,b),(c,c),(d,d),(a,b),(b,d),(a,d),(b,a),(d,b),(d,a) (a,c),(c,a),(b,c),(d,c),(c,b),(c,d),}

Matemtica Discreta if670

Centro de Informtica / UFPE

Relaes de Equivalncia
O que acontece com um conjunto onde definida uma relao de equivalncia ? criada uma partio no conjunto D um exemplo de uma relao de equivalncia em um conjunto e identifique o conceito de classes de equivalncia, relacionando-o com a noo de partio. Seja S o conjunto dos inteiros positivos R = { (x,y) | x | y (mod 4) } Existem quatro classes de equivalncia: quando o resto da diviso for 0, 1, 2 ou 3 Cada classe de equivalncia um subconjunto da partio de S.
Matemtica Discreta if670 Centro de Informtica / UFPE 9

Ordens Parciais
O que uma ordem parcial uma relao em um conjunto que tem as seguintes propriedades: reflexiva, anti-simtrica e transitiva Mostre que a relao de divisibilidade no conjunto dos inteiros positivos uma ordem parcial. Reflexiva: z Z+, z|z Anti-simtrica: Sejam, a,b,m e n Z+, se a|b e b|a a.m = b e b.n = a a.m.n = a m=n=1 a=b Transitiva: Sejam, a,b,c,m e n Z+, se a|b e b|c a.m = b e b.n = c a.m.n = c a|c, pois a operao de multiplicao fechada em Z+.
Matemtica Discreta if670 Centro de Informtica / UFPE 10

Ordens Parciais
O que conjunto parcialmente ordenado?
um conjunto S juntamente com uma ordem parcial R: (S,R) Tambm chamamos de poset (do ingls: partially ordered set) Usamos a notao (S,e) para falarmos de um poset arbitrrio
Matemtica Discreta if670 Centro de Informtica / UFPE 11

 Por qu o nome ordem parcial? Em (P(Z),), {1,4} no se relaciona com {1,2} e nem vice-versa Em (Z+,|), 2 no se relaciona com 5 e nem viceversa Os elementos a e b em um poset (S,e) so chamados de comparveis se ou a e b ou b e a. Caso contrrio, eles so ditos incomparveis.
Matemtica Discreta if670 Centro de Informtica / UFPE 12

 Se (S,e) um poset e cada par de elementos de S so comparveis, dizemos que S um conjunto totalmente ordenado ou linearmente ordenado, e e chamada de ordem total ou linear. Um conjunto totalmente ordenado chamado de cadeia O poset (Z, e ) uma cadeia O poset (Z+,|) no totalmente ordenado
Matemtica Discreta if670 Centro de Informtica / UFPE 13

Ordem Lexicogrfica
As palavras em um dicionrio so listadas em ordem alfabtica ou ordem lexicogrfica, que baseada na ordem das letras do alfabeto. Esse exemplo um caso especial onde possvel ordenar cadeias a partir de uma ordem parcial sobre o alfabeto em que as cadeias so construdas.

Matemtica Discreta if670

Centro de Informtica / UFPE

14

 Como construir uma ordem parcial no produto cartesiano de dois posets (A,e1) e (B, e2) A ordem lexicogrfica e em A v B definida da seguinte forma:
(a1,b1) (a2,b2) se ou a1 <1 a2 ou a1 = a2 e b1 <2 b2 A ordem parcial obtida adicionando a igualdade ordem < em A v B

Matemtica Discreta if670

Centro de Informtica / UFPE

15

 Exemplo Seja o poset (ZvZ,e ), onde e a ordem lexicogrfica construda a partir da ordem usual e no conjunto dos inteiros. Determine se (3,5) < (4,8); (3,9)<(3,10); (6,8) < (6,9)

Matemtica Discreta if670

Centro de Informtica / UFPE

16

Uma ordem lexicogrfica pode ser definida no produto cartesiano de n posets: (A1, e1), (A2, e2)...,(An, en). Defina a ordem parcial em A1vA2v...vAn por: (a1,a2,...,an) < (b1,b2,...,bn) Se a1<1b1ou se existe um inteiro i>0 t.q. a1=b1...ai=bi e ai+1<i+1 bi+1.

Matemtica Discreta if670

Centro de Informtica / UFPE

17

 Ordem lexicogrfica de cadeias

Considere as cadeias distintas a1a2...am e b1b2...bn sobre um conjunto parcialmente ordenado S; Seja t o menor dentre m e n a1a2...am < b1b2...bn se e somente se (a1,a2...,at ) < (b1,b2...,bt ) ou (a1,a2...,at) = (b1,b2...,bt) e m<n

Matemtica Discreta if670

Centro de Informtica / UFPE

18

 Exemplo
Suponha que (S,e1) e (T, e2) so conjuntos parcialmente ordenados. Mostre que (S v T, e) um conjunto parcialmente ordenado onde (s,t) e (u,v) se e somente se s e1 u e t e2 v. Reflexiva: (s,t) S v T, (s,t) e (s,t) pois s e1 s e t e2 t Anti-simtrica: se ((s,t),(u,v)) e e ((u,v),(s,t)) e s=uet=v (s,t) = (u,v) t e2 v, u e1 s e v e2 t s e1 u ,

Transitiva: se ((s,t),(u,v)) e e ((u,v),(w,z)) e s e1 u , t e2 v, u e1 w e v e2 z s e1 w e t e2 z ((s,t),(w,z)) e

Matemtica Discreta if670 Centro de Informtica / UFPE 19

Diagrama de Hasse
Desenhe o diagrama de Hasse para ({2,3,5,9,12,15,18},|)
18 15 9 12

Elementos maximais? 12,15 e 18 Elementos minimais ?

3 5

2,3,5 Maior elemento? No

Centro de Informtica / UFPE 20

Menor elemento? No
Matemtica Discreta if670

Elementos Maximais e Minimais

12 4 20 10 25

Seja um poset (S,e). 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.
Matemtica Discreta if670 Centro de Informtica / UFPE 21

Maior elemento/ Menor elemento

a o maior elemento no poset (S,e ) se b e a para todo b S a o menor elemento no poset (S,e ) se a e b para todo b S Quando existem, o maior e o menor elementos so nicos

Matemtica Discreta if670

Centro de Informtica / UFPE

22

Limitante superior/inferior

Seja A um subconjunto do poset (S,e ). Se u S e a e u para todo a A, ento u chamado de limitante superior de A. Se i S e i e a para todo a A, ento i chamado de limitante inferior de A.

Matemtica Discreta if670

Centro de Informtica / UFPE

23

Limitante superior/inferior
Limitantes superior e inferior dos subconjuntos {a,b,c}, {j.h} e {a,c,d,f} do seguinte poset.
h g d b a j f e c

De {a,b,c}: sup= {e,f,h,j}; inf={a} De {j,h}: sup=; inf={f,d,e,b,c,a} De {a,c,d,f}: sup={f,j,h}; inf={a}
Matemtica Discreta if670 Centro de Informtica / UFPE 24

Supremo e nfimo

Supremo: o menor dos limitantes superiores nfimo: o maior dos limitantes inferiores Quando existem so nicos Qual o supremo e o nfimo de {b,d,g} do poset do exemplo anterior?
Matemtica Discreta if670 Centro de Informtica / UFPE 25

Reticulados
Um poset onde cada par de elementos possui um supremo e um nfimo chamado de reticulado
f d e

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.
Matemtica Discreta if670 Centro de Informtica / UFPE 26