Skip to main content
Back to Sets, Relations & Functions
JEE Main 2022
Sets, Relations & Functions
Sets and Relations
Medium

Question

Let R1R_{1} and R2R_{2} be two relations defined on R\mathbb{R} by aR1bab0a \,R_{1} \,b \Leftrightarrow a b \geq 0 and aR2baba \,R_{2} \,b \Leftrightarrow a \geq b Then,

Options

Solution

Key Concepts and Formulas

  • Equivalence Relation: A relation RR on a set AA is an equivalence relation if it is reflexive, symmetric, and transitive.
    • Reflexive: For all aAa \in A, aRaa \,R\, a.
    • Symmetric: For all a,bAa, b \in A, if aRba \,R\, b, then bRab \,R\, a.
    • Transitive: For all a,b,cAa, b, c \in A, if aRba \,R\, b and bRcb \,R\, c, then aRca \,R\, c.

Step-by-Step Solution

Step 1: Analyze Relation R1R_1 (aR1bab0a \,R_{1} \,b \Leftrightarrow a b \geq 0)

We need to check if R1R_1 is reflexive, symmetric, and transitive on R\mathbb{R}.

  • Reflexivity: For any aRa \in \mathbb{R}, we check if aR1aa \,R_{1} \,a. This means aa0a \cdot a \geq 0, which is a20a^2 \geq 0. Since the square of any real number is always non-negative, R1R_1 is reflexive.

  • Symmetry: For any a,bRa, b \in \mathbb{R}, if aR1ba \,R_{1} \,b, we check if bR1ab \,R_{1} \,a. If aR1ba \,R_{1} \,b, then ab0a b \geq 0. Since multiplication of real numbers is commutative (ab=baa b = b a), we have ba0b a \geq 0. Thus, bR1ab \,R_{1} \,a is true. R1R_1 is symmetric.

  • Transitivity: For any a,b,cRa, b, c \in \mathbb{R}, if aR1ba \,R_{1} \,b and bR1cb \,R_{1} \,c, we check if aR1ca \,R_{1} \,c. This means ab0a b \geq 0 and bc0b c \geq 0. Consider the case when b=0b=0. If b=0b=0, then a00a \cdot 0 \geq 0 (which is 000 \geq 0, true for any aRa \in \mathbb{R}) and 0c00 \cdot c \geq 0 (which is 000 \geq 0, true for any cRc \in \mathbb{R}). However, if we choose a=1a=1 and c=1c=-1, then aR1ba \,R_{1} \,b and bR1cb \,R_{1} \,c are satisfied with b=0b=0, but aR1ca \,R_{1} \,c means 1(1)01 \cdot (-1) \geq 0, which is 10-1 \geq 0, and this is false. Therefore, R1R_1 is not transitive.

Since R1R_1 is not transitive, it is not an equivalence relation.

Step 2: Analyze Relation R2R_2 (aR2baba \,R_{2} \,b \Leftrightarrow a \geq b)

We need to check if R2R_2 is reflexive, symmetric, and transitive on R\mathbb{R}.

  • Reflexivity: For any aRa \in \mathbb{R}, we check if aR2aa \,R_{2} \,a. This means aaa \geq a. This is true for all real numbers. R2R_2 is reflexive.

  • Symmetry: For any a,bRa, b \in \mathbb{R}, if aR2ba \,R_{2} \,b, we check if bR2ab \,R_{2} \,a. If aR2ba \,R_{2} \,b, then aba \geq b. This does not imply bab \geq a. For example, if a=2a=2 and b=1b=1, then 212 \geq 1 is true, but 121 \geq 2 is false. Therefore, R2R_2 is not symmetric.

  • Transitivity: For any a,b,cRa, b, c \in \mathbb{R}, if aR2ba \,R_{2} \,b and bR2cb \,R_{2} \,c, we check if aR2ca \,R_{2} \,c. If aba \geq b and bcb \geq c, then by the transitive property of inequalities, aca \geq c. Therefore, R2R_2 is transitive.

Since R2R_2 is not symmetric, it is not an equivalence relation.

Step 3: Conclusion

From Step 1, R1R_1 is not an equivalence relation because it is not transitive. From Step 2, R2R_2 is not an equivalence relation because it is not symmetric.

Therefore, neither R1R_1 nor R2R_2 is an equivalence relation.

Common Mistakes & Tips

  • Thorough Checking: Always verify all three properties (reflexivity, symmetry, transitivity) for a relation to be an equivalence relation. Failing even one property is sufficient to disqualify it.
  • Counterexamples: To prove a property is false, a single, clear counterexample is sufficient. For R1R_1's transitivity, the case with b=0b=0 is a critical counterexample.
  • Understanding the Domain: The set on which the relation is defined (R\mathbb{R} in this case) is crucial. Properties might hold on one set but not another.

Summary

We analyzed both relations R1R_1 and R2R_2 against the three conditions for an equivalence relation: reflexivity, symmetry, and transitivity. Relation R1R_1 was found to be reflexive and symmetric but not transitive. Relation R2R_2 was found to be reflexive and transitive but not symmetric. Since neither relation satisfies all three conditions, neither is an equivalence relation.

The final answer is \boxed{D}.

Practice More Sets, Relations & Functions Questions

View All Questions