MATHS RELATIONS AND FUNCTIONS

Relations and Functions

Top Concepts
1.

A relation R between two non-empty sets A and B is a subset of their Cartesian product A B.
If A = B, then relation R on A is a subset of A A.

2.

The total number of relations from a set consisting of m elements to a set consisting of n elements is

2mn .
3.

If (a, b) belongs to R, then a is related to b, and written as a R b. If (a, b) does not belong to R, then a
R b.

4.

Let R be a relation from A to B.

Then the domain of R A and the range of R B co-domain is either set B or any of its superset or
subset containing range of R.

5.

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.
R = A A.

6.

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.

7.

A relation R in a set A is called

a.

Reflexive, if (a, a) R for every a A.

b.

Symmetric, if (a1, a2) R implies that (a2, a1) R for all a1, a2 A.

c.

Transitive, if (a1, a2) R and (a2, a3) R implies that (a1, a3) R or all a1, a2, a3 A.

8.

A relation R in a set A is said to be an equivalence relation if R is reflexive, symmetric and transitive.

9.

The empty relation R on a non-empty set X (i.e. a R b is never true) is not an equivalence relation,
because although it is vacuously symmetric and transitive, it is not reflexive (except when X is also
empty).

10. Given an arbitrary equivalence relation R in a set X, R divides X into mutually disjoint subsets
Si called partitions or subdivisions of X provided

All elements of Si are related to each other for all i.

No element of Si is related to S j if i j.

S j = X and Si S j = if i j.

i 1

The subsets S j are called equivalence classes.

www.topperlearning.com

MATHS RELATIONS AND FUNCTIONS

Top Concepts in Relations
1. If R and S are two equivalence relations on a set A, R S is also an equivalence relation A.
2. The union of two equivalence relations on a set is not necessarily an equivalence relation on the set.
3. The inverse of an equivalence relation is an equivalence relation.

Top Concepts in Functions

1.

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.

2. If f: A B is a function, then set A is the domain, set B is the co-domain and set {f(x):x A } is the
range of f. The range is a subset of the co-domain.
3. A function can also be regarded as a machine which gives a unique output in set B corresponding to
each input from set A.
4. While describing real functions using mathematical formula, x (the input) is the independent variable
and y (the output) is the dependent variable.
5. If A and B are two sets having m and n elements, respectively, then the total number of functions from
A to B is nm .
6. A function f: A B is called a real-valued function if B is a subset of R.
7. If A and B both are subsets of R, then 'f' is called a real function.
8. The graph of a real function f consists of points whose
co-ordinates x, y satisfy y=f x , for all x Domain f .
9. Vertical line test: A curve in a plane represents the graph of a real function if and only if no vertical line
intersects it more than once.
10. f: A B is one-to-one if for all x, y A , f(x) = f(y) x = y or x y f(x) f(y)
A one-one function is known as an injection or injective function.
Otherwise, f is called many-one.
11. f: A B is an onto function , if for each b B, there is at leastone
a A such that f(a) = b, i.e. if every element in B is the image of some element in A, then f is an onto
function.
12. A function which is both one-one and onto is called a bijective function or a bijection.
www.topperlearning.com

MATHS RELATIONS AND FUNCTIONS

13. For an onto function, range = co-domain.
14. A one-one function defined from a finite set to itself is always onto, but if the set is infinite, then it is
not the case.
15. Let A and B be two finite sets and f : A B be a function.
(i) If f is an injection, then n A n B .
(ii) If f is a surjection, then n A n B .
(iii) If f is a bijection, then n A n B .
16. If A and B are two non-empty finite sets containing m and n elements, respectively, then
(i) Number of functions from A to B = nm

n C m!, if n m

(ii) Number of one-one functions from A to B m

0, if n<m

n
n r
1
(iii) Number of onto functions from A to B = r 1

Crrm , if m n
0, if m<n

n!, if m=n
(iv) Number of one-one and onto functions from A to B =
0, if m n
17. If a function f : A B is not an onto function, then f : A f A is always an onto function.
18. Let f : A B and g : B C be two functions. Then the composition of f and g, denoted by gof, is
defined as the function gof: A C and is given by
g of(x): A C defined by gof(x) = g(f(x)) x A

Composition of f and g is written as gof and not fog.

g of is defined if the range of f domain of f, and fog is defined if the range of g domain of f.

www.topperlearning.com

MATHS RELATIONS AND FUNCTIONS

19. Composition of functions is not commutative in general, fog(x) gof(x).
Composition is associative. If f: X Y, g: Y Z and h: Z S are functions, then ho(g o f) = (h o g)of.
20. The composition of two bijections is a bijection.
21. If f : A B is a bijection, then g : B A is inverse of f, if

f x y g y x
Or g o f = IA and f o g = IB
24. Let f : A B and g:B A be two functions.
(i) If g o f = IA and f is an injection, then g is a surjection.
(ii) If f o g = IB and f is a surjection, then g is an injection.
22. Let f : A B and g:B C be two functions. Then
(i) g o f : A C is onto g:B C is onto
(ii) g o f : A C is one-one f:A B is one-one
(iii) g o f : A C is onto and g:B C is one-one f:A B is onto
(iv) g o f : A C is one-one and f:A B is onto g:B C is one-one
23. A function f: X Y is defined to be invertible if there exists a function
g : Y X such that gof = IX and fog = IY. The function g is called the inverse of f and is denoted by f1.

24. If f is invertible, then f must be one-one and onto, and conversely, if f is one-one and onto, then f must
be invertible.
25. If f:A B and g: B C are one-one and onto, then gof: A C is also one-one and onto. But if g o f is
one-one, then only f is one-one and g may or may not be one-one. If g o f is onto, then g is onto and f
may or may not be onto.
26. Let f: X Y and g: Y Z be two invertible functions. Then gof is also
invertible with (gof)1 = f1og1.

27. If f: R R is invertible,
f(x) = y, then f 1 (y) = x and (f1)1 is the function f itself.

www.topperlearning.com

MATHS RELATIONS AND FUNCTIONS

Binary Operations
1.

A binary operation * on a set A is a function from A A to A.

2.

If '*' is a binary operation on a set S, then S is closed with respect to '*'

3.

Addition, subtraction and multiplication are binary operations on R, the set of real
numbers. Division is not binary on R; however, division is a binary operation on R {0},
the set of non-zero real numbers.

4.

A binary operation on the set X is called commutative, if a b = b a, for every a, b X.

5.

A binary operation on the set X is called associative, if a (b*c) = (a*b)*c, for every a, b, c X.

6.

An element e A is called an identity of A with respect to * if for each a A, a * e = a = e * a.

The identity element of (A, *), if it exists, is unique.

7.

Given a binary operation from A A A with the identity element e in A, an element a 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, then b is called the inverse of a and is denoted by a1.

8.

If the operation table is symmetric about the diagonal line, then the operation is commutative.

The operation * is commutative.

9.

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.

10. Let S be a finite set consisting of n elements. Then S S has n2 elements.

11. The total number of functions from a finite set A to a finite set B is n B

n A

. Therefore, the total

number of binary operations on S is nn .

nn 1

12. The total number of commutative binary operations on a set consisting of n elements is n

www.topperlearning.com