What Are the Equivalence Classes of the Smallest Relation Containing R?

  • Thread starter Thread starter jacktsoi
  • Start date Start date
  • Tags Tags
    Relation Set
AI Thread Summary
The relation R defined as R = {(x, y) | x = 2y} in the set of natural numbers N leads to the need for a smallest equivalence relation E that contains R. To describe the equivalence classes of E, one must include all pairs (a, a) for reflexivity and pairs (2a, b) and (a, 2b) for symmetry. The challenge lies in ensuring transitivity is satisfied with these pairs. The discussion emphasizes the importance of determining whether the existing pairs are sufficient for transitivity or if additional pairs are required. Understanding these properties is crucial for accurately defining the equivalence classes of the smallest relation containing R.
jacktsoi
Messages
2
Reaction score
0

Homework Statement



Let R denote the following relation in the set N of natural numbers:
R = {(x, y) | x = 2y}.
Let E be the “smallest” equivalence relation containing R. Give a complete description of the equivalence classes of E.

How can I describe it containing infinite set?

Homework Equations



[An example of smallest equivalence relation can be given as follows::
Let S = {a, b, c, d} and R = {(a, b), (b, c)}, the smallest equivalence relation containing R is {(a, a), (b, b), (c, c), (d, d), (a, b), (b, a), (a, c), (b, c), (c, a), (c, b)}. ]


The Attempt at a Solution

 
Physics news on Phys.org
Well, you know you need all pairs (a,a) for reflexivity and all pairs (2a,b) and (a,2b) for symmetry. So the question becomes if you do have all those, is that enough to get transitivity or do you need more?
 

Similar threads

Back
Top