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

  • Thread starter Thread starter jacktsoi
  • Start date Start date
  • Tags Tags
    Relation Set
Click For Summary
SUMMARY

The discussion focuses on determining the equivalence classes of the smallest equivalence relation E that contains the relation R = {(x, y) | x = 2y} within the set of natural numbers N. The smallest equivalence relation must include reflexivity, symmetry, and transitivity. The participants conclude that to achieve transitivity, additional pairs beyond those required for reflexivity and symmetry are necessary, indicating a complex structure of equivalence classes that can be infinite.

PREREQUISITES
  • Understanding of equivalence relations in set theory
  • Knowledge of reflexivity, symmetry, and transitivity properties
  • Familiarity with natural numbers and their properties
  • Basic experience with mathematical proofs and constructions
NEXT STEPS
  • Study the properties of equivalence relations in detail
  • Explore examples of equivalence classes in different mathematical contexts
  • Investigate the construction of smallest equivalence relations from given relations
  • Learn about infinite sets and their implications in equivalence relations
USEFUL FOR

Mathematics students, educators, and anyone interested in set theory and equivalence relations, particularly those tackling advanced topics in abstract algebra and discrete mathematics.

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

  • · Replies 1 ·
Replies
1
Views
2K
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
10K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
485