Question 325 marksLong AnswerSection D

(a) A relation R is defined on Z, the set of integers, as R = {(x, y) : |x - y| is divisible by a prime number 'p', x, y in Z}. Check whether R is an equivalence relation or not. OR (b) A function f:R−{3/5}→R−{3/5}f : \mathbb{R} - \{3/5\} \to \mathbb{R} - \{3/5\} is defined as f(x)=3x+25x−3f(x) = \frac{3x + 2}{5x - 3}. Show that f is one-one and onto.

Relations and Functions
Equivalence Relations and One-One Onto Functions

Official answer

Option (a): R is an equivalence relation on Z.


  • Reflexive: ∣x−x∣=0|x-x| = 0, and 00 is divisible by every prime p (0=p×00 = p\times 0), so (x,x)∈R(x,x) \in R for all x∈Zx \in Z.
  • Symmetric: If p divides ∣x−y∣|x-y|, then since ∣y−x∣=∣x−y∣|y-x| = |x-y|, p also divides ∣y−x∣|y-x|, so (x,y)∈R  ⟹  (y,x)∈R(x,y) \in R \implies (y,x) \in R.
  • Transitive: If p∣(x−y)p | (x-y) and p∣(y−z)p | (y-z), then p∣[(x−y)+(y−z)]=(x−z)p | [(x-y)+(y-z)] = (x-z), so p∣∣x−z∣p | |x-z|, giving (x,z)∈R(x,z) \in R.

Since R is reflexive, symmetric, and transitive, R is an equivalence relation.


Option (b): f is both one-one and onto.


  • One-one: Let f(x1)=f(x2)f(x_1) = f(x_2). Cross-multiplying (3x1+2)(5x2−3)=(3x2+2)(5x1−3)(3x_1+2)(5x_2-3) = (3x_2+2)(5x_1-3) and simplifying gives 19x2=19x119x_2 = 19x_1, so x1=x2x_1 = x_2. Hence f is one-one.
  • Onto: For any y in the codomain, solving y=3x+25x−3y = \frac{3x+2}{5x-3} for x gives x=3y+25y−3x = \frac{3y+2}{5y-3}, which is defined (since y≠3/5y\ne 3/5) and lies in the domain R−{3/5}\mathbb{R}-\{3/5\} (substituting x=3/5x=3/5 leads to a contradiction). Hence every y has a pre-image, so f is onto.

Therefore f is a bijection.

Answer keywords:equivalence relationreflexive symmetric transitivecongruence modulo pone-one functiononto functionbijectionrational function

Marking scheme

  1. 1.1 mark: correctly proving reflexivity of R (or stating the f(x1)=f(x2)f(x_1)=f(x_2) set-up for one-one).
  2. 2.1 mark: correctly proving symmetry of R (or correct cross-multiplication and simplification for one-one).
  3. 3.1 mark: correctly proving transitivity of R with valid justification using p∣(x−y)p|(x-y) and p∣(y−z)p|(y-z) (or concluding x1=x2x_1=x_2 and stating one-one for b).
  4. 4.1 mark: correct conclusion that R is an equivalence relation (or correctly solving y=f(x)y=f(x) for x in terms of y for onto).
  5. 5.1 mark: (for b) verifying x≠3/5x\ne 3/5 and concluding f is onto, hence bijective; (for a) clear final summary statement.

Hint

For (a), check reflexivity, symmetry, and transitivity using x≡y(modp)x\equiv y \pmod{p}. For (b), prove one-one by cross-multiplication and onto by solving y=f(x)y=f(x) for x in terms of y.

Quick oral answer

Part (a): R is congruence modulo the prime p, which is reflexive, symmetric, and transitive, hence an equivalence relation. Part (b): f is one-one by cross-multiplication forcing x1=x2x_1=x_2, and onto since x=3y+25y−3x=\frac{3y+2}{5y-3} always gives a valid pre-image in the domain.

Common mistakes

  1. 1.In part (a), proving transitivity using only ∣x−y∣|x-y| and ∣y−z∣|y-z| without linking to the signed differences (x−y)(x-y) and (y−z)(y-z), leaving the divisibility of (x−z)(x-z) unjustified.
  2. 2.In part (b), forgetting to verify that the pre-image x=3y+25y−3x=\frac{3y+2}{5y-3} is not equal to the excluded value 3/53/5.
  3. 3.Skipping the cross-multiplication expansion step and asserting x1=x2x_1=x_2 without full algebraic justification, losing method marks.

Analysis and explanation

This 5-mark question tests two of the most heavily examined proof techniques in the Relations and Functions chapter: verifying the three properties of an equivalence relation, and proving bijectivity of a rational function.


Concept (a): The relation |x−y| divisible by a prime p is exactly congruence modulo p (x≡y(modp)x \equiv y \pmod{p}). Congruence relations are always equivalence relations because divisibility is closed under addition of multiples — a general pattern worth recognising, not just a one-off computation.


Concept (b): For rational functions of the form ax+bcx+d\frac{ax+b}{cx+d}, one-one is proved by cross-multiplying f(x1)=f(x2)f(x_1)=f(x_2) and showing it forces x1=x2x_1=x_2, while onto is proved by algebraically inverting y=f(x)y=f(x) to express x in terms of y and confirming the result stays within the restricted domain.


Exam trap: In part (a), students often try to prove transitivity using only the absolute values ∣x−y∣|x-y| and ∣y−z∣|y-z| without justifying that p divides the signed differences (x−y)(x-y) and (y−z)(y-z), which is essential to conclude p divides their sum. In part (b), a common slip is forgetting to verify that the computed pre-image x is not the excluded point 3/53/5, which is required since the domain is R−{3/5}.


Real-world link: Congruence classes modulo a prime (part a) underpin modern cryptographic systems like RSA, while bijective rational functions (part b) are used in Möbius transformations in complex analysis and computer graphics.

Interesting facts

Congruence modulo a prime number, the basis of part (a)'s relation, is the mathematical foundation of RSA encryption, which secures much of the internet's data transmission today.

Functions of the form f(x)=ax+bcx+df(x)=\frac{ax+b}{cx+d}, as in part (b), are called Möbius transformations and are fundamental in complex analysis and computer graphics for their conformal (angle-preserving) properties.

Question details

Q32 of 44 questions

Board
CBSE
Class
Class 12
Subject
Mathematics
Year
2026
Section
Section D
Marks
5
Type
Long Answer
Chapter
Relations and Functions
Topic
Equivalence Relations and One-One Onto Functions
Bloom's level
analyze
Syllabus topic
Unit 1: Relations and Functions — Equivalence Relations and Bijective Functions
Author
CBSE
Reviewed by
Padhantu Academic Team

Spotted a mistake or something unclear?

Tell us and we will fix it.

Frequently asked questions

Why is divisibility of |x−y| by a prime always an equivalence relation?

Because it is equivalent to congruence modulo p (x≡y(modp)x\equiv y \pmod p), and congruence relations are always reflexive, symmetric, and transitive, since divisibility by p is preserved under negation and addition of multiples of p.

What must be checked in addition to cross-multiplication when proving a rational function is onto?

After solving y=f(x)y=f(x) for x in terms of y, you must confirm the resulting x is not equal to any value excluded from the domain — here, x≠3/5x\ne 3/5 — otherwise the function would not truly map onto the stated codomain.