Are Equivalence Classes Confusing?

  • Context: Comp Sci 
  • Thread starter Thread starter shivajikobardan
  • Start date Start date
  • Tags Tags
    Classes Equivalence
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
2 replies · 2K views
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.