I'm not sure on the following question:
(a) Define a relation R on Z by
if and only if
Show that R is an equivalence relation, and describe the equivalence classes.
---------------------------------------------------------------------------
I'm particularly interested on how you prove the transativity part of the equivalence relation and how to describe the equivalence classes. Can anyone help?
(also any more explanation on Equivalence relations and classes would be much appreciated as I could certainly do with understanding it better.)
I would find symmetry most interesting because the rule defining equivalence does "look" symmetric! You must prove that if aRb, then bRa which means show that if a+ 2b is a multiple of 3, then so is b+ 2a. That is true but how did you show it?
An equivalence class consists of all those things that are equivalent to one another. Here two integers, a and b, are equivalent if and only if a= 2b is divisible by 3. Now just start looking at integers: If b= 0, then in order to be equivalent, a must satisfy "a+ 0= a is divisible by 3" so one equivalence class is just the multiples of 3. If b= 1, then we must have a+ 2 divisible by 3 which is the same as saying a is a multiple of 3 plus 1: 1, 4, 7, -2, -5, etc. If b= 2, then we must have a+ 4 divisible by 3: 2, 5, -1, -4, etc. Those are the only three equivalence classes: every integer is in one of those.