Skip to main content
Back to Sets, Relations & Functions
JEE Main 2021
Sets, Relations & Functions
Sets and Relations
Easy

Question

Let R be a relation defined on N\mathbb{N} as aRba\mathrm{R}b if 2a+3b2a+3b is a multiple of 5,a,bN5,a,b\in \mathbb{N}. Then R is

Options

Solution

Key Concepts and Formulas

  • Equivalence Relation: A relation R on a set A is an equivalence relation if it is reflexive, symmetric, and transitive.
    • Reflexive: aRaa \mathrm{R} a for all aAa \in A.
    • Symmetric: If aRba \mathrm{R} b, then bRab \mathrm{R} a for all a,bAa, b \in A.
    • Transitive: If aRba \mathrm{R} b and bRcb \mathrm{R} c, then aRca \mathrm{R} c for all a,b,cAa, b, c \in A.
  • Modular Arithmetic: The notation xy(modm)x \equiv y \pmod m means that xyx-y is a multiple of mm, or equivalently, xx and yy have the same remainder when divided by mm. This is useful for problems involving divisibility.

Step-by-Step Solution

We are given a relation R defined on the set of natural numbers N\mathbb{N} as aRba \mathrm{R} b if 2a+3b2a+3b is a multiple of 55. We need to determine if R is an equivalence relation. We will check the three properties: reflexivity, symmetry, and transitivity.

Step 1: Checking for Reflexivity

  • Goal: To check if aRaa \mathrm{R} a for all aNa \in \mathbb{N}.
  • Applying the condition: For aRaa \mathrm{R} a to hold, 2a+3a2a+3a must be a multiple of 55.
  • Calculation: 2a+3a=5a2a+3a = 5a
  • Explanation: Since aa is a natural number, 5a5a is always a multiple of 55. Thus, aRaa \mathrm{R} a is true for all aNa \in \mathbb{N}.
  • Conclusion: The relation R is reflexive.

Step 2: Checking for Symmetry

  • Goal: To check if aRb    bRaa \mathrm{R} b \implies b \mathrm{R} a for all a,bNa, b \in \mathbb{N}.
  • Assumption: Assume aRba \mathrm{R} b. This means 2a+3b2a+3b is a multiple of 55. 2a+3b0(mod5)2a+3b \equiv 0 \pmod 5
  • Derivation: We need to show that bRab \mathrm{R} a, which means 2b+3a2b+3a is a multiple of 55. We can rewrite 3a+2b3a+2b using modular arithmetic. Notice that 32(mod5)3 \equiv -2 \pmod 5 and 23(mod5)2 \equiv -3 \pmod 5. 3a+2b(2)a+(3)b(mod5)3a+2b \equiv (-2)a + (-3)b \pmod 5 3a+2b(2a+3b)(mod5)3a+2b \equiv -(2a+3b) \pmod 5 Since we assumed 2a+3b0(mod5)2a+3b \equiv 0 \pmod 5, we substitute this into the expression: 3a+2b(0)(mod5)3a+2b \equiv -(0) \pmod 5 3a+2b0(mod5)3a+2b \equiv 0 \pmod 5
  • Explanation: This shows that if 2a+3b2a+3b is a multiple of 55, then 3a+2b3a+2b is also a multiple of 55.
  • Conclusion: The relation R is symmetric.

Step 3: Checking for Transitivity

  • Goal: To check if (aRba \mathrm{R} b and bRcb \mathrm{R} c)     aRc\implies a \mathrm{R} c for all a,b,cNa, b, c \in \mathbb{N}.
  • Assumptions:
    1. aRb    2a+3b0(mod5)a \mathrm{R} b \implies 2a+3b \equiv 0 \pmod 5.
    2. bRc    2b+3c0(mod5)b \mathrm{R} c \implies 2b+3c \equiv 0 \pmod 5.
  • Derivation: We need to show that aRca \mathrm{R} c, which means 2a+3c0(mod5)2a+3c \equiv 0 \pmod 5. From the assumptions: From (1): 2a3b(mod5)2a \equiv -3b \pmod 5. From (2): 3c2b(mod5)3c \equiv -2b \pmod 5. Now consider the expression 2a+3c2a+3c: 2a+3c(3b)+(2b)(mod5)2a+3c \equiv (-3b) + (-2b) \pmod 5 2a+3c5b(mod5)2a+3c \equiv -5b \pmod 5 Since 5b-5b is always a multiple of 55, 5b0(mod5)-5b \equiv 0 \pmod 5. Therefore, 2a+3c0(mod5)2a+3c \equiv 0 \pmod 5.
  • Explanation: This shows that if aRba \mathrm{R} b and bRcb \mathrm{R} c, then aRca \mathrm{R} c.
  • Conclusion: The relation R is transitive.

Common Mistakes & Tips

  • Thoroughness: Always verify all three properties (reflexive, symmetric, transitive). A relation is an equivalence relation only if all three hold.
  • Modular Arithmetic: For divisibility problems, using modular arithmetic can simplify your steps and reduce the chance of algebraic errors.
  • Domain Awareness: Ensure your proofs are valid for the entire domain specified (here, N\mathbb{N}).

Summary

The relation R defined on N\mathbb{N} as aRba \mathrm{R} b if 2a+3b2a+3b is a multiple of 55 has been shown to be reflexive, symmetric, and transitive. Therefore, R is an equivalence relation.

The final answer is A\boxed{A}.

Practice More Sets, Relations & Functions Questions

View All Questions
Let R be a relation defined on as if is a multiple of . Then... | JEE Main 2021 Sets, Relations & Functions | JEE Main - Mathematicon