Matemtica Discreta

Relaes Binrias

'%

3. Relaes Binrias
3.1. Definio: Uma relao binria num conjunto A um subconjunto R do produto cartesiano A A. Dada uma relao binria R num conjunto A se (a,b) R escreve-se tambm aR b que deve ler-se a est em relao com b ou ainda a est R-relacionado com b. Se (a,b) !aRb que deve ler-se a no est relacionado com b por R. R escreve-se Exemplos: "m A ={($'$&$%$#} $ a relao a maior que b determina o conjunto R = {!#$% $ !#$& $ !#$' $ !#$( $ !%$& $ !%$' $ !%$( $ !&$' $ !&$( $ !'$( } A ={a$ b$ c} e B ={($'$&$%} "nto R ={!a$' $ !b$& $ !c$% $ !b$'

} uma relao de A em B.

= ! x$ x ' ) x IR

}
. -sto $

= $ *en+um par de elementos est nesta relao$ c+ama-se relao a!ia.

= A A $ ,ualquer par ordenado (x,y) com x A$ y A est em x$ y A x y c+ama-se relao uni ersal.

3.". Representaes #e uma relao binria

Uma relao binria R num conjunto A pode ainda representar-se por) $m %rafo orienta#o

A cada elemento a de A corresponde um vrtice !nodo do .ra/o com a etiqueta a. A cada par (a,b) R corresponde uma seta diri.ida de a para b. A seta correspondendo a um par ordenado (a,a) R di0-se um lacete. $ma matri! &tabela' #e alores l(%icos

Disp1em-se os elementos de A numa coluna 2 mar.em esquerda da matri0 e numa lin+a por cima da matri0. A matri0 da relao R a matri0 tal que cada entrada rij $ isto $ cada elemento da lin+a i e coluna j$ est de/inido por) - rij = 3 $ se o i-simo elemento de A no est R-relacionado com o j-simo elemento de A$

Engenharia Inf rmtica ! "#$An

Matemtica Discreta

Relaes Binrias

'#

- rij =( $ se o i-simo elemento de A est R-relacionado com o j-simo elemento de A. Exemplo: A matri0 que representa a relao binria do e4emplo anterior R = {!#$% $ !#$& $ !#$' $ !#$( $ !%$& $ !%$' $ !%$( $ !&$' $ !&$( $ !'$( } ( ' &
3 ( ( ( (

%
3 3 3 3 (

#
3 3 3 3 3

3 3 ( ( (

3 3 3 ( (

)bser ao: *o caso de rela1es binrias de/inidas de A em B* e4istem al.umas di/erenas relativamente 2 representao .r/ica$ nomeadamente temos #ois %rupos #e +rtices$ um relativo ao conjunto A outro relativo ao conjunto B. 5ara representar cada elemento da relao bastar li.ar por uma aresta o vrtice de A e o vrtice de B envolvidos. Exerc,cio: 6epresente .ra/icamente as se.uintes rela1es binrias 1. A = {a$ b$ c} e B = { &$ %$ r } R = {!a$ & $ !b$ & $ !c$ r } e a relao de A em 7 de/inida por sobre o conjunto A ={a$ b$ c}

". A = {!a$ a $ !a$ b $ !b$ c $ !c$ b

3.3. -roprie#a#es #as Relaes Binrias

Definio: Uma relao binria R num conjunto A di0-se)
a A$ Reflexi a: Se

!a$ a R

[aRa ]

a$ b A .im+trica: Se

!a$ b R !b$ a R

[ aRb bRa ]

/ransiti a: Se

a$ b$ c A

!a$ b R !b$ c R !a$ c R

[aRb bRc aRc]

)bser ao:

Engenharia Inf rmtica ! "#$An

Matemtica Discreta

Relaes Binrias

'<

Do ponto de vista .r/ico$ uma relao reflexi a se para todo o vrtice e4istir uma aresta li.ando-o a ele mesmo. A estas arestas d-se o nome de lacetes. A relao ser sim+trica se sempre que ao +aver uma aresta de a para b tambm +aja uma aresta de b para a$ e transiti a sempre que ao +aver uma aresta da a para b e outra de b para c$ tambm +aja uma aresta de a para c. Definio: Uma relao binria R num conjunto A di0-se uma relao #e e0ui al1ncia se R /or simultaneamente uma relao reflexi a$ sim+trica e transiti a. Definio: Sendo R uma relao de equival8ncia sobre um conjunto A no va0io e sendo a A $ o conjunto) a ' a = = [ a] R = { x A ) xRa} R 9+ama-se classe #e e0ui al1ncia do elemento a. :8m-se as propriedades) a 'a b A = 'a c !aRb ' a 'b = )bser ao: 9lasse de equival8ncia do elemento a o conjunto de todos os elementos que esto em relao com a. Definio: ; conjunto de to#as as classes de equival8ncia duma relao R$ c+ama-se conjunto cociente de A por R e denota-se)
aA

A = {' x ) x A} R
A ={a$ b$ c$ ( $ e} Exemplo: Seja e R = {!a$ a $ !b$ b $ !c$ c $ !( $ ( $ !e$ e $ !c$ ( $ !( $ c } uma relao de equival8ncia em A. 9onstrua o conjunto cociente.

Definio: Uma relao binria R num conjunto A di0-se)

x A ! x$ x A 2rreflexi a: Se

Anti3sim+trica: Se

x$ y A

xRy yRx x = y

Engenharia Inf rmtica ! "#$An

Matemtica Discreta

Relaes Binrias

'=

R uma relao de or#em parcial em A sse reflexi a$ anti3sim+trica e transiti a. 6 uma relao de or#em parcial estrita em A sse irreflexi a e transiti a.

)bser ao: Se R uma relao de ordem parcial em A$ costume c+amar ao par !A$R um conjunto parcialmente ordenado.

Engenharia Inf rmtica ! "#$An

Matemtica Discreta

Relaes Binrias

'>

Engenharia Inf rmtica ! "#$An