RELAES BINRIAS

OBJETIVO Definio de Relao Binria, as propriedades reflexiva, simtrica, anti-simtrica, transitiva. Fecho.

REPRESENTAES
Para S e T finitos. A relao de S em T pode ser representada de vrias formas: pp26 (Lipschutz). 1. Diagrama de Coordenadas. 2. Matriz de Relao 3. Diagrama de Seta. 4. Grafo Orientado (para relaes sobre S).

PRODUTO CARTESIANO
Sejam conjuntos S e T. O produto cartesiano de S por T o conjunto de pares ordenados (x,y) onde x S e y T. Denota-se SxT, S2 se S=T (leia-se S cartesiano T).

PROPRIEDADES DE RELAES (R sobre A)

1. Reflexiva: xRx, xA (todo par autoinverso deve estar contido em R). No reflexiva: quando existe um autoinverso que no esteja contido em R. Simtrica: xRy yRx (os inversos de todos os pares devem estar contidos em R). No-Simtrica: quando h um par cujo inverso no est contido em R. Anti-Simtrica: xRy, yRx x=y (quando os pares no tm inversos em R, exceto autoinversos). No Anti-Simtrica: quando existe um par no autoinverso com seu inverso em R. Transitiva: xRy, yRz xRz (todos os ganchos tm que servir de ponte). No Transitiva: quando houver um gancho que no sirva de ponte.

EXEMPLOS:
Sejam A={1,2} e B={a,b,c}. Achar AxB, BxA, AxA.

ATENO 1. AxB BxA. OBSERVAES

1. 2. n(AxB) = n(A)n(B). Esta definio pode ser generalizada para n conjuntos: os elementos de A1xA2xxAn so as nuplas (a1,...,an) com ai Ai.

2.

3.

4.

RELAO BINRIA.
DEFINIO: Sejam S e T dois conjuntos. Uma relao binria de S para T um subconjunto de SxT.

EXEMPLOS 2.7 (P.28)

NOTAES E TERMINOLOGIA 1. Quando (x,y) denota-se tambm x y. 2. Caso contrrio denota-se (x,y) r e x / y.
3.

ERROS MAIS COMUNS

1. 2. Achar que Anti-Simtrica o contrrio de Simtrica. Provar as propriedades por casos particulares.

Se S=T dizemos que uma relao sobre S.

a

ATENO
1. 2. 3. Relao um conjunto de pares ordenado, tem 1 e 2a coordenadas e a relao associa a 1a 2a coord. Dom = {1as coord} e Im = {2as coord}. normalmente substitudo por notaes mais convenientes.

FECHO DE UMA RELAO

Fecho de em relao propriedade p o menor conjunto que contm e satisfaz p. EXEMPLO Seja S={1,2,3} e = {(1,1), (1,2), (1,3), (3,1), (2,3)}. Ache o fecho reflexivo, simtrico e transitivo. ATENO 1. Achar fecho acrescentar o menor nmero de elementos possveis relao de forma a satisfazer uma determinada propriedade. 2. No faz sentido achar o fecho anti-simtrico. Teria sentido se for para diminuir e no aumentar o nmero de pares ordenados. LEITURA INDICADA Fundamentos Matemticos para a Cincia da Computao Gersting, J. 4a ed. LTC, Rio de Janeiro, 2001 : 4.1 (pp160-164) (3aed: pp152156) EXERCCIOS Gersting p171: 1 a 4, 7 a 10, 12, 14, 15

OBSERVAO
Esta definio pode ser generalizada para n conjuntos: uma relao n-ria em A1,A2,,An um subconjunto de A1xA2xxAn. EXEMPLOS 1. A relao divide definida sobre Z assim: m | n m divisor de n . 2. A relao de congruncia mdulo m definida sobre Z (com m fixo) assim: a b m | a-b . 3. A relao de incluso definida sobre conjunto de conjuntos da seguinte forma: A B (x A x B) 4. A relao sobre S={1,2,3} definida por x y x+y mpar 5. A relao sobre S={1,2,3} definida por R = {(1,1),(1,2),(1,3)}