Are Equivalence Classes Confusing?

  • Context: Comp Sci 
  • Thread starter Thread starter shivajikobardan
  • Start date Start date
  • Tags Tags
    Classes Equivalence
Click For Summary
SUMMARY

The discussion centers on the equivalence classes defined by the relation R = {(a, b) : (a + b) is even}. The equivalence classes [0] and [1] are correctly identified as [0] ≡ [2] ≡ [4] ≡ {2, 4, 6, 8, ...} and [1] ≡ [3] ≡ [5] ≡ {1, 3, 5, 7, ...}, respectively. However, the lack of definition for set A, which is specified as A = N (the natural numbers), creates confusion regarding the membership of elements in A. Clarifying that both a and b belong to N resolves the ambiguity in the discussion.

PREREQUISITES
  • Understanding of equivalence relations in mathematics
  • Familiarity with set theory and notation
  • Knowledge of natural numbers (N)
  • Basic comprehension of mathematical proofs and definitions
NEXT STEPS
  • Study the properties of equivalence relations in detail
  • Explore set theory, focusing on definitions and notation
  • Learn about the implications of defining sets in mathematical contexts
  • Review examples of equivalence classes in various mathematical structures
USEFUL FOR

Mathematicians, students studying abstract algebra, educators teaching set theory, and anyone interested in understanding equivalence relations and their applications.

shivajikobardan
Messages
637
Reaction score
54
Homework Statement
Confusions about finding equivalence classes for the set of natural numbers corresponding to equivalence relation a+b is even.
Relevant Equations
N/A
lfzunL4TroyNQjW7D2rgF7burAiNtB1qA4CjuaIlYZFzrA4lH1.png

95V4wclF2PHPnWVS2t2DgI4PljlJiXtYG-A9JN8cebzDyPw5Tm.png
 
Physics news on Phys.org
Your conclusion that ##[0] \equiv [2] \equiv [4] \dots \equiv[2n] = \{2, 4, 6, 8, \dots \}## looks OK to me, and similar for ##[1]\equiv [3] \equiv [5] \dots \equiv[2n + 1] = \{1, 3, 5, 7, \dots \}##.

There are several things in what you wrote that are unclear, though.
##R = \{(a, b) : (a + b) \text{ is even} \}##
##a \in N##, but what set does b belong to?

##[a] = \{x | x \in A \land (a, x) \in R \}##
What is set A? You haven't defined it, so there's no way to determine whether an element x belongs to A or not.
 
Mark44 said:
Your conclusion that ##[0] \equiv [2] \equiv [4] \dots \equiv[2n] = \{2, 4, 6, 8, \dots \}## looks OK to me, and similar for ##[1]\equiv [3] \equiv [5] \dots \equiv[2n + 1] = \{1, 3, 5, 7, \dots \}##.

There are several things in what you wrote that are unclear, though.

Mark44 said:
##a \in N##, but what set does b belong to?
I thought ##R=\left\{(a,b):a+b~~ is ~~even\right\} ##
automatically means ##(a,b) \in N## If not yes b also belongs to N.(it is not given in question though).
Mark44 said:
What is set A? You haven't defined it, so there's no way to determine whether an element x belongs to A or not.
That part is definition part. My bad I put there (thought it would be useful but turned out opposite). Here A=N in my question. It is the given set.
 

Similar threads

  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
4
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K