
Relations-and-Functions
RELATIONS AND FUNCTIONS
Top Concepts in Relations

Let R be a relation from A to B. Then the ‘domain of and the ‘range of
Co-domain is either set B or any of its superset or subset containing range of R.
A relation R in a set A is called an empty relation if no element of A is related to any element of A, i.e.,
A relation R in a set A is called a universal relation if each element of A is related to every element of A, i.e., R = A × A.

The subsets St are called equivalence classes.
Top Concepts in Functions
A function from a non-empty set A to another non-empty set B is a correspondence or a rule which associates every element of A to a unique element of B written as f : A → B such that f(x) = y for all x ∈ A, y ∈ B.
All functions are relations, but the converse is not true.
A curve in a plane represents the graph of a real function if and only if no vertical line intersects it more than once.



Let f : A → B and g : B → C be two functions. The composition of f and g, denoted by g o f, is defined as the function g o f: A → C and is given by g o f(x): A → C defined by g o f(x) = g(f(x)) ∀ x∈ A.


Binary Operations
Given a binary operation * from A × A → A with the identity element e in A, an element a e A is said to be invertible with respect to the operation *, if there exists an element b in A such that a * b = e = b * a and b is called the inverse of a and is denoted by a-1.
The operation * is commutative.
Addition ’+’ and multiplication ‘-‘ on N, the set of natural numbers, are binary operations. However, subtraction ‘—’ and division are not, because (4, 5) = 4 – 5 = -1 ∈ N and 4/5 = .8 ∈ N.
Important Questions
Multiple Choice questions-
R = {(1, 2), (2, 2), (1, 1), (4, 4), (1, 3), (3, 3), (3, 2)}.
Then:
(a) R is reflexive and symmetric but not transitive
(b) R is reflexive and transitive but not symmetric
(c) R is symmetric and transitive but not reflexive
(d) R is an equivalence relation.
2. Let R be the relation in the set N given by: R = {(a, b): a = b – 2, b > 6}. Then:
(a) (2, 4) ∈ R
(b) (3, 8) ∈ R
(c) (6, 8) ∈ R
(d) (8, 7) ∈ R.
3. Let A = {1, 2, 3}. Then number of relations containing {1, 2} and {1, 3}, which are reflexive and symmetric but not transitive is:
(a) 1
(b) 2
(c) 3
(d) 4.
4. Let A = (1, 2, 3). Then the number of equivalence relations containing (1, 2) is
(a) 1
(b) 2
(c) 3
(d) 4.
5. Let f: R → R be defined as f(x) = x4. Then
(a) f is one-one onto
(b) f is many-one onto
(c) f is one-one but not onto
(d) f is neither one-one nor onto.
6. Let f: R → R be defined as f(x) = 3x. Then
(a) f is one-one onto
(b) f is many-one onto
(c) f is one-one but not onto
(d) f is neither one-one nor onto.
7. If f: R → R be given by f(x) = (3 – x³)1/3, then fof (x) is
(a) x1/3
(b) x³
(c) x
(d) 3 – x³.
8. Let f: R – {- 43} → R be a function defined as: f(x) = 4x3x + 4, x ≠ – 43. The inverse of f is map g: Range f → R -{– 43} given by
(a) g(y) = 3y3− 4y
(b) g(y) = 4y4 − 3y
(c) g(y) = 4y3 − 4y
(d) g(y) = 3y4 − 3y
9. Let R be a relation on the set N of natural numbers defined by nRm if n divides m. Then R is
(a) Reflexive and symmetric
(b) Transitive and symmetric
(c) Equivalence
(d) Reflexive, transitive but not symmetric.
10. Set A has 3 elements, and the set B has 4 elements. Then the number of injective mappings that can be defined from A to B is:
(a) 144
(b) 12
(c) 24
(d) 64
Very Short Questions:
f {1, 2, 3} → {1, 2, 3} must be onto. (N.C.E.R.T.)
Short Questions:
R = {(a, b): a is sister of b} is an empty relation and the relation R’ given by :
R’ = {(a, b) : the difference between heights of a and b is less than 3 metres} is an universal relation. (N.C.E.R.T.)
R = {(a,b):f(a) = f(b)}.
Examine, if R is an equivalence relation. (N.C.E.R.T.)
R = {(a, b): 2 divides a – b}.
Show that the relation R is transitive. Write the equivalence class [0]. (C.B.S.E. Sample Paper 2019-20)
f : N → N
given by f(1) = f(2) = 1 and f(x) = x -1, for every x > 2 is onto but not one-one. (N.C.E.R.T.)
f : R → R and g : R → R are given by f (x) = cos x and g (x) = 3x2. Show that gof ≠ fog. (N. C.E.R. T.)
and g : R → R be the Greatest Integer Function given by g (x) = [x], where [x] is greatest integer less than or equal to x. Then does fog and gof coincide in (0,1]?
Long Questions:
Show that R = {(a, b) : a, b ∈ A; |a – b| is divisible by 4} is an equivalence relation. Find the set of all elements related to 1. Also write the equivalence class [2]. (C.B.S.E 2018)
Assertion and Reason Questions-
1. Two statements are given-one labelled Assertion (A) and the other labelled Reason (R). Select the correct answer to these questions from the codes(a), (b), (c) and (d) as given below.
Assertion(A): Let L be the set of all lines in a plane and R be the relation in L defined as R = {(L1, L2): L1 is perpendicular to L2}.R is not equivalence realtion.
Reason (R): R is symmetric but neither reflexive nor transitive
2. Two statements are given-one labelled Assertion (A) and the other labelled Reason (R). Select the correct answer to these questions from the codes(a), (b), (c) and (d) as given below.
Assertion (A): = {(T1, T2): T1 is congruent to T2}. Then R is an equivalence relation.
Reason(R): Any relation R is an equivalence relation, if it is reflexive, symmetric and transitive.