Ol� Jan, vou mostrar que a segunda rela��o � de equival�ncia. Vou usar a nota��o a|b (a divide b), para dizer que existe um k em Z tal que b = k a.
Com isto a segunda rela��o fica:
2) x~y <=> n|(x-y).
Para uma rela��o ser de equival�ncia ela precisa satisfazer 3 propriedades:
a) x~x
b) Se x~y ent�o y~x
c) Se x~y e y~z ent�o x~z.
vamos verificar:
a)
x~x, pois n| (x-x), uma vez que n sempre divide 0.
b)
Se x~y, isto quer dizer que n|(x-y) logo n|-(x-y), ou seja, n|(y-x), logo y~x
c)
Se x~y e y~z, ou seja, n|(x-y) e n|(y-z), logo n|((x-y)+(y-z))=(x-z) e portanto x~z.
Sabemos que dado uma rela��o de equival�ncia em um conjunto ele particiona o conjunto em classes, onde os elementos que est�o em uma classe s�o os iguais a ele com a rela��o de equival�ncia.
Observe que x~y <=> n|(x-y) <=> x e y deixam a mesmo resto quando dividido por n (prove!). Agora, pelo algoritmo da divis�o, todo n�mero a pode ser escrito por a = kn+r, com k, n em Z e 0<=r<n. Ou seja, os n�meros inteiros podem ser agrupados em n classes dependendo do resto da divis�o por n.
Vamos chamar estas classes por 0',1',2',...,(n-1)'. Portanto os elementos que est�o em 2' s�o da forma 2+k n, com k variando em Z.
T+
Jones
On 7/3/07, Jan Sousa <jan.sousa@gmail.com> wrote:
Pessoal, alguem por favor me auxilia nessa:
Seja A=Z e a rela��o (~) definida como:
1) x~y <=> x-y = 4k, onde k pertence a Z.
2) x~y <=> x-y = n.k, onde k pertence a Z
Pede-se:
a) Mostrar em cada uma a rela��o de equival�ncia,
b) Descrever para cada um dos casos as classes de equival�ncia.
grato,