1

Relao de Equivalncia
Seja A um conjunto no-vazio. Seja R uma relao binria em A; que indicaremos
tambm por = : Dizemos que R uma relao de equivalncia se e somente se para quaisquer
a; b; c A; as seguintes propriedades so satisfeitas:
(i) a = a ( Dizemos que a relao reexiva)
(ii) a = b = b = a (Dizemos que a relao simtrica)
(iii) a = b e b = c = a = c (Dizemos que a relao transitiva).
Exemplo 0.1. Sejam A = a; b; c , R1 = (a; b); (b; a); (a; a); (b; b) e R2 = (a; b); (b; a); (a; a); (b; b); (c; c):
Analisemos.
Por causa da propriedade transitiva, dada uma relao de equivalncia = num conjunto
A; todos os elementos equivalentes a um dado elemento a A so equivalentes entre si. Por
isso, vamos agrup-los em subconjuntos.
Sejam A um conjunto e = uma relao de equivalncia em A: Para cada elemento
a A; chama-se classe de equivalncia de a; segundo = o conjunto de todos os elementos
x A que se relaciona com a.
((a) = x A[x = a:
Observemos que:
1) Para \a A; ((a) ,= O pois a ((a); devido propriedade reexiva.
2) ((a) A; e ((a) P(A):
3) A ((a) diz-se determinada ou denida pelo elemento a; que ento dito um
representante de ((a)
4) A ((a) tambm denotada por
a

; [a]

; a:
Exemplo 0.2. No conjunto dos pontos de um plano , xamos um ponto O. Dados
dois pontos p; q de ; dizemos que p = q se e somente se a distncia Op igual distncia Oq.
Isso dene uma relao de equivalncia. (Veriquemos)
Os pontos equivalentes a um dado ponto p so todos os pontos da circunferncia com
2
centro O que passa por p: Assim, nesse caso, existem innitas classes de equivalncias em :
todas as circunferncias com centro O.
0.1 Definio. Chama-se conjunto quociente de A pela relao de equivalncia = em A ao
conjunto de todas as classes de equivalncia determinadas pela relao = dos elementos de A:
Em smbolos,
A
=
= ((a); a A:
Exemplo 0.3. Sejam A = 0; 1; 2; 3 e == (0; 0); (0; 2); (1; 1); (1; 3); (2; 2); (2; 0); (3; 3); (3; 1):
Analisemos.
Exemplo 0.4. Consideremos o conjunto N dos nmeros naturais, a relao de equiv-
alncia dada por x = y = x = y: As classes de equivalncia em N; segundo = so ((n) =
x N; x = n = x N; x = n = n: Logo as classes de equivalncia segundo = so:
1; 2; 3; :::n; ::: e portanto, o conjunto quociente de N por =
N

= 1; 2; 3; :::n; :::
Exemplo 0.5. Consideremos o conjunto R dos nmeros reais, a relao de equivalncia
dada por x = y = [x[ = [y[: Analisemos.
Propriedades das Classes de Equivalncia
Seja = uma relao de equivalncia num conjunto no-vazio A e sejam a; b dois ele-
mentos quaisquer de A:
0.2 Teorema. As classes de equivalncia ((a) e ((b) so iguais se e somente se a se relaciona
com b, isto , (a = b):
De acordo com este teorema anterior, dois elementos quaisquer a e b do conjunto A
so representantes de uma mesma classe de equivalncia segundo = se e somente se a est na
relao = com b; isto a = b:
0.3 Teorema. Se as classes de equivalncia ((a) e ((b) so tais que ((a) ((b) ,= O; ento
((a) = ((b)
Vale ressaltar que da temos :
0.4 Teorema. Se as classes de equivalncia ((a) e ((b) so diferentes, ento so disjuntas.
3
Partio de um Conjunto
0.5 Definio. Seja A um conjunto no vazio. Chama-se partio de A todo conjunto P
cujos elementos so subconjuntos no vazios de A tal que
(a) Se A; B P e A ,= B; ento A B = O; isto , os subconjuntos so dois a dois disjuntos.
(b)
[
C2P
C = A; isto , a unio dos elementos de P o conjunto A:
Exemplo 0.6. Consideremos o conjunto A = a; b; c; d; e; f e os seguintes conjuntos
de partes de A :
P
1
= a; b; c; d; e; f
P
2
= a; b; c; d; e; f
P
3
= a; b; c; d; f
P
4
= a; b; c; d; e; f; O
P
5
= a; b; b; c; d; e; f:
Analisemos quais so parties.
Exemplo 0.7. Consideremos o conjunto A = x R; 6 6 x 6 27 e os trs subcon-
juntos de A :
P
1
= x R; 6 6 x 6 1
P
2
= x R; 1 6 x 6 8
P
3
= x R; 8 6 x 6 27:
O conjunto P = P
1
; P
2
; P
3
uma partio do conjunto A pois P
1
; P
2
; P
3
no so
vazios, so dois a dois disjuntos e A = P
1
' P
2
' P
3
Partio Associada a uma Relao de Equivalncia
0.6 Teorema. Dados um conjunto no vazio A e uma relao de equivalncia = em A, o
conjunto quociente
A

uma partio de A:
Relao de Equivalncia Associada a uma Partio
4
0.7 Teorema. Seja P = X
1
; X
2
; :::; X
n
; :: uma partio do conjunto no vazio A. A relao
= em A tal que dois elementos x; y A se relacionam se e somente se x; y pertencem ao mesmo
elemento X
i
de P; ou seja
x = y = x; y X
i
uma relao de equivalncia em A:
0.8 Corolrio. A partio P = X
1
; X
2
; :::; X
n
; ::: a partio de A induzida pela relao
de equivalncia = em A:
Exemplo 0.8. Consideremos a partio P = a; b; c; d; e do conjunto A =
a; b; c; d; e: A relao de equivalncia em A associada a esta partio P de A
== (a; a); (a; b); (b; b); (b; a); (c; c); (c; d); (d; d); (d; c); (e; e)
Reciprocamente, a partio de A associada a esta relao de equivalncia = em A exatamente
a partio considerada, como fcil perceber.
Podemos resumir os resultados dados anteriormente no importante:
0.9 Teorema. As diferentes classes de equivalncia de uma relao de equivalncia num con-
junto A fornecem uma decomposio de A em subconjuntos mutuamente disjuntos,no-vazios,
cuja unio todo o conjunto A .
Reciprocamente, dada uma decomposio de A como unio de subconjuntos mutua-
mente disjuntos no vazios, podemos denir uma relao de equivalncia em A cujas classes
sejam, precisamente, os subconjuntos dados.
Exemplo 0.9. Consideremos no conjunto NN a relao denida da seguinte maneira:
\(a; b); (c; d) N N; (a; b) = (c; d) = a + d = b + c:
Exemplo 0.10. Seja n um inteiro positivo. Sobre o conjunto Z denamos a relao
=
n
da seguinte maneira:
\a; b Z; a =
n
b = n[(a b)
Exerccios:
5
1) Mostrar que a relao em A = 1; 2; 3; 4 : == (x; y) A
2
; x = y ou x + y = 3
uma relao de equivalncia e determinar a partio de A associada a esta relao.
2) Mostrar a relao em R dada por
x = y = [x[ [y[ = x y
uma relao de equivalncia e determine as classes de equivalncia.
Referncias Bibliogrcas:
Coutinho,S.C. Nmeros Inteiros e Criptograa RSA. Rio de Janeiro: IMPA, 2005
Dean. Elementos de lgebra Abstrata. Rio de Janeiro: Livros Tcnicos e cientcos
Editora S.A.,1974
Filho, Edgar. Relaes Binrias. So Paulo: Nobel, 1984
Milies, Polcino e Coelho, Snia. Nmeros: Uma introduo Matemtica. So Paulo:
Edusp, 2003
Shokranian, Soares e Godinho. Teoria dos Nmeros. Braslia: Editora Universidade
de Braslia, 1999.