5.1 Inverse Functions
In Section 1.2, we defined functions as processes. In this section, we seek to reverse, or `undo’ those processes. As in real life, we will find that some processes (like putting on socks and shoes) are reversible while some (like baking a cake) are not.
Consider the function . Starting with a real number input , we apply two steps in the following sequence: first we multiply the input by and, second, we add to the result.
To reverse this process, we seek a function which will undo each of these steps and take the output from , , and return the input . If we think of the two-step process of first putting on socks then putting on shoes, to reverse the process, we first take off the shoes and then we take off the socks. In much the same way, the function should undo each step of but in the opposite order. That is, the function should first subtract from the input then divide the result by . This leads us to the formula .
Let’s check to see if the function does the job. If , then . Taking the output 19 from , we substitute it into to get , which is our original input to . To check that does the job for all in the domain of , we take the generic output from , , and substitute that into . That is, we simplify , which is our original input to . If we carefully examine the arithmetic as we simplify , we actually see first `undoing’ the addition of , and then `undoing’ the multiplication by .
Not only does undo , but also undoes . That is, if we take the output from , , and substitute that into , we get . Using the language of function composition developed in Section 1.5.2, the statements and can be written as and , respectively.[1] Abstractly, we can visualize the relationship between and in the diagram below.
The main idea to get from the diagram is that takes the outputs from and returns them to their respective inputs, and conversely, takes outputs from and returns them to their respective inputs. We now have enough background to state the central definition of the section.
Definition 5.1
Suppose and are two functions such that
- for all in the domain of and
- for all in the domain of
then and are inverses of each other and the functions and are said to be invertible.
If we abstract one step further, we can express the sentiment in Definition 5.1 by saying that and are inverses if and only if and where is the identity function restricted[2] to the domain of and is the identity function restricted to the domain of .
In other words, for all in the domain of and for all in the domain of . Using this description of inverses along with the properties of function composition listed in Theorem 1.6, we can show that function inverses are unique.[3]
Suppose and are both inverses of a function . By Theorem 5.1, the domain of is equal to the domain of , because both are the range of . This means the identity function applies both to the domain of and the domain of Thus
as required.
We summarize the important properties of invertible functions in the following theorem. Apart from introducing notation, each of the results below are immediate consequences of the idea that inverse functions map the outputs from a function back to their corresponding inputs.
Theorem 5.1 Properties of Inverse Functions
Suppose is an invertible function.
- There is exactly one inverse function for , denoted (read `-inverse’)
- The range of is the domain of and the domain of is the range of
- if and only if
NOTE: In particular, for all in the range of , the solution to is - is on the graph of if and only if is on the graph of
NOTE: This means graph of is the reflection of the graph of across .[4] - is an invertible function and
The notation is an unfortunate choice because you’ve been programmed since Algebra I to think of this as . This is most definitely not the case, for instance, has as its inverse , which is certainly different than
Why does this confusing notation persist? As we mentioned in Section 1.5.2, the identity function is to function composition what the real number is to real number multiplication. The choice of notation alludes to the property that and , in much the same way as and .
Before we embark on an example, we demonstrate the pertinent parts of Theorem 5.1 to the inverse pair and . Suppose we wanted to solve . Going through the usual machinations, we obtain .
If we view this equation as , however, then we are looking for the input corresponding to the output . This is exactly the question was built to answer. In other words, the solution to is . In other words, the formula encodes all of the algebra required to `undo’ what the formula does to . More generally, any time you have ever solved an equation, you have really been working through an inverse problem.
We also note the graphs of and are easily seen to be reflections across the line , as seen below. In particular, note that the -intercept on the graph of corresponds to the -intercept on the graph of . Indeed, the point on the graph of can be interpreted as just as the point on the graph of can be interpreted as .
Example 5.1.1
Example 5.1.1.1
For each pair of functions and below:
and
- Verify each pair of functions and are inverses: (a) algebraically and (b) graphically.
- Use the fact and are inverses to solve and
Solution:
Solution for and .
-
- (a) To verify and are inverses, we appeal to Definition 5.1 and show and for all real numbers, .
As the root here, , is odd, Theorem 4.2 gives and .
(b) To show and are inverses graphically, we graph and on the same set of axes and check to see if they are reflections about the line .
The graph of appears below on the left courtesy of Theorem 4.1 in Section 4.1. The graph of appears below in the middle thanks to Theorem 2.2 in Section 2.2.
We can immediately see three pairs of corresponding points: and , and , and . When graphed on the same pair of axes, the two graphs certainly appear to be symmetric about the line , as required. - and are inverses, so the solution to is . To check, we find , as required.
Likewise, the solution to is . Once again, to check, we find .
- (a) To verify and are inverses, we appeal to Definition 5.1 and show and for all real numbers, .
Example 5.1.1.2
For each pair of functions and below:
and
- Verify each pair of functions and are inverses: (a) algebraically and (b) graphically.
- Use the fact and are inverses to solve and
Solution:
Solution for and .
- (a) Note the domain of excludes and the domain of excludes . Hence, when simplifying and , we tacitly assume and , respectively.
(b) We graph and using the techniques discussed in Sections 3.2 and 3.3.
We find the graph of has a vertical asymptote and a horizontal asymptote . Corresponding to the vertical asymptote on the graph of , we find the graph of has a horizontal asymptote
Likewise, the horizontal asymptote on the graph of corresponds to the vertical asymptote on the graph of . Both graphs share the intercept . When graphed together on the same set of axes, the graphs of and do appear to be symmetric about the line
- Don’t let the fact that and in this case were defined using the independent variable, `‘ instead of `‘ deter you in your efforts to solve . Remember that, ultimately, the function here is the process represented by the formula , and is the same process (with the same inverse!) regardless of the letter used as the independent variable. Hence, the solution to is . We get .
To check, we find . Similarly, we solve by finding . Sure enough, we find .
We now investigate under what circumstances a function is invertible. As a way to motivate the discussion, we consider . A likely candidate for the inverse is the function . However, , which is not equal to unless . For example, when , , but . That is, failed to return the input from its output . Instead, matches the output to a different input, namely , which satisfies . Schematically:
We see from the diagram that both and are , thus it is impossible to construct a function which takes back to both and . Recall that by definition, a function can match with only one number.
In general, in order for a function to be invertible, each output can come from only one input. By definition, a function matches up each input to only one output, thus invertible functions have the property that they match one input to one output and vice-versa. We formalize this concept below.
Definition 5.2
A function is said to be one-to-one if whenever , then
Note that an equivalent way to state Definition 5.2 is that a function is one-to-one if different inputs go to different outputs. That is, if , then
Before we solidify the connection between invertible functions and one-to-one functions, we take a moment to see what goes wrong graphically when trying to find the inverse of .
Per Theorem 5.1, the graph of , if it exists, is obtained from the graph of by reflecting about the line . Procedurally, this is accomplished by interchanging the and coordinates of each point on the graph of . Algebraically, we are swapping the variables `‘ and `‘ which results in the equation whose graph is below on the right.
We see immediately the graph of fails the Vertical Line Test, Theorem 1.2. In particular, the vertical line intersects the graph at two points, and meaning the relation described by matches the -value with two different -values, and .
Note that the vertical line and the points on the graph of correspond to the horizontal line and the points on the graph of which brings us right back to the concept of one-to-one. The fact that both and are on the graph of means . Hence, takes different inputs, and , to the same output, , so is not one-to-one.
Recall the Horizontal Line Test from Exercise57 in Section 1.2. Applying that result to the graph of we say the graph of `fails’ the Horizontal Line Test because the horizontal line intersects the graph of more than once. This means that the equation does not represent as a function of .
Said differently, the Horizontal Line Test detects when there is at least one -value () which is matched to more than one -value (). In other words, the Horizontal Line Test can be used to detect whether or not a function is one-to-one.
So, to review, is not invertible, not one-to-one, and its graph fails the Horizontal Line Test. It turns out that these three attributes: being invertible, one-to-one, and having a graph that passes the Horizontal Line Test are mathematically equivalent. That is to say if one if these things is true about a function, then they all are; it also means that, as in this case, if one of these things isn’t true about a function, then none of them are. We summarize this result in the following theorem.
Theorem 5.2 Equivalent Conditions for Invertibility
For a function , either all of the following statements are true or none of them are:
- is invertible.
- The graph of passes the Horizontal Line Test.[5]
To prove Theorem 5.2, we first suppose is invertible. Then there is a function so that for all in the domain of . If , then . As a result of , the equation reduces to . We’ve shown that if , then , proving is one-to-one.
Next, assume is one-to-one. Suppose a horizontal line intersects the graph of at the points and . This means and so . Because is one-to-one, means so the points and are actually one in the same. This establishes that each horizontal line can intersect the graph of at most once, so the graph of passes the Horizontal Line Test.
Last, but not least, suppose the graph of passes the Horizontal Line Test. Let be a real number in the range of . Then the horizontal line intersects the graph of just once, say at the point . Define the mapping so that . The mapping is a function because each horizontal line where is in the range of intersects the graph of only once. By construction, we have the domain of is the range of and that for all in the domain of , . We leave it to the reader to show that for all in the domain of , , too.
Hence, we’ve shown: first, if invertible, then is one-to-one; second, if is one-to-one, then the graph of passes the Horizontal Line Test; and third, if passes the Horizontal Line Test, then is invertible. Therefore if is satisfies any one of these three conditions, then must satisfy the other two.[6]
We put this result to work in the next example.
Example 5.1.2
Example 5.1.2.1
Determine if the following functions are one-to-one:
- analytically using Definition 5.2 and
- graphically using the Horizontal Line Test.
For the functions that are one-to-one, graph the inverse.
Solution:
Determine if is a one-to-one function.
- To determine whether or not is one-to-one analytically, we assume and work to see if we can deduce . As we work our way through the problem, we encounter a quadratic equation. We rewrite the equation so it equals and factor by grouping. We get as one possibility, but we also get the possibility that . This suggests that may not be one-to-one. Taking , we get or . We have two different inputs with the same output as and , proving is neither one-to-one nor invertible.
- We note that is a quadratic function and we graph using the techniques presented in Section 2.1. We see the graph fails the Horizontal Line Test quite often – in particular, crossing the line at the points and .
Example 5.1.2.2
Determine if the following functions are one-to-one:
- analytically using Definition 5.2 and
- graphically using the Horizontal Line Test.
For the functions that are one-to-one, graph the inverse.
Solution:
Determine if is a one-to-one function.
- We begin with the assumption that for , in the domain of (That is, we assume and .) Through our work, we deduce , proving is one-to-one.
- We graph using the procedure outlined in Section 3.3. We find the sole intercept is with asymptotes and . Based on our graph, the graph of appears to pass the Horizontal Line Test, verifying is one-to-one.
Because is one-to-one, is invertible. Even though we do not have a formula for , we can nevertheless sketch the graph of by reflecting the graph of across .
Corresponding to the vertical asymptote on the graph of , the graph of will have a horizontal asymptote . Similarly, the horizontal asymptote on the graph of corresponds to a vertical asymptote on the graph of . The point remains unchanged when we switch the and coordinates, so it is on both the graph of and .
Example 5.1.2.3
Determine if the following functions are one-to-one:
- analytically using Definition 5.2 and
- graphically using the Horizontal Line Test.
For the functions that are one-to-one, graph the inverse.
Solution:
Determine if is a one-to-one function.
- The function is given to us as a set of ordered pairs. Recall each ordered pair is of the form . As and are both elements of , this means and .
Hence, we have two distinct inputs, and with the same output, , thus is not one-to-one and, hence, not invertible. - To graph , we plot the points in below on the left. We see the horizontal line crosses the graph more than once. Hence, the graph of fails the Horizontal Line Test.
Example 5.1.2.4
Determine if the following functions are one-to-one:
- analytically using Definition 5.2 and
- graphically using the Horizontal Line Test.
For the functions that are one-to-one, graph the inverse.
Solution:
Determine if is a one-to-one function.
Like the function above, the function is described as a set of ordered pairs. Before we set about determining whether or not is one-to-one, we take a moment to show is, in fact, a function. That is, we must show that each real number input to is matched to only one output.
We are given . and we know that when represented in this way, each ordered pair is of the form (input, output). Hence, the inputs to are of the form and the outputs from are of the form . To establish is a function, we must show that each input produces only one output. If it should happen that , then we must show . The equation gives , or . From this it follows that so is a function.
- To show is one-to-one, we must show that if two outputs from are the same, the corresponding inputs must also be the same. That is, we must show that if , then . We see almost immediately that if then so as required. This shows is one-to-one and, hence, invertible.
- We graph below on the left by plotting points in the default -plane by choosing different values for . For instance, corresponds to the point , corresponds to the point , corresponds to the point , etc. Our graph appears to pass the Horizontal Line Test, confirming is one-to-one. We obtain the graph of below on the right by reflecting the graph of about the line
In Example 5.1.2, we showed the functions and are invertible and graphed their inverses. While graphs are perfectly fine representations of functions, we have seen where they aren’t the most accurate. Ideally, we would like to represent and in the same manner in which and are presented to us. The key to doing this is to recall that inverse functions take outputs back to their associated inputs.
Consider . As mentioned in Example 5.1.2, the ordered pairs which comprise are in the form (input, output). Hence to find a compatible description for , we simply interchange the expressions in each of the coordinates to obtain .
The function was defined in terms of a formula, so we would like to find a formula representation for . We apply the same logic as above. Here, the input, represented by the independent variable , and the output, represented by the dependent variable , are related by the equation . Hence, to exchange inputs and outputs, we interchange the `‘ and `‘ variables. Doing so, we obtain the equation which is an implicit description for . Solving for gives an explicit formula for , namely . We demonstrate this technique below.
We claim , and leave the algebraic verification of this to the reader.
We generalize this approach below. As always, we resort to the default `‘ and `‘ labels for the independent and dependent variables, respectively.
Steps for finding a formula for the inverse of a one-to-one function
- Write
- Interchange and
- Solve for to obtain
We now return to . We know that is not one-to-one, and thus, is not invertible, but our goal here is to see what goes wrong algebraically.
If we attempt to follow the algorithm above to find a formula for , we start with the equation and interchange the variables `‘ and `‘ to produce the equation . Solving for gives It’s this `‘ which is causing the problem for us as this produces two -values for any
Using the language of Section 1.2, the equation implicitly defines two functions, and , each of which represents the top and bottom halves, respectively, of the graph of
Hence, in some sense, we have two partial inverses for : returns the positive inputs from and returns the negative inputs to . In order to view each of these functions as strict inverses, however, we need to split into two parts: for and for .
We claim that and are an inverse function pair as are and . Indeed, we find:
Hence, by restricting the domain of we are able to produce invertible functions. Said differently, because the equation implicitly describes a pair of functions, the equation implicitly describes a pair of invertible functions.
Our next example continues the theme of restricting the domain of a function to find inverse functions.
Example 5.1.3
Example 5.1.3.1
Graph the following functions to show they are one-to-one and determine their inverses. Check your answers analytically using function composition and graphically.
,
Solution:
Graph , to show it is one-to-one and determine its inverse.
The function is a restriction of the function from Example 5.1.2. The domain of is restricted to , therefore we are selecting only the `left half’ of the parabola. Hence, the graph of , seen below, passes the Horizontal Line Test and thus is invertible.
Next, we find an explicit formula for using our standard algorithm.[7]
Hence, .
To check our answer algebraically, we simplify and Note the importance of the domain restriction when simplifying .
We graph both and on the axes below. They appear to be symmetric about the line .
Example 5.1.3.2
Graph the following functions to show they are one-to-one 2nd determine their inverses. Check your answers analytically using function composition and graphically.
Solution:
Graph to show it is one-to-one and determine its inverse.
Graphing , we see is one-to-one,
so we proceed to find an formula for .
We have . Based on our experience, we know something isn’t quite right. We determined is a quadratic function, and we have seen several times in this section that these are not one-to-one unless their domains are suitably restricted.
Theorem 5.1tells us that the domain of is the range of . From the graph of , we see that the range is , which means we restrict the domain of to .
We now check that this works in our compositions. Note the importance of the domain restriction, when simplifying .
Graphically, everything checks out, provided that we remember the domain restriction on means we take the right half of the parabola.
Our last example of the section gives an application of inverse functions. Recall in Example 1.3.9 in Section 1.3.1, we modeled the demand for PortaBoy game systems as the price per system, as a function of the number of systems sold, . In the following example, we find and interpret what it means.
Example 5.1.4
Example 5.1.4.1
Recall the price-demand function for PortaBoy game systems is modeled by the formula for where represents the number of systems sold (the demand) and is the price per system, in dollars.
Explain why is one-to-one and find a formula for . State the restricted domain.
Solution:
Explain why is one-to-one and find a formula for . State the restricted domain.
Recall the graph of , , is a line segment from to , and as such passes the Horizontal Line Test. Hence, is one-to-one.
We determine the expression for as usual and get
The domain of should match the range of , which is , and as such, we restrict the domain of to
Example 5.1.4.2
Recall the price-demand function for PortaBoy game systems is modeled by the formula for where represents the number of systems sold (the demand) and is the price per system, in dollars.
Compute and interpret .
Solution:
Compute and interpret .
We find .
The function took as inputs the number of systems sold and returned the price per system as the output, thus takes the price per system as its input and returns the number of systems sold as its output.
Hence, means 20 systems will be sold if the price is set at 220 dollars per system.
Example 5.1.4.3
Recall the price-demand function for PortaBoy game systems is modeled by the formula for where represents the number of systems sold (the demand) and is the price per system, in dollars.
Recall from Section 2.1that the profit , in dollars, as a result of selling systems is given by . Write and interpret .
Solution:
Write and interpret .
We compute
After a hefty amount of algebra,[8] we obtain .
To understand what this means, recall that the original profit function gave us the profit as a function of the number of systems sold. The function gives us the number of systems sold as a function of the price.
Hence, when we compute , we input a price per system, into the function .
The number is the number of systems sold at that price. This number is then fed into to return the profit obtained by selling systems.
Hence, gives us the profit (in dollars) as a function of the price per system, .
Example 5.1.4.4
Recall the price-demand function for PortaBoy game systems is modeled by the formula for where represents the number of systems sold (the demand) and is the price per system, in dollars.
Use your answer to part 3 to determine the price per PortaBoy which would yield the maximum profit. Compare with Example 2.1.3.
Solution:
Use your answer to part 3 to determine the price per PortaBoy which would yield the maximum profit. Compare with Example 2.1.3.
We know from Section 2.1 that the graph of is a parabola opening downwards. The maximum profit is realized at the vertex. We are concerned only with the price per system, so we need only find the -coordinate of the vertex.
Identifying and , we get, by the Vertex Formula, Equation 2.1, .
Hence, the weekly profit is maximized if we set the price at 165 dollars per system. Comparing this with our answer from Example 2.1.3, there is a slight discrepancy to the tune of 50 cents. We leave it to the reader to balance the books appropriately.
5.1.1 Section Exercises
In Exercises 1 – 8, verify the given pairs of functions are inverses algebraically and graphically.
In Exercises 9 – 28, show that the given function is one-to-one and find its inverse. Check your answers algebraically and graphically. Verify the range of the function is the domain of its inverse and vice-versa.
- ,
- ,
- Explain why each set of ordered pairs below represents a one-to-one function and find the inverse.
- NOTE: The difference between and is the `.’
- [9]
In Exercises 30 – 33, explain why each graph represents[10] a one-to-one function and graph its inverse.
- The price of a dOpi media player, in dollars per dOpi, is given as a function of the weekly sales according to the formula for .
- Find and state its domain.
- Compute and interpret .
- The profit (in dollars) made from producing and selling dOpis per week is given by the formula , for . Find and determine what price per dOpi would yield the maximum profit. What is the maximum profit? How many dOpis need to be produced and sold to achieve the maximum profit?
- Show that the Fahrenheit to Celsius conversion function found in Exercise 67 in Section1.3.3 is invertible and that its inverse is the Celsius to Fahrenheit conversion function.
- Analytically show that the function is one-to-one. Use Theorem 5.1 to help you compute and . What happens when you attempt to find a formula for ?
- Let .
- Graph using the techniques in Section 3.3. Check your answer using a graphing utility.
- Verify that is one-to-one on the interval .
- Use the procedure outlined in this section to find the formula for for .
- Because , it should be the case that . What goes wrong when you attempt to substitute into ? Discuss with your classmates how this problem arose and possible remedies.
- The function given in number 4 is an example of a function which is its own inverse.
- Algebraically verify every function of the form: is its own inverse.What assumptions do you need to make about the values of , , and ?
- Under what conditions is , its own inverse? Prove your answer.
Section 5.1 Exercise Answers can be found in the Appendix … Coming soon
- At the level of functions, , where is the identity function as defined as for all real numbers, . ↵
- The identity function , first introduced in Exercise 76 in Section 1.3.1 and mentioned in Theorem 1.6, has a domain of all real numbers. As the domains of and may not be all real numbers, we need the restrictions listed here. ↵
- In other words, invertible functions have exactly one inverse. ↵
- See Example 1.1.5 in Section 1.1 and Example 1.35 in Section 1.3.1. ↵
- i.e., no horizontal line intersects the graph more than once. ↵
- For example, if we know is one-to-one, we showed the graph of passes the HLT which, in turn, guarantees is invertible. ↵
- Here, we use the Quadratic Formula to solve for . For `completeness,' we note you can (and should!) also consider solving for by `completing' the square. ↵
- It is good review to actually do this! ↵
- Recall this means ↵
- or, more precisely, appears to represent ↵
Two functions are inverses if their compositions are both true for all x.
A function is invertible if the function has an inverse.
A function is one-to-one if whenever f(a)=f(b), then a=b.