RELAES BINRIAS

PARES ORDENADOS Um PAR ORDENADO, denotado por (x,y), um par de elementos onde x o Primeiro elemento e y o Segundo elemento do par A ordem relevante em um par ordenado ogo, os !on"untos #a,$% e #$,a% s&o iguais, mas os pares ordenados (a,$) e ($,a) s&o di'erentes A representa(&o de pontos em um plano !artesiano um exemplo !omum de pares ordenados) o ponto (*,+) di'erente do ponto (+,*) Os pontos ordenados (x,y) e (,,-) s&o iguais somente se x . , e y . PRODU/O 0AR/ES1ANO Se"am A e 2 su$!on"untos do !on"unto universo S O Produto Cartesiano (ou produto !ru,ado) de A e 2, denotado por A X B o !on"unto de'inido por) A 3 2 . # (x,y) 4 x 5 A 6 y 5 2 % Ou se"a, o Produto 0artesiano A 3 2 o !on"unto de todos os pares ordenados !u"as primeiras !oordenadas perten(am ao !on"unto A e !u"as segundas !oordenadas perten(am ao !on"unto 2 O Produto 0artesiano N7O 8 uma opera(&o $in9ria em P(S) Ele opera em um par ordenado de mem$ros de P(S) e 'orne!e um resultado :ni!o O !on"unto resultante n&o , em geral, um su$!on"unto de S; Exemplo) Se"am S . #+, *, <, =%, A . #+, *% e 2 . #<, =% P(S) . # >, #+%, #*%, #<%, #=%, #+,*%, #+,<%, #+,=%, #*,<%, #*,=%, #<,=%, #+,*,<%, #+,*,=%, #+,<,=%, #*,<,=%, #+,*,<,=% % A x 2 . # (+,<), (+,=), (*,<), (*,=) % RE A?@ES 21NAR1AS Deteminados pares ordenados de o$"etos em um !on"unto de pares ordenados se desta!am dos demais porBue seus elementos satis'a,em alguma rela(&o Bue os !omponentes dos demais pares, em geral, n&o satis'a,em; Exemplos) Se"am os !on"untos S . #+,*% e / . #*,<% O produto !artesiano o !on"unto S 3 / . #(+,*), (+,<), (*,*), (*,<)% Rela(&o de 1gualdade) O !on"unto de pares Bue atende essa rela(&o unit9rio, #(*,*)% Rela(&o 'ormada pelos pares !om primeiro n:mero menor Bue o segundo) #(+,*), (+,<), (*,<)%

Uma Rela(&o 2in9ria pode ser des!rita !om palavras ou simplesmente pela enumera(&o dos pares ordenados Bue a satis'a,em) Se"am os !on"untos S . #+,*% e / . #*,<,=% S 3 / . # (+,*), (+,<), (+,=), (*,*), (*,<), (*,=) % Uma rela(&o R de'inida por) x R y C x . yD*, satis'eita pelos pares (+,*) e (*,=), poderia tam$m ser de'inida pela de!lara(&o Bue #(+,*), (*,=)% o !on"unto dos pares ordenados Bue satis'a,em R DEE1N1?7O de Rela(&o 2in9ria Dados os !on"untos S e /, uma rela(&o $in9ria em S 3 / um su$!on"unto de S 3 /, de'inidos na de!lara(&o) x R y C (x,y) 5 R A des!ri(&o Bue 'orne!e uma propriedade !ara!terFsti!a dos elementos da rela(&o !Gamada !Gamada de Predi!ado 2in9rio da rela(&o, a Bual reali,ado por !ertos pares ordenados do produto !artesiano Se"am os !on"untos S . #+,*% e / . #*,<,=% e a rela(&o $in9ria R dada por) x R y C x H y Fmpar R . #(+,*), (+,=), (*,<)% Para !ada um dos pares ordenados das seguintes rela(Ies $in9rias em x , determine Buais dos pares ordeandos perten!em J rela(&o $in9ria R xRyCx.yH+ (*,*), (*,<), (<,<), (<,*) x R y C x divide y (*,=), (*,K), (*,L) x R y C x Fmpar (*,<), (<,=), (=,K), (K,L) Uma Rela(&o 2in9ria em um !on"unto S, tam$m !Gamada Endorela(&o ou AutoMrela(&o, um su$!on"unto de S*; Rela(&o nM9ria Dados os !on"untos S+, S*, ;;;, Sn; Uma rela(&o nM9ria em S+, S*, ;;;, Sn um su$!on"unto de S+x S* x ;;; x Sn Uma rela(&o nM9ria em um !on"unto S um su$!on"unto de Sn; /1POS de Rela(Ies 2in9rias em S x / Se"a R uma rela(&o $in9ria em S x /, ent&o R um !on"unto de pares ordenados (s,t) Uma rela(&o umMparaMum (ou 1NNE/1OA, ou 21UNPOO0A) se !ada primeiro !omponente s e !ada segundo !omponente t apare!em apenas uma ve, na rela(&o

Uma rela(&o umMparaMv9rios se algum primeiro !omponente s apare!e mais de uma ve, na rela(&o Uma rela(&o v9riosMparaMum (ou UNPOO0A) se algum segundo !omponente t apare!e mais de uma ve, na rela(&o Uma rela(&o v9riosMparaMv9rios se pelo menos um primeiro !omponente s 'i,er par !om mais de um segundo !omponente t e, pelo menos um segundo !omponente t 'i,er par !om mais de um primeiro !omponente s

OPERA?@ES so$re Rela(Ies 2in9rias Podemos reali,ar as opera(Ies de Uni&o, 1nterse(&o e 0omplemento de Rela(Ies 2in9rias em S* Bue resultam em novos su$!on"untos de S x S, isto , novas rela(Ies $in9rias em S*; x (R+ Q R*) y C (x R+ y) R (x R* y) x (R+ S R*) y C (x R+ y) 6 (x R+ y) x RT y C 0omplemento de x R y

Se"am R+ e R* duas rela(Ies $in9rias em de'inidas por) x R+ y C x . y e x R* y C x U y R+ Q R* de'inida por x (R+ Q R*) y C x V y R+T de'inida por x R+ y C x W y R*T de'inida por x R* y C x X y O !on"unto de'inido por R+ S R* >

1DEN/1DADES das Rela(Ies 2in9rias 0omutativa R+ Q R* . R* Q R+ R+ S R* . R* S R+ Asso!iativa (R+ Q R*) Q R< . R+ Q (R* Q R<) (R+ S R*) S R< . R+ S (R* S R<) Distri$utiva R+ Q (R* S R<) . (R+ Q R*) S (R+ Q R<) R+ S (R* Q R<) . (R+ S R*) Q (R+ S R<) 1dentidade RQ>.R R S S* . R 0omplemento R Q RT . S* R S RT . >

PROPR1EDADES das Rela(Ies 2in9rias Rela(Ies 2in9rias em um !on"unto S podem ter !ertas propriedades Se"a R uma Rela(&o 2in9ria em S

R REE E31OA se (Yx) ( x 5 S Z (x,x) 5 R ) Exemplo +) Se"am as rela(Ies so$re o !on"unto S . #+,*,<,=% R+. #(+,+), (+,*), (*,+), (*,*), (<,=), (=,+), (=,=)% R* . #(+,+), (+,*),(*,+)% R< . #(+,+), (+,*), (+,=), (*,+), (*,*), (<,<), (=,+), (=,=)% R= . #(*,+), (<,+), (<,*), (=,+), (=,*), (=,<)% RK . #(+,+), (+,*), (+,<), (+,=), (*,*), (*,<), (*,=), (<,<), (<,=), (=,=)% RL . #(<,=)% As rela(Ies R< e RK s&o Re'lexivas, as demais n&o

Exemplo *) A rela(&o [divide[ so$re o !on"unto de inteiros positivos Re'lexiva, pois BualBuer inteiro positivo divide a si mesmo e vi!eMversa Exemplo <) Se"am as rela(Ies so$re o !on"unto dos inteiros R+ . #(a,$) 4 a V $% R* . #(a,$) 4 a \ $% R< . #(a,$) 4 a . $ ou a . M$% R= . #(a,$) 4 a . $ % RK . #(a,$) 4 a . $ H +% RL . #(a,$) 4 a H $ V <% As rela(Ies R+, R< e R= s&o Re'lexivas

R S1]8/R10A se (Yx) (Yy) ^ ( (x 5 S) 6 (y 5 S) 6 (x,y) 5 R ) Z (y,x) 5 R _ As rela(Ies R* e R< do Exemplo + a!ima s&o Simtri!as A rela(&o divide (exemplo *) Simtri!a, pois para BuaisBuer inteiros x e y, se x divide y, ent&o y divide x apenas se x . y As rela(Ies R<, R= e RL do Exemplo < a!ima s&o Simtri!as (porBue`) R /RANS1/1OA se (Yx) (Yy) (Y,) ^ ( (x 5 S) 6 (y 5 S) 6 (, 5 S) 6 (x,y) 5 R 6 (y,,) 5 R ) Z (x,,) 5 R _ A rela(&o V no !on"unto dos inteiros /ransitiva) se xVy e yV,, ent&o xV, As rela(Ies R=, RK e RL do Exemplo + a!ima s&o /ransitivas A rela(&o divide (exemplo *) /ransitiva porBue para BuaisBuer inteiros x, y e ,, se x divide y e y divide ,, ent&o x divide , As rela(Ies R+, R*, R< e R= do Exemplo < a!ima s&o /ransitivas R AN/1MS1]8/R10A se (Yx) (Yy) ^ ( (x 5 S) 6 (y 5 S) 6 (x,y) 5 R 6 (y,x) 5 R) Z y . x _ As rela(Ies R=, RK e RL do exemplo + s&o AntiMsimntri!as As rela(Ies R+, R*, R= e RK do exemplo < s&o AntiMsimtri!as

Exemplo = Se"a a rela(&o V no !on"unto . Essa rela(&o Re'lexiva porBue para todo elemento de vai existir um par (x,x); Ou se"a, para BualBuer inteiro n&o negativo x, x V y verdadeira; Essa rela(&o AntiMsimtri!a porBue para todo par (x,y), o par simtri!o (y,x) vai a!onte!er apenas para x . y; 1sto , para todo elemento x e y de , se x V y e y V x, ent&o x . y 8 uma rela(&o /ransitiva porBue para todo elemento x, y e , de , se x V y e y V ,, ent&o x V , V N7O uma rela(&o Simtri!a; N&o verdade * V < n&o impli!a < V * Exemplo K Se"a S . P(), !on"unto das partes dos n:meros naturais Se"a uma rela(&o $in9ria a em S de'inida por A a 2 C A b 2 a 8 uma rela(&o REE E31OA A rela(&o 'ormada por todos os pares ordenados para os Buais o predi!ado $in9rio A b 2 verdadeiro 0omo A b A, para todo !on"unto A Bue perten!e a S, ent&o o par (A, A) perten!e J rela(&o a a N7O 8 uma rela(&o S1]8/R10A A rela(&o 'ormada por todos os pares ordenados para os Buais o predi!ado $in9rio A b 2 verdadeiro, isto , pares para os Buais o primeiro item su$!on"unto do segundo item O 'ato de A b 2 n&o impli!a Bue 2 b A; 1sso sc verdadeiro para A.2 a 8 uma rela(&o /RANS1/1OA Se os pares (A,2) e (2,0) perten!em naJ rela(&o, ent&o o par (2,0) tam$m perten!e, pois se A b 2 e 2 b 0, ent&o A b 0 a 8 uma rela(&o AN/1MS1]8/R10A 0omo visto a!ima, O 'ato de A b 2 e 2 b A impli!a Bue A . 2 Exemplo L Se"a S . #+,*,<%; As a'irma(Ies a$aixo s&o verdadeiras) Se uma rela(&o R em S re'lexiva, os pare ordenados (+,*), (*,*) e (<,<) devem perten!er a R Se uma rela(&o R em S simtri!a, n&o possFvel di,er Buais pares ordenados perten!em J rela(&o; Para uma rela(&o ser simtri!a, $asta Bue para !ada par ordenado na rela(&o exista tam$m um par simtri!o Se uma rela(&o R em S simtri!a e (a,$) 5 R, ent&o sc podemos a'irmar Bue o par ($,a) 5 R Se uma rela(&o R antiMsimtri!a, e se (a,$) 5 R e ($,a) 5 R, ent&o a.$, logo podemos a'irmar Bue (a,$) . ($,a) A rela(&o de igualdade (.) em S simtri!a e antiMsimtri!a) Y(x,y) em R existe (y,x) e x . y Essa a :ni!a rela(&o Bue tem essas duas propriedades ao mesmo tempo

Exemplo d Se"am S . e a rela(&o $in9ria de'inida por x R y C x H y par R Re'lexiva) Y(x) Y(y) 5 e x . y, x H y par R Simtri!a) Y(x) Y(y) 5 , se x H y par, ent&o y H x par R /ransitiva) Para Bue xHy se"a par, x e y s&o am$os pares ou Fmpares; Se x par ent&o y par, logo , deve ser par para Bue yH, se"a par, ent&o xH, tam$m par Se x Fmpar ent&o y Fmpar, logo , deve ser Fmpar para Bue yH, se"a par, ent&o xH, tam$m par Y(x) Y(y) Y(,) 5 , se x H y par e yH, par, ent&o xH, par, porBue ou x, y e , s&o todos pares ou s&o todos Fmpares R N&o AntiMsimtri!a) e(x) e(y) 5 , tal Bue x H y par e y H x par, mas x W y (+ H K par, K H + par, mas + W K) Exemplo f Se"a S . #+,*,<%; Se"a R de'inida em S) R . #(+,*), (*,+),(+,<)% R n&o simtri!a, pois (+,<) 5 R, mas (<,+) g R R n&o antiMsimtri!a, pois (+,*) 5 R e (*,+) 5 R, mas (+ W *) Exemplo h Se"a S o !on"unto de todas as linGas do plano e a rela(&o $in9ria de'inida por x R y C x paralela a y ou x !oin!ide !om y R Re'lexiva) o par (x,x) est9 presente para todas as retas do plano, pois x paralela a x e x !oin!ide !om x R Simtri!a) se (x paralela a y ou x !oin!ide !om y), ent&o (y paralela a x ou y !oin!ide !om x) R N7O AntiMsimtri!a) existem in'initas retas paralelas e !oin!identes R /ransitiva) Y(x) Y(y) Y(,) 5 S se (x paralela a y ou x !oin!ide !om y) e (y paralela a , ou y !oin!ide !om ,), ent&o (x paralela a , ou x !oin!ide !om ,)

EE0iO DE U]A RE A?7O (ou Ee!Gamento de uma Rela(&o) DEE1N1?7O EOR]A ) Uma Rela(&o 2in9ria Rj em um 0on"unto S um Ee!Go de uma rela(&o R em S !om respeito J propriedade P (/ransitiva, Simtri!a ou Re'lexiva se) +; Rj tem a propriedade P *; R b Rj <; Rj um su$!on"unto de BualBuer outra rela(&o em S Bue in!lui R e tem a propriedade P

A rela(&o S . #+, *, <% e R uma rela(&o $in9ria de'inida pelo !on"unto R . #(+,+), (+,*), (+,<), (<,+), (*,<)% R n&o re'lexiva, n&o simtri!a e n&o transitiva; Se uma rela(&o R em um !on"unto S n&o tem uma !erta propriedade, podemos tentar estender R para o$ter a rela(&o R* em S Bue tenGa a propriedade;

A nova rela(&o Rj !onter9 todos os pares ordenados Bue R !ontm mais os pares ordenados adi!ionais ne!ess9rios para Bue a propriedade dese"ada se veri'iBue No exemplo a!ima, o 'e!Gamento de R em rela(&o J REE E31O1DADE Rj . #(+,+), (+,*), (+,<), (<,+), (*,<), (*,*), (<,<)% No exemplo a!ima, o 'e!Gamento de R em rela(&o J S1]E/R1A Rj . #(+,+), (+,*), (+,<), (<,+), (*,<), (*,+), (<,*)% No exemplo a!ima, o 'e!Gamento de R em rela(&o J /RANS1/1O1DADE Rj . #(+,+), (+,*), (+,<), (<,+), (*,<), (<,*), (<,<), (*,+)% (passo +) Rj. #(+,+), (+,*), (+,<), (<,+), (*,<), (<,*), (<,<), (*,+), (*,*)% (passo *) Essa maneira de determinar o 'e!Go /ransitivo de uma rela(&o veri'i!ando os pares ordenados na rela(&o original, in!luindo novos pares se ne!ess9rio, veri'i!ando a rela(&o o$tida, in!luindo novos pares se ne!ess9rio e assim por diante, at o$termos a rela(&o transitiva, um mtodo de 'or(a $ruta; O uso de algoritmos so$re gra'os dire!ionados s&o mais e'i!ientes;