9.

Relaes
9.1 Relaes no Plano Cartesiano
Sejam A e B conjuntos no vazios. Uma relao em AxB qualquer subconjunto
R de AxB.

A relao mostrada na figura acima :

R = { (a,3), (b,3), (c,2), (c,3), (d,2), (d,3) }
Uma relao R de A em B pode ser denotada por R: A B.
Exemplo:
Se A={1,2} e B={3,4}, o produto cartesiano AxB={(1,3),(1,4),(2,3),(2,4)} e neste
caso, temos algumas relaes em AxB:
1.

R1={(1,3),(1,4)}

2.

R2={(1,3)}

3.

R3={(2,3),(2,4)}

9. Relaes
9.2 Domnio e imagem de uma relao (R)
As relaes mais importantes so aquelas definidas sobre conjuntos de nmeros
reais e nem sempre uma relao est definida sobre todo o conjunto dos nmeros
reais. Para evitar problemas com estes, costuma-se definir uma relao R: A
B, onde A e B so subconjuntos de R, da seguinte forma:
O conjunto A o domnio da relao R, denotado por D(R) e B o contradomnio
da relao, denotado por C(R).
D(R)= { x A: existe y em B tal que(x,y) R }
Im(R) = { x B: existe x A tal que(x,y) ) R }
Domnio o conjunto D(R) de todos os primeiros elementos dos pares ordenados
(x, y) que pertencem a R.
Imagem o conjunto Im(R) de todos os segundos elementos dos pares ordenados
(x, y) que pertencem a R.

Exemplo:
1) Determine o domnio e a imagem das seguintes relaes:
a) R1 = {(2, 6), (3, 7), (4, 8), (5, 9)}
D(R1) = {2,3,4,5}
Im(R1) = {6,7,8,9}
b) R2 = {(0,1), (1,1), (1,2), (1,3)}
D(R2) = {0,1}
Im(R2) = {1,2,3}

9. Relaes
9.3 Representaes grficas de relaes em AxB:
R1={(a,1),(a,2),(a,3),(b,1),(b,2),(b,3),(c,1),(d,1),(d,2),(d,3)}

R2={(a,1),(b,2),(c,3),(d,1)}

R3={(a,1),(b,1),(b,2),(c,3),(d,3)}

9. Relaes
9.4 Relao Binria
Dados dois conjuntos, A e B, no vazios, chamamos de relao binria (R) de A em
B qualquer subconjunto do produto cartesiano AxB, ou seja, R AxB .

O conjunto A chamado de domnio, isto , origem ou conjunto de partida de R.

O conjunto B chamado de contradomnio, isto , destino ou conjunto de
chegada de R.
Os elementos de A so chamados de x e os elementos de B so chamados de y.
O conjunto formado por todos os y pertencentes relao chamamos de
imagem.
Exemplo:
Dados os conjuntos A = {1,2,3} e B = {4,5,6}, efetuando o produto cartesiano A x B,
temos:
A x B = {(1,4), (1,5), (1,6), (2,4), (2,5), (2,6), (3,4), (3,5), (3,6)}
Vamos considerar uma relao binria do produto cartesiano AxB, em que, o y o
dobro de x. Na linguagem simblica: xRy R = {(x, y) AxB | y = 2x}.
Ou seja, a relao pedida : R = {(2,4), (3,6)}
Esta relao pode ser representada por um diagrama de flechas e tambm por um
grfico cartesiano:

Neste exemplo temos:

Domnio: D (R) = {1,2,3}
Contradomnio: CD (R) = (4,5,6}
Imagem: Im (R) = {4,6}

9. Relaes
9.5 Relao Inversa
Seja R uma relao de A em B. A relao inversa de R, denotada por R -1, definida

de B em A por: R-1 = {( y, x)
BxA| (x, y)
R}.
Exemplo: Sejam A = {a,b,c} e B = {d,e,f} e R uma relao em AxB, definida por:
Ento:
R = {(a,d), (a,e),(a,f), (b,d),(b,e),(b,f),(c,d),(c,e),(c,f)}
R-1 = {(d,a),(e,a),(f,a),(d,b),(e,b),(f,b),(d,c),(e,c),(f,c)}
Observao: O grfico da relao inversa R -1 simtrico ao grfico da relao R,
em relao reta y=x (identidade).

9. 6 Matriz de uma relao

Sejam A e B dois conjuntos finitos. A representao R : AB como matriz :
a) o nmero de linhas n (nmero de elementos do domnio)
b) o nmero de colunas m (nmero de elementos da imagem)
c) a matriz resultante possui m x n clulas
d) cada uma da m x n clulas possuem valor lgico associado
e) se (x,y) R, ento a posio determinada pela linha i e pela coluna j da matriz
contm valor verdadeiro (1); caso contrrio, seu valor ser falso (0).
Exemplo:
Dado os conjuntos A = {a}, B = {a,b} e C = {0,1,2}, temos que:
a) R = {(x, y)

B | x = y}

=ab
10
01

9. Relaes
9. 6 Matriz de uma relao
b) R = {(x, y)

C | x < y}
<012
0011
1001
2000

c) R = AxB
AxBa
a

b
1

9. 7 Propriedades das Relaes

No estudo das relaes sobre um conjunto A, com A finito e tendo poucos
elementos, til a representao atravs do esquema de flechas. Representamos
o conjunto A com seus elementos e indicamos cada par (x,y) da relao atravs de
uma flecha com origem x e extremidade y. Se (x,x) est na relao, usa-se um lao
envolvendo a, conforme o exemplo:
Exemplo:
O esquema abaixo representa a relao: R = {(a,a),(b,b),(a,b),(b,c),(c,b)} sobre A =
{a,b,c}

9. Relaes
9.7.1 Propriedade Reflexiva
Uma relao R reflexiva se todo elemento de A est relacionado consigo mesmo,
ou seja, para todo x A: (x, x) R , isto , para todo x A: xRx .
Exemplo:
Uma relao reflexiva em A = {a,b,c}, dada por: R = {(a,a), (b,b), (c,c), (a,c)}
Contra-exemplo:
A relao R = {(a,a),(b,b),(a,b),(a,c)} sobre A = {a,b,c} no reflexiva pois c no se
relaciona com c.
9.7.2 Propriedade Simtrica
Uma relao R simtrica se o fato que x est relacionado com y, implicar
necessariamente que y est relacionado com x, ou seja: quaisquer que sejam xA
e yA tal que (x, y)R , segue que ( y, x)R
Exemplo:
Uma relao simtrica em A = {a,b,c}, dada por: R = {(a,a), (a,b), (c,c), (b,a)}
Contra-exemplo:
A relao R = {(a,a),(b,b),(a,c)} sobre A = {a,b,c} no simtrica pois a se relaciona
com c mas c no se relaciona com a.
9.7.3 Propriedade Transitiva
Uma relao R transitiva, se x est relacionado com y e y est relacionado com
z, implicar que x deve estar relacionado com z, ou seja: quaisquer que sejam x
A, y A e z A, se (x, y) R e ( y, z) R ento (x, z) R .
Exemplo:
Uma relao transitiva em A = {a,b,c}, dada por: R = {(a,a), (a,c), (c,b), (a,b)}
Contra-exemplo:
A relao R = {(a,a),(b,b),(a,b),(b,c)} sobre A = {a,b,c} no transitiva pois aRb e
bRc mas a no se relaciona com c.
9.7.4 Propriedade Anti-simtrica
Uma relao R anti-simtrica se x e y so elementos distintos do conjunto A
ento x no tem relao com y ou (exclusivo) y no tem relao com x, o que
significa que o par de elementos distintos (x,y) do conjunto A poder estar na
relao desde que o par (y,x) no esteja.

Exemplo:
Uma relao anti-simtrica em A = {a,b,c}, dada por: R = {(a,a), (b,b), (c,b), (a,b)}
Contra-exemplo:
A relao R = {(a,a),(b,b),(a,b),(b,a)} sobre A = {a,b,c} no anti-simtrica pois
sendo a b , aRb e bRa.

9. Relaes
9.8 Relao de Equivalncia
Uma relao R sobre um conjunto A no vazio chamada relao de equivalncia
sobre A se, e somente se, R reflexiva, simtrica e transitiva.
Exemplo:
Se A={a,b,c} ento a relao R em AxA, definida abaixo, de equivalncia:
R = {(a,a),(b,b),(c,c),(a,c),(c,a) }
Importante:
Se A finito, com poucos elementos, possvel visualizar se as propriedades
definidas se verificam ou no para uma relao R, atravs de um esquema de
flechas, do seguinte modo:
Reflexiva em cada ponto do diagrama deve haver um lao.

Simtrica toda flecha deve ter duas pontas.

9. Relaes
Transitiva para todo par de flechas consecutivas existe uma flecha cuja origem
est na origem da primeira e a extremidade esta na extremidade da segunda.

Anti-simtrica no h flechas de duas pontas.

9.9 Relao de Equivalncia

Uma relao R sobre um conjunto A no vazio chamada relao de equivalncia

sobre A se, e somente se, R reflexiva, simtrica e transitiva.
9.10 Ordem Parcial
Uma relao binria em um conjunto A que seja reflexiva, anti-simtrica e
transitiva chamada de uma ordem parcial em A.
9.11 Ordem Total
Uma ordem parcial onde todo elemento do conjunto est relacionado a todos os
outros elementos chamada de ordem total ou cadeia

9. Relaes
9.12 Diagrama de Hasse
Se A for finito, podemos representar visualmente um conjunto parcialmente
ordenado por um diagrama de Hasse. Cada elemento de A representado por um
ponto, denominado n ou vrtice do diagrama. Se x um predecessor imediato de
y, o n que representa y colocado acima do n que representa x e os dois ns
so conectados por um segmento de reta.
Exemplo:
Considere a relao x divide y em {1,2,3,6,12,18}
R = {(1,1),(1,2),(1,3),(1,6),(1,12),(1,18),(2,2),(2,6),(2,12),(2,18),(3,3),(3,6),(3,12),
(3,18), (6,6), (6,12), (6,18) ,(12,12),(18,18)}
Podemos verificar que R reflexiva, pois todo elemento se relaciona com ele
mesmo. anti-simtrica, pois para todo (x,y) no existe (y,x) e transitiva pois
temos por exemplo, (3,6), (6,12) e (3,12).
Portanto podemos construir o seguinte diagrama de Hasse:

12

18
6

3
1