Decide for each of the following relations whether or not it is an equivalence relation. Give full reasons if it is an equivalence relation, give the equivalence classes.
A. Let a,b E Z. Define aRb if and only if (a/b)E Z.
B. Let a and b be integers. Define aRb if and only if3|(a-b) (is the congruence modulo 3 relation)
a)
The relation is reflexive: ,
non-symmetric: it is not always if , then
So, this is not equivalence relation.
b)
The relation is reflexive:
symmetric:
transitive: if and , then
So, this is equivalence relation.
Equivalence classes: integer numbers divisible by 3
Comments