lgebra Abstrata

Aula 01: Relaes de equivalncia e Operaes Binrias Tpico 01: Relaes de equivalncia
Considere dois conjuntos no vazios A e B. Uma relao de A em B uma correspondncia qualquer entre elementos de A e elementos de B. Como a correspondncia qualquer pode ocorrer que um elemento de A no se relacione com nenhum elemento de B. Pode ocorrer tambm que um elemento de A se relacione com um ou mais elementos de B. Se uma relao de A em B for representada pela letra R representamos o fato de um elemento a A estar relacionado com um elemento b A por aRb ou simplesmente por (a,b) R. Esta ltima notao sugere uma identificao da relao R com um subconjunto no vazio do produto cartesiano AxB. Muitos autores preferem definir uma relao de A em B como sendo um subconjunto no vazio do produto cartesiano AxB. Uma relao de A em A chamada simplesmente de relao em A. Muitas vezes, ao invs de letras, usamos smbolos, como por exemplo ~, para representar uma relao.

Parada Obrigatria
Estudaremos um tipo de relao especial em um conjunto no vazio A chamada de relao de equivalncia em A.

Definio: Dado um conjunto no vazio A e uma relao R em A, dizemos que R uma relao de equivalncia se satisfaz s seguintes propriedades:

1) xRx, x A 2) xRy yRx 3) xRy e yRz xRz

O conjunto Cx = {y A; yRx} chamado de classe de equivalncia de x. Temos ento Cx para todo x A. A partir da propriedade reflexiva temos x Cx para todo x A e, portanto Cx A. Como Cx A e x Cx para todo x A, temos =A

para todo x

Definio: O conjunto das classes de equivalncia determinadas pela relao de equivalncia R em A chamado de conjunto quociente de A por R e denotado por A/R. Assim A/R = {Cx; x A} 1

lgebra Abstrata

Teorema 1: Dados uma relao de equivalncia R em A e x,y A, temos: ou Cx = Cy , ou Cx Cy = . Demonstrao: De fato, dados x,y A tem-se: ou xRy, ou x no est relacionado com y. i)Se xRy, vamos mostrar que Cx = Cy Se z Cx temos zRx. Como xRy, tem-se, pela propriedade transitiva, que zRy e da z Cy. Logo Cx Cy. (*) Por outro lado, se Se z Cy temos zRy. Como xRy, tem-se, pela propriedade simtrica, que yRx e da, pela propriedade transitiva, temos que zRx e ento z Cx. Logo Cy Cx. (**). De (*) e (**), temos Cx = Cy ii) Se x e y no esto relacionados Suponha que Cx Ento z Cx e z Cy e seja z Cx Cx zRx Cy xRz e z Cy zRy

Cy. Mas z

Temos ento xRz e zRy. Da, pela propriedade transitiva, xRy, isto , x e y esto relacionados, o que contradiz a nossa hiptese. Logo Cx Cy = .

Observao
O conjunto quociente A/R portanto um subconjunto do conjuntos das partes do conjunto A, cuja unio de seus elementos igual ao conjunto A e cuja interseo de dois elementos distintos vazia. Qualquer subconjunto do conjunto das partes de um conjunto que tenha estas propriedades chamado de partio de A. Assim uma relao de equivalncia em A determina uma partio do conjunto A. Exercitando: Mostre que toda partio de um conjunto no vazio A determina uma relao de equivalncia em A e conclua que podemos identificar as relaes de equivalncia em A com as parties de A.

Exemplo: