- #1
Pearce_09
- 74
- 0
Z = all integers
A = Z; m is related to n, means that [tex] m^2 - n^2 [/tex] is even;
B = {0,1}
I already proved that this is a equivalence relation, but i just don't know how to;
I need to find a well defined bejection
sigma : [tex] A_= -> B [/tex]
I hope this makes sense.. i wrote it up as well as I can.
A = Z; m is related to n, means that [tex] m^2 - n^2 [/tex] is even;
B = {0,1}
I already proved that this is a equivalence relation, but i just don't know how to;
I need to find a well defined bejection
sigma : [tex] A_= -> B [/tex]
I hope this makes sense.. i wrote it up as well as I can.