Lesson

A function is one-to-one when *every element of the range of a function corresponds to exactly one element of the domain*. That may not make much sense on first reading, so we will try to get to the concept underpinning the definition.

Consider the function $f\left(x\right)=2x+3$`f`(`x`)=2`x`+3 with the restricted domain given as $\left\{-3,0,3,5\right\}${−3,0,3,5}. The four function values that make up the range become $f\left(-3\right)=-3$`f`(−3)=−3, $f\left(0\right)=3$`f`(0)=3, $f\left(3\right)=9$`f`(3)=9 and $f\left(5\right)=13$`f`(5)=13.

Thus each element of the domain $\left\{-3,0,3,5\right\}${−3,0,3,5} is mapped, *one-to-one*, onto the four elements of the range $\left\{-3,3,9,13\right\}${−3,3,9,13}. The four different elements of the domain are mapped to four different elements of the range.

Now consider the function $f\left(x\right)=x^2+3$`f`(`x`)=`x`2+3 with the same restricted domain $\left\{-3,0,3,5\right\}${−3,0,3,5}. The new function values make up the range given as $\left\{12,3,12,28\right\}${12,3,12,28}.

With this new function note that the two elements $-3$−3 and $3$3 are mapped to the *same* element $12$12 in the range. This new function is thus *not* one-to-one. In fact we call such a function many-to-one.

If we again take the function $f\left(x\right)=2x+3$`f`(`x`)=2`x`+3 but this time consider the domain as the natural domain - that is, the complete set of real numbers.

We can be assured that the function is still one-to-one by simply thinking about the graph of $y=2x+3$`y`=2`x`+3. It is in a constant state of rising and therefore the real values of x are being mapped to distinct real function values.

We can also be assured that the function $f\left(x\right)=x^2+3$`f`(`x`)=`x`2+3, with a natural domain of real numbers, is not one-to-one because the graph falls to a minimum turning point of $\left(0,3\right)$(0,3) and then begins rising again. Thus there are, for all points other than that minimum turning point, two real values in the domain being mapped to each real element in the range.

One-to-one functions - horizontal line test

A simple test for one-to-one functions is to imagine a ruler, placed horizontally across the graph of any function. If, at any horizontal position, the ruler 'passes over' two or more points on the curve or line, then the function cannot be one-to-one.

The first three functions, $G1$`G`1 given by $f\left(x\right)=x^2$`f`(`x`)=`x`2, $G2$`G`2 given by $f(x)=\left|x\right|$`f`(`x`)=|`x`| and the semicircle $G3$`G`3 given by $f\left(x\right)=\sqrt{4-x^2}$`f`(`x`)=√4−`x`2 are not one-to-one because an imaginary ruler can be placed horizontally onto all three graphs in such a way as to cut them more than once. The graph $G4$`G`4 however, representing the cube root of $x$`x` is a one-to-one function.

Is the following a graph of a one-to-one function?

Loading Graph...

Yes

ANo

BYes

ANo

B

Is the following a graph of a one-to-one function?

Loading Graph...

Yes

ANo

BYes

ANo

B

Is the function $f\left(x\right)=-\sqrt{49-x^2}$`f`(`x`)=−√49−`x`2 one-to-one?

Yes

ANo

BYes

ANo

B