On Z, the set of integers define a relation R as follows a,b∈Z, aRb if 3∣(2a+b) then
R is reflexive, symmetric but not transitive
R is reflexive, transitive but not symmetric
R is anti-symmetric
R is an equivalence relation
If a∈Z,aRa as3∣(2a+a)
R is reflexive.
Suppose a R b
⇒ 3∣(2a+b) ⇒ 3∣(3a+b−a) ⇒ 3|(b−a) ⇒3|(a−b) ⇒ 3|(3b+a−b)⇒3|(2b+a) ⇒ b~a. ⇒ Ris symmetric.
Next, suppose a R b, b R c
⇒3|(2a+b),3|(2b+c)
⇒3|(b−a),3|(c−b)⇒3∣(b−a+c−b)⇒3∣(c−a)
⇒3∣(c−a+3a)⇒3∣(2a+c)∴aRc
R is transitive.
Hence, R is an equivalence relation