The Inverse Problem
The concept of an inverse function will play a key role in this book in defining roots, logarithms, and inverse trigonometric
functions. To motivate this concept, we begin with some simple examples.
Suppose

is the function defined by

. Given a value of

, we can find the value of

by using the formula defining

. For example, taking

, we see that

equals

.
In the inverse problem, we are given the value of

and asked to find the value of

. The following example illustrates the idea of the inverse problem:
Suppose  is the function defined by
| (a) |
Find  such that  .
|
| (b) |
Find  such that  .
|
| (c) |
For each number  , find a number  such that  .
|
|
|
|
|
For each number

, part (c) of the example above asks for the number

such that

. That number

is called

(pronounced “

inverse of

”). The example above shows that if

, then

and

and, more generally,

for every number

.
 |
|
Inverse functions will be defined more precisely after we work through some examples.
|
|
If you are given a temperature on the Fahrenheit scale and asked to convert it to Celsius, then you are facing the problem
of finding the inverse of the function above, as shown in the following example.
| (a) |
Convert  degrees Fahrenheit to the Celsius scale.
 |
The Fahrenheit temperature scale was invented in the century by the German physicist and engineer Daniel Gabriel Fahrenheit.
|
|
|
| (b) |
For each temperature  on the Fahrenheit scale, what is the corresponding temperature on the Celsius scale?
SOLUTION
Let
Thus  degrees Celsius corresponds to  degrees Fahrenheit.
 |
The Celsius temperature scale is named in honor of the century Swedish astronomer Anders Celsius, who originally proposed a temperature scale with as the boiling point of water and as the freezing point. Later this was reversed, giving us the familiar scale in which higher numbers correspond to hotter
temperatures.
|
|
Thus  degrees Celsius corresponds to  degrees Fahrenheit.
|
|
|
|
|
In the example above we have

. For each number

, part (b) of the example above asks for the number

such that

. We call that number

. Part (a) of the example above shows that

; part (b) shows more generally that
In this example, the function

converts from Celsius to Fahrenheit, and the function

goes in the other direction, converting from Fahrenheit to Celsius.
One-to-one Functions
To see the difficulties that can arise with inverse problems, consider the function

, with domain the set of real numbers, defined by the formula
Suppose we are told that

is a number such that

, and we are asked to find the value of

. Of course

, but also

. Thus with the information given we have no way to determine a unique value of

such that

. Hence in this case an inverse function does not exist.
The difficulty with the lack of a unique solution to an inverse problem can often be fixed by changing the domain. For example,
consider the function

, with domain the set of positive numbers, defined by the formula
Note that

is defined by the same formula as

in the previous paragraph, but these two functions are not the same because they have different domains. Now if we are told
that

is a number in the domain of

such that

and we are asked to find

, we can assert that

. More generally, given any positive number

, we can ask for the number

in the domain of

such that

. This number

, which depends on

, is denoted

, and is given by the formula
We saw earlier that the function

defined by

(and with domain equal to the set of real numbers) does not have an inverse because, in particular, the equation

has more than one solution. A function is called
one-to-one if this situation does not arise.
A function  is called one-to-one if for each number  in the range of  there is exactly one number  in the domain of  such that  .
 |
|
Functions that are one-to-one are precisely the functions that have inverses.
|
|
|
|
|
For example, the function

, with domain the set of real numbers, defined by

is not one-to-one because there are two distinct numbers

in the domain of

such that

(we could have used any positive number instead of

to show that

is not one-to-one). In contrast, the function

, with domain the set of positive numbers, defined by

is one-to-one.
The Definition of an Inverse Function
We are now ready to give the formal definition of an inverse function.
Suppose  is a one-to-one function.
Short version:
|
|
|
If

is a one-to-one function, then for each

in the range of

we have a uniquely defined number

. Thus

is itself a function.
 |
|
The inverse function is not defined for a function that is not one-to-one.
|
|
Think of

as undoing whatever

does. This list gives some examples of a function

and its inverse

.
The first entry in the list above shows that if

is the function that adds

to a number, then

is the function that subtracts

from a number.
The second entry in the list above shows that if

is the function that multiplies a number by

, then

is the function that divides a number by

.
Similarly, the third entry in the list above shows that if

is the function that squares a number, then

is the function that takes the square root of a number (here the domain of

is assumed to be the nonnegative numbers, so that we have a one-to-one function).
Finally, the fourth entry in the list above shows that if

is the function that takes the square root of a number, then

is the function that squares a number (here the domain of

is assumed to be the nonnegative numbers, because the square root of a negative number is not defined as a real number).
In Section
1.1 we saw that a function

can be thought of as a machine that takes an input

and produces an output

. Similarly, we can think of

as a machine that takes an input

and produces an output

.
 |
Thought of as a machine, reverses the action of  |
|
The procedure for finding a formula for an inverse function can be described as follows:
| Finding a formula for an inverse function |
|
Suppose  is a one-to-one function. To find a formula for  , solve the equation  for  in terms of  .
|
|
|
Suppose
for every  . Find a formula for  .
SOLUTION
To find a formula for  , we need to solve the equation
for  in terms of  . This can be done be multiplying both sides of the equation above by  , getting
which can then be rewritten as
which can then be solved for  , getting
Thus
for every  .
 |
The equation has no solution (try to solve it to see why), and thus is not defined.
|
|
|
|
|
|
The Domain and Range of an Inverse Function
The domain and range of a one-to-one function are nicely related to the domain and range of its inverse. To understand this
relationship, consider a one-to-one function

. Note that

is defined precisely when

is in the range of

. Thus the domain of

equals the range of

.
Similarly, because

reverses the action of

, a moment's thought shows that the range of

equals the domain of

. We can summarize the relationship between the domains and ranges of functions and their inverses as follows:
| Domain and range of an inverse function |
|
If  is a one-to-one function, then
|
|
|
Suppose the domain of  is the interval  , with  defined on this domain by the equation  .
| (a) |
What is the range of  ?
|
| (b) |
Find a formula for the inverse function  .
|
| (c) |
What is the domain of the inverse function  ?
|
| (d) |
What is the range of the inverse function  ?
|
|
|
|
|
The Composition of a Function and Its Inverse
The following example will help motivate our next result.
Suppose  is the function whose domain is the set of real numbers, with  defined by  .
| (a) |
Find a formula for  .
|
| (b) |
Find a formula for  .
SOLUTION
As we saw in Example 3,  . Thus we have the following:
|
|
|
|
|
Similar equations hold for the composition of any one-to-one function and its inverse:
| The composition of a function and its inverse |
|
Suppose  is a one-to-one function. Then
|
|
|
To see why these results hold, first suppose

is a number in the range of

. Let

. Then

. Thus
as claimed above.
To verify the second conclusion in the box above, suppose

is a number in the domain of

. Let

. Then

. Thus
as claimed.
Recall that

is the identity function defined by

(where we have left the domain vague), or we could equally well define

by the equation

. The results in the box above could be expressed by the equations
Here the

in the first equation above has domain equal to the range of

(which equals the domain of

), and the

in the second equation above has the same domain as

. The equations above explain why the terminology “inverse” is used for the inverse function:

is the inverse of

under composition in the sense that the composition of

and

in either order gives the identity function.
The figure below illustrates the equation

, thinking of

and

as machines.
 |
Here we start with as input and end with as output. Thus this figure illustrates the equation .
|
|
|
|
We start with  as the input. The first machine produces output  , which then becomes the input for the second machine. When  is input into the second machine, the output is  because the second machine, which is based on  , reverses the action of  .
|
Suppose you need to compute the inverse of a function

. As discussed earlier, to find a formula for

you need to solve the equation

for

in terms of

. Once you have obtained a formula for

, a good way to check your result is to verify one or both of the equations in the box above.
Suppose
which is the formula for converting the Celsius temperature scale to the Fahrenheit scale. We computed earlier that the inverse
to this function is given by the formula
Check that this formula is correct by verifying that  for every real number  .
SOLUTION
To check that we have the right formula for  , we compute as follows:
 |
To be doubly safe that we are not making an algebraic manipulation error, we could also verify that for every real number . However, one check is usually good enough.
|
|
Thus  , which means that our formula for  is correct. If our computation of  had simplified to anything other than  , we would know that we had made a mistake in computing  .
|
|
|
|
Comments About Notation
The notation

leads naturally to the notation

. Recall, however, that in defining a function the variable is simply a placeholder. Thus we could use other letters, including

, as the variable for the inverse function. For example, consider the function

, with domain equal to the set of positive numbers, defined by the equation
As we know, the inverse function is given by the formula
However, the inverse function could also be characterized by the formula
Other letters could also be used as the placeholder. For example, we might also characterize the inverse function by the formula
The notation

for the inverse of a function (which means the inverse under composition) should not be confused with the multiplicative
inverse

. In other words,

. However, if the exponent

is placed anywhere other than immediately after a function symbol, then it should probably be interpreted as a multiplicative
inverse.
When dealing with real-world problems, you may want to choose the notation to reflect the context. The next example illustrates
this idea, with the use of the variable

to denote distance and

to denote time.
Suppose you ran a marathon (26.2 miles) in exactly 4 hours. Let  be the function with domain  such that  is the number of minutes since the start of the race at which you reached distance  miles from the starting line.
| (a) |
What is the range of  ?
|
| (b) |
What is the domain of the inverse function  ?
|
| (c) |
What is the meaning of  for a number  in the domain of  ?
|
|
Video Clip - Section 1.5, Example 9: Domain of an Inverse Function |
|
|