Sei sulla pagina 1di 15

Relaes de Equivalncia

George Darmiton da Cunha Cavalcanti


CIn - UFPE
Introduo
Definio
Uma relao sobre um conjunto A chamada
de relao de equivalncia se ela reflexiva,
simtrica e transitiva
Exemplo
Suponha que R uma relao sobre o conjunto das palavras
de forma que aRb se e somente se tam(a)=tam(b), tam(x)
representa o tamanho da palavra x. R uma relao de
equivalncia?
Reflexiva
Desde que tam(a)=tam(a), aRa para toda palavra a.
Simtrica
Suponha que aRb, assim tam(a)=tam(b). Desta forma bRa, pois
tam(b)=tam(a)
Transitiva
Suponha que aRb e bRc, assim, tam(a)=tam(b) e tam(b)=tam(c), logo
tam(a)=tam(c), desta forma aRc
Exemplo
Seja R uma relao sobre o conjunto dos reais de
forma que aRb se e somente se ab um inteiro. R
uma relao de equivalncia?
Reflexiva
Desde que a a=0 um inteiro para todo nmero real a.
Simtrica
Suponha que aRb, assim a b um inteiro, logo b a tambm um
inteiro; bRa.
Transitiva
Suponha que aRb e bRc, assim, a b e b c so inteiros. Desta
forma, a c = (a b) + (b c) tambm um inteiro, logo aRc.
Exemplo
Seja m>1. Mostre que R={(a,b) | ab(mod m)} uma relao
de equivalncia sobre o conjunto dos inteiros.
Relembrando ab(mod m) se e somente se m divide a b
Reflexiva
a a=0 divisvel por m, desde que 0 = 0m.
Simtrica
Suponha que ab(mod m). Ento a b divisvel por m, assim
ab=km. Logo, b a=(k)m, ento ba(mod m).
Transitiva
Suponha que ab(mod m) e bc(mod m). Assim, m divide ambos
ab e b c. Desta forma, a b = km e b c = lm.
Logo, a c = (ab) + (bc) = km + kl = (k+l)m. Assim, ac(mod m).
Classes de Equivalncia
Seja R uma relao de equivalncia sobre
um conjunto A.
O conjunto de todos os elementos que so
relacionados a um elemento a de A
chamado de classe de equivalncia de a.
A classe de equivalncia de a com respeito
a R denotada por [a]
R
.
Classes de Equivalncia
Em outras palavras, se R uma relao de
equivalncia sobre um conjunto A, a classe
de equivalncia do elemento a :
[a]
R
= {s | (a,s) R}
Exemplo
Quais so as classes de equivalncia de 0 e de 1 para
a congruncia mdulo 4?
A classe de equivalncia de 0 contm todos os
inteiros a de forma que a0(mod 4). Assim,
[0] = {..., -8, -4, 0, 4, 8, ...}
A classe de equivalncia de 1 contm todos os
inteiros a de forma que a1(mod 4). Assim,
[1] = {..., -7, -3, 1, 5, 9, ...}
Classes de equivalncias e Parties
O teorema abaixo mostra que as classes de
equivalncia de dois elementos de A so idnticas ou
disjuntas.
Teorema
Seja R uma relao de equivalncia sobre um
conjunto A. Essas declaraes so equivalentes:
i) a R b
ii) [a] = [b]
iii) [a][b]
Prova do Teorema
Mostrar primeiro que (i) implica (ii).
Assuma que aRb.
Provaremos que [a]=[b], mostrando que [a][b] e
[b][a].
Suponha que c[a], assim aRc.
Sabendo que aRb e que R simtrica, ento bRa.
Como R transitiva, bRc. Assim, c[b].
Isso mostra que [a][b].
Prova do Teorema
Mostrar que (ii) implica (iii).
Assuma que [a]=[b].
Segue-se que [a][b] .
Uma vez que, [a] no vazia, pois a[a], sabendo
que R reflexiva.
Prova do Teorema
Mostrar que (iii) implica (i).
Assuma que [a][b] .
Assim, existe um elemento c de forma que c[a] e c [b].
Em outras palavras, aRc e bRc.
Por simetria, cRb.
Por transitividade, desde que aRc e cRb, ento aRb.
Classes de equivalncias e Parties
Seja R uma relao de equivalncia sobre
um conjunto A.
A unio das classes de equivalncia de R
o conjunto A
Classes de equivalncias e Parties
Em adio ao teorema mostrado
anteriormente, as classes de equivalncias so
iguais ou disjuntas, ento
[a]
R
[b]
R
=
Quando [a]
R
[b]
R
Parties
Uma partio de um conjunto S uma coleo de
subconjuntos disjuntos no vazios de S.
A a unio de todas as parties resulta em S.
Em outras palavras, os subconjuntos A
i
formam parties
de S se e somente se
A
i

A
i
A
j
= , quando ij