Relaes

Antonio Alfredo Ferreira Loureiro

loureiro@dcc.ufmg.br
http://www.dcc.ufmg.br/~loureiro

UFMG/ICEx/DCC

MD

Relac
o
es

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
o
es

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
0R2
0R3
1R2
1R3
2R3

porque
porque
porque
porque
porque
porque

0 < 1,
0 < 2,
0 < 3,
1 < 2,
1 < 3,
2<3

Por outro lado, a notao x6Ry quer dizer que x no est relacionado com y.
UFMG/ICEx/DCC

MD

Relac
o
es

Relaes em conjuntos
Sejam os conjuntos A = {0, 1, 2} e B = {1, 2, 3}.
Logo, temos que:

UFMG/ICEx/DCC

16R1

porque

1 6< 1,

26R1

porque

2 6< 1,

26R2

porque

2 6< 2

MD

Relac
o
es

Relaes em conjuntos
O produto cartesiano de A e B, definido por
A B = {(x, y)|x A e y B}
Para este exemplo (A = {0, 1, 2} e B = {1, 2, 3}), temos que:
A B = {(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
o
es

Relaes em conjuntos
Definio (Relao (binria)):
Sejam os conjuntos A e B.
Uma relao binria de A para B um subconjunto de A B.
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:
x6Ry (x, y) 6 R

UFMG/ICEx/DCC

MD

Relac
o
es

Relao binria num conjunto finito

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) A B, (x, y) R x y par
Logo, temos que
A B = {(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
o
es

Relao binria num conjunto infinito:

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 definida como:
(m, n) Z Z, mEn m n 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
o
es

Exemplos de relaes binrias

Exemplo 2 Seja a relao C de R para R definida como:
(x, y) R R, (x, y) C x2 + y 2 = 1
(1, 0) C?
Sim.

x2 + y2 = 1

1 , 3 ) C?
( 2
2
Sim.

(2, 0) C?
No.

UFMG/ICEx/DCC

MD

Relac
o
es

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 definida como:
sRt substr(s, 1, 4) = substr(t, 1, 4)
xxyxyxRxxxyxy?
No.
yxyyyxRyxyyxy?
Sim.

UFMG/ICEx/DCC

MD

Relac
o
es

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
o
es

11

Exemplos de relaes binrias

Exemplo 4 Sejam os conjuntos A = {1, 2, 3} e B = {1, 3, 5} e as relaes:
(x, y) A B, (x, y) S x < y
S
1

T = {(2, 1), (2, 5)}

1
2

A
UFMG/ICEx/DCC

MD

Relac
o
es

12

Relaes e funes
Definio:
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
o
es

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).

2
4

UFMG/ICEx/DCC

MD

Relac
o
es

14

Relaes e funes
Exemplo 6 Sejam os conjuntos A = {2, 4, 6} e B = {1, 3, 5} e a relao:
S : (x, y) A B, (x, y) S y = x + 1. S uma funo?
No, j que 6 A mas no existe y B|y = 6 + 1 = 7.

S
2

UFMG/ICEx/DCC

MD

Relac
o
es

15

Funes e relaes nos conjuntos dos reais

Exemplo 7 Seja a relao C de R para R definida como:
(x, y) R R, (x, y) C x2 + y 2 = 1
C uma funo?
No, j que existem nmeros reais x | (x, y) 6 C para todo y. Por exemplo,
x = 2.
y
x2 + y2 = 1

x = 1/2

UFMG/ICEx/DCC

MD

Relac
o
es

16

Funes e relaes nos conjuntos dos reais

Exemplo 8 Seja a relao L de R para R definida como:
(x, y) R R, (x, y) L y = x 1
L uma funo?
Sim.
y
y = x 1

(x,0)

UFMG/ICEx/DCC

MD

Relac
o
es

17

O inverso de uma relao

Definio:
Seja R uma relao de A para B. A relao inversa R1 de B para A
definida como:
R1 = {(y, x) B A|(x, y) R}.
Essa definio pode ser re-escrita operacionalmente como
x X, y Y, (y, x) R1 (x, y) R

UFMG/ICEx/DCC

MD

Relac
o
es

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) A B, xRy x|y
R = {(2, 2), (2, 6), (2, 8), (3, 6), (4, 8)}

R
2

UFMG/ICEx/DCC

MD

Relac
o
es

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) A B, xRy x|y
R = {(2, 2), (2, 6), (2, 8), (3, 6), (4, 8)}
R1 = {(2, 2), (6, 2), (8, 2), (6, 3), (8, 4)}
R1 : (y, x) B A, yR1x y um mltiplo de x.

R 1

R 1

A
UFMG/ICEx/DCC

B
MD

Relac
o
es

A
20

Inverso de uma relao infinita

Exemplo 11 Seja a relao R de R para R definida como:
(u, v) R R, uRv v = 2 |u|
Grfico de R 1

Grfico de R
(u,v)

(v,u)

A relao R1 uma funo?

No, j que os pares (2, 1) e (2, 1) esto em R1.

UFMG/ICEx/DCC

MD

Relac
o
es

21

Grafo dirigido de uma relao

Definio (relao binria): Uma relao binria no conjunto A uma relao
binria de A para A.
Neste caso, o diagrama de seta modificado 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
o
es

22

Grafo dirigido de uma relao

Exemplo 12 Seja A = {3, 4, 5, 6, 7, 8} e a relao binria R em A definida
como
(x, y) A A, xRy 2|(x y)

R
3

8
7

7
A

UFMG/ICEx/DCC

MD

Relac
o
es

23

Relaes n-rias
Definio: Dados os conjuntos A1, A2, . . . , An, uma relao n-ria R em A1
A2 . . . An um subconjunto de A1 A2 . . . An.
Relaes envolvendo dois, trs e quatro conjuntos so chamadas de binrias,
ternrias e quaternrias, respectivamente.

UFMG/ICEx/DCC

MD

Relac
o
es

24

Propriedades de relaes
Exemplo 13 Seja A = {2, 3, 4, 6, 7, 9} e a relao binria R em A definida
como
(x, y) A A, xRy 3|(x y)

UFMG/ICEx/DCC

MD

Relac
o
es

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 reflexiva,
simtrica e transitiva.

UFMG/ICEx/DCC

MD

Relac
o
es

26

Propriedades de relaes
Seja R uma relao binria no conjunto A.

1. R reflexiva 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
o
es

27

Propriedades de relaes
Exemplo 14 Seja o conjunto A = {0, 1, 2, 3} e a relao binria R definida
como:
R = {(0, 0), (0, 1), (0, 3), (1, 0), (1, 1), (2, 2), (3, 0), (3, 3)}
Diga se a propriedade reflexiva, simtrica e transitiva?

Reflexiva (V): Existe um lao para cada n do

grafo o que significa que cada elemento de A
relacionado consigo mesmo.
Simtrica (V): Para cada aresta de ida existe
uma aresta de volta.

UFMG/ICEx/DCC

Transitiva (F): Temos 1R0 e 0R3 mas no temos

1R3, o que implica na no transitividade.

MD

Relac
o
es

28

Propriedades de relaes
Exemplo 15 Seja o conjunto A = {0, 1, 2, 3} e a relao binria S definida
como:
S = {(0, 0), (0, 2), (0, 3), (2, 3)}
A propriedade reflexiva, simtrica e transitiva?
Reflexiva (F): No existe, por exemplo, 1R1.

Simtrica (F): Para cada aresta de ida no existe

uma aresta de volta.
Transitiva (V): Temos
Hiptese
(0, 2) e (2, 3)
(0, 0) e (0, 2)
(0, 0) e (0, 3)

Concluso
(0, 3)
(0, 2)
(0, 3)

Os elementos x, y e z no precisam ser distintos.

UFMG/ICEx/DCC

MD

Relac
o
es

29

Propriedades de relaes
Exemplo 16 Seja o conjunto A = {0, 1, 2, 3} e a relao binria T definida
como:
T = {(0, 1), (2, 3)}
Diga se a propriedade reflexiva, simtrica e transitiva?
Reflexiva (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) 6 T

UFMG/ICEx/DCC

Como no existem pares (x, y) e (y, z) que satisfazem a hiptese a concluso da afirmao
verdadeira.
MD

Relac
o
es

30

Verificando propriedades de relaes atravs de

um programa
Seja uma relao binria R definida num conjunto finito A com n elementos.
possvel verificar atravs de um programa se R reflexiva, 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 (consequentemente a matriz no
simtrica).

UFMG/ICEx/DCC

MD

Relac
o
es

31

Verificando propriedades de relaes atravs de

um programa
0

2o elemento

2
3

V
V

UFMG/ICEx/DCC

1
2

MD

Relac
o
es

2o elemento

0
1o elemento

1o elemento

1o elemento

2o elemento

1
2

32

Fecho de uma relao

Se uma relao binria R definida em um conjunto A no possui uma determinada propriedade p, podemos estender R e obter uma nova relao R em A
que tenha essa propriedade.
Estender significa 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.
Definio [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
o
es

33

Fecho de uma relao

Podemos definir os seguintes fechos:
reflexivo;
simtrico;
transitivo
de uma relao em um conjunto.
Se uma relao binria R definida em um conjunto A j possui a propriedade p,
ela j seu prprio fecho que satisfaz a propriedade p.

UFMG/ICEx/DCC

MD

Relac
o
es

34

Fecho transitivo de uma relao

Definio [Fecho transitivo de uma relao]: Seja A um conjunto e R uma relao binria em A. O fecho transitivo (transitive closure) de R a relao binria
Rt em A que satisfaz as trs condies abaixo:
1. Rt transitiva;
2. R Rt;
3. Se S uma outra relao transitiva qualquer que contm R, ento Rt S.

UFMG/ICEx/DCC

MD

Relac
o
es

35

Fecho transitivo de uma relao

Exemplo 17 Seja o conjunto A = {0, 1, 2, 3} e a relao binria R definida
como R ={(0, 0), (0, 1), (0, 3), (1, 0), (1, 1), (2, 2), (3, 0), (3, 3)}.

Hiptese

Concluso

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

(0, 0)
(0, 1)
(0, 3)
(1, 1)
(1, 3)?
(1, 0)
(1, 1)
(2, 2)
(3, 0)
(3, 1)?
(3, 3)
(3, 3)

No faz parte da relao original.

Rt = {(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
o
es

36

Fecho transitivo de uma relao

Exemplo 18 Seja A = {0, 1, 2, 3} e considere a relao R definida em A
como:
R = {(0, 1), (1, 2), (2, 3)}
Determine a relao de fecho transitivo de R.

Grafo dirigido de R:
0

Hiptese

Concluso

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

(0, 2)?
(1, 3)?
(0, 3)?

No faz parte da relao original.

Assim,

UFMG/ICEx/DCC

Rt = {(0, 1), (0, 2), (0, 3), (1, 2), (1, 3), (2, 3)}

MD

Relac
o
es

37

Fecho transitivo de uma relao

Exemplo 18 Dado A = {0, 1, 2, 3} e a relao R definida em A como:
R = {(0, 1), (1, 2), (2, 3)}
temos
Rt = {(0, 1), (0, 2), (0, 3), (1, 2), (1, 3), (2, 3)}
Grafo dirigido de R:
0

Grafo dirigido de Rt:

0
1

UFMG/ICEx/DCC

MD

Relac
o
es

38

Propriedades de relaes em conjuntos infinitos

Suponha uma relao binria definida em um conjunto infinito A.
Para provar que a relao reflexiva, simtrica e transitiva:
Escreva o que deve ser provado. Por exemplo, para simetria:
x, y A, se xRy ento yRx
Use as definies do conjunto A e da relao R para reescrever a propriedade. 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
o
es

39

Propriedades de relaes em conjuntos infinitos

Exemplo 19 Seja S uma relao no conjunto R tal que para todos
x, y R, xSy x < y
A propriedade reflexiva, simtrica e transitiva?

UFMG/ICEx/DCC

MD

Relac
o
es

40

Propriedades de relaes em conjuntos infinitos

Exemplo 19
Reflexiva (F): S reflexiva sse
x R, xSx.
Pela definio de S, isto significa
x R, x < x.
Para provar que essa afirmao falsa, basta achar um contra-exemplo. Neste
caso, a afirmao falsa para todos os nmeros reais j que x 6< x.

UFMG/ICEx/DCC

MD

Relac
o
es

41

Propriedades de relaes em conjuntos infinitos

Exemplo 19
Simtrica (F): S simtrica sse
x, y R, se xSy ento ySx.
Pela definio de S, isto significa
x, y R, se x < y ento y < x.
Para provar que essa afirmao falsa, basta achar um contra-exemplo. Neste
caso, a afirmao falsa para todos os nmeros reais j que se x < y, ento
y 6< x.

UFMG/ICEx/DCC

MD

Relac
o
es

42

Propriedades de relaes em conjuntos infinitos

Exemplo 19
Transitiva (V): S transitiva sse
x, y, z R, se xSy e ySz ento xSz.
Pela definio de S, isto significa
x, y, z R, se x < y e y < z ento x < z.
Essa afirmao verdadeira pela lei transitiva da ordem dos nmeros reais.

UFMG/ICEx/DCC

MD

Relac
o
es

43

Propriedades de relaes em conjuntos infinitos

Exemplo 20 Seja T uma relao no conjunto Z dos nmeros inteiros tal que
para todos
m, n Z, mT n 3|(m n)
A propriedade reflexiva, simtrica e transitiva?

UFMG/ICEx/DCC

MD

Relac
o
es

44

Propriedades de relaes em conjuntos infinitos

Exemplo 20
Reflexiva (V): T reflexiva sse
m Z, mT m.
Pela definio de T , isto significa
m Z, 3|(m m),
ou ainda,
m Z, 3|0.
Essa afirmao verdadeira j que 0 = 3 0.

UFMG/ICEx/DCC

MD

Relac
o
es

45

Propriedades de relaes em conjuntos infinitos

Exemplo 20
Simtrica (V): T simtrica sse
m, n Z, se mT n ento nT m.
Pela definio de T , isto significa
m, n Z, se 3|(m n) ento 3|(n m).
Suponha que m e n sejam inteiros especficos mas escolhidos aleatoriamente
tais que 3|(m n). Deve-se mostrar que 3|(n m). Pela definio 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
o
es

46

Propriedades de relaes em conjuntos infinitos

Exemplo 20
Transitiva (V): T transitiva sse
m, n, o Z, se mT n e nT o ento mT o.
Pela definio de T , isto significa
m, n, o Z, se 3|(m n) e 3|(n o) ento 3|(m o).
Suponha que m, n e o sejam inteiros especficos mas escolhidos aleatoriamente
tais que 3|(m n) e 3|(n o). Deve-se mostrar que 3|(m o). Pela definio
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:
(m n) + (n o) = 3r + 3s
m o = 3 (r + s)
O que mostra que 3|(m o).
UFMG/ICEx/DCC

MD

Relac
o
es

47

Propriedades de relaes
Exemplo 21 Seja C o conjunto de todos os circuitos lgicos com um nmero
fixo n de entradas. Seja E uma relao binria no conjunto C definida como:
Para todos os circuitos c1 C e c2 C
c1Ec2
c1 tem a mesma tabela de entrada e sada que c2.
A propriedade reflexiva, simtrica e transitiva?

UFMG/ICEx/DCC

MD

Relac
o
es

48

Propriedades de relaes
Exemplo 21
Reflexiva (V): E reflexiva sse
c C, cEc.

Pela definio de E, isto significa

c C,

c tem a mesma tabela de

entrada e sada que c

O que obviamente verdade.

UFMG/ICEx/DCC

MD

Relac
o
es

49

Propriedades de relaes
Exemplo 21
Simtrica (V): E simtrica sse
c1, c2 C, se c1Ec2 ento c2Ec1.
Pela definio de E, isto significa
c1, c2 C,
se

c1 tem a mesma tabela de

entrada e sada que c2

ento

c2 tem a mesma tabela de

entrada e sada que c1

Considerando a hiptese verdadeira, a concluso obviamente verdadeira.

UFMG/ICEx/DCC

MD

Relac
o
es

50

Propriedades de relaes
Exemplo 21
Transitiva (V): E transitiva sse
c1, c2, c3 C, se c1Ec2 e c2Ec3 ento c1Ec3.
Pela definio de E, isto significa
se
ento

c1 tem a mesma tabela de

entrada e sada que c2

c1 tem a mesma tabela de

entrada e sada que c3

c2 tem a mesma tabela de

entrada e sada que c3

Considerando a hiptese verdadeira, a concluso obviamente verdadeira.

UFMG/ICEx/DCC

MD

Relac
o
es

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 6= j, Ai Aj = , ou ainda A1 A2 . . . A6 = A

A3

A2
A1

UFMG/ICEx/DCC

A4

MD

A6
A5

Relac
o
es

52

Relao de equivalncia
Definio: Dada uma partio de um conjunto A, a relao binria R induzida
pela partio definida 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 propriedades de reflexividade, simetria e transitividade.
UFMG/ICEx/DCC

MD

Relac
o
es

53

Relao de equivalncia
Definio: Seja A um conjunto no-vazio e R uma relao binria em A. R
uma relao de equivalncia sse R reflexiva, simtrica e transitiva.
Exemplo 24 Seja A = {2, 3, 4, 6, 7, 9} e a relao binria R em A definida
como
(x, y) A A, xRy 3|(x y)

A partio de A correspondente
relao R :
{4, 7}, {2}, {3, 6, 9}

UFMG/ICEx/DCC

MD

Relac
o
es

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.
Definio: 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
o
es

55

Classes de equivalncia de uma relao definida

num conjunto finito
Exemplo 25 Seja A = {0, 1, 2, 3, 4} e R uma relao binria em A definida
como:
{(0, 0), (0, 4), (1, 1), (1, 3), (2, 2), (3, 1), (3, 3), (4, 0), (4, 4)}
As classes de equivalncia de R
so:

R uma relao de equivalncia

em A:

[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 equivalncia da relao so:

1
{0, 4}, {1, 3}, {2}
UFMG/ICEx/DCC

MD

Relac
o
es

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 em A, 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
o
es

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 significa que para todos inteiros m e n,
mRn 3|(m n) 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
o
es

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
o
es

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 significa 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] significa o conjunto
{x Z|x = 3 k, para algum inteiro k}.
UFMG/ICEx/DCC

MD

Relac
o
es

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
o
es

61

Propriedades das classes de equivalncia

Definio: 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
o
es

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 fixo n de entradas, a relao E uma relao de equivalncia.
A relao E foi definida como:
Para todos os circuitos c1 C e c2 C
c1Ec2
c1 tem a mesma tabela de entrada e sada que c2.

UFMG/ICEx/DCC

MD

Relac
o
es

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) Identifique quantas classes de equivalncia distintas existem.

(c) Mostre circuitos que representam uma das classes.

UFMG/ICEx/DCC

MD

Relac
o
es

64

Classes de equivalncia de uma relao

Exemplo 27
Dado um circuito c1, a classe de equivalncia de c1 o conjunto de todos os
circuitos com duas entradas e uma sada que tm a mesma tabela de entrada e
sada de c1.
Esquema de um circuito e uma possvel tabela de entrada e sada:
P Q Sada
1a linha 1
1
0
P C IRCUITO
2a linha 1
0
0
Sada
Q - E LETRNICO
3a linha 0
1
0
4a linha 0
0
1
Pelo princpio da multiplicao temos,
|

2
2
2
2
{z
}|
{z
}|
{z
}|
{z
} = 16
1a linha
2a linha
3a linha
4a linha

tabelas da verdade distintas.

UFMG/ICEx/DCC

MD

Relac
o
es

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 entrada e sada distinta.
(b) Identifique quantas classes de equivalncia distintas existem.
Existem infinitamente 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
1
1
0
0

Q
1
0
1
0

UFMG/ICEx/DCC

Sada
0
0
0
1

NOT

NOT

OR

AND

Q
NOT

MD

Relac
o
es

66

Relao anti-simtrica
J foram vistas trs propriedades de relaes:
1. Reflexividade
2. Simetria
3. Transitividade
Definio: Seja R uma relao num conjunto A. R uma relao antisimtrica 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 definio temos que uma relao R no antisimtrica sse,
a, b A|aRb bRa a 6= b.

UFMG/ICEx/DCC

MD

Relac
o
es

67

Relao anti-simtrica
Exemplo 28 Seja R uma relao no conjunto {0, 1, 2} definida como
R = {(0, 2), (1, 2), (2, 0)}
A propriedade anti-simtrica?

Anti-simtrica (F): R uma relao anti-simtrica sse,

a, b A, se aRb bRa ento a = b.
Como 0R2 e 2R0 e 0 6= 2, R no anti-simtrica.
UFMG/ICEx/DCC

MD

Relac
o
es

68

Relao anti-simtrica
Exemplo 29 Seja R uma relao no conjunto {0, 1, 2} definida como
R = {(0, 0), (0, 1), (0, 2), (1, 1), (1, 2)}
A propriedade anti-simtrica?

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
o
es

69

Relao de ordem parcial

Definio: Seja R uma relao binria definida no conjunto A. R uma relao
de ordem parcial sse R reflexiva, 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
o
es

70

Relao de ordem parcial

Exemplo 30 Seja D a relao divide em Z+ (inteiros positivos) definida como:
a, b Z+, a|b b = k a, para algum inteiro k.
Reflexiva (V): D reflexiva sse a Z+, a|a.
Suponha a Z+. Temos que a = 1 a e assim a|a pela definio 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 definio de R, a|b e b|a. Pela definio
de divide existem inteiros k1 e k2 tais que b = k1 a e a = k2 b. Temos que
b = k1 a = k1 (k2 b) = (k1 k2) b
Ou seja, k1 k2 = 1. Temos que k1 e k2 so inteiros positivos. Mas o nico
produto de dois inteiros positivos que igual 1 1 1. Assim, k1 = k2 = 1.
Assim, a = k2 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
o
es

71

Relao de ordem parcial

Exemplo 31 Seja a relao menor ou igual a em R definida como:
x, y R, x y (x < y) (x = y).
Mostre que uma relao em R.
Reflexiva (V): Para ser reflexiva significa que x x para todos nmeros
reais. Mas x x significa que (x < x) (x = x) e x = x sempre
verdadeiro.
Anti-simtrica (V): Para ser anti-simtrica significa que para todos nmeros
reais x e y, se x y e y x ento x = y. Isto consequncia imediata
da definio de e a propriedade de tricotomia que diz que dados quaisquer
nmeros reais x e y exatamente uma das afirmaes verdadeira: x < y ou
x = y ou x > y.
Transitividade (V): Para ser transitiva significa que para todos os reais x, y
e z, se x y e y z ento x z. Isto verdade pela definio 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
o
es

72

Ordem lexicogrfica
Seja um conjunto com uma relao de ordem parcial.
Pode-se, ento, definir uma ordem lexicogrfica ou ordem de dicionrio no
conjunto ?.
Seja R uma relao em ?. Para quaisquer inteiros positivos m e n, e
a1a2. . .am e b1b2. . .bn em ?, temos:
1. Se m n e ai = bi para todos i = 1, 2, . . . , m, ento
a1a2. . .am  b1b2. . .bn.
2. Para algum inteiro k, k m, k n, e k 1, ai = bi para todos i =
1, 2, . . . , k 1, e ak Rbk mas ak 6= bk , ento
a1a2. . .am  b1b2. . .bn.
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
o
es

73

Ordem lexicogrfica
Exemplo 32 Seja = {, >} e R a seguinte relao de ordem parcial em :
R = {(, ), (, >), (>, >)}.
Diga se os seguintes strings definem uma ordem lexicogrfica em ?:

(a) >>>>  >>>?

Sim, caso 2.
(b) >>>>  >>>?
No, j que a5 6 b5.
(c) >>  >>?
Sim, caso 1.
(d)   >?
Sim, caso 3.

UFMG/ICEx/DCC

MD

Relac
o
es

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

9
2

UFMG/ICEx/DCC

MD

Relac
o
es

75

Diagrama de Hasse

18

9
2

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 finito chamado Diagrama de Hasse.

UFMG/ICEx/DCC

MD

Relac
o
es

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

18

9
2

UFMG/ICEx/DCC

MD

Relac
o
es

77

Diagrama de Hasse
Exemplo 34 Considere a relao subconjunto, , no conjunto potncia
P({a, b, c}). Para todos os conjuntos U e V em P({a, b, c}),
U V x, se x U ento x V.
Construa o Diagrama de Hasse dessa relao.
{a,b,c}

{a,b,c}
{a,b}

{a}

{a,c}

{b}

{b,c}
{a,b}
{a}
{c}

0/

UFMG/ICEx/DCC

{a,c}

{b,c}

{b}

{c}

0/

MD

Relac
o
es

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.

UFMG/ICEx/DCC

MD

Relac
o
es

79