Skip to content
Question

Q.A relation RR on set A={1,2,3,4,5}A = \{1, 2, 3, 4, 5\} is defined as R={(x,y):∣x2−y2∣<8}R = \{(x, y) : |x^2 - y^2| < 8\}. Check whether the relation RR is reflexive, symmetric and transitive.

CBSECBSE Class XII Board 2024Subjective· 3mImportance★★★★★
🔒 Locked · start free trial →

You're viewing a preview — the full solution, concept, methods & PYQ mapping are locked.

Start your 14-day free trial to unlock the full solution →

The relation RR is reflexive and symmetric but not transitive. The condition ∣x2−y2∣<8|x^2 - y^2| < 8 is satisfied for all pairs where the numbers are close enough, but transitivity fails because a chain of small differences can add up to a large one.

We need to check three properties for RR on A={1,2,3,4,5}A = \{1,2,3,4,5\}.

Why this approach works. Instead of blindly testing all 25 ordered pairs, we can think geometrically: ∣x2−y2∣|x^2 - y^2| measures how far apart the squares of two numbers are. Since squares grow rapidly, only numbers that are close together will satisfy the inequality. This gives us a quick way to see which pairs belong to RR without exhaustive enumeration.

Let's work through each property.

  1. Reflexive. A relation is reflexive if (a,a)∈R(a,a) \in R for every a∈Aa \in A. Here ∣a2−a2∣=0<8|a^2 - a^2| = 0 < 8 for any aa, so every element is related to itself. Reflexive holds.

  2. Symmetric. If (x,y)∈R(x,y) \in R, then ∣x2−y2∣<8|x^2 - y^2| < 8. But ∣y2−x2∣=∣x2−y2∣|y^2 - x^2| = |x^2 - y^2|, so the same inequality holds for (y,x)(y,x). Thus whenever xRyxRy, we also have yRxyRx. Symmetric holds.

  3. Transitive. This is where things get interesting. We need: if xRyxRy and yRzyRz, does it follow that xRzxRz? Let's test with actual numbers.

    First, let's list all pairs in RR to see the pattern. For x,y∈{1,2,3,4,5}x,y \in \{1,2,3,4,5\}:

    • ∣12−22∣=∣1−4∣=3<8|1^2 - 2^2| = |1-4| = 3 < 8 → (1,2)(1,2) and (2,1)(2,1) in RR
    • ∣12−32∣=∣1−9∣=8|1^2 - 3^2| = |1-9| = 8 — not less than 8, so (1,3)(1,3) not in RR
    • ∣12−42∣=15>8|1^2 - 4^2| = 15 > 8, ∣12−52∣=24>8|1^2 - 5^2| = 24 > 8 — none of these
    • ∣22−32∣=∣4−9∣=5<8|2^2 - 3^2| = |4-9| = 5 < 8 → (2,3)(2,3) and (3,2)(3,2) in RR
    • ∣22−42∣=∣4−16∣=12>8|2^2 - 4^2| = |4-16| = 12 > 8 → not in RR
    • ∣22−52∣=21>8|2^2 - 5^2| = 21 > 8
    • ∣32−42∣=∣9−16∣=7<8|3^2 - 4^2| = |9-16| = 7 < 8 → (3,4)(3,4) and (4,3)(4,3) in RR
    • ∣32−52∣=∣9−25∣=16>8|3^2 - 5^2| = |9-25| = 16 > 8
    • ∣42−52∣=∣16−25∣=9>8|4^2 - 5^2| = |16-25| = 9 > 8 → not in RR

    So RR contains only the pairs where the numbers differ by exactly 1 (plus all reflexive pairs). That is:

R={(1,1),(2,2),(3,3),(4,4),(5,5),(1,2),(2,1),(2,3),(3,2),(3,4),(4,3)}R = \{(1,1),(2,2),(3,3),(4,4),(5,5),(1,2),(2,1),(2,3),(3,2),(3,4),(4,3)\}

Now check transitivity. Take x=1x=1, y=2y=2, z=3z=3: …

Unlock everything free for 14 days

  • Full step-by-step solutions
  • Concept-first explanations
  • Methods, shortcuts & mistakes
  • PYQ mapping + timed mock tests

Full access for 14 days. No credit card required.