Skip to content
Exercise 1.1 · Q11

Q.Show that the relation R in the set A of points in a plane given by R={(P,Q):R = \{(P, Q) : distance of the point P from the origin is same as the distance of the point Q from the origin}\}, is an equivalence relation. Further, show that the set of all points related to a point P≠(0,0)P \ne (0, 0) is the circle passing through P with origin as centre.

CBSENCERTSubjective· 5mImportance★★★★★
11% · 11/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 →

Concept understanding — Equivalence Relation Proof

Proving a Relation is an Equivalence Relation

A relation RR on a set AA is an equivalence relation when it satisfies exactly three properties: it is reflexive, symmetric, and transitive. To prove a given relation is an equivalence relation, you check these three — in this order — one at a time.

Note

Antisymmetry plays no role here; that property belongs to partial orders. For an equivalence relation you need only reflexive, symmetric, transitive.

The three checks

  1. Reflexive — show (a,a)∈R(a, a) \in R for every a∈Aa \in A.
  2. Symmetric — assume (a,b)∈R(a, b) \in R and deduce (b,a)∈R(b, a) \in R.
  3. Transitive — assume (a,b)∈R(a, b) \in R and (b,c)∈R(b, c) \in R, and deduce (a,c)∈R(a, c) \in R.

If all three hold, RR is an equivalence relation. If even one fails, produce a single counterexample and you are done.

A worked template

Let RR be defined on Z\mathbb{Z} by a R b  ⟺  a−ba\,R\,b \iff a - b is divisible by 55.

Reflexive: a−a=0a - a = 0, and 00 is divisible by 55, so a R aa\,R\,a for every integer aa. ✓

Symmetric: if a R ba\,R\,b, then a−b=5ka - b = 5k for some integer kk. Then b−a=−5k=5(−k)b - a = -5k = 5(-k), also a multiple of 55, so b R ab\,R\,a. ✓

Transitive: if a R ba\,R\,b and b R cb\,R\,c, then a−b=5ka - b = 5k and b−c=5mb - c = 5m. Adding, a−c=5(k+m)a - c = 5(k + m), a multiple of 55, so a R ca\,R\,c. ✓

All three hold, so RR is an equivalence relation. …

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.