# Function | Domain , Co-domain , Range of the function

In this topic we would be dealing with one of the most fundamental concept in Mathematics, namely the notion of function.
Roughly speaking, term function is used to define the dependence of one physical quantity on another

e.g. volume ‘ V ‘ of a sphere of radius ‘ r ‘ is given by

$\large V = \frac{4}{3}\pi r^3$

This dependence of ‘ V ‘ on ‘ r ‘ would be denoted as V = f(r) and we would simply say that ‘ V ‘ is a function of ‘ r ‘.
Here ‘ f ‘ is purely a symbol (for that matter any other letter could have been used in place of ‘ f ‘ ) , and it is simply used to represent the dependence of one quantity on the other.

### Definition of Function:

Function can be easily defined with the help of the concept of mapping. Let X and Y be any two non-empty sets.
” A function from X to Y is a rule or correspondence that assigns to each element of set X , one and only one element of set Y “.

Let the correspondence be ‘ f ‘ then mathematically we write f : X → Y where y = f(x) , x ∈ X and y ∈ Y. We say that ‘ y ‘ is the image of ‘ x ‘ under ‘ f ‘ (or x is the pre image of y).

Two things should always be kept in mind:

⋄ A mapping f: X → Y Domain , Co-domain , Range Y is said to be a function if each element in the set X has it’s image in set Y.

It is possible that a few elements in the set Y are present which are not the images of any element in set X.

⋄ Every element in set X should have one and only one image. That means it is impossible to have more than one image for a specific element in set X.

Functions can’t be multi-valued (A mapping that is multi-valued is called a relation from X to Y)    Let us consider some other examples to make the above mentioned concepts clear.

cube of any two distinct real numbers are distinct). Hence it would represent a function.

(i) Let f : R+ → R where y2 = x. This can’t be considered a function as each x ∈ R+ would have two images namely ±√x. Thus it would be a relation.

(ii) Let f : [ −2 , 2 ] −> R , where x2 + y2 = 4 . Here y = ±√(4-x2), that means for every x ∈ [-2, 2] we would have two values of y (except when x = ± 2). Hence it does not represent a function.

(iii) Let f: R → R where y = x3. Here for each x ∈ R we would have a unique value of y in the set R

Distinction between a relation and a function can be easily made by drawing the graph of y = f(x).  These figures show the graph of two arbitrary curves. In fig.(a) any line drawn parallel to y-axis would meet the curve at only one point. That means each element of X would have one and only one image. Thus fig (a) would represent the graph of a function.

In fig.(b) certain line (e.g. line L) would meet the curve in more than one points (A, B and C). Thus element xo of X would have three distinct images. Thus this curve will not represent a function.

Hence if y = f (x) represents a function, lines drawn parallel to y-axis through different points corresponding to points of set X should meet the curve in one and only one point.

### Domain, Co-domain & Range of the function

Let f : X → Y be a function. In general sets X and Y could be any arbitrary non-empty sets. But at this level we would confine our-self only to real valued functions.

That means it would be invariably assumed that X and Y are the subsets of real numbers.

Set ‘ X ‘ is called domain of the function ‘ f ‘ .

Set ‘ Y ‘ is called the co-domain of the function ‘ f ‘.

Set of images of different elements of set X is called the range of the function ‘ f ‘.

It is obvious that range could be a subset of co-domain as we may have few elements in co-domain which are not the images of any element of the set X (of course these elements of co-domain will not be included in the range).
Range is also called domain of variation.

Domain of function ‘ f ‘ is normally represented as Domain (f). Range is represented as Range (f).

Note that sometimes domain of the function is not explicitly defined.

In these cases domain would mean the set of values of ‘ x ‘ for which f (x) assumes real values.
e.g. if y = f (x) then Domain (f) = {x: f (x) is a real number}.

Example : Find the domain of the following functions:

(i) $\large f(x) = \sqrt{1-2x} + 3 sin^{-1} \frac{3 x-1}{2}$

(ii) $\large f(x) = \sqrt{4^x + 8^{2(x-2)/3}-13 – 2^{2(x-1)}}$

(iii) $\large f(x) = \sqrt{\frac{x-2}{x+2}} + \sqrt{\frac{1-x}{1+x}}$

(iv) $\large f(x) = \sqrt{sinx} + \sqrt{16 – x^2}$

(v) $\large y = log_{(x-4)} (x^2 -11x + 24)$

(vi) $\large f(x) = \sqrt{log_3 (cos(sinx))}$

Solution:  (i) $\large 1-2x \ge 0 \; and -1 \le \frac{3x-1}{2} \le 1$

$\large Domain = [-\frac{1}{3} , \frac{1}{2}]$

(ii) $\large 4^x + 8^{2(x-2)/3} – 13 -2^{2(x-1)} \ge 0$

$\large 4^x + \frac{4^x}{16} -\frac{4^x}{4} \ge 13$

$\large 4^x \ge 4^2$

x ∈ [2 , ∞)

(iii)  $\large \frac{x-2}{x+2} \ge 0$ and , $\large \frac{1-x}{1 +x } \ge 0$

$\large \frac{x-2}{x+2} \ge 0$ ⇒ $\large x \ge 2 \; or x < -2$

Also , $\large \frac{1-x}{1 +x } \ge 0$ ⇒ -1 < x  ≤ 1

Hence, the given function has empty domain.

(iv) sinx ≥ 0 and 16 – x2  ≥ 0

2nπ  ≤ x ≤ (2n+1)π  and -4 ≤ x ≤ 4

Domain is [-4, -π]∪ [0, π]

(v) $\large y = log_{(x-4)} (x^2 -11x + 24)$

Here ‘y’ would assume real value if,

x – 4 > 0 and ≠ 1 , x2-11x + 24 > 0

⇒  x > 4 and ≠ 5, (x-3)(x-8) > 0

⇒ x > 4 and ≠ 5, x < 3 or x > 8 ⇒ x > 8

⇒ Domain (y) = (8,  ∞)

(vi) $\large f(x) = \sqrt{log_3 (cos(sinx))}$

Here ‘y’ would assume real value if,

$\large log_3 (cos(sinx)) \ge 0$  ⇒  cos(sinx) ≥ 1

⇒ cos(sinx) = 1 as -1 ≤ cosθ ≤ 1 ⇒ sinx =0 ⇒ x = n π, n∈I

Hence domain consists of the multiples of π

i.e. Domain (y) = { nπ : n ∈ I}.

### How to find the Range:

There is no specific method to find the range of a given function.

In general range of a function y = f(x) can be easily obtained by expressing x as function of y, say x = g(y), then the set of values of y for which x belongs to the domain of the function is the desired range.

In many cases range can be obtained directly from the graph of the function.

Example : Find the range of following functions:

(i) $\displaystyle f(x) = \frac{x-[x]}{1 + x -[x]}$

Where [ ] represents the greatest integer function

(ii) $\displaystyle f(x) = \frac{1}{8 – 3 sinx}$

(iii) $\displaystyle f(x) = \frac{e^x – e^{-x}}{e^x + e^{-x}}$ ; x ≥ 0

Solution: $\displaystyle y = \frac{x-[x]}{1 + x -[x]} = \frac{\{x\}}{1+\{x\}}$

$\large \frac{1}{y} = \frac{1}{\{x\}} + 1$

$\large \frac{1}{\{x\}} = \frac{1}{y} – 1$

$\large \frac{1}{\{x\}} = \frac{1-y}{y}$

$\large \{x\} = \frac{y}{1-y}$

$\large 0 \le \{x\} \le 1$

∴  Range = [0, 1/2)

(ii) $\displaystyle f(x) = \frac{1}{8 – 3 sinx}$

-1 ≤  sinx ≤ 1

∴  Range  of f = [1/11,  1/5]

(iii) $\displaystyle f(x) = \frac{e^x – e^{-x}}{e^x + e^{-x}}$ ; x ≥ 0

Here domain is explicitly stated so we have to consider only those values of x which are non-negative.

$\displaystyle y = \frac{e^x – e^{-x}}{e^x + e^{-x}}$

$\displaystyle y = \frac{e^{2x} – 1}{e^{2x} + 1}$

$\displaystyle y = \frac{e^{2x} + 1 – 2}{e^{2x} + 1}$

$\displaystyle y = 1- \frac{2}{e^{2x} + 1}$

$\displaystyle 1 \le e^{2x} < \infty \; \forall x \in [0 , \infty )$

$\displaystyle 2 \le 1+ e^{2x} < \infty$

$\displaystyle 0 < \frac{1}{1+ e^{2x}} \le \frac{1}{2}$

$\displaystyle 0 < \frac{2}{1+ e^{2x}} \le 1$

$\displaystyle 0 \le 1- \frac{2}{1+ e^{2x}} < 1$

⇒ Range (y) = [0,1)