The correct option is B R1 and R3 are equivalence relations, R2 and R4 are not
(I) Relation R1(a,b) iff (a+b) is even over the set of integers
(i) a+a=2a which is even
So (a,a) belongs to R1
∴ R1 is reflexive relation
(ii) If (a+b) is even, then (b+a) is also even
∴ R1 is symmetric relation
(iii) If (a+b) and (b+c) are even then
a+c=(a+b)+(b+c)−2b
= even + even - even
= even
∴ R1 is transitive relation
Since R1 is reflexive, symmetric and transitive so R1 is an equivalence relation
(II) R2(a,b) iff (a+b) is odd over set of integers.
(i) a+a=2a which is not odd
So (a,a) doesn't belong to R2
∴R2 is not reflexive relation
Since R2 is not reflexive, it is not an equivalence relation.
(III) R3(a,b) iff a.b>0 over set of non-zero relational numbers
(i) a.a>0 for every non-zero rational number
∴R3 is reflexive relation.
(ii) If a.b>0 then b.a>0
∴R3 is symmetric relation
(iii) a.b>0 and b.c>0⇒ All a,b,c are positive or all a,b,c are negative.
So a.c>0
∴R3 is transitive relation.
So R3 is an equivalence relation.
(IV) R4(a,b) iff |a−b|≤2 over the set of natural number
(i) |a−a|≤2
0≤2
∴R4 is reflexive relation.
(ii) If |a−b|≤2 then also |b−a|≤2
∴R4 is symmetric relation
(iii) If |a−b|≤2 and |b−c|≤2
Ex. |3−5|≤2 and |5−7|≤2 but
|3−7|/≤2
∴ R4 is not transitive
Since R4 is reflexive and symmetric not transitive, so R4 is not an equivalence relation.