Snapsolve any problem by taking a picture.
Try it in the Numerade app?
5_ For natural numbers a and b, define a ~ b if and only if a2 + b is even: a_ Prove that defines an equivalence relation b. Find all equivalence classes. C. What is the partition of N determined by this equivalence relation? (ie: the quotient set)Show more…
Added by Xavier E.
Step 1
Reflexivity: We need to show that a ~ a for all natural numbers a. Since a^2 is always even if a is even and odd if a is odd, a^2 + a will be even if a is even. Thus, a ~ a for all even natural numbers a. For odd natural numbers a, a^2 + a will be odd + odd = Show more…
Show all steps