Equivalence Relations on Z - Are There Infinite Equivalence Classes?

Click For Summary

Homework Help Overview

The discussion revolves around determining whether two given relations on the set of integers, Z, are equivalence relations. The first relation is based on the absolute values of the integers, while the second involves a specific arithmetic condition. Participants are exploring the implications of these relations and their equivalence classes.

Discussion Character

  • Exploratory, Assumption checking

Approaches and Questions Raised

  • Participants analyze the reflexivity, symmetry, and transitivity of the relations to determine if they qualify as equivalence relations. Questions arise about the nature of equivalence classes and whether there are infinite classes for the first relation.

Discussion Status

Some participants have provided insights into the properties of the relations, noting that the first relation appears to have infinite equivalence classes. There is ongoing exploration regarding the requirements for a relation to be classified as an equivalence relation, with some suggesting that demonstrating the failure of just one property is sufficient.

Contextual Notes

Participants are discussing the implications of the relations without providing complete solutions, focusing on the definitions and properties of equivalence relations. There is an acknowledgment of the need to clarify the properties of the second relation as well.

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.
 
grammar isn't a strong point of mine :)
Thanks a mill
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 47 ·
2
Replies
47
Views
5K
  • · Replies 10 ·
Replies
10
Views
2K
Replies
5
Views
4K
Replies
2
Views
2K