Skip to content
Exercise 1.1 · Q7

Q.Show that the relation R in the set A of all the books in a library of a college, given by R={(x,y):xR = \{(x, y) : x and yy have same number of pages}\} is an equivalence relation.

Punjab PsebTextbookSubjective· 3mImportance★★★★★
7% · 7/104 Questions
🔒 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 groups books by their page count. It is an equivalence relation because it satisfies reflexivity (every book has the same number of pages as itself), symmetry (if book xx has the same page count as yy, then yy has the same as xx), and transitivity (if xx matches yy and yy matches zz in page count, then xx matches zz). Thus RR partitions the set of books into equivalence classes based on page count.


Why this works — the core idea

An equivalence relation is just a way of saying "these things are the same in some specific way." Here, the "way" is having the same number of pages. The three properties — reflexivity, symmetry, transitivity — are the minimal checks to ensure that this "sameness" behaves consistently. If any one fails, the grouping breaks down.

Let’s verify each property step by step.


1. Reflexivity: Every book relates to itself

For any book xx in the library, the number of pages in xx is obviously equal to the number of pages in xx. So (x,x)∈R(x, x) \in R for every x∈Ax \in A.

This is trivially true — no book can have a different page count from itself.

Note

Reflexivity is often the easiest to check, but don't skip it: some relations (like "is taller than") fail here because no one is taller than themselves.


2. Symmetry: If xx relates to yy, then yy relates to xx

Take any two books xx and yy such that (x,y)∈R(x, y) \in R. By definition, this means xx and yy have the same number of pages.

But "same number" is a symmetric statement: if xx has the same page count as yy, then yy automatically has the same page count as xx. So (y,x)∈R(y, x) \in R as well.

Tip

Symmetry holds whenever the defining condition is an equality or a mutual property. For example, "has the same birthday as" is symmetric; "is older than" is not.


3. Transitivity: If xx relates to yy and yy relates to zz, then xx relates to zz …

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.