Open In App
Related Articles

GATE | GATE-CS-2001 | Question 29

Improve Article
Save Article
Like Article

Consider the following relations:

R1(a,b) if (a+b) is even over the set of integers
R2(a,b) if (a+b) is odd over the set of integers
R3(a,b) if a.b > 0 over the set of non-zero rational numbers
R4(a,b) if |a - b| <= 2 over the set of natural numbers

Which of the following statements is correct?


R1 and R2 are equivalence relations, R3 and R4 are not


R1 and R3 are equivalence relations, R2 and R4 are not


R1 and R4 are equivalence relations, R2 and R3 are not


R1, R2, R3 and R4 are all equivalence relations

Answer: (B)


So basically, we have to tell whether these relations are equivalence or not.

  1. R1(a,b)
    • Reflexive : Yes, because (a+a) is even.
    • Symmetric : Yes, (a+b) is even ⟹ (b+a) is even.
    • Transitive : Yes, because (a+b) is even and (b+c) is even ⟹ (a+c) is even.
      So R1 is equivalence relation.
  2. R2(a,b)
    • Reflexive : No, because (a+a) is even.
      So R2 is not equivalence relation.
  3. R3(a,b)
    • Reflexive : Yes, because a.a > 0.
    • Symmetric : Yes, a.b > 0 ⟹ b.a > 0.
    • Transitive : Yes, because a.b > 0 and b.c > 0 ⟹ a.c > 0.
      So R3 is equivalence relation.
  4. R4(a,b)
    • Reflexive : Yes, because |a-a| ≤ 2.
    • Symmetric : Yes, |a-b| ≤ 2 ⟹ |b-a| ≤ 2.
    • Transitive : No, because |a-b| ≤ 2 and |b-c| ≤ 2 ⇏ (a-c) is even.
      So R4 is not equivalence relation.

So option (b) is correct.. 


Quiz of this Question
Please comment below if you find anything wrong in the above post

Last Updated : 28 Jun, 2021
Like Article
Save Article
Similar Reads