1

RELAÇÕES BINÁRIAS

Alguns autores definem relação binária de um conjunto A num conjunto B como uma
correspondência de A em B, isto é como um subconjunto do producto cartesiano A B .
Sendo assim:

Definição: Relação Binária (R)

Dados dois conjuntos não vazios A e B. Chama-se relação binária do conjunto A
(conjunto de partida) no conjunto B (conjunto de chegada) a qualquer subconjunto do
R produto cartesiano A B .

Simbolicamente:
R é uma relação binária de A em B  R  A B
Ou R: A  B
Representação de um elemento (par) que pertence a relação R:
(x, y)  R ou xRy ou R(x)  y
Leitura:
x se relaciona com y pela relação R; x é objecto de y pela relação R; y é imagem de x
pela relação R

Com base nesta definição tudo o que se estudou antes é válido para as relações.

Outros autores consideram relação binária como uma correspondência definida num
mesmo conjunto A, isto é uma correspondência de A em A ou simplesmente uma
correspondência em A. Relação binária em A é uma relação em que os pares são
formados por elementos dum mesmo conjunto A (conjunto de partida e de chegada é A) .

Definição: Relação Binária (R)

Seja A um conjunto não vazio. R é uma relação binária em A se e somente se R é um
subconjunto de A 2 .

Simbolicamente:
R é relação binária em A  R  A 2 .
Exemplo 1:
Seja A  2,4,6,8
A potência cartesiana A2 é
A 2  A  A  2,4,6,8 2,4,6,8
A 2  2,2 , 2,4 , 2,6 , 2,8 , 4,2 , 4,4 , 4,6 , 4,8 , 6,2 , 6,4 , 6,6 , 6,8 , 8,2 , 8,4 , 8,6 , 8,8

Qualquer subconjunto desta potência cartesiana é uma relação binária em A.

2
Exemplo 2:
Relações definidas no conjunto A  2,4,6,8
R  2,2 , 4,8 , 6,4
R  2,2 , 4,4 , 6,6 , 8,8
R  2,4 , 8,4
R4  2,2 , 2,4 , 2,6 , 2,8 , 4,4 , 4,6 , 4,8 , 6,6 , 6,8 , 8,8

Algumas relações podem ser representadas por compreensão, analisando as regularidades

que existem entre os elementos da relação, e formulando uma afirmação, uma condição
ou propriedade ou um princípio valido para todos os elementos da relação.

Exemplo 3:
Relações definidas no conjunto A  2,4,6,8 . Considerando as relações do exemplo 2:
R  2,2 , 4,4 , 6,6 , 8,8.
Por compreensão R2  a,b  A 2 : a  b

R3  2,4 , 4,8.

ou R3  a,b A 2 : a é metade de b ou
1
Por compreensão R3  a,b  A 2 : a  b

R3  a,b A 2

: b  2a ou R3  a,b A 2
: b é o dobro de a 
R  2,2 , 2,4 , 2,6 , 2,8 , 4,4 , 4,6 , 4,8 , 6,6 , 6,8 , 8,8
Por compreensão R4  a,b  A 2 : a  b ou R4  a,b  A 2 : b  a

Exemplo 4:
Relação definidas no conjunto A  2,4,6,8
R5  a,b  A 2 : a  b  2 .
Os pares ordenados de A2 que pertencem a esta relação, são aqueles cuja diferença entre
o primeiro e o segundo termo é 2.

Cálculos:
a2 22  0 A diferença não é 2 par (2,2)  R
a2 2  4  2 A diferença não é 2 par (2,4)  R
a2 2  6  4 A diferença não é 2 par (2,6)  R
a2 2  8  6 A diferença não é 2 par (2,8)  R

a4 42  2 A diferença é 2 par (4,2)  R

a4 44  0 A diferença não é 2 par (4,4)  R
a4 4  6  2 A diferença não é 2 par (4,6)  R
a4 4  8  4 A diferença não é 2 par (4,8)  R

3
a6 62  4 A diferença não é 2 par (6,2)  R
a6 64  2 A diferença é 2 par (6,4)  R
a6 66  0 A diferença não é 2 par (6,6)  R
a6 6  8  2 A diferença não é 2 par (6,8)  R

a8 82  6 A diferença não é 2 par (8,2)  R

a8 84  4 A diferença não é 2 par (8,4)  R
a8 86  2 A diferença é 2 par (8,6)  R
a8 88  0 A diferença não é 2 par (8,8)  R

R5  a,b A2 : a  b  2  (4,2), (6,4), (8,6).

Relação definida no conjunto A  2,4,6,8
R5  a,b  A 2 : a  b  2 .
Mentalmente pode se verificar que se a diferença entre o primeiro e o segundo termo é 2,
significa que o primeiro termo é maior que o segundo em duas unidades.
Por este raciocínio constata-se que o 2 não é maior que algum dos elementos do conjunto
A em duas unidades, 4 é maior que 2 em duas unidades, 6 é maior que 4 em duas
unidades e 8 é maior que 6 em duas unidades.
Dai que os pares ordenados (4,2) , (6,4) e (8,6) pertencem a relação.
R5  a,b A2 : a  b  2  (4,2), (6,4), (8,6).

Exemplos de relações binárias definidas em conjuntos numéricos

Exemplo 5:
 define uma relação binária no conjunto R
R  (x, y)  R  R : y  x
O conjunto R é infinito. Os pares ordenados em que o segundo termo é menor que o
primeiro são infinitos, pois existem infinitos números que satisfazem a condição y  x .
Não é possível representar esta relação por extensão, incluindo todos os pares uma vez
que o número de pares ordenados é infinito. Por isso apresenta-se o conjunto com alguns
pares ordenados separados por reticências.

R  ..., (14,25),..., (4,2),...,( 3,0),...,(0,0),...,(12,1),...

Exemplo 6:
Considere R  x, y   z 2 : y  x 1 .
Para R ser uma relação definida no conjunto Z, R tem que ser subconjunto de Z2.
Considerando a condição, verifica-se que:
Para todo x  z ,  x  z (pois o simétrico de um número inteiro é um numero inteiro).
 x 1 Z (porque a soma de um número inteiro com 1 também é um numero inteiro),
logo como y  x 1, y  Z .
Significa que para todo x  z , existe y  Z tal que y  x 1, logo x, y   z 2 e R  Z 2 .

4
R é uma relação definida no conjunto Z

Como x, y   z 2 , quer dizer que tanto x como y são números inteiros por isso o conjunto
de partida e de chegada é Z.

Por extensão R  ...,  5,6 ,..., 1,2 ,..., 0,1 ,..., 1,0 ,..., 4,3 ,... .

De um modo geral define-se relação n-ária.

Definição: Relação n-ária

Sejam A um conjunto não vazio e n  2 um número natural. Chama-se relação n-ária em
A, a qualquer subconjunto de A n
Simbolicamente R é relação n  ária em A  R  A n
Se (x1 , x2 , x3 ,..., xn )  R , diz-se que os elementos x1 , x2 , x3 ,..., xn estão relacionados.

Representações de relações
a) Gráfico cartesiano

b) Diagrama de Venn

c) Diagrama de flechas
Quando os conjuntos são finitos com poucos elementos pode-se respresentar uma relação
por meio de um diagrama de flechas. Representa-se o conjunto com os seus elementos e o
par (x, y)  R é indicado por uma flecha com origem em x e extremidade em y. Se o par
(x, x)  R usa-se um laço envolvendo o elemento x.

Propriedades das relações

Definição: Relação reflexiva

Uma relação R  A 2 é reflexiva em A se cada x  A se relaciona-se consigo próprio isto
é se o par (x, x)  R , ou xRx ou R(x)  x com x  A .

Simbolicamente:
R é relação reflexiva em A  x  A xRx
R é relação reflexiva em A  x x  A  xRx
R é relação reflexiva em A  x (x  A  xRx)

Quando a relação é definida por uma condição y  ...x..., para verificar se a relação é
reflexiva, substitui-se o y pelo x. Se o resultado for uma condição universal (valida para
todos elementos do conjunto), a relação é reflexiva

Identificação da propriedade reflexiva através do diagrama de flechas

Em cada elemento tem que haver um laço

5
Exemplo 7:
Relações definidas no conjunto A  2,4,6,8
R  4,6 , 4,8 , 6,6 , 6,4 , 8,2 . R não é reflexiva porque nem todos elementos do
conjunto A se relacionam consigo mesmo na relação. 2, 4, 8 não se relacionam consigo
mesmo pois 2,2  R , 4,4  R , 8,8  R . Então não é verdade que x  A xRx .

R2  2,2 , 4,4 , 6,6 , 8,8. R é reflexiva porque cada elemento do conjunto A se

relaciona consigo mesmo na relação. x  A xRx

R3  2,4 , 4,8. R não é reflexiva porque nenhum elemento do conjunto A se relaciona

consigo mesmo na relação. Não é verdade que x  A xRx

R4  2,2 , 2,4 , 2,6 , 2,8 , 4,4 , 4,6 , 4,8 , 6,6 , 6,8 , 8,8
R é reflexiva porque cada elemento do conjunto A se relaciona consigo mesmo na
relação. x  A xRx

Verificação da propriedade reflexiva em relações apresentadas por compreensão

Exemplo 8:
Seja A  2,4,6,8
R  a,b  A 2 : a  b é reflexiva se e somente se a  A aRa , isto é, no caso vertente
se e somente se a  A a  a . a  a é sempre verdadeira em A, por isso R é reflexiva.

Exemplo 9:
Relação de igualdade no conjunto dos números reais
R  (x, y)  R 2 : x  y R é reflexiva porque para todo x  R x  x ou seja
x (x  R  (x, x)  R)
Isto é substituindo o y pelo x obtém-se x  x que é uma condição universal em R

Exemplo 10:
R  x, y   z 2 : y  x 1 é reflexiva se e somente se x  A xRx , isto é se e
somente se x  A x  x 1 . x  x 1 nem sempre é verdadeira em Z, por isso R
não é reflexiva.
1
Se x  x 1 x  x  1 2x  1 x  .

x  x 1 só é verdadeira se x que não e um número inteiro. Significa que

2
x  x 1 é uma condição impossível (é sempre falsa) em Z e possível em Q (só é
1
verdadeira para x  .

6
Definição: Divisor
Sejam a,b, c  Z . a é divisor de b ( a divide b ou b é divisível por a ou b é múltiplo de a )
se e somente se existe pelo menos um c tal que ac  b .

Simbolicamente a b  c  Z : ac  b
Representação: a b
 7 28 porque existe um c  Z tal que (7) c  28 . Neste caso c  4 .
-7 não divide 30, porque não existe algum c  Z tal que (7) c  30 .
Todo número inteiro é divisor de si próprio ou é múltiplo de si próprio porque:
a a porque existe um c  Z tal que a c  a . Neste caso c  1 .
Para o caso de a  0 , 0 0 porque existem infinitos c  Z tal que 0 c  0 .

Exemplo 11:
Relação de divisibilidade no conjunto dos números inteiros R  (x, y)  z 2 : x y .
R é reflexiva porque para todo x  Z x x isto é x xZ  x x
Então x x  Z  xRx ou x (x  Z  (x, x)  R) .
Isto é substituindo o y pelo x obtém-se x x que é uma condição universal em Z.

Definição: Relação não reflexiva

Uma relação R  A 2 não é reflexiva em A se existe pelo menos um par (x, x)  A 2 para
o qual x não se relaciona com x ou seja (x, x)  R .

Simbolicamente:
R não é relação reflexiva em A  (x, x)  A 2 mas (x, x)  R
Ou R nãoé relação reflexiva em A  x  A :~ xRx
Ou R nãoé relação reflexiva em A  x  A :(x, x)  R

Quando a relação é definida por uma condição y  ...x..., para verificar se a relação é não
reflexiva, substitui-se o y pelo x. Se o resultado for uma condição possível não universal,
a relação é não reflexiva

Identificação da propriedade não reflexiva através do diagrama de flechas

Nem todos elementos têm que haver um laço ou pelo menos um elemento não tem laço.

Exemplo 12:
Seja A  1,2,3,4,5,6,7,8 e R  (2,2),(4,4),(4,5),(6,6),(6,7)
A relação é não reflexiva porque os pares (1,1) (3,3) (5,5) (7,7) (8,8) não pertencem
à R, ou seja ~ 1R1 , ~ 3R3 , ~ 5R5 , ~ 7R7 , ~ 8R8

7
Exemplo 13:
R  (x, y)  N 2 : y  x 2
Esta relação é não reflexiva porque somente os pares (0,0) e (1,1) pertencem à R.
x  x 2 somente nos casos de x  0 ou x  1 atraves da resolução da equação.
R(0)  0 2  0 R(1)  12  1

Para todo x diferente de 0 e 1 o par (x, x)  R porque x  x 2

x  N 0 \ 0,1 ((x, x)  R)

Isto é substituindo o y pelo x obtemos x  x 2 que é uma condição possível (não

universal) em R

Definição: Relação irreflexiva

Uma relação R  A 2 é irreflexiva em A se se verifica ~ xRx ( xRx é sempre falsa) para
todos x  A isto é para todos os pares (x, x)  A 2 , (x, x)  R

Simbolicamente:
R é irreflexiv a em A  (x, x)  A 2 , (x, x)  R
R é irreflexiv a em A  x  A , ~ xRx

Quando a relação é definida por uma condição y  ...x..., para verificar se a relação é
irreflexiva, substitui-se o y pelo x. Se o resultado for uma condição impossível, a relação
é irreflexiva

Identificação da propriedade irreflexiva através do diagrama de flechas

Nenhum elemento tem laço ou todos elementos não têm laço

Exemplo 14:
R  (x, y)  R 2 : x  y (x, x)  R 2 (x, x)  R x  R, x  x é sempre falsa
Isto é substituindo o y pelo x obtemos x  x que é uma condição impossível em R

Exemplo 15:
R  (x, y)  R 2 : y  x 1 (x, x)  R 2 (x, x)  R x  R, x  x 1 é sempre
falsa
Isto é substituindo o y pelo x obtém-se x  x  1 que é uma condição impossível em R

8
Definição: Relação simétrica
Uma relação R  A 2 é simétrica em A se de xRy se segue yRx

Simbolicamente:
R é simétrica em A  x, y  A xRy  yRx
R é simétrica em A  x, y  A ( xRy  yRx)
R é simétrica em A  x, y  A ( (x, y)  R  ( y, x)  R)
Quer dizer se um par pertence a relação, o par resultante da troca entre o primeiro e
segundo termo também pertence a relação.

Quando a relação é definida por uma condição y  ...x..., para verificar se a relação é
simétrica, substitui-se o y pelo x e o x pelo y. Se o resultado for sempre verdadeiro, a
relação é simétrica

Identificação da propriedade simétrica através do diagrama de flechas

Toda flecha que existir deve ter duas extremidades

Exemplo 16:
Seja R  (x, y)  R 2 : x  y . Considerando a condição x  y , trocando o x pelo y e o y
pelo x, obtemos uma condição verdadeira. Sendo x  y , y  x também é verdadeira.
Logo x, y  R x  y  y  x e x, y  A xRy  yRx . A relação é simétrica.
Pode trocar as expressões de um membro para o outro que a igualdade se mantem.

Exemplo 17:
R  (x, y)  R 2 : x 2  y 2 Considerando a condição x 2  y 2 trocando o x pelo y e o y
pelo x, obtemos uma condição verdadeira. Sendo x 2  y 2 , y 2  x 2 também é verdadeira.
x,y  R ,( x 2  y 2  y 2  x 2 ) e x,y  A xRy  yRx

Definição: Relação não simétrica

Uma relação R  A 2 é não simétrica em A x, y  A : xRy mas não se segue que yRx

Simbolicamente:
R é não simétrica em A  x, y  A , ( xRy  ~ yRx)
R é não simétrica em A  x, y  A ,( (x, y)  R  ( y, x)  R)

Quando a relação é definida por uma condição y  ...x..., para verificar se a relação é não
simétrica, substitui-se o y pelo x e o x pelo y. Se o resultado nem sempre for sempre
verdadeiro, a relação não é simétrica

Identificação da propriedade não-simétrica através do diagrama de flechas

Existe pelo menos uma flecha sem duas extremidades

9
Exemplo18:
R  (x, y)  R 2 : x  y
(x, y)  R 2 : x  y  ~ y  x ou (x, y)  R 2 : (x, y)  R  ( y, x)  R

Exemplo 19:
R  (x, y)  Z 2 : x y
(x, y)  Z 2 : x y  ~ y x ou (x, y)  Z 2 : (x, y)  R  ( y, x)  R

Definição: Relação assimétrica

Uma relação R  A 2 é assimétrica em A x, y  A de xRy não se segue nunca yRx ou
seja x, y  A se xRy , yRx é sempre falsa

Simbolicamente:
R é assimétrica em A  x, y  A , ( xRy  ~ yRx)
R é assimétrica em A  x, y  A ,( (x, y)  R  ( y, x)  R)
R é assimétrica em A  ~ x, y  A , ( xRy  yRx)

Quando a relação é definida por uma condição y  ...x..., para verificar se a relação é
assimétrica, substitui-se o y pelo x e o x pelo y. Se o resultado for sempre falso, a relação
é assimétrica
Identificação da propriedade assimétrica através do diagrama de flechas

Nenhuma flecha tem duas extremidades ou toda flecha tem uma extremidade e não
existem laços

Exemplo 20:
R  (x, y)  R 2 : x  y
(x, y)  R 2 : x  y  ~ y  x ou (x, y)  R 2 : (x, y)  R  ( y, x)  R

Definição: Relação anti-simétrica

Uma relação R  A 2 é anti-assimétrica em A se e somente se x, y  A de xRy 
yRx se segue x  y

Simbolicamente:
R é anti  assimétrica em A  x, y  A , ( xRy  yRx  x  y)

Identificação da propriedade anti-simétrica através do diagrama de flechas

Nenhuma flecha tem duas extremidades, e existem laços

10
Exemplo 21:
R  (x, y)  R 2 : x  y
(x, y)  R 2 : x  y  y  x  x  y

Exemplo 22:
R  (x, y)  N 2 : x y
(x, y)  N 2 : x y  y x  x  y

Definição: Relação não anti-simétrica

Uma relação R  A 2 não é anti-assimétrica em A se e somente se x, y  A de xRy 
yRx nem sempre se segue x  y

Simbolicamente:
R não é anti  assimétrica em A  x, y  A ,( xRy  yRx  x  y)

Identificação da propriedade não anti-simétrica através do diagrama de flechas

Existem flecha com duas extremidades, e podem existir laços

Exemplo 23:
R  (x, y)  Z 2 : x y
(x, y)  Z 2 : x y  y x  x  y (x,x)  Z 2 : x  x  x x  x  x

Definição: Relação transitiva

Uma relação R  A 2 é transitiva em A se de xRy  yRz se segue xRz .
Simbolicamente:
R é transitiva em A  x, y, z  A xRy  yRz  xRz
R é transitiva em A  x, y, z  A ( xRy  yRz  xRz)
R é transitiva em A  x, y, z  A ( (x, y)  R  ( y, z)  R  (x, z)  R)

O estudo da propriedade transitiva, pressupõe a consideração de 3 elementos, sendo um

deles o elemento transição (neste caso y ).
Se o primeiro elemento se relaciona com o segundo elemento e o segundo elemento se
relaciona com o terceiro elemento, então o primeiro elemento se relaciona com o terceiro
elemento.
O “se” é uma condição. Significa que o estudo da propriedade transitiva só se pode
realizar se a condição xRy  yRz for satisfeita.
Em caso de na relação a condição xRy  yRz não for satisfeita para nenhum dos
elementos que se relacionam, não se pode realizar o estudo da propriedade transitiva.
Em caso de na relação a condição xRy  yRz for satisfeita para alguns dos elementos que
se relacionam, mas não se verificar que xRz , a relação não é transitiva.

Identificação da propriedade transitiva através do diagrama de flechas

11
Para cada par de flechas consecutivas existentes, existe uma flecha cuja origem é a da
primeira flecha e a extremidade é a da segunda flecha

Exemplo 24:
Seja R  (x, y)  R 2 : x  y . x, y, z  R , ( x  y  y  z  x  z)
Se um número é menor que um segundo e este segundo número é menor que um terceiro
número, então o número é menor o terceiro número.
Logo x, y, z  R xRy  yRz  xRz

Exemplo 25:
Seja R  (x, y)  R 2 : x  y . x, y, z  R , ( x  y  y  z  x  z)
Se um número é igual a um segundo e este segundo número é igual a um terceiro número,
então o número é igual ao terceiro número.
Logo x, y, z  R xRy  yRz  xRz

Exemplo 26:
Seja R  (x, y)  Z 2 : x y . x, y, z  R , ( x y  y z  x z)
Se um número é divisor de um segundo e este segundo número é divisor de um terceiro
número, então o número é divisor do terceiro número.
Logo x, y, z  R xRy  yRz  xRz

Definição: Relação não transitiva

Uma relação R  A 2 é não transitiva em A se x, y, z  A: xRy  yRz não se segue
xRz
Simbolicamente:
R é não transitiva em A  x, y, z  A , ( xRy  yRz  ~ xRz)
R é não transitiva em A  x, y, z  A , ( (x, y)  R  ( y, z)  R  (x, z)  R)

Identificação da propriedade não transitiva através do diagrama de flechas

Se existir pelo menos um par de flechas consecutivas, mas não existe uma flecha cuja
origem é a da primeira flecha e a extremidade é a da segunda flecha

Exemplo 27:
Seja A  1,2,3,4,5,6,7,8 e R  (2,2),(2,4),(2,5),(4,5),(5,6),(6,7),(6,8)
( 2R4  4R5  ~ 2R5) ou (5R6  6R7  ~ 5R7)
( 2,4)  R  (4,5)  R  (2,5)  R

Definição: Relação linear

Uma relação R  A 2 é linear em A se e somente se para qualquer x, y  A, x relaciona-
se com y ou y relaciona-se com x.
Simbolicamente:
x, y x, y  A  xRy  yRx

12
Identificação da propriedade linear através do diagrama de flechas
Existe uma flecha entre cada par de elementos do conjunto A (incluindo laços em todos
os elementos de A)

Exemplo 28:
R  (x, y)  R 2 : x  y x, y ,( x, y  R x  y  y  x)

Definição: Relação não linear

Uma relação R  A 2 não é linear em A se e somente se existem x, y  A, tais que, x não
se relaciona com y e nem y se relaciona-se x.

Simbolicamente:
x, y A : ~ xRy ~ yRx

Exemplo 29:
R  (x, y)  R 2 : x  y x, y , ( x, y  R ~ x  y  ~ y  x) é o caso quando x  y

Exemplo 30:
R  (x, y)  Z 2 : x y x, y  Z , ( ~ x y  ~ y x)

Definição: Relação conexa ou lei de tricotomia

Uma relação R  A 2 é conexa em A se e somente se para qualquer x, y  A, x relaciona-
se com y ou y relaciona-se com x ou x é igual à y.

Simbolicamente:
x, y x, y  A  xRy  yRx  x  y

Exemplo 31:
R  (x, y)  R 2 : x  y x, y , ( x, y  R x  y  y  x  x  y)

Definição: Relação não conexa ou que não é lei de tricotomia

Uma relação R  A 2 não é conexa em A se e somente se existem x, y  A, tais que, x
não se relaciona com y, y não se relaciona com x e x não é igual à y.

Simbolicamente:
x, y A : ~ xRy ~ yRx ~ x  y

Exemplo 32:
R  (x, y)  Z 2 : x y x, y, z  Z , ( ~ x y  ~ y z ~ x  y)

13
RELAÇÃO DE EQUIVALÊNCIA

Definição: Relação de equivalência

Sejam A um conjunto não vazio. Uma relação R definida em A é uma relação de
equivalência se e somente se R é reflexiva, simétrica e transitiva.

Simbolicamente:
R é uma relação de equivalência em A se e somente se:
1.  x (x  A  xRx)
2. x, y  A ( xRy  yRx)
3. x, y, z  A ( xRy  yRz  xRz)

Se R é uma relação de equivalência e se xRy ou (x, y)  R , diz-se que x é equivalente à y

modulo R e pode-se usar a notação x  y (R) , que se lê “x é congruente à y módulo R”

Exemplo 33:
R  (x, y)  R 2 : x  y
É reflexiva - x (x  R  x  x) logo x (x  R  xRx)
É simétrica - x, y  R ( x  y  y  x) logo x, y  R ( xRy  yRx)
É transitiva - x, y, z  R ( x  y  y  z  x  z) logo
x, y, z  R ( xRy  yRz  xRz)

Exemplo 34:
R  (x, y)  R 2 : x 2  y 2
É reflexiva - x (x  R  x 2  x 2 ) porque a relação de igualdade é reflexiva, logo
 x (x  R  xRx)
É simétrica - x, y  R ( x 2  y 2  y 2  x 2 ) porque a relação de igualdade é simétrica,
logo x, y  R ( xRy  yRx)
É transitiva - x, y, z  R ( x 2  y 2  y 2  z 2  x 2  z 2 ) porque a relação de
igualdade é transitiva, logo x, y, z  R,( xRy  yRz  xRz)

Definição: Classe de equivalência (classe resto ou classe residual)

Seja R uma relação de equivalência num conjunto não vazio A. Dado a  A, chama-se

classe de equivalência determinada por a , módulo R, o subconjunto a ou a de A,
constituído pelos elementos x tais que xRa .
Simbolicamente:
a  x  A : xRa ou a  x A : xRa

14
Exemplo 35:
Seja A  a  Z : a  5 e R a relação em A definida por xRy  x 2  2x  y 2  2 y .
A   5,  4,  3,  2, 1, 0, 1, 2, 3, 4, 5

O número que se relaciona com 5 é a solução da equação x 2  2x  5 2  2  5 .

Resolvendo a equação x 2  2x  5 2  2  5  x 2  2x  35  x 2  2x  35  0
x1  5  x2  7 .
Mas como  7  A , o único número que se relaciona com 5 é o próprio 5.
A classe de equivalência determinada por 5 será 5  5ou 5  5.

O número que se relaciona com -5 é a solução da equação x 2  2x  5 2  2  5

Resolvendo a equação x 2  2x  52  2  5  x 2  2x  15  x 2  2x 15  0
x1  3  x2  5 . Ambas as soluções pertencem a A. Os números que se relacionam com
-5 são o próprio -5 e o 3.
A classe determinada por -5 é  5   5,3 ou  5   5,3.

Do mesmo modo se encontram as outras classes de equivalência.

As classes de equivalências determinadas pelos elementos do conjunto A são:
 5   5,3  4   4,2  3   3,1  2   2,0 1  1 0   2, 0
1    3, 1 2   4,2 3   5,3 4  4 5  5.

Definição: Conjunto quociente

O conjunto de todas as classes de equivalencia módulo R é indicado por A / R e é
chamado conjunto quociente de A por R.

Exemplo 36:
Algumas classes de equivalência são iguais e portanto não são repetidas no conjunto
quociente.
O conjunto quociente do exemplo anterior é A / R   5,  4,  3,  2, 1, 4,5 

ou A / R    5,3 ,  4,2 ,  3,1 ,  2,0 , 1 , 4 , 5 .

Teorema:
Seja R uma relação de equivalencia sobre E e sejam x A e y  A . As
seguintes proposições são equivalentes:
I. xRy II. x y III. yx IV. x y ou seja
xRy  x  y  y  x  x  y

15
Se xRy significa que x pertence a classe definida por y, y pertence a classe definida por x
 
e as classes x e y são iguais.

Exemplo 37:
Considerando o exemplo anterior, os números que se relacionam com -5 são o próprio -5
e o 3. Sendo assim 3R  5  3  5   5  3  3   5 .
Isto significa que as classes definidas pelos elementos da mesma classe são iguais, então
pode se escrever para todas as classes do exemplo anterior .
 5   5,3  3  4   4,2  2  3   3,1  1  2   2,0  0 1  1
4  4 5  5.
E optando por representar as classes pelos elementos não negativos sempre que seja
possível, o conjunto quociente será A / R  1,0,1, 2,3, 4,5 .
 
Definição: Partição de um conjunto
Seja A um conjunto não vazio. Diz-se que uma classe F de subconjuntos não vazios de A
é uma partição de A se e somente se:
a) Dois elementos quaisquer de F ou são iguais ou são disjuntos
b) A união de elementos de F é igual à A.

l
F=  1 , 2,3 , 4 é uma partição de A  1, 2,3, 4 porque os conjuntos são disjuntos
dois à dois e a reunião deles é o conjunto A, isto é 1  2,3 4  A.

Teorema:
Se R é uma relação de equivalência em A, então A / R é uma partição de A.

Exemplo 39:
Na relação de equivalência definida por xRy  x 2  2x  y 2  2y no conjunto

A  aZ : a  5 , o conjunto A / R  1,0,1, 2,3, 4,5  ou

A/ R   1 ,  2,0 ,  3,1 ,  4,2 ,  5,3 , 4 , 5 é uma partição de A porque cada
par de conjuntos são disjuntos e  1   2,0  3,1   4,2  5,3 4 5  A.

16
EXERCÍCIOS
12. Considere o conjunto A  a,b .
a) Encontre todas as relações binárias no conjunto A  a,b
b) Classifique cada uma das relações com base em pelo menos uma propriedade

13. Seja A  1,2,3. Justifique são ou nao relações definidas no conjunto A os conjuntos:
R   1,2 , 1,1 , 2,2 , 2,1 , 3,3 R   1,1 , 2,2 , 3,3 , 1,2 , 2,3
R  2,2 , 1,1 , 5,5 R  A A R   1,1 , 2,2 , 1,2 , 2,3 , 3,1 
R6   1,2 , 1,1 , 2,4

14. Construir em E  a, b, c, d as relações R1 R 2 R3 R 4 tais que R1 só tem a

propriedade reflexiva, R 2 só a simétrica, R3 só a transitiva e R 4 só anti-simétrica.
Faça um diagrama de flechas de cada uma das relações.

15. a) Pode uma relação num conjunto E   ser simétrica e anti-simétrica? Justifique
b) Pode uma relação num conjunto E   não ser simétrica nem anti-simétrica?
Justifique

16. Determine o valor lógico das seguintes proposições e justifique:

a) Toda relação não reflexiva é irreflexiva
b) Toda relação irreflexiva não é reflexiva
c) Toda relação reflexiva é transitiva

17. Seja R   x, y   R 2 : y  2x uma relação.

a) Em que conjunto está definida a relação? Justifique
b) Apresente um par ordenado x, y  R e justifique
c) Justifique se a relação é irreflexiva ou não
d) Defina R 1
e) Estude outras propriedades da relação

18. Considere a relação R   x, y   (N * ) 2 : x y.

a) Em que conjunto está definida a relação? Justifique
b) Demonstre que a relação é transitiva
c) Estude outras propriedades da relação

19. Seja A  1,2,3,4,5 e R   x, y A 2 : 2 x  y uma relação

a) Em que conjunto está definida a relação? Justifique
b) Apresente R por extensão
c) Apresente um par ordenado x, y  R e justifique
d) Defina R-1 por compreensão
e) Demonstre de uma forma geral que a relação é reflexiva
f) Demonstre de uma forma geral que a relação é transitiva

17
g) Estude outras propriedades da relação

20. Seja R uma relação de equivalência definida num conjunto E.

Suponha que cRa e cRb. Demonstre que aRb

21. Quais das relações abaixo são de equivalência em E  a, b, c?

R  a,a , a,b , b,a , b,b , c,c R2  a,a , a,b , b,a , b,b , b,c
R3  a, a , b,b , b,c , c,b , a,c , c, a  R4  a,a ; a,b ; b,a ; b,b ; c,c
R5  E  E

22. Quais das seguintes sentenças abertas definem uma relação de equivalência em N?
a) xRy  k  Z : x  y  3k b) x y c) x  y d) mdc(x, y)  1 e) x  y  10

23. Considere a relação R sobre N 0  N 0 definida por a,bRc,d   a  b  c  d .

a) Em que conjunto está definida a relação? Justifique
b) Indique dois elementos que pertencem a essa relação e justifique
c) Apresente um par ordenado a,b , c, d  R
d) Mostre que é uma relação de equivalência

24. Considere a relação sobre Q, definida por xRy  x  y  Z . Demonstre que é de

equivalência

25. Sejam a,b , c,d   R 2 e R uma relação definida por

a,bRc,d   a  b  c  d .
a) Em que conjunto está definida a relação? Justifique
b) Apresente um par ordenado a,b , c, d  R e justifique
c) Demonstre que a relação é de equivalência

26. Demonstre que a relação S definida Z  Z  tal que a,bS c,d   a  d  b  c é

uma relação de equivalência

27. Seja A  x  Z : 0  x  10 e R a relação em A definida por

xRy  k  Z : x  y  4k .
a) Em que conjunto está definida a relação? Justifique
b) Demonstre que a relação é de equivalência

18