Relaes

Antonio Alfredo Ferreira Loureiro

loureiro@dcc.ufmg.br
http://www.dcc.ufmg.br/~loureiro
UFMG/ICEx/DCC MD

Relac oes 1
Introduo
O mundo est povoado por relaes: famlia, emprego, governo, negcios,
etc.
Entidades em Matemtica e Cincia da Computao tambm podem estar
relacionadas entre si de diversas formas.
Objetivo:
estudar relaes em conjuntos;
estudar formas de representar relaes;
estudar propriedades de relaes.
UFMG/ICEx/DCC MD

Relac oes 2
Relaes em conjuntos
Sejam os conjuntos A = 0, 1, 2 e B = 1, 2, 3.
Suponha que um elemento x em A esteja relacionado com um elemento y em
B sse x < y.
A notao xRy quer dizer que x est relacionado com y, onde R o nome da
relao (neste caso, x < y).
Logo, temos que:
0R1 porque 0 < 1,
0R2 porque 0 < 2,
0R3 porque 0 < 3,
1R2 porque 1 < 2,
1R3 porque 1 < 3,
2R3 porque 2 < 3
Por outro lado, a notao x,Ry quer dizer que x no est relacionado com y.
UFMG/ICEx/DCC MD

Relac oes 3
Relaes em conjuntos
Sejam os conjuntos A = 0, 1, 2 e B = 1, 2, 3.
Logo, temos que:
1,R1 porque 1 ,< 1,
2,R1 porque 2 ,< 1,
2,R2 porque 2 ,< 2
UFMG/ICEx/DCC MD

Relac oes 4
Relaes em conjuntos
O produto cartesiano de A e B, denido por
AB = (x, y)[x A e y B
Para este exemplo (A = 0, 1, 2 e B = 1, 2, 3), temos que:
AB = (0, 1), (0, 2), (0, 3), (1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3)
e os elementos que satisfazem a relao so
R = (0, 1), (0, 2), (0, 3), (1, 2), (1, 3), (2, 3).
UFMG/ICEx/DCC MD

Relac oes 5
Relaes em conjuntos
Denio (Relao (binria)):
Sejam os conjuntos A e B.
Uma relao binria de A para B um subconjunto de AB.
Dado um par ordenado (x, y) em A B, x est relacionado com y por R,
escrito xRy, sse (x, y) R.
O termo binrio usado para indicar uma relao entre dois conjuntos.
Notao:
x est relacionado com y:
xRy (x, y) R
x no est relacionado com y:
x,Ry (x, y) , R
UFMG/ICEx/DCC MD

Relac oes 6
Relao binria num conjunto nito
Exemplo 1 Sejam os conjuntos A = 1, 2 e B = 1, 2, 3 e a relao binria
R de A para B como:
(x, y) AB, (x, y) R x y par
Logo, temos que
AB = (1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3)
e
R = (1, 1), (1, 3), (2, 2)
UFMG/ICEx/DCC MD

Relac oes 7
Relao binria num conjunto innito:
Relao de congruncia mdulo 2
A relao anterior pode ser generalizada para o conjunto de todos os inteiros
Z. Neste caso, a relao binria E de Z para Z pode ser denida como:
(m, n) Z Z, mEn mn par
Os inteiros m e n so relacionados por E sse
m mod 2 = n mod 2,
ou seja, se os nmeros m e n so pares ou mpares.
Quando essa relao satisfeita, diz-se que m e n so congruentes mdulo
2
m n mod 2
UFMG/ICEx/DCC MD

Relac oes 8
Exemplos de relaes binrias
Exemplo 2 Seja a relao C de R para R denida como:
(x, y) R R, (x, y) C x
2
+y
2
= 1
(1, 0) C?
Sim.
(
1
2
,

3
2
) C?
Sim.
(2, 0) C?
No.
x
x + y = 1
y
1
2 2
UFMG/ICEx/DCC MD

Relac oes 9
Exemplos de relaes binrias
Exemplo 3 Seja A o conjunto de todos os strings de tamanho 6 formados de
xs e ys. O conjunto A representado por
6
onde = x, y.
Seja a relao binria R de A para A denida como:
sRt substr(s, 1, 4) = substr(t, 1, 4)
xxyxyxRxxxyxy?
No.
yxyyyxRyxyyxy?
Sim.
UFMG/ICEx/DCC MD

Relac oes 10
Diagrama de seta de uma relao
Suponha que R uma relao de um conjunto A para um conjunto B. O
diagrama de seta para R obtido da seguinte forma:
1. Represente os elementos de A numa regio e os elementos de B como
pontos em outra regio.
2. Para cada x em A e y em B, desenhe uma seta de x para y sse x
relacionado com y por R. Simbolicamente:
Desenhe uma seta de x para y xRy (x, y) R
UFMG/ICEx/DCC MD

Relac oes 11
Exemplos de relaes binrias
Exemplo 4 Sejam os conjuntos A = 1, 2, 3 e B = 1, 3, 5 e as re-
laes:
(x, y) AB, (x, y) S x < y
3
3
5
A B
S
1
2
1
T = (2, 1), (2, 5)
5
B
T
1
2
3
1
3
A
UFMG/ICEx/DCC MD

Relac oes 12
Relaes e funes
Denio:
Uma funo F de um conjunto A para um conjunto B uma relao de A para
B que satisfaz as duas propriedades abaixo:
1. Para cada elemento x em A, existe um elemento y em B tal que (x, y)
F.
cada elemento de A o primeiro elemento de um par ordenado de F.
2. Para todos elementos x em A e y e z em B,
se (x, y) F e (x, z) F, ento y = z
no existem dois pares ordenados distintos cujo primeiro elemento seja
o mesmo.
Se F uma funo de A para B, temos que
y = F(x) (x, y) F
UFMG/ICEx/DCC MD

Relac oes 13
Relaes e funes
Exemplo 5 Sejam os conjuntos A = 2, 4, 6 e B = 1, 3, 5 e a relao:
R = (2, 5), (4, 1), (4, 3), (6, 5). R uma funo?
No, por causa dos pares (4, 1) e (4, 3).
R
1
3
5
A B
2
4
6
UFMG/ICEx/DCC MD

Relac oes 14
Relaes e funes
Exemplo 6 Sejam os conjuntos A = 2, 4, 6 e B = 1, 3, 5 e a relao:
S : (x, y) AB, (x, y) S y = x +1. S uma funo?
No, j que 6 A mas no existe y B[y = 6 +1 = 7.
2
6
S
1
3
5
A B
4
UFMG/ICEx/DCC MD

Relac oes 15
Funes e relaes nos conjuntos dos reais
Exemplo 7 Seja a relao C de R para R denida como:
(x, y) R R, (x, y) C x
2
+y
2
= 1
C uma funo?
No, j que existem nmeros reais x [ (x, y) , C para todo y. Por exemplo,
x = 2.
x + y = 1
2 2
2
y
x
x = 1/2
1
UFMG/ICEx/DCC MD

Relac oes 16
Funes e relaes nos conjuntos dos reais
Exemplo 8 Seja a relao L de R para R denida como:
(x, y) R R, (x, y) L y = x 1
L uma funo?
Sim.
x
y = x 1
y
(x,0)
UFMG/ICEx/DCC MD

Relac oes 17
O inverso de uma relao
Denio:
Seja R uma relao de A para B. A relao inversa R
1
de B para A
denida como:
R
1
= (y, x) B A[(x, y) R.
Essa denio pode ser re-escrita operacionalmente como
x X, y Y, (y, x) R
1
(x, y) R
UFMG/ICEx/DCC MD

Relac oes 18
O inverso de uma relao
Exemplo 9 Sejam os conjuntos A = 2, 3, 4 e B = 2, 6, 8 e seja R a
relao divide de A para B:
(x, y) AB, xRy x[y
R = (2, 2), (2, 6), (2, 8), (3, 6), (4, 8)
A
2
3
4
2
6
8
B
R
UFMG/ICEx/DCC MD

Relac oes 19
O inverso de uma relao
Exemplo 10 Sejam os conjuntos A = 2, 3, 4 e B = 2, 6, 8 e seja R a
relao divide de A para B:
(x, y) AB, xRy x[y
R = (2, 2), (2, 6), (2, 8), (3, 6), (4, 8)
R
1
= (2, 2), (6, 2), (8, 2), (6, 3), (8, 4)
R
1
: (y, x) B A, yR
1
x y um mltiplo de x.
2
4
2
6
8
1
A B
3
R
2
1
B A
4
3
R
2
6
8
UFMG/ICEx/DCC MD

Relac oes 20
Inverso de uma relao innita
Exemplo 11 Seja a relao R de R para R denida como:
(u, v) R R, uRv v = 2 [u[
(u,v)
Grfico de R Grfico de R
(v,u)
1
A relao R
1
uma funo?
No, j que os pares (2, 1) e (2, 1) esto em R
1
.
UFMG/ICEx/DCC MD

Relac oes 21
Grafo dirigido de uma relao
Denio (relao binria): Uma relao binria no conjunto A uma relao
binria de A para A.
Neste caso, o diagrama de seta modicado e torna-se um grafo dirigido, ou
seja, o conjunto A desenhando somente uma vez e uma seta desenhada
para cada par de pontos relacionados entre si.
UFMG/ICEx/DCC MD

Relac oes 22
Grafo dirigido de uma relao
Exemplo 12 Seja A = 3, 4, 5, 6, 7, 8 e a relao binria R em A denida
como
(x, y) AA, xRy 2[(x y)
5 5
3
4
6
7
8
A
3
4
6
7
8
A
R
5
3 4
6 7
8
UFMG/ICEx/DCC MD

Relac oes 23
Relaes n-rias
Denio: Dados os conjuntos A
1
, A
2
, . . . , A
n
, uma relao n-ria R em A
1

A
2
. . . A
n
um subconjunto de A
1
A
2
. . . A
n
.
Relaes envolvendo dois, trs e quatro conjuntos so chamadas de binrias,
ternrias e quaternrias, respectivamente.
UFMG/ICEx/DCC MD

Relac oes 24
Propriedades de relaes
Exemplo 13 Seja A = 2, 3, 4, 6, 7, 9 e a relao binria R em A denida
como
(x, y) AA, xRy 3[(x y)
9
4 2
3
7
6
UFMG/ICEx/DCC MD

Relac oes 25
Propriedades de relaes
Exemplo 13 Este grafo tem trs propriedades importantes:
1. Cada ponto do grafo tem uma seta para o prprio ponto.
2. Em todos os casos onde existe uma seta indo de um ponto p para um ponto
q, existe uma seta indo do ponto q para o ponto p.
3. Em todos os casos onde existe uma seta indo de um ponto p para um ponto
q e do ponto q para um ponto r, existe uma seta indo do ponto p para o
ponto r.
Essas propriedades correspondem a relaes gerais chamadas de reexiva,
simtrica e transitiva.
UFMG/ICEx/DCC MD

Relac oes 26
Propriedades de relaes
Seja R uma relao binria no conjunto A.
1. R reexiva sse, x A, xRx.
Cada elemento relacionado consigo mesmo.
2. R simtrica sse, x, y A, se xRy ento yRx.
Cada elemento relacionado com um outro, o segundo relacionado com
o primeiro.
3. R transitiva sse, x, y, z A, se xRy e yRz ento xRz.
Cada elemento relacionado com um segundo, o segundo relacionado
com um terceiro, ento o primeiro relacionado com o terceiro.
UFMG/ICEx/DCC MD

Relac oes 27
Propriedades de relaes
Exemplo 14 Seja o conjunto A = 0, 1, 2, 3 e a relao binria R denida
como:
R = (0, 0), (0, 1), (0, 3), (1, 0), (1, 1), (2, 2), (3, 0), (3, 3)
Diga se a propriedade reexiva, simtrica e transitiva?
3 2
1 0
Reexiva (V): Existe um lao para cada n do
grafo o que signica que cada elemento de A
relacionado consigo mesmo.
Simtrica (V): Para cada aresta de ida existe
uma aresta de volta.
Transitiva (F): Temos 1R0 e 0R3 mas no temos
1R3, o que implica na no transitividade.
UFMG/ICEx/DCC MD

Relac oes 28
Propriedades de relaes
Exemplo 15 Seja o conjunto A = 0, 1, 2, 3 e a relao binria S denida
como:
S = (0, 0), (0, 2), (0, 3), (2, 3)
A propriedade reexiva, simtrica e transitiva?
1 0
3 2
Reexiva (F): No existe, por exemplo, 1R1.
Simtrica (F): Para cada aresta de ida no existe
uma aresta de volta.
Transitiva (V): Temos
Hiptese Concluso
(0, 2) e (2, 3) (0, 3)
(0, 0) e (0, 2) (0, 2)
(0, 0) e (0, 3) (0, 3)
Os elementos x, y e z no precisam ser dis-
tintos.
UFMG/ICEx/DCC MD

Relac oes 29
Propriedades de relaes
Exemplo 16 Seja o conjunto A = 0, 1, 2, 3 e a relao binria T denida
como:
T = (0, 1), (2, 3)
Diga se a propriedade reexiva, simtrica e transitiva?
0
3 2
1
Reexiva (F): No existe nenhum lao.
Simtrica (F): Para cada aresta de ida no existe
uma aresta de volta.
Transitiva (V): Por default. A transitividade no
satisfeita quando a hiptese verdadeira e a
concluso falsa, ou seja,
(x, y) T e (y, z) T e (x, z) , T
Como no existem pares (x, y) e (y, z) que sa-
tisfazem a hiptese a concluso da armao
verdadeira.
UFMG/ICEx/DCC MD

Relac oes 30
Vericando propriedades de relaes atravs de
um programa
Seja uma relao binria R denida num conjunto nito A com n elemen-
tos.
possvel vericar atravs de um programa se R reexiva, simtrica e
transitiva.
Possvel implementao:
Representar R por uma matriz booleana quadrada de tamanho n.
A linha corresponde ao primeiro elemento do par ordenado e a coluna ao
segundo elemento do par ordenado (conseqentemente a matriz no
simtrica).
UFMG/ICEx/DCC MD

Relac oes 31
Vericando propriedades de relaes atravs de
um programa
3 2
1 0
2
o
elemento
0 1 2 3
1
o
e
l
e
m
e
n
t
o0 V V V
1 V V
2 V
3 V V
1 0
3 2
2
o
elemento
0 1 2 3
1
o
e
l
e
m
e
n
t
o0 V V V
1
2 V
3
0
3 2
1
2
o
elemento
0 1 2 3
1
o
e
l
e
m
e
n
t
o0 V
1
2 V
3
UFMG/ICEx/DCC MD

Relac oes 32
Fecho de uma relao
Se uma relao binria R denida em um conjunto A no possui uma determi-
nada propriedade p, podemos estender R e obter uma nova relao R

em A
que tenha essa propriedade.
Estender signica que a nova relao R

em A contm todos os pares de R e

os pares adicionais necessrios para que a propriedade p seja vlida.
Denio [Fecho de uma relao]: Seja A um conjunto, R uma relao binria
em A e uma propriedade p. O fecho de R a relao binria R

em A que
possui a propriedade p e satisfaz as trs condies abaixo:
1. R

tem a propriedade p;
2. R R

;
3. Se S uma outra relao qualquer que contm R e satisfaz a propriedade
p, ento R

S.
UFMG/ICEx/DCC MD

Relac oes 33
Fecho de uma relao
Podemos denir os seguintes fechos:
reexivo;
simtrico;
transitivo
de uma relao em um conjunto.
Se uma relao binria R denida em um conjunto A j possui a propriedade p,
ela j seu prprio fecho que satisfaz a propriedade p.
UFMG/ICEx/DCC MD

Relac oes 34
Fecho transitivo de uma relao
Denio [Fecho transitivo de uma relao]: Seja A um conjunto e R uma rela-
o binria em A. O fecho transitivo (transitive closure) de R a relao binria
R
t
em A que satisfaz as trs condies abaixo:
1. R
t
transitiva;
2. R R
t
;
3. Se S uma outra relao transitiva qualquer que contm R, ento R
t
S.
UFMG/ICEx/DCC MD

Relac oes 35
Fecho transitivo de uma relao
Exemplo 17 Seja o conjunto A = 0, 1, 2, 3 e a relao binria R denida
como R =(0, 0), (0, 1), (0, 3), (1, 0), (1, 1), (2, 2), (3, 0), (3, 3).
3 2
1 0
Hiptese Concluso
(0, 0) e (0, 0) (0, 0)
(0, 0) e (0, 1) (0, 1)
(0, 0) e (0, 3) (0, 3)
(1, 0) e (0, 1) (1, 1)
(1, 0) e (0, 3) (1, 3)

(1, 1) e (1, 0) (1, 0)

(1, 1) e (1, 1) (1, 1)
(2, 2) e (2, 2) (2, 2)
(3, 0) e (0, 0) (3, 0)
(3, 0) e (0, 1) (3, 1)

(3, 0) e (0, 3) (3, 3)

(3, 3) e (3, 3) (3, 3)

No faz parte da relao original.

R
t
= (0, 0), (0, 1), (0, 3), (1, 0), (1, 1), (1, 3), (2, 2), (3, 0), (3, 1), (3, 3).
UFMG/ICEx/DCC MD

Relac oes 36
Fecho transitivo de uma relao
Exemplo 18 Seja A = 0, 1, 2, 3 e considere a relao R denida em A
como:
R = (0, 1), (1, 2), (2, 3)
Determine a relao de fecho transitivo de R.
Grafo dirigido de R:
1 0
3 2
Hiptese Concluso
(0, 1) e (1, 2) (0, 2)

(1, 2) e (2, 3) (1, 3)

(0, 2)

e (2, 3) (0, 3)

No faz parte da relao original.

Assim,
R
t
= (0, 1), (0, 2), (0, 3), (1, 2), (1, 3), (2, 3)
UFMG/ICEx/DCC MD

Relac oes 37
Fecho transitivo de uma relao
Exemplo 18 Dado A = 0, 1, 2, 3 e a relao R denida em A como:
R = (0, 1), (1, 2), (2, 3)
temos
R
t
= (0, 1), (0, 2), (0, 3), (1, 2), (1, 3), (2, 3)
Grafo dirigido de R:
1 0
3 2
Grafo dirigido de R
t
:
3
0
2
1
UFMG/ICEx/DCC MD

Relac oes 38
Propriedades de relaes em conjuntos innitos
Suponha uma relao binria denida em um conjunto innito A.
Para provar que a relao reexiva, simtrica e transitiva:
Escreva o que deve ser provado. Por exemplo, para simetria:
x, y A, se xRy ento yRx
Use as denies do conjunto A e da relao R para reescrever a pro-
priedade. Para a relao de igualdade no conjunto dos nmeros reais,
temos:
x, y A, se x = y ento y = x
UFMG/ICEx/DCC MD

Relac oes 39
Propriedades de relaes em conjuntos innitos
Exemplo 19 Seja S uma relao no conjunto R tal que para todos
x, y R, xSy x < y
A propriedade reexiva, simtrica e transitiva?
UFMG/ICEx/DCC MD

Relac oes 40
Propriedades de relaes em conjuntos innitos
Exemplo 19
Reexiva (F): S reexiva sse
x R, xSx.
Pela denio de S, isto signica
x R, x < x.
Para provar que essa armao falsa, basta achar um contra-exemplo. Neste
caso, a armao falsa para todos os nmeros reais j que x ,< x.
UFMG/ICEx/DCC MD

Relac oes 41
Propriedades de relaes em conjuntos innitos
Exemplo 19
Simtrica (F): S simtrica sse
x, y R, se xSy ento ySx.
Pela denio de S, isto signica
x, y R, se x < y ento y < x.
Para provar que essa armao falsa, basta achar um contra-exemplo. Neste
caso, a armao falsa para todos os nmeros reais j que se x < y, ento
y ,< x.
UFMG/ICEx/DCC MD

Relac oes 42
Propriedades de relaes em conjuntos innitos
Exemplo 19
Transitiva (V): S transitiva sse
x, y, z R, se xSy e ySz ento xSz.
Pela denio de S, isto signica
x, y, z R, se x < y e y < z ento x < z.
Essa armao verdadeira pela lei transitiva da ordem dos nmeros reais.
UFMG/ICEx/DCC MD

Relac oes 43
Propriedades de relaes em conjuntos innitos
Exemplo 20 Seja T uma relao no conjunto Z dos nmeros inteiros tal que
para todos
m, n Z, mTn 3[(mn)
A propriedade reexiva, simtrica e transitiva?
UFMG/ICEx/DCC MD

Relac oes 44
Propriedades de relaes em conjuntos innitos
Exemplo 20
Reexiva (V): T reexiva sse
m Z, mTm.
Pela denio de T, isto signica
m Z, 3[(mm),
ou ainda,
m Z, 3[0.
Essa armao verdadeira j que 0 = 3 0.
UFMG/ICEx/DCC MD

Relac oes 45
Propriedades de relaes em conjuntos innitos
Exemplo 20
Simtrica (V): T simtrica sse
m, n Z, se mTn ento nTm.
Pela denio de T, isto signica
m, n Z, se 3[(mn) ento 3[(n m).
Suponha que m e n sejam inteiros especcos mas escolhidos aleatoriamente
tais que 3[(mn). Deve-se mostrar que 3[(n m). Pela denio de divide
temos que 3[(m n) e m n = 3k e n m = 3 k, para algum inteiro k.
Logo, 3[(n m).
UFMG/ICEx/DCC MD

Relac oes 46
Propriedades de relaes em conjuntos innitos
Exemplo 20
Transitiva (V): T transitiva sse
m, n, o Z, se mTn e nTo ento mTo.
Pela denio de T, isto signica
m, n, o Z, se 3[(mn) e 3[(n o) ento 3[(mo).
Suponha que m, n e o sejaminteiros especcos mas escolhidos aleatoriamente
tais que 3[(mn) e 3[(no). Deve-se mostrar que 3[(mo). Pela denio
de divide temos que: 3[(m n) e m n = 3r; e 3[(n o) e n o = 3s,
para inteiros r e s, respectivamente. Sabemos que:
(mn) +(n o) = 3r +3s
mo = 3 (r +s)
O que mostra que 3[(mo).
UFMG/ICEx/DCC MD

Relac oes 47
Propriedades de relaes
Exemplo 21 Seja C o conjunto de todos os circuitos lgicos com um nmero
xo n de entradas. Seja E uma relao binria no conjunto C denida como:
Para todos os circuitos c
1
C e c
2
C
c
1
Ec
2

c
1
tem a mesma tabela de entrada e sada que c
2
.
A propriedade reexiva, simtrica e transitiva?
UFMG/ICEx/DCC MD

Relac oes 48
Propriedades de relaes
Exemplo 21
Reexiva (V): E reexiva sse
c C, cEc.
Pela denio de E, isto signica
c C,

c tem a mesma tabela de

entrada e sada que c

.
O que obviamente verdade.
UFMG/ICEx/DCC MD

Relac oes 49
Propriedades de relaes
Exemplo 21
Simtrica (V): E simtrica sse
c
1
, c
2
C, se c
1
Ec
2
ento c
2
Ec
1
.
Pela denio de E, isto signica
c
1
, c
2
C,
se

c
1
tem a mesma tabela de
entrada e sada que c
2

ento

c
2
tem a mesma tabela de
entrada e sada que c
1

.
Considerando a hiptese verdadeira, a concluso obviamente verdadeira.
UFMG/ICEx/DCC MD

Relac oes 50
Propriedades de relaes
Exemplo 21
Transitiva (V): E transitiva sse
c
1
, c
2
, c
3
C, se c
1
Ec
2
e c
2
Ec
3
ento c
1
Ec
3
.
Pela denio de E, isto signica
se

c
1
tem a mesma tabela de
entrada e sada que c
2

c
2
tem a mesma tabela de
entrada e sada que c
3

ento

c
1
tem a mesma tabela de
entrada e sada que c
3

.
Considerando a hiptese verdadeira, a concluso obviamente verdadeira.
UFMG/ICEx/DCC MD

Relac oes 51
Relao de equivalncia
Idia central de relao de equivalncia:
Agrupar pares ordenados de uma relao que esto relacionados entre si.
Partio de um conjunto A:
Coleo de subconjuntos no-vazios mutuamente disjuntos cuja unio o
conjunto A.
Exemplo 22 Para i ,= j, A
i
A
j
= , ou ainda A
1
A
2
. . . A
6
= A
A
1
A
2
A
3
A
4
A
5
A
6
UFMG/ICEx/DCC MD

Relac oes 52
Relao de equivalncia
Denio: Dada uma partio de um conjunto A, a relao binria R induzida
pela partio denida em A como:
x, y A, xRy Existe um subconjunto A da partio
tal que ambos x e y esto em A.
Exemplo 23 Seja A = 0, 1, 2, 3, 4 e considere a seguinte partio de A:
0, 3, 4, 1, 2
Determine a relao R induzida por essa partio.
R =

(0, 0), (0, 3), (0, 4), (3, 0), (3, 3), (3, 4), (4, 0), (4, 3), (4, 4),
(1, 1),
(2, 2)

Observao importante:
Uma relao induzida por uma partio de um conjunto satisfaz as pro-
priedades de reexividade, simetria e transitividade.
UFMG/ICEx/DCC MD

Relac oes 53
Relao de equivalncia
Denio: Seja A um conjunto no-vazio e R uma relao binria em A. R
uma relao de equivalncia sse R reexiva, simtrica e transitiva.
Exemplo 24 Seja A = 2, 3, 4, 6, 7, 9 e a relao binria R em A denida
como
(x, y) AA, xRy 3[(x y)
9
4 2
3
7
6
A partio de A correspondente
relao R :
4, 7, 2, 3, 6, 9
UFMG/ICEx/DCC MD

Relac oes 54
Classes de equivalncia de uma relao
equivalncia
Suponha que exista uma relao de equivalncia de um dado conjunto. Seja
a um elemento particular do conjunto. O subconjunto de todos os elementos
que esto relacionados com a chamado de classe de equivalncia de a.
Denio: Seja A um conjunto e R uma relao de equivalncia em A. Para
cada elemento a A, a classe de equivalncia de a, representada por [a]
e chamada de a o conjunto de todos os elementos x A tal que x est
relacionado com a atravs de R.
Simbolicamente, temos:
[a] = x A[xRa
UFMG/ICEx/DCC MD

Relac oes 55
Classes de equivalncia de uma relao denida
num conjunto nito
Exemplo 25 Seja A = 0, 1, 2, 3, 4 e R uma relao binria em A denida
como:
(0, 0), (0, 4), (1, 1), (1, 3), (2, 2), (3, 1), (3, 3), (4, 0), (4, 4)
R uma relao de equivalncia
em A:
1
0 2
4
3
As classes de equivalncia de R
so:
[0] = x A[xR0 = 0, 4
[1] = x A[xR1 = 1, 3
[2] = x A[xR2 = 2
[3] = x A[xR3 = 1, 3
[4] = x A[xR4 = 0, 4
Assim, as classes distintas de equi-
valncia da relao so:
0, 4, 1, 3, 2
UFMG/ICEx/DCC MD

Relac oes 56
Propriedades das classes de equivalncia
Seja A um conjunto e R uma relao de equivalncia em A e a e b elementos
de A:
1. Se aRb, ento [a] = [b]
2. [a] [b] = [a] = [b]
Se A um conjunto no vazio e R uma relao de equivalncia emA, ento
as classes de equivalncia distintas de A formam uma partio de A,
ou seja,
a unio das classes de equivalncia todo o conjunto A e a interseco de
quaisquer duas classes distintas o conjunto vazio.
UFMG/ICEx/DCC MD

Relac oes 57
Propriedades das classes de equivalncia
Exemplo 26 Seja R a relao de congruncia mdulo 3 no conjunto Z de todos
os nmeros inteiros. Isto signica que para todos inteiros m e n,
mRn 3[(mn) m n mod 3
Descreva as classes de equivalncia distintas de R.
Para cada inteiro a,
[a] = x Z[xRa
= x Z[3[(x a)
= x Z[x a = 3 k, para algum inteiro k
= x Z[x = 3 k +a, para algum inteiro k.
UFMG/ICEx/DCC MD

Relac oes 58
Propriedades das classes de equivalncia
Exemplo 26
Assim,
[0] = x Z[x = 3 k +0, para algum inteiro k
= x Z[x = 3 k, para algum inteiro k
= . . . , 9, 6, 3, 0, 3, 6, 9, . . .,
[1] = x Z[x = 3 k +1, para algum inteiro k
= . . . , 8, 5, 2, 1, 4, 7, 10. . .,
[2] = x Z[x = 3 k +2, para algum inteiro k
= . . . , 7, 4, 1, 2, 5, 8, 11. . ..
UFMG/ICEx/DCC MD

Relac oes 59
Propriedades das classes de equivalncia
Exemplo 26
Pelas propriedades das classes de equivalncia, temos:
[0] = [3] = [3] = [6] = [6] = . . .
[1] = [4] = [2] = [7] = [5] = . . .
[2] = [5] = [1] = [8] = [4] = . . .
Cada inteiro est em uma das trs classes [0], [1] ou [2].
Isto signica que uma classe de equivalncia pode ter diferentes nomes. Neste
exemplo, a classe do 0 ([0]) pode ser chamada pela classe do 3 ([3]) ou pela
classe do 6 ([6]), e assim por diante.
Mas o que a classe [0] ou [3] ou [6] signica o conjunto
x Z[x = 3 k, para algum inteiro k.
UFMG/ICEx/DCC MD

Relac oes 60
Propriedades das classes de equivalncia
Exemplo 26
As trs classes de equivalncia so:
1. x Z[x = 3 k, para algum inteiro k
Conjunto dos inteiros divisveis por 3.
2. x Z[x = 3 k +1, para algum inteiro k
Conjunto dos inteiros que deixam resto 1 quando divididos por 3.
3. x Z[x = 3 k +2, para algum inteiro k
Conjunto dos inteiros que deixam resto 2 quando divididos por 3.
UFMG/ICEx/DCC MD

Relac oes 61
Propriedades das classes de equivalncia
Denio: Seja R uma relao de equivalncia num conjunto A e S uma classe
de equivalncia de R. Um representante da classe S qualquer elemento a tal
que [a] = S.
No exemplo anterior, temos que 6 um representante da classe [6] que por
sua vez gera o conjunto
x Z[x = 3 k, para algum inteiro k
Conjunto de todos os inteiros divisveis por 3.
UFMG/ICEx/DCC MD

Relac oes 62
Classes de equivalncia de uma relao
No exemplo 21 foi mostrado que dado um conjunto C de todos os circuitos
lgicos com um nmero xo n de entradas, a relao E uma relao de equi-
valncia.
A relao E foi denida como:
Para todos os circuitos c
1
C e c
2
C
c
1
Ec
2

c
1
tem a mesma tabela de entrada e sada que c
2
.
UFMG/ICEx/DCC MD

Relac oes 63
Classes de equivalncia de uma relao
Exemplo 27 Dado o exemplo 21 e considerando circuitos lgicos com duas
entradas e uma sada:
(a) Descreva as classes de equivalncia da relao E.
(b) Identique quantas classes de equivalncia distintas existem.
(c) Mostre circuitos que representam uma das classes.
UFMG/ICEx/DCC MD

Relac oes 64
Classes de equivalncia de uma relao
Exemplo 27
Dado um circuito c
1
, a classe de equivalncia de c
1
o conjunto de todos os
circuitos com duas entradas e uma sada que tm a mesma tabela de entrada e
sada de c
1
.
Esquema de um circuito e uma possvel tabela de entrada e sada:
-
-
-
Q
P
Sada
CIRCUITO
ELETRNICO
P Q Sada
1
a
linha 1 1 0
2
a
linha 1 0 0
3
a
linha 0 1 0
4
a
linha 0 0 1
Pelo princpio da multiplicao temos,
2

1
a
linha
2

2
a
linha
2

3
a
linha
2

4
a
linha
= 16
tabelas da verdade distintas.
UFMG/ICEx/DCC MD

Relac oes 65
Classes de equivalncia de uma relao
Exemplo 27
(a) Descreva as classes de equivalncia da relao E.
Existem 16 classes de equivalncia distintas, uma para cada tabela de en-
trada e sada distinta.
(b) Identique quantas classes de equivalncia distintas existem.
Existem innitamente muitos circuitos para cada uma das tabelas.
(c) Mostre circuitos que representam uma das classes.
Para a tabela de entrada e sada abaixo, dois possveis circuitos so:
P Q Sada
1 1 0
1 0 0
0 1 0
0 0 1
R
Q
P
NOT
OR
Q
P
R
NOT
AND
NOT
UFMG/ICEx/DCC MD

Relac oes 66
Relao anti-simtrica
J foram vistas trs propriedades de relaes:
1. Reexividade
2. Simetria
3. Transitividade
Denio: Seja R uma relao num conjunto A. R uma relao anti-
simtrica sse,
a, b A, se aRb bRa ento a = b.
Informalmente, uma relao anti-simtrica se para cada aresta de ida
no existe uma aresta de volta.
Tomando a negao dessa denio temos que uma relao R no anti-
simtrica sse,
a, b A[aRb bRa a ,= b.
UFMG/ICEx/DCC MD

Relac oes 67
Relao anti-simtrica
Exemplo 28 Seja R uma relao no conjunto 0, 1, 2 denida como
R = (0, 2), (1, 2), (2, 0)
A propriedade anti-simtrica?
2 1
0
Anti-simtrica (F): R uma relao anti-simtrica sse,
a, b A, se aRb bRa ento a = b.
Como 0R2 e 2R0 e 0 ,= 2, R no anti-simtrica.
UFMG/ICEx/DCC MD

Relac oes 68
Relao anti-simtrica
Exemplo 29 Seja R uma relao no conjunto 0, 1, 2 denida como
R = (0, 0), (0, 1), (0, 2), (1, 1), (1, 2)
A propriedade anti-simtrica?
1 0
2
Anti-simtrica (V): R uma relao anti-simtrica sse,
a, b A, se aRb bRa ento a = b.
Como no existem arestas de ida e de volta para o mesmo par de ns, a relao
anti-simtrica.
UFMG/ICEx/DCC MD

Relac oes 69
Relao de ordem parcial
Denio: Seja R uma relao binria denida no conjunto A. R uma relao
de ordem parcial sse R reexiva, anti-simtrica e transitiva.
Exemplos de relaes de ordem parcial:
1. Relao menor ou igual a no conjunto dos nmeros reais;
2. Relao subconjunto num conjunto de conjuntos.
UFMG/ICEx/DCC MD

Relac oes 70
Relao de ordem parcial
Exemplo 30 Seja D a relao divide em Z
+
(inteiros positivos) denida como:
a, b Z
+
, a[b b = k a, para algum inteiro k.
Reexiva (V): D reexiva sse a Z
+
, a[a.
Suponha a Z
+
. Temos que a = 1 a e assim a[a pela denio da
divisibilidade.
Anti-simtrica (V): D anti-simtrica sse a, b Z
+
, se a[bb[a ento a = b.
Suponha a, b Z
+
e aRb e bRa. Pela denio de R, a[b e b[a. Pela
denio de divide existem inteiros k
1
e k
2
tais que b = k
1
a e a = k
2
b.
Temos que
b = k
1
a = k
1
(k
2
b) = (k
1
k
2
) b
Ou seja, k
1
k
2
= 1. Temos que k
1
e k
2
so inteiros positivos. Mas o nico
produto de dois inteiros positivos que igual 1 1 1. Assim, k
1
= k
2
= 1.
Assim, a = k
2
b = 1 b = b.
Transitividade (V): D transitiva sse a, b, c Z
+
, se a[b e b[c ento a[c.
Prova para o leitor.
UFMG/ICEx/DCC MD

Relac oes 71
Relao de ordem parcial
Exemplo 31 Seja a relao menor ou igual a em R denida como:
x, y R, x y (x < y) (x = y).
Mostre que uma relao em R.
Reexiva (V): Para ser reexiva signica que x x para todos nmeros
reais. Mas x x signica que (x < x) (x = x) e x = x sempre
verdadeiro.
Anti-simtrica (V): Para ser anti-simtrica signica que para todos nmeros
reais x e y, se x y e y x ento x = y. Isto consequncia imediata
da denio de e a propriedade de tricotomia que diz que dados quaisquer
nmeros reais x e y exatamente uma das armaes verdadeira: x < y ou
x = y ou x > y.
Transitividade (V): Para ser transitiva signica que para todos os reais x, y
e z, se x y e y z ento x z. Isto verdade pela denio de e
pela propriedade transitiva da ordem dos nmeros reais que diz que dados
quaisquer nmeros reais x, y e z, se x < y e y < z ento x < z.
UFMG/ICEx/DCC MD

Relac oes 72
Ordem lexicogrca
Seja um conjunto com uma relao de ordem parcial.
Pode-se, ento, denir uma ordem lexicogrca ou ordem de dicionrio no
conjunto

.
Seja R uma relao em

. Para quaisquer inteiros positivos m e n, e

a
1
a
2
. . .a
m
e b
1
b
2
. . .b
n
em

, temos:
1. Se m n e a
i
= b
i
para todos i = 1, 2, . . . , m, ento
a
1
a
2
. . .a
m
b
1
b
2
. . .b
n
.
2. Para algum inteiro k, k m, k n, e k 1, a
i
= b
i
para todos i =
1, 2, . . . , k 1, e a
k
Rb
k
mas a
k
,= b
k
, ento
a
1
a
2
. . .a
m
b
1
b
2
. . .b
n
.
3. Se o string nulo e s um string em

, ento s.
O smbolo usado para referenciar uma relao de ordem parcial genrica
e lido como menor ou igual a.
UFMG/ICEx/DCC MD

Relac oes 73
Ordem lexicogrca
Exemplo 32 Seja = , e R a seguinte relao de ordem parcial em :
R = (, ), (, ), (, ).
Diga se os seguintes strings denem uma ordem lexicogrca em

:
(a) ?
Sim, caso 2.
(b) ?
No, j que a
5
, b
5
.
(c) ?
Sim, caso 1.
(d) ?
Sim, caso 3.
UFMG/ICEx/DCC MD

Relac oes 74
Diagrama de Hasse
Exemplo 33 Seja A = 1, 2, 3, 9, 18 e considere a relao D divide no
conjunto como:
a, b A, a[b b = a k, para algum inteiro k.
O grafo dirigido da relao D :
18
1
2 3
9
UFMG/ICEx/DCC MD

Relac oes 75
Diagrama de Hasse
18
1
2 3
9
Note que:
Existe um lao (loop) em cada vrtice;
Todas as arestas apontam para a mesma direo,
ou seja, para cima;
Toda vez que h uma aresta de um vrtice para
um segundo e de um segundo para um terceiro,
ento h uma aresta do primeiro vrtice para o
terceiro vrtice.
possvel associar um grafo mais simples com
uma relao de ordem parcial num conjunto
nito chamado Diagrama de Hasse.
UFMG/ICEx/DCC MD

Relac oes 76
Algoritmo para obter o Diagrama de Hasse
Elimine:
1. Os laos em todos os vrtices;
2. Todas as arestas que existem por causa da propriedade de transitividade;
3. A direo em todas as arestas.
18
1
2 3
9
1
2 3
18
9
UFMG/ICEx/DCC MD

Relac oes 77
Diagrama de Hasse
Exemplo 34 Considere a relao subconjunto, , no conjunto potncia
1(a, b, c). Para todos os conjuntos U e V em 1(a, b, c),
U V x, se x U ento x V.
Construa o Diagrama de Hasse dessa relao.
0
/
{b}
{a}
{a,b} {b,c}
{c}
{a,b,c}
{a,c}
0
/
{a}
{a,b}
{c}
{b,c}
{a,b,c}
{a,c}
{b}
UFMG/ICEx/DCC MD

Relac oes 78
Grafo original do Diagrama de Hasse
Para obter o grafo original a partir do Diagrama de Hasse basta reverter os
passos do algoritmo anterior.
a
b
e
f
c
d
a
b
e
f
c
d
UFMG/ICEx/DCC MD

Relac oes 79