Equivalence Relations on Z - Are There Infinite Equivalence Classes?

[gtfitzpatrick]

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

 

[vela]

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.

 

[SammyS]

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.​

 

[gtfitzpatrick]

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?

 

[vela]

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.

 

[gtfitzpatrick]

grammar isn't a strong point of mine :)
Thanks a mill