Equivalence Relations on Z - Are There Infinite Equivalence Classes?

gtfitzpatrick
Messages
372
Reaction score
0

Homework Statement



Deciede if the following are equivalence relations on Z. If so desribe the eqivalence classes
i) a\equiv b if \left|a\right| = \left|b\right|
ii) a\equiv b if b=a-2

Homework Equations





The Attempt at a Solution



i) \left|a\right| = \left|a\right| so its reflexive

\left|a\right| = \left|b\right| is equivalent to \left|b\right| = \left|a\right| so its symmetric

\left|a\right| = \left|b\right| and \left|b\right| = \left|c\right| then \left|a\right| = \left|c\right| for all values a,b and c elemets of Z so its transitive.

Are there infinite equivalence classes??


ii) a=a so its reflexive
b=a-2 \neq a=b-2 so its not symetric, am i right in thinking this?
Thanks for reading
 
Physics news on Phys.org
gtfitzpatrick said:

Homework Statement



Deciede if the following are equivalence relations on Z. If so desribe the eqivalence classes
i) a\equiv b if \left|a\right| = \left|b\right|
ii) a\equiv b if b=a-2

Homework Equations


The Attempt at a Solution



i) \left|a\right| = \left|a\right| so its reflexive

\left|a\right| = \left|b\right| is equivalent to \left|b\right| = \left|a\right| so its symmetric

\left|a\right| = \left|b\right| and \left|b\right| = \left|c\right| then \left|a\right| = \left|c\right| for all values a,b and c elemets of Z so its transitive.

Are there infinite equivalence classes??
Yes. Can you describe them? Simply listing a few to show the pattern would be sufficient.
ii) a=a so its reflexive
a=a-2?
b=a-2 \neq a=b-2 so its not symetric, am i right in thinking this?
Yes.
 
For (i):
What elements(s) of Z is/are equivalent to 3?
What elements(s) of Z is/are equivalent to 7?
What elements(s) of Z is/are equivalent to 0?
What elements(s) of Z is/are equivalent to -5?
...​

For (ii):
This relation is not transitive either.​
 
Thanks for the replies.
So i need to say there are infinity equivalent classes such as -3 equivalent to 3; -5 equivalent to 5 or 10 is equivalent to -10 under the relation.

for ii) i only need to show 1 of the 3 properties doesn't hold, right? or should i show whether all 3 hold or not just for clarity?
 
gtfitzpatrick said:
Thanks for the replies.
So i need to say there are infinity equivalent classes such as -3 equivalent to 3; -5 equivalent to 5 or 10 is equivalent to -10 under the relation.
Basically, yes, though your instructor may cringe at your grammar. ;)

The equivalence classes are subsets consisting of all elements that are equivalent to each other. So in this case, they'd be {0}, {1,-1}, {2,-2}, and so on.
for ii) i only need to show 1 of the 3 properties doesn't hold, right? or should i show whether all 3 hold or not just for clarity?
Right. You need to show only one requirement doesn't hold to rule out the relation being an equivalence relation.
 
Grammer isn't a strong point of mine :)
Thanks a mill
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top