Class 12 Maths Notes: Relations and Functions (Chapter 1)
Master Chapter 1 of Class 12 Mathematics. Easy explanation of Types of Relations, Equivalence Relations, Functions, and exam PYQs.
1. Introduction to Relations and Functions
Relations and Functions are the foundational building blocks of calculus and advanced algebra. Before you can differentiate, integrate, or work with limits โ you need to understand what a function truly is and how sets relate to each other.
A relation maps elements from one set to another. A function takes that concept further โ it enforces a strict rule: every input must map to exactly one output.
2. Types of Relations
A relation R in a set A is defined by specific properties. All three are tested heavily in board exams, usually as "prove that R is an equivalence relation" questions.
- Reflexive: Every element is related to itself. For all a โ A, (a, a) โ R.
Example: "is equal to" โ every number equals itself. - Symmetric: If (a, b) โ R, then (b, a) โ R.
Example: "is a sibling of" โ if A is B's sibling, B is A's sibling. - Transitive: If (a, b) โ R and (b, c) โ R, then (a, c) โ R.
Example: "is less than" โ if a < b and b < c, then a < c.
3. Equivalence Relation
A relation that satisfies all three โ Reflexive, Symmetric, and Transitive โ is called an Equivalence Relation. This is the most common 5-mark proof question in board exams.
Standard example: The relation R = {(a, b) : a and b have the same remainder when divided by n} is an equivalence relation on Z.
4. Types of Functions
- One-One (Injective): If f(xโ) = f(xโ) โ xโ = xโ. No two different inputs give the same output. Every element in the domain has a distinct image in the co-domain.
- Onto (Surjective): For every y โ Y (co-domain), there exists some x โ X (domain) such that f(x) = y. In other words, the Range = Co-domain. Nothing in the co-domain is left unmapped.
- Bijective: A function that is simultaneously One-One and Onto. Only bijective functions have a well-defined inverse function fโปยน.
Proof Structure: Proving a Function is One-One
Step 1: Assume f(xโ) = f(xโ) for some xโ, xโ in the domain.
Step 2: Algebraically simplify both sides of the equation.
Step 3: Arrive at xโ = xโ. This proves the function is injective (One-One).
Example: f(x) = 3x โ 4. Assume f(xโ) = f(xโ) โ 3xโ โ 4 = 3xโ โ 4 โ xโ = xโ. โ One-One.
5. Composition of Functions
If f : A โ B and g : B โ C, then the composite function (g โ f) : A โ C is defined as:
(g โ f)(x) = g(f(x))
Important: f โ g and g โ f are generally not equal. The order matters.
6. Inverse of a Function
A function f : X โ Y has an inverse fโปยน : Y โ X if and only if f is bijective.
To find fโปยน(x): Write y = f(x), then express x in terms of y. That expression gives you fโปยน(y).
Example: f(x) = 3x โ 4. Let y = 3x โ 4 โ x = (y + 4)/3. So fโปยน(x) = (x + 4)/3.
โ ๏ธ Watch Out! โ Domain vs. Co-domain Trap
A function's "onto" status depends entirely on its declared co-domain. The function f(x) = xยฒ is onto if it maps โ โ [0, โ), but not onto if declared as f : โ โ โ, because negative numbers in โ are never a square of any real input.
Always check the domain and co-domain carefully before deciding if a function is onto.
Summary: Key Rules at a Glance
| Concept | Key Rule |
|---|---|
| Equivalence Relation | Reflexive + Symmetric + Transitive โ all three must hold |
| One-One (Injective) | f(xโ) = f(xโ) โน xโ = xโ |
| Onto (Surjective) | Range = Co-domain |
| Bijective | One-One AND Onto โ inverse exists |
| Composite Function | (g โ f)(x) = g(f(x)) |
| Inverse Function | Exists if and only if f is Bijective |
Practice Questions (PYQs)
- Show that the relation R in โ defined as R = {(a, b) : a โค bยฒ} is neither reflexive, symmetric, nor transitive.
- Check whether f : โ โ โ defined by f(x) = 3 โ 4x is one-one, onto, or bijective.
- Let A = {1, 2, 3}. Give an example of a relation on A which is symmetric but neither reflexive nor transitive.
- If f(x) = (4x + 3)/(6x โ 4), show that f(f(x)) = x for all x โ 2/3. What does this tell you about the function?
- Prove that the relation R in the set of integers Z defined by R = {(a, b) : 2 divides (a โ b)} is an equivalence relation.