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
Logo, os conjuntos {a,b} e {b,a} so iguais, mas os pares ordenados (a,b) e
(b,a) so diferentes
A representao de pontos em um plano cartesiano um exemplo comum de
pares ordenados: o ponto (2,1) diferente do ponto (1,2)
Os pontos ordenados (x,y) e (z,w) so iguais somente se x = z e y = w

PRODUTO CARTESIANO
Sejam A e B subconjuntos do conjunto universo S
O Produto Cartesiano (ou produto cruzado) de A e B, denotado por A X B o
conjunto definido por:
A X B = { (x,y) | x A y B }
Ou seja, o Produto Cartesiano A X B o conjunto de todos os pares ordenados
cujas primeiras coordenadas pertenam ao conjunto A e cujas segundas
coordenadas pertenam ao conjunto B
O Produto Cartesiano NO uma operao binria em P(S)
Ele opera em um par ordenado de membros de P(S) e fornece um resultado
nico
O conjunto resultante no , em geral, um subconjunto de S.
Exemplo:
Sejam S = {1, 2, 3, 4}, A = {1, 2} e B = {3, 4}
P(S) = { , {1}, {2}, {3}, {4}, {1,2}, {1,3}, {1,4}, {2,3}, {2,4}, {3,4}, {1,2,3},
{1,2,4}, {1,3,4}, {2,3,4}, {1,2,3,4} }

A x B = { (1,3), (1,4), (2,3), (2,4) }

RELAES BINRIAS
Deteminados pares ordenados de objetos em um conjunto de pares ordenados
se destacam dos demais porque seus elementos satisfazem alguma relao
que os componentes dos demais pares, em geral, no satisfazem.
Exemplos:
Sejam os conjuntos S = {1,2} e T = {2,3}
O produto cartesiano o conjunto S X T = {(1,2), (1,3), (2,2), (2,3)}

Relao de Igualdade:
O conjunto de pares que atende essa relao unitrio, {(2,2)}

Relao formada pelos pares com primeiro nmero menor que o

segundo:
{(1,2), (1,3), (2,3)}

Uma Relao Binria pode ser descrita com palavras ou simplesmente pela
enumerao dos pares ordenados que a satisfazem:
Sejam os conjuntos S = {1,2} e T = {2,3,4}
S X T = { (1,2), (1,3), (1,4), (2,2), (2,3), (2,4) }
Uma relao R definida por: x R y x = y/2, satisfeita pelos pares (1,2) e
(2,4), poderia tambm ser definida pela declarao que {(1,2), (2,4)} o
conjunto dos pares ordenados que satisfazem R

DEFINIO de Relao Binria

Dados os conjuntos S e T, uma relao binria em S X T um subconjunto
de S X T, definidos na declarao: x R y (x,y) R
A descrio que fornece uma propriedade caracterstica dos elementos da
relao chamada chamada de Predicado Binrio da relao, a qual
realizado por certos pares ordenados do produto cartesiano
Sejam os conjuntos S = {1,2} e T = {2,3,4} e a relao binria R dada por:

x R y x + y mpar

R = {(1,2), (1,4), (2,3)}

Para cada um dos pares ordenados das seguintes relaes binrias em x ,

determine quais dos pares ordeandos pertencem relao binria R
xRyx=y+1
(2,2), (2,3), (3,3), (3,2)
x R y x divide y
(2,4), (2,5), (2,6)
x R y x mpar
(2,3), (3,4), (4,5), (5,6)

Uma Relao Binria em um conjunto S, tambm chamada Endorelao ou

Auto-relao, um subconjunto de S2.

Relao n-ria
Dados os conjuntos S1, S2, ..., Sn. Uma relao n-ria em S1, S2, ..., Sn
um subconjunto de S1x S2 x ... x Sn
Uma relao n-ria em um conjunto S um subconjunto de Sn.

TIPOS de Relaes Binrias em S x T

Seja R uma relao binria em S x T, ento R um conjunto de pares
ordenados (s,t)
Uma relao um-para-um (ou INJETIVA, ou BIUNVOCA) se cada primeiro
componente s e cada segundo componente t aparecem apenas uma vez na
relao

Uma relao um-para-vrios se algum primeiro componente s aparece

mais de uma vez na relao
Uma relao vrios-para-um (ou UNVOCA) se algum segundo
componente t aparece mais de uma vez na relao
Uma relao vrios-para-vrios se pelo menos um primeiro componente
s fizer par com mais de um segundo componente t e, pelo menos um
segundo componente t fizer par com mais de um primeiro componente s

OPERAES sobre Relaes Binrias

Podemos realizar as operaes de Unio, Interseo e Complemento de
Relaes Binrias em S2 que resultam em novos subconjuntos de S x S, isto
, novas relaes binrias em S2.

x (R1 R2) y (x R1 y) (x R2 y)

x (R1 R2) y (x R1 y) (x R1 y)

x R' y Complemento de x R y

Sejam R1 e R2 duas relaes binrias em definidas por:

x R1 y x = y e x R2 y x < y

R1 R2 definida por x (R1 R2) y x y

R1' definida por x R1 y x y

R2' definida por x R2 y x y

O conjunto definido por R1 R2

IDENTIDADES das Relaes Binrias

Comutativa

R1 R2 = R2 R1

R1 R2 = R2 R1
Associativa

(R1 R2) R3 = R1 (R2 R3)

(R1 R2) R3 = R1 (R2 R3)

Distributiva

R1 (R2 R3) = (R1 R2) (R1 R3)

R1 (R2 R3) = (R1 R2) (R1 R3)

Identidade

R=R

R S2 = R
Complemento

R R' = S2

R R' =

PROPRIEDADES das Relaes Binrias

Relaes Binrias em um conjunto S podem ter certas propriedades
Seja R uma Relao Binria em S

R REFLEXIVA se (x) ( x S (x,x) R )

Exemplo 1: Sejam as relaes sobre o conjunto S = {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)}
R6 = {(3,4)}
As relaes R3 e R5 so Reflexivas, as demais no

Exemplo 2:
A relao "divide" sobre o conjunto de inteiros positivos Reflexiva,
pois qualquer inteiro positivo divide a si mesmo e vice-versa

Exemplo 3: Sejam as relaes sobre o conjunto dos inteiros

R1 = {(a,b) | a b}
R2 = {(a,b) | a > b}
R3 = {(a,b) | a = b ou a = -b}
R4 = {(a,b) | a = b }
R5 = {(a,b) | a = b + 1}
R6 = {(a,b) | a + b 3}
As relaes R1, R3 e R4 so Reflexivas

R SIMTRICA se

(x) (y) [ ( (x S) (y S) (x,y) R ) (y,x) R ]

As relaes R2 e R3 do Exemplo 1 acima so Simtricas

A relao divide (exemplo 2) Simtrica, pois para quaisquer inteiros x e

y, se x divide y, ento y divide x apenas se x = y

As relaes R3, R4 e R6 do Exemplo 3 acima so Simtricas (porque?)

R TRANSITIVA se
(x) (y) (z)
[ ( (x S) (y S) (z S) (x,y) R (y,z) R ) (x,z) R ]

A relao no conjunto dos inteiros Transitiva: se xy e yz, ento xz

As relaes R4, R5 e R6 do Exemplo 1 acima so Transitivas

A relao divide (exemplo 2) Transitiva porque para quaisquer inteiros

x, y e z, se x divide y e y divide z, ento x divide z

As relaes R1, R2, R3 e R4 do Exemplo 3 acima so Transitivas

R ANTI-SIMTRICA se

(x) (y) [ ( (x S) (y S) (x,y) R (y,x) R) y = x ]

As relaes R4, R5 e R6 do exemplo 1 so Anti-simntricas

As relaes R1, R2, R4 e R5 do exemplo 3 so Anti-simtricas

Exemplo 4

Seja a relao no conjunto .

Essa relao Reflexiva porque para todo elemento de vai existir um

par (x,x). Ou seja, para qualquer inteiro no negativo x, x y
verdadeira.

Essa relao Anti-simtrica porque para todo par (x,y), o par simtrico
(y,x) vai acontecer apenas para x = y. Isto , para todo elemento x e y de
, se x y e y x, ento x = y

uma relao Transitiva porque para todo elemento x, y e z de , se x

y e y z, ento x z

NO uma relao Simtrica. No verdade 2 3 no implica 3 2

Exemplo 5

Seja S = P(), conjunto das partes dos nmeros naturais

Seja uma relao binria em S definida por A B A B

uma relao REFLEXIVA

A relao formada por todos os pares ordenados para os quais o
predicado binrio A B verdadeiro
Como A A, para todo conjunto A que pertence a S, ento o par
(A, A) pertence relao

NO uma relao SIMTRICA

A relao formada por todos os pares ordenados para os quais o
predicado binrio A B verdadeiro, isto , pares para os quais o
primeiro item subconjunto do segundo item
O fato de A B no implica que B A. Isso s verdadeiro para A=B

uma relao TRANSITIVA

Se os pares (A,B) e (B,C) pertencem na relao, ento o par (B,C)
tambm pertence, pois se A B e B C, ento A C

uma relao ANTI-SIMTRICA

Como visto acima, O fato de A B e B A implica que A = B

Exemplo 6

Seja S = {1,2,3}. As afirmaes abaixo so verdadeiras:

Se uma relao R em S reflexiva, os pare ordenados (1,2), (2,2) e (3,3)

devem pertencer a R

Se uma relao R em S simtrica, no possvel dizer quais pares

ordenados pertencem relao. Para uma relao ser simtrica, basta
que para cada par ordenado na relao exista tambm um par simtrico

Se uma relao R em S simtrica e (a,b) R, ento s podemos

afirmar que o par (b,a) R

Se uma relao R anti-simtrica, e se (a,b) R e (b,a) R, ento a=b,

logo podemos afirmar que (a,b) = (b,a)

A relao de igualdade (=) em S simtrica e anti-simtrica:

(x,y) em R existe (y,x) e x = y
Essa a nica relao que tem essas duas propriedades ao mesmo
tempo

Exemplo 7

Sejam S = e a relao binria definida por x R y x + y par

R Reflexiva: (x) (y) e x = y, x + y par

R Simtrica: (x) (y) , se x + y par, ento y + x par

R Transitiva: Para que x+y seja par, x e y so ambos pares ou

mpares.
Se x par ento y par, logo z deve ser par para que y+z seja par,
ento x+z tambm par
Se x mpar ento y mpar, logo z deve ser mpar para que y+z
seja par, ento x+z tambm par
(x) (y) (z) , se x + y par e y+z par, ento x+z par,
porque ou x, y e z so todos pares ou so todos mpares

R No Anti-simtrica: (x) (y) , tal que x + y par e y + x par,

mas x y
(1 + 5 par, 5 + 1 par, mas 1 5)

Exemplo 8

Seja S = {1,2,3}. Seja R definida em S: R = {(1,2), (2,1),(1,3)}

R no simtrica, pois (1,3) R, mas (3,1) R

R no anti-simtrica, pois (1,2) R e (2,1) R, mas (1 2)

Exemplo 9

Seja S o conjunto de todas as linhas do plano e a relao binria definida

por x R y x paralela a y ou x coincide com y

R Reflexiva: o par (x,x) est presente para todas as retas do plano,

pois x paralela a x e x coincide com x

R Simtrica:
se (x paralela a y ou x coincide com y), ento (y paralela a x ou y
coincide com x)

R NO Anti-simtrica: existem infinitas retas paralelas e coincidentes

R Transitiva: (x) (y) (z) S

se (x paralela a y ou x coincide com y) e (y paralela a z ou y
coincide com z), ento (x paralela a z ou x coincide com z)

FECHO DE UMA RELAO (ou Fechamento de uma Relao)

DEFINIO FORMAL: Uma Relao Binria R* em um Conjunto S um
Fecho de uma relao R em S com respeito propriedade P (Transitiva,
Simtrica ou Reflexiva se:
1. R* tem a propriedade P
2. R R*
3. R* um subconjunto de qualquer outra relao em S que inclui R e tem
a propriedade P

A relao S = {1, 2, 3} e R uma relao binria definida pelo conjunto

R = {(1,1), (1,2), (1,3), (3,1), (2,3)}

R no reflexiva, no simtrica e no transitiva.
Se uma relao R em um conjunto S no tem uma certa propriedade,
podemos tentar estender R para obter a relao R* em S que tenha a
propriedade.

A nova relao R* conter todos os pares ordenados que R contm mais os

pares ordenados adicionais necessrios para que a propriedade desejada
se verifique
No exemplo acima, o fechamento de R em relao REFLEXIVIDADE

R* = {(1,1), (1,2), (1,3), (3,1), (2,3), (2,2), (3,3)}

No exemplo acima, o fechamento de R em relao SIMETRIA

R* = {(1,1), (1,2), (1,3), (3,1), (2,3), (2,1), (3,2)}

No exemplo acima, o fechamento de R em relao TRANSITIVIDADE

R* = {(1,1), (1,2), (1,3), (3,1), (2,3), (3,2), (3,3), (2,1)}

(passo 1)

R*= {(1,1), (1,2), (1,3), (3,1), (2,3), (3,2), (3,3), (2,1), (2,2)} (passo 2)
Essa maneira de determinar o fecho Transitivo de uma relao verificando
os pares ordenados na relao original, incluindo novos pares se
necessrio, verificando a relao obtida, incluindo novos pares se
necessrio e assim por diante, at obtermos a relao transitiva, um
mtodo de fora bruta. O uso de algoritmos sobre grafos direcionados so
mais eficientes.