1

RELATIONS AND FUNCTIONS

RELATIONS AND FUNCTIONS

1.1

BASIC CONCEPTS AND IMPORTANT RESULTS

(a)
Relation from A to B
If A, B are two (non-empty) sets, then any subset of A B is called a relation from A to B.
If R is a relation from A to B, then
domain of R = {x : x A, (x, y) R for some y B} and
range of R = {y : y B, (x, y) R for some x A}.
If R is a relation from A to B, then B is called codomain of R.
If A and B are finite sets containing m and n elements respectively, then the number of relations from
A to B = 2mn.
(b)
(i)

Relation on a set A
If A is a (non-empty) set, then any subset of A A is called a relation on A.

(ii)

If A is a finite set containing m elements, then number of relations on A = 2m .

1.2

Types of relations on A
Let R be a relation on a (non-empty) set A, then R is called a
(i)
reflexive relation iff a R a i.e. (a, a) R for all a A.
(ii)
symmetric relation iff a R b, implies b R a i.e. (a, b) R implies (b, a) R for all a, b A.
(iii)
transitive relation iff a R b, b R c implies a R c i.e. (a, b) R, (b, c) R implies (a, c) R for all
a, b, c A.
(iv)
equivalence relation iff it is
(i) reflexive
(ii) symmetric, and
(iii) transitive.
(v)
Let R be an equivalence relation on A. if a A, then the equivalence class of a is denoted by [a] and
[a] = {x : x A, x R a}.
(vi)
As f A A, f is the empty relation on A.
(vii)
As A A A A, A A is the universal relation on A.
(viii)
The relation IA = {(a, a); for a A} is the identity relation on A.

1.3

Function
If X, Y be two (non-empty) sets, then a subset f of X Y, written as f : X Y, is called a function (or mapping
or map) from X to Y iff
(i)
for each x X, there exists y Y such that (x, y) f and
(ii)
no two different ordered pairs of f have the same first component.
In other words, a function from X to Y is a rule (or correspondence) which asociates to each element x of X,
a unique element of Y.
The unique element y Y is called the image of the element x of X under the function f. It is denoted by f(x)
i.e. y = f(x). The element y is also called the value of the function f at x.
Let f be a function from X to Y then X is the domain of the function and range of f = {f(x) : for all x X}
If f is a function from X to Y, then Y is called codomain of f.

1.4

Types of functions
1. One-one function. A function f from X to Y is called one-one (or injective) iff different elements of X have
different images in Y i.e. iff x1 X2 f (x1) f(x2) for all x1, x2 X, or equivalently, f(x1) = f(x2) x1 = x2
for all x1, x2 X.
2. Many-one function. A function f from X to Y is called many-one iff two or more elements of X have
same image in Y. In other words, a function f from X to Y is called many-one iff it is not one-one.
3. Onto function. A function f from X to Y is called onto (or surjective) iff each element of Y is the image
of atleast one element of X i.e. iff codomain of f = range of f i.e. iff Y = f(X).
4. Into function. A function f from X to Y is called into iff there exists atleast one element in Y which is not
theimage of any element of X i.e. iff range of f is a proper subset of codomain of f. In other words, a
function f from X to Y is called into iff it is not onto.
5. One-one correspondnece. A function f from X to Y is called a one-one correspondence (or bijective)
iff f is both one-one and onto.

www.thinkiit.in

RELATIONS AND FUNCTIONS

Since we weill often be proving that certain functions are one-one or onto or both, so we outlines the techniques
to be used :
(i) To prove that f is one-one, we must show that either f(x1 ) = f(x2 ) x1 = x2 for all x1 , x2 X or
for all x1 x2 X f(x1) f(x2).
(ii) To prove that f is onto, we must show that either for every y Y, there exists atleast one element
xX
such that y = f(x) or f(X) = Y.
If A and B are non-empty) finite sets containing m and n elements respectively, then
(a)
the number of functions from A to B = nm.
(b)
the number of one-one functions from A to B

(c)

" P if n m
= m'
0, if n < m.
the number of onto functions from A to B
n

( -1)n - r nCr r m , if m n
=
r =1
0, if m < n.

If
If
(d)

1.5

1.6

1.7

n = 2 and m 2, then the number of onto functions from A to B = 2m 2.

n = 3 and m 3, then the number of onto function from A to B
= 3m 3 (2m 1).
the number of one onto functions i.e. bijections from A to B

! m, if m = n
=
0, if m n.
6.
Identity function. Let X be any (non-empty) set, then the function f : X X defined by
f(x) = x for x X is called the identity function on X. It is denoted by i or Ix.
7.
Constant function. Let X, Y be two (non-empty) sets, then the function f : X Y defined by
f(x) = y for x X and for a fixed y Y is called a constant function.
8.
Equal functions
Two function f and g are called equal, written as f = g, iff
(i)
domain of f = domain of g and
(ii)
f(x) = g(x) for al x in domain of f (or g).
Otherwise, the functions are called unequal and we write as f g.
9.
Zero function
Let R be the set of all real numbers, then the function f0 : R R defined by f 0 (x) = 0 for all x R is
called the zero function on R.
Composition of real function
Let f, g be two real functions and let D = {x : x Df, f(x) Dg} f, then the composite of f and g, denoted by
gof, is the function defined by
(gof) (x) = g (f(x)) with domain D.
In particular, if Rf Dg, then Dgof = Df.
Some properties of composition of functions
1.
The composition of functiosn is associative i.e. if
f : A B, g : B C, h : C D are functions, then ho (gof) = (hog) of
2.
Let f : A B, g : B C be two functions.
(i)
If f, g are both one-one, then gof is also one-one.
(ii)
If f, g are both onto, then gof is also onto.
3.
If f : A B is a function and IA, IB are identity functions on A, B respectively, then
(i)
IB of = f
(ii)
of IA = f.
Invertible functions
Let f : X Y be one-one onto function and if f(x) = y where x X, y Y, then f1 : Y X
defined by f1(y) = x is called an inverse function of f.
Clearly, we have
(i)
domain of f1 = range of f.

www.thinkiit.in

RELATIONS AND FUNCTIONS

(ii)
range of f1 = domain of f.
(iii)
f1 (y) = x iff f(x) = y where x X, y Y.
From above it follows that if the function f : X Y is one-one onto, then we can define a function g : Y X
by g(y) = x if and only if y = f(x).
We note that the composite function gof, fog exist and gof = IX, fog = IY. Thus :
A function f : X Y is called invertible if there exists function g : Y X such that gof = IX and fog = IY.
The function g is called inverse of f and is denoted by f1.
In particulr, if f : X X is a function and fof = Ix, then f is invertible and f 1 = f.

1.8

Some properties of invertible functions

1.
Inverse of a bijective function is unique.
2.
The inverse of a bijective function f is also bijective and (f 1)1 = f.
3.
If f : A B is bijective, then
(i)
f1 of = IA
(ii)
fof1 = IB.
4.
If f : A B and g : B C are both bijectives, then
gof : A C is also bijective and (gof)1 = f1 og1.
5.
Let A be a non-empty set and f : A A, g : A A be two functions such that gof = IA = fog, then f and
g are both bijectives and g = f1.

1.9

Binary operations
A binary opertion (or composition) * on a (non-empty) set A is a function * : A A A.
We denote * (a, b) by a * b for every ordered pair (a, b) A A.
In other words, a binary operation (or composition) on a (non-empty set) A is a rule that associates with every
ordered pair of elements a, b (distinct or equal) of A, some unique element a * b of A.

1.10

Types of operations
Let * be a binary operation of a (non-empty) set A, then
(i)
the operation is called commutative or abelian if and only if a * b = b * a for all a, b A.
(ii)
the operation is called associative if and only if (a * b) * c = a * (b * c) for all a, b, c A.
(iii)
an element e A, if it exists, is called identity element of the operation if and only if e * a = a = a *
e for all a A.
(iv)
If e A is identity element of the operation, then an element a A s called invertible (or inversible)
if and only if there exists an element b A such that a * b = e = b * a. Element b is called inverse of
a and is denoted by a1.
Identity element, if it exists, is unique.
Inverse of an element, if it exists, is unique.
Operation table
Let A be a finite non-empty set and * be an operation on A, then the operation (or composition) table
is a square array indicating all possible products.
Entry in the ith row and jth column = (ith entry on the left) * (jth entry at the top).
2
If A is (non-empty) finite set containing n elements, then the number of binary operations on A = nn

www.thinkiit.in

RELATIONS AND FUNCTIONS

SOLVED PROBLESM
Q.1

Show that the relation R in the set A of points in a plane given by 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) is the circle passing through P with
origin as centre.

Sol.

Let O be the origin.

R = {(P, Q) : | OP | = | OQ |, where O is the origin }
Since

| OP | = | OP |,

therefore, (P, P) R " P A.

\

R is reflexive.

Also

(P, Q) R

| OP | = | OQ |

| OQ | = | OP |

(Q, P) R

R is symmetric.

Next let (P, Q) R and (Q, T) R

| OP | = | OQ |

and

| OQ | = | OT |

| OP | = | OT |

(P, T) R

R is transitive.

Hence R is an equivalence relation.

Set of points related to P O
= {Q A : (Q, P) R}
= {Q A : | OQ | = | OP |}
= {Q A : Q lies on a circle through
P with centre O}.
Q.2

Show that the relation R defined in the set A of all triangles as R = {(T1, T2) : T1 is similar to T2}, is
equivalence relation. Consider three right angle triangles T1 with sides 3, 4, 5, T2 with sides 5, 12, 13
and T3 with sides 6, 8, 10. Which triangles among T1, T2 and T3 are related ?

Sol.

Here,

(T1, T2) R iff T1 is similar to T2.

As every triangle is similar to itself, therefore,

(T, T) R " T A

R is reflexive.

Again

(T1, T2) R

T1 is similar to T2

T2 is similar to T1

(T2, T1) R

R is symmetric.

Next,

let (T1, T2) R and also (T2, T3) R

T1 is similar to T2 and T2 is similar to T3

T1 is similar to T3

(T1, T3) R.

www.thinkiit.in

RELATIONS AND FUNCTIONS

\

R is transitive.

Hence, R is an equivalence relation.

As

6
8
10
=
=
, Therefore, the triangles T1 and T3 are similar, i.e. T1 is related to T3 and T3 is related to T1,
3
4
5

i.e., (T1, T3) R.

Q.3

Show that the relation R defined in the set A of all polygons as R = {(P1, P2) : P1 and P2 have same
number of sides}, is an equivalence relation. What is the set of all elements in A related to the right
angle triangle T with sides 3, 4 and 5 ?

Sol.

Since P and P have the same number of sides, therefore, (P, P) R " P A.
\

R is reflexive.

Let

(P1, P2) R

P1 and P2 have the same number of sides

P2 and P1 have the same number of sides

(P2, P1) R

R is symmetric.

Let

(P1, P2) R and (P2, P3) R.

P1 and P2 have the same number of sides and also, P2, P3 have the same number of sides

P1 and P3 have the same number of sides

(P1, P3) R

R is transitive.

Hence R is an equivalence relation.

Here T is a triangle, therefore, P A is related to T iff P and T have the same number of sides, i.e. (P, T)
R iff P and T have equal number of sides
or

(P, T) R iff P is a triangle.

Required set of all elements which are related to T is the set of all triangles in A.
Q.4

Let f : N N be defined by
n + 1
2 , if n is odd
f(n) = n
for all n N.

, if n is even
2

State whether the function f is bijective, Justify your answer.

Sol.

n +1
, if n is odd

Given f(n) = 2n

, if n is even
2

We note that
1+ 1
=1
2
2
=1
f(2) =
2

f(1) =

and

f(3) =

3 +1
=2
2

f(4) =

4
=2
2

www.thinkiit.in

RELATIONS AND FUNCTIONS

In general f(2m 1) =

( 2m - 1) + 1
=m
2

2m
= m f (2 m 1) = f(2 m)
2
where m is any +ve integer.

and

f(2m) =

f is not one-one.

However, f is onto as Rf = N.
(Q For any n N, there is 2 n N
such that f(2 n) =

2n
= n)
2

So, f is onto but not one-one. Hence, f is not a bijection.

Q.5

Sol.

x -2
. Is f oneLet A = R {3} and B = R {1}. Consider the function f : A B defined by f(x) =
x -3
one and onto ? Justify your answer.
Let x1, x2 A = R {3} be such that
f(x1) = f(x2)
x1 - 2
x2 - 2
x1 - 3 = x 2 - 3

(x1 2) (x2 3) = (x2 2) (x1 3)

x1 x2 2 x2 3 x1 + 6
= x1 x2 2 x1 3 x2 + 6

x2 = x1

f is one-one.

Let

y B = R {1}, then f(x) = y

x-2
= y, x 3
x-3

if
i.e.,

if

x 2 = yx 3 y

i.e.,

if

x xy = 2 3 y

i.e.,

if

x(1 y) = 2 3 y

2 - 3y
A
1- y

2 - 3 y 3 - 3y - 1
Note that
=
1- y
1- y

i.e.,

if

x=

1
3(1 - y )
1
= 3 3
1- y
1- y
1- y

Thus, corresponding to each y B, there exists

2 -3y
2-3y
= y..
A such that f
1- y
1- y

Hence, f is onto.
Q.6

Let : R R be defined as f(x) = x4. Choose the correct answer.

(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.

Sol.

(D)
Given f(x) = x4

www.thinkiit.in

RELATIONS AND FUNCTIONS

therefore,

f( x) = ( x) = x = f(x)

f( x) = f(x) " x R

f is not one-one.

Also, x4 0 " x R, therefore, Rf = [0, ) R.

Hence, f is not onto.
Thus, f is neither one-one nor onto.
So, (D) is the correct alternative.
Q.7

Find gof and fog, if

(i)

f(x) = | x | and g(x) = | 5x 2 |

(ii)

f(x) = 8x3 and g(x) = x 3

Sol.

Here, f(x) = | x |, g(x) = | 5x 2 |

\

Df = Dg = R and Rf = Rg = [0, ).

To find gof :
As

Rf Dg, therefore,

(Q [0, ) R)

gof is defined and Dgof = Df = R.

Also. for all x Dgof = R,
(gof) (x) = g(f(x)) = g(| x |) = | 5 | x | 2|
To find fog :
As Rg Df, therefore,
fog is defined and Dfog = Dg = R.
(Q [0, ) R)
Also, for all x Dfog = R, (fog) (x) = f(g (x))
= f (| 5 x 2 |) = | 5x - 2 |
= | 5x 2 |
Note that (fog) (x) = g(x), " x R

fog = g.

(ii) Here, f(x) = 8 x3, g (x) = x1/3

Df = Dg = R

and

Rf = Rg = R.

To find gof :
As

Rf = Dg, therefore, gof is defined

and

Dgof = Df = R.

Also, for all x R. (gof) (x) = g (f(x))

= g (8 x3) = (8 x3)1/3 = (23 x3)1/3 = 2 x.
To find fog :
As

Rg = Df, therefore, fog is defined

and

Dfog = Dg = R.

Also, for all x R. (fog) (x) = f(g (x))

= f(x1/3) = 8 (x1/3)3 = 8 x.
Q.8
Sol.

(4x + 3)
2
2
, x , show that fof(x) = x, for all x . What is the inverse of f ?
(6x - 4)
3
3
4x + 3
2
Here, f(x) =
,x
6x - 4
3

If f(x) =

www.thinkiit.in

RELATIONS AND FUNCTIONS

\

2
Df = R .
3

4x + 3
6x - 4
6xy 4 y = 4x + 3

x(6 y 4) = 4y + 3

To find Rf, let

y= f(x) =

4y + 3
....(1)
6y - 4
But x R, therefore, 6y 4 0 y 2/3.

\
Since

x=

2
Rf = R 3 .

Rf = Df, therefore, fof is meaningful

and
Also,

Dfof = Df
for all x

4f ( x ) + 3
=
=
6f ( x ) - 4

2
, (fof) (x) = f(f(x))
3

4x + 3
4
+3
6x - 4
4x + 3
6
-4
6x - 4

16 x + 12 + 18 x - 12
= x.
24 x + 18 - 24 x + 16
As
(fof) (x) = x = I (x)

.....(2)

2
where I is the identity mapping of R .
3
1
therefore, f = f.

Q.9

Consider f : R+ [4, ) given by f(x) = x2 + 4. Show that f is invertible with the inverse f 1
of f given by f1(y) =

Sol.

y - 4 , where R+ is the set of all non-negative real numbers.

Let x1, x2 Df = R+ = [0, ) be such that

f(x1) = f(x2)

x12 + 4 = x 22 + 4

x12 = x 22

| x1 | = | x2 |

x1 = x2 (Q both x1, x2 0)

f is one-one.

Let

y Rf, then y = f(x), x Df = R+

y = x2 + 4

x=

(Q x 0)

y-4

As x is real, therefore, y 4 0

y4

Rf = co-domain f is onto.

Rf = [4, ).

Also, corresponding to every y Rf there exists

y - 4 Df such that f

\ f is both one-one and onto and hence invertible.

To find f 1 : let

y = f(x)

y = x2 + 4

www.thinkiit.in

y - 4 = y..

RELATIONS AND FUNCTIONS

x2 = y 4

x=

f1(y) =

y-4

or

f1(x) =

x-4

y - 4 (Q x 0)

for all x Df 1 = Rf = [4, ).

Q.10

Consider f : R+ [5, ) given by

f(x) = 9x2 + 6x 5.
Show that f is invertible with

f1(y) =

Sol.

Given

( y + 6 ) - 1 .

Df = R+ = [0, )

Let x1, x2 Df be such that

f(x1) = (x2)

9 x12 + 6x1 5 = 9 x 22 + 6x 2 5

9 x12 - x 22 + 6(x1 x2) = 0

9(x1 x2) (x1 + x2) + 6 (x1 x2) = 0

(x1 x2) {9 (x1 + x2) + 6} = 0

x1 x2 = 0

x1 = x2

(Q x1, x2 0, \ 9(x1 + x2) + 6 0 as x1, x2 0)

\

f is one-one.

Let y Rf, then y = f(x), x Df

y = 9 x2 + 6x 5, x Df

9 x2 + 5x (5 + y) = 0

x=

- 6 36 + 36 (5 + y)
18
- 6 36 1 + 5 + y
=
18
-6 6 6+y
-1 y + 6
=
=
18
3

As x 0, therefore, x =
\
Also,

- 1- y + 6
is not possible.
3

- 1+ y + 6
......(1)
3
- 1+ y + 6
0
x0
3

x=

y+6 1

Rf = [5, ) = co-domain

f is onto.

y5

Thus, f is both one-one onto and hence invertible.

To find f1. Let

x=

y = f(x)

y = 9x + 6x 5
2

- 1+ y + 6
- 1+ y + 6
f1 (y) =
3
3

www.thinkiit.in

10

RELATIONS AND FUNCTIONS

or

f1 (x) =

- 1+ x + 6
,
3

x Df -1 = Rf = [ 5, ).

Q.11

Let f : X Y be an invertible function. Show that f has unique inverse.

Sol.

Supppose that g1 and g2 are two inverses of f, then for all y Y,

(fog1) (y) = f(g1 (y)) = y = IY (y)
and

(fog2) (y) = f(g2 (y)) = y = IY (y)

(fog1) (y) = (fog2) (y) for all y Y

f(g1 (y)) = f(g2 (y)) for all y Y

g1 (y) = g2 (y)

(Q f is one-one)

g1 = g2

inverse of f is unique.

Q.12

Consider f : [1, 2, 3] [a, b, c] given by f(1) = a, f(2) = b and f(3) = c. Find f1 and show that (f1) 1 = f.

Sol.

Given

f(1) = a, f(2) = b, f(3) = c,

i.e.,

f = {(1, a), (2, b), (3, c)}.

Rf = co-domain and also f is 1 1

f is invertible and 1 = f1 (a),

2 = f1 (b), 3 = f1 (c)

f1 = {a, b, c} {1, 2, 3} is both

one-one and onto.

(f1)1 exists

and

(f1)1 = {(1, a), (2, b), (3, c)}

(Q f1 = {(a, 1), (b, 2), (c, 3)})

(f1)1 = f.

Q.13

Let f : X Y be in invertible function. Show that the inverse of f1 is f, i.e., (f1) 1 = f.

Sol.

f : X Y is invertible

f is one-one and onto and f1 : Y X is defined as f 1 (y) = (x)

iff

y = f(x) " x X, y Y..

Let

y1, y2 Y be such that

f1 (y1) = f1 (y2)

f(f1 (y1)) = f(f1 (y2)) = (fof1) (y1)

= (fof1) (y2)

IY (y1) = IY (y2)

y1 = y2

f1 is one-one.

Also for each x X, there exists y = f(x) Y such that

f1 (y) = x

(Q y = f(x))

Thus, f is both one-one and onto and hence invertible.

1

let

g = (f1)1

then

gof1 = IY and f 1 og = IX

For all x X, IX (x) = x

(f1 og) (x) = x

www.thinkiit.in

11

Q.14

RELATIONS AND FUNCTIONS

f (g (x)) = x

f {f1 (g (x))} = f(x)

(fof1) (g (x)) = f(x)

g(x) = f(x)

g=f

(f1)1 = f.

(Q fof1 = IY)

Let f : W W be defined as f(n) = n 1, if n is odd and f(n) = n + 1, if n is even. Show that f is

invertible. Find the inverse of f. Here, W is the set of all whole numbers.

Sol.

Let m, n be any two distinct elements of W. We shall show that f(m) f(n).
Case (i).When both m and n are even, then
f(m) = m + 1, f(n) = n + 1
mn

and

m+1n+1

f(m) f(n).

Case (ii).When both m and n are odd, then

f(m) = m 1, f(n) = n 1
and

mn

f(m) f(n).

m1n1

Case (iii). When m is odd and n is even, then f(m) = m 1 is even and f(n) = n + 1 is odd so that f(m) f(n)
in this case also. Similarly, if m is even and n is odd,
f(m) f(n).
So, in all cases m n f(m) f(n).
Hence f is a one-one function.
Further, we show that f is onto.
If n W is any element, then
f(n 1) = n if n is odd

(Q n 1 is even)

and f(n + 1) = n if n is even (Q n + 1 is odd)

So, every element of W is the f-image of some element in W. Hence f is onto.
Thus f is both one-one and onto, i.e., f is a one-one correspondence.
Consequently, f is invertible. We have seen above that f(n 1) = n if n is odd

Q.15

and

f(n + 1) = n if n is even

n 1 = f1 (n) if n is odd

Show that the function f : R {x R : 1 < x < 1} defined by f(x) =

x
, x R is one one and onto
1+ | x |

function.

Sol.

x
, if x 0

x
Given f(x) =
= 1 +x x
.
1+ | x |
, if x < 0
1 - x
Clearly, Df = R as 1 + | x | 0 " x R.

T.P. f is 1 1 : Let x1, x2 Df = R such

that x1 x2. For cases arise :
Case I. If x1 0 and x2 < 0,
then

x1
f(x1) = 1 + x 0
1

and

x2
f(x2) = 1 + x < 0
2

www.thinkiit.in

12

RELATIONS AND FUNCTIONS

f(x1) f(x2)

Case II. If x1 < 0 and x2 0,

then as in case I,
f(x1) < 0 and f(x2) 0

f(x1) f(x2).

Case III. If x1 0 and x2 0,

then

x1 x2

1 + x1 1 + x2
1
1
-1
-1
1+ x 1+ x

1 + x1 1 + x 2
1
2
x1
x2
1
1
1 1+ x 1 1+ x 1+ x 1+ x
1
2
1
2

f(x1) f(x2).
Q.16

Given a non empty set X, consider P(X) which is the set of all subsets of X.
Define the relation R in P(X) as follows :
For subsets A, B in P(X), ARB if and only if A B. Is R an equivalence relation on P(X) ? Justify your
answer.

Sol.

Since A A " A P (X), therefore, R is reflexive.

Also, for A, B, C P (X), A R B and B R C

A B and B C

A CARC

R is transitive.

However, R is not symmetric as A B need not imply B A.

So, A R B does not imply BRA.
Hence R is not an equivalence relation.
Q.17

Given a non-empty set X, consider the binary operation * : P(X) P(X) P(X) given by
A * B = A B " A, B in P(X), where P(X) is the power set of X. Show that X is the identity element for
this operation and X is the only invertible element in P(X) with respect to the operation *.

Sol.

Let E P (X) be an identity element, then

A * E = E * A = A for all A P (X)

A E = E A = A for all A P (X)

X E = X as X P (X)

XE

Also

E X as E P (X)

E=X

Thus, X is the identity element.

let A P (X) be invertible, then there exists B P (X) such that A * B = B * A = X, then identity element.

A B =B A=X

X A and also X B

Also,

A, B X as A, B P (X)

A=X=B

X is the only invertible element and

X1 = B = X.

www.thinkiit.in

13

RELATIONS AND FUNCTIONS

Q.18

Find the number of all onto functions from the set {1, 2, 3, ...., n) to itself.

Sol.

Let

A = {1, 2, 3, .........., n}.

If

f : A A is an onto function, then range of f = A.

f is one-one.

(Q If f is not one-one then range of f will be

a proper subset of A)
Thus, f is both one-one and onto
i.e., f is a one-one correspondence. Number of such functions is the same as the number of arrangements
of numbers taken all at a time,
i.e., nPn = n! . Hence n! functions from A to A are onto
Q.19

Consider the binary operations * : R R R and o : R R R defined as a * b = |a b| and a o b =

a, " a, b R. Show that * is commutative but not associative, o is associative but not commuativie.
Further, show that " a, b c R, a * (b o c) = (a * b) o (a * b). Does o distribute over *? Justify your
answer.

Sol.

For all a, b R, a * b = | a b |
= | (b a) | = | b a | = b * a

a*b=b*a

* is commutative.

Also, for all a, b, c R,

(a * b) * c = | a b | * c = || a b | c |
and

a * (b * c) = a * | b c | = || a | b c ||

(a * b) * c a * (b * c)

(Q || a b | c | |a | b c|| in general, as an example || 3 5 | 7 | = 5 but | 3 | 5 7 || = 1)

\

* is not associative.

Again aob = a and boa = b

aob boa

o is not commutative.

However, for all a, b, c R,

(aob) oc = aoc = a
and

ao (boc) = aob = a

(aob) oc = ao (boc)

o is associative.

Further, we find that for all a, b, c R,

a * (boc) = a * b = | a b |
and

(a * b) o (a * c) = | a b | o | a c |
=|ab|

a * (boc) = (a * b) o (a * c)

Again, ao (b * c) = ao | b c | = a
and

(aob) * (aoc) = a * a = | a a | = 0

ao (b * c) (aob) * (aoc)
(Q a 0 in general)

o is not distributive over *.

www.thinkiit.in

14
Q.20

RELATIONS AND FUNCTIONS

Given a non-empty set X, let * : P(X) P(X) P(X) be defined as A * B = (A B) (B A),
" A, B P(X). Show that the empty set f is the identity for the operation * and all the elements A of
P(X) are invertible with A1 = A.

Sol.

Let E be an identity element, then

A * E = E * A = A for all A P (X)

(A E) (E A) = A for all A P (X)

Taking A = f, we get
(f E) (E f) = f

fE=f

E=f

Observe that A * f = f * A = (A f) (f A)
= A for all A P (X).
So, f is the identity element.
Let A P (X) be invertible, then there is B P (X) such that A * B = B * A = f.

(A B) (B A) = f

A B = f and also B A = f

A B and B A

A=B

Thus for all A P (X), A * A = f.

A is invertible and A1 = A.

www.thinkiit.in

15

RELATIONS AND FUNCTIONS

UNSOLVED PROBLEMS
EXERCISE I
Q.1

In the set N of all natural numbers, let a relation R be defined by

R = {(x, y) : x N, y N, x y is divisible by 5}
prove that R is an equivalence relation.

Q.2

Let m be a given positive integer. Prove that the relation, congruence modulo m on the set z of all integers
defined by a b (mod m) (a b) is divisible by m is an equivalence relation.

Q.3

Prove that the relation R in the set of integers Z defined by

xRy xy = yx " x, y Z is an equivalence relation.

Q.4

Let N be the set of all natural numbers and R be the relation on N N defined by
(i)

(a, b) R (c, d) ad = bc

(ii)

(a, b) R (c, d) ad (b + c) = bc (a + d)
prove that R. is an equivalence relation in each case.

Q.5

Q.6

If f : X Y and A, B X, then prove that

(i)

f(A B) = f(A) f(B)

(i)

f(A B) f(A) f(B)

If f : X Y and A, B Y, then prove that

(i)

f1 (A B) = f1 (A) f1 (B)

(ii)

f1 (A B) = f1 (A) f1 (B)

(iii)

f1 (A B) = f1 (A) f1 (B)

Q.7

Prove that only one-one onto function has inverse function.

Q.8

Prove that the product of any function with the identity function is the function itself.

Q.9

Prove that the product of any invertible function f with its inverse f1 is an identity function.

Q.10

Prove that composite of functions is associative.

Q.11

Let f : A B and g : B A such that gof is an identity function on A and fog is an identity function on B. Then,
g = f1

Q.12

Let f : A B and g : B C be one-one onto functions. Then gof is also one-one onto and (gof)1 = f1og1

Q.13

Let f : N N be defined by
n + 1, if n is odd
f(x) = n - 1, if n is even

show that f is a bijection.

Q.14

Show that the function

f : R {3} R {1} given by
f(x) =

x-2
is a bijection.
x-3

www.thinkiit.in

16
Q.15
Q.16

RELATIONS AND FUNCTIONS

(i)

If f : A B and g : B C are one-one functions. Show that gof is a one-one function.

(ii)

If f : A B and g : B C are onto functions. Show that gof is an onto function.

Prove that the composition of two bijections is a bijection i.e. if f and g are two bijections, then gof is also a
bijections.
10 x - 10 - x

Q.17

If f : R (1, 1) defined by f(x) =

Q.18

Let S = N N and * be an operation on S defined by (a, b) * (c, d) = (ac, bd) for all a, b, c, d N. Determine

10 x + 10 - x

is invertible find f1.

whether * is a binary operation on S. If yes, check the commutativity and associativity.

Q.19

Q.20

Let Q be the set of all rational numbers, define an operation on * Q {1} by a * b = a + b + ab. show that
(i)

* is a binary operation on Q {1}

(ii)

* is commutative

(iii)

* is associative

(iv)

zero is the identity element in Q {1} for *

(v)

-a
. where a Q {1}
a1 =
1+ a

Let S = R0 R, where Ro denote the set of all non-zero real numbers. A binary operation * is defined on s
as follows.
(a, b) * (c, d) = (ac, bc + d) for all (a, b) (c, d) R0 R
(i)

Find the identity element in S.

(ii)

Find the invertible element in S.

www.thinkiit.in

17

RELATIONS AND FUNCTIONS

BOARD PROBLES
EXERCISE II
Q1.

Show that the relation R defined by R = {(a, b) : a b is divisible by 3; a, b N is an equivalence relation.

(C.B.S.E. 2008)

Q2.

Let T be the set of all triangles in a plane with R as a relation in T given by

R = {(T1, T2) : T1 @ T2}. Show that R is an equivalence relation.

Q3.

(C.B.S.E. 2008)

Show that the relation R defined by (a, b) R(c, d) a + d = b + c on the set N N is an equivalence relation.
(C.B.S.E. 2008)

Q4.

(i) Is the binary operation *, defined on the set N, given by a * b =

(ii) Is the above binary operation * associative ?

a+b
for all a, b Q, commutative ?
2
(C.B.S.E. 2008)

Q5.

Let * be a binary operation defined by a * b = 3a + 4b 2. Find 4 * 5.

Q6.

If f(x) is an invertible function, find the inverse of f(x) =

Q7.

Let * be a binary operation defined by a * b = 2a + b 3. Find 3 * 4.

(C.B.S.E. 2008)

Q8.

If f(x) = x + 7 and g(x) = x 7, find (fog) (7).

(C.B.S.E. 2008)

n + 1
2 , if n is odd
Let f : N N be defined by f(n) = n
for all n N
, if n is even
2
Find whether the function f is bijective.

(C.B.S.E. 2009)

Q9.

Q10.

3x - 2
.
5

(C.B.S.E. 2008)
(C.B.S.E. 2008)

Let * be a binary operation on N given by a * b = HCF (a, b), a, b N. Write the value of 22 * 4.
(C.B.S.E. 2009)

Q11.

Show that the relation S defined on the set N N by

(a, b) S (c, d) a + d = b + c is an equivalence relation.

(C.B.S.E. 2010)

Q12.

If f : R R be defined by f(x) = (3 x ) , then find fof(x).

(C.B.S.E. 2010)

Q13.

a + b,
A binary operation * on the set {0, 1, 2, 3, 4, 5} is defined as : a * b =
a + b - 6,

3 1/3

if a + b < 6
if a + b 6

Show that zero is the identity for this operation and each element a of the set is invertible with 6 a, being
the inverse of a.
(C.B.S.E. 2011)

Q14.

Let f : R R be defined as f(x) = 10x + 7. Find the function g : R R such that gof = fog = IR. (C.B.S.E. 2011)

Q15.

x + 1, if x is odd
Show that f : N N, given by f(x) =
is both one - one and onto : (C.B.S.E. 2012)
x - 1, if x is even

OR
Consider the binary operations * : R R R and o : R R R defined as a * b = | a b | and aob = a for all
a, b R. Show that * is commutative but not associative, o is associative but not commutative
Q.16

Consider f : R+ [4, ] given by f(x) = x2 + 4. Show that f is invertible with the inverse f 1 of
f given by f1(y) =

y - 4 , where R+ is the set of all non-negative real numbers.

[CBSE 2013]

www.thinkiit.in

18

RELATIONS AND FUNCTIONS

ANSWER KEY
EXERICISE 1 (UNSOLVED PROBLEMS)
17.

1+ x
1
log10 1 - x

1 -b

20. (i) (1, 0) (ii) a , a

EXERICISE 2 (BOARD PROBLEMS)

4. (i) yes (ii) yes 5. 30
10.

12.

14.

g(x) =

6. f (x) =

5x + 2
3

7.

8. 7

x-7
10

www.thinkiit.in

9. not bijective