Escolar Documentos
Profissional Documentos
Cultura Documentos
Rela Coes Bin Arias
Rela Coes Bin Arias
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} }
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)}
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
x R y x + y mpar
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.
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
x R1 y x = y e x R2 y x < y
R1 R2 = R2 R1
R1 R2 = R2 R1
Associativa
R=R
R S2 = R
Complemento
R R' = S2
R R' =
Exemplo 2:
A relao "divide" sobre o conjunto de inteiros positivos Reflexiva,
pois qualquer inteiro positivo divide a si mesmo e vice-versa
R SIMTRICA se
R TRANSITIVA se
(x) (y) (z)
[ ( (x S) (y S) (z S) (x,y) R (y,z) R ) (x,z) R ]
R ANTI-SIMTRICA se
Exemplo 4
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
Exemplo 5
Exemplo 6
Exemplo 7
Exemplo 8
Exemplo 9
R Simtrica:
se (x paralela a y ou x coincide com y), ento (y paralela a x ou y
coincide com x)
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.