Section 2.4 Inverse Functions
¶Overview.
A function defines a map from one variable \(A\) to another variable \(B\text{,}\) \(A \mapsto B\text{.}\) In the context of the function, we call \(A\) the independent variable and call \(B\) the dependent variable. Knowing \(A\text{,}\) the function provides the rule to determine \(B\text{.}\) There are times when knowing \(B\text{,}\) we wish to find the value of \(A\text{.}\) This corresponds to using the function to solve an equation. When each value of \(B\) results in only a single value of \(A\text{,}\) the relation defines a new function \(B \mapsto A\text{.}\) In this case, the inverse relation is called the inverse function.
This section discusses the general concept of inverse functions. We will learn to compute inverse functions for given functions by solving equations and by interpreting tables and graphs. Because not all functions are defined by equations that can be solved, the definition of an inverse function will need to be more general and will involve function composition. We will identify attributes of functions that indicate if an inverse function exists. The calibration of instruments using standardized measurements will illustrate a practical application of inverse relations.
Subsection 2.4.1 Finding Inverse Functions
¶When we think of a function as a map between variables, say \(f : A \mapsto B\text{,}\) we think of \(f\) as the rule that goes from an input value on the \(A\) number line to a corresponding predicted output value on the \(B\) number line. An inverse function would be a rule that goes in the reverse direction, \(B \mapsto A\text{.}\) A function and its inverse function allow us to go back and forth between the two variables in either direction.
Definition 2.4.1.
A function representing a map \(f : A \mapsto B\) has an inverse function, which we write \(f^{-1} : B \mapsto A\text{,}\) if the equation \(f(a)=b\) is equivalent to \(f^{-1}(b)=a\) for every state \((A,B)=(a,b)\text{.}\)
We first illustrate the idea of an inverse function with a function defined by a simple map and no formula.
Example 2.4.2.
Imagine a theater that has a promotional wheel so that the price of a ticket is based on which number you spin. The prices are listed in the table below.
Spin | Price |
1 | $2 |
2 | $5 |
3 | $8 |
4 | $10 |
We introduce variables for the system. Let \(S\) represent the result of the spin and let \(P\) represent the price of a ticket. The map \(f : S \mapsto P\) can be visualized using number lines. It represents the idea that if you know what spin was achieved, then you will be able to know the price of the tickets.
The inverse map \(f^{-1} : P \mapsto S\) reverses the direction of the arrows. The inverse indicates that knowing the price of the tickets is enough information to know the result of the customer's spin.
Based on this system, we see that \(f(1)=2\) because when \(S=1\) we have \(P=2\text{.}\) The equivalent inverse equation is \(f^{-1}(2)=1\) because a price \(P=2\) comes from \(S=1\text{.}\) Similarly, \(f(2)=5\) and \(f^{-1}(5)=2\) are equivalent. Because the system is defined by the table and not a formula, \(f(5)\) and \(f^{-1}(3)\) each have no meaning. In the first case, \(f(5)\) has no meaning because \(S=5\) is not a possibile spin. In the second case, \(f^{-1}(3)\) has no meaning because \(P=3\) is not a possible ticket price.
You might have realized a possible problem. What happens if two input values map to the same output value? We wouldn't know which arrow to follow for the reverse mapping. A function that guarantees that different input values always have different output values is called one-to-one. A function that is not one-to-one has at least one value that is the output to two or more different input values.
Theorem 2.4.3.
If a function \(f : A \mapsto C\) is one-to-one, then the inverse \(f^{-1}: C \mapsto A\) is also a function. If \(f\) is not one-to-one, then the inverse relation is not a function.
When an algebraic equation defines the relation between the variables, we can attempt to solve the equation for either of the variables. If both variables can successfully be written as dependent variables, the corresponding formulas define the inverse functions.
Example 2.4.4.
A rope of length 100 centimeters is cut into exactly five pieces Two of the pieces are of one length, and the other three pieces are of another length. Let \(d\) be the length of the ropes in the group of two. Let \(t\) be the length of the ropes in the group of three.
Find the functions \(f : d \mapsto t\) and \(g : t \mapsto d\text{.}\) Interpret the meaning of \(f(10)\) and \(g(10)\text{.}\)
We start by finding an equation relating \(d\) and \(t\text{.}\) The total length of the five pieces of rope added together must equal the original length of rope. This results in an equation
With this equation, we can solve for each of the state variables in turn. Solving for \(d\text{,}\) we subtract \(3t\) and divide by \(2\text{:}\)
Solving for \(t\text{,}\) we subtract \(2d\) and divide by \(3\text{:}\)
The function \(f\) was defined as the map \(d \mapsto t\text{,}\) so we use the equation with \(t\) as the dependent variable,
We can find and interpret \(f(10)\text{.}\) With \(10\) as an input, we find \(f(10) = \frac{100-2(10)}{3} = \frac{80}{3} = 26 \frac{2}{3}\text{.}\) To interpret this, we recall that the input represents a value for \(d\text{.}\) The equation represents the state \(d=10\) and \(t=26 \frac{2}{3}\) If the group of two has length 10 centimeters, then the group of three has length \(26 \frac{2}{3}\) centimeters.
The function \(g\) was defined as the map \(t \mapsto d\text{,}\) so we now use the equation with \(d\) as the dependent variable,
With \(t=10\) as an input, we find \(g(10) = \frac{100-3(10)}{2} = \frac{70}{2} = 35\text{.}\) The function tells us that \(d=35\) when \(t=10\text{.}\) The group of two has length 35 centimeters whenever the group of three has length \(10\) centimeters.
The functions \(f\) and \(g\) are inverse functions to each other. If we used a placeholder variable instead of the state variables, we would write
with its inverse function
Similarly, \(g^{-1}(x) = f(x)\text{.}\)
A function might be defined through a graph. You may remember something about the graph of the inverse being a reflection of the graph of the original. The following example will help clarify where that idea originates.
Example 2.4.5.
Consider the function defined by the following table. Create a table representing the inverse function. Compare the graphs of the function and its inverse.
\(x\) | \(-4\) | \(-3\) | \(-2\) | \(-1\) | \(0\) | \(1\) | \(2\) | \(3\) | \(4\) |
\(f(x)\) | \(4\) | \(2\) | \(1\) | \(0.5\) | \(0\) | \(-0.5\) | \(-1\) | \(-2\) | \(-4\) |
Functions represent maps between variables, so let us say that \(f : A \mapsto B\text{.}\) This gives us a physical interpretation of the values in the table. The row for \(x\) corresponds to values of the input \(A\text{.}\) The row for \(f(x)\) correspond to values of the output \(B\text{.}\) If we were to relabel our table with our variables, we would create the following table.
\(A\) | \(-4\) | \(-3\) | \(-2\) | \(-1\) | \(0\) | \(1\) | \(2\) | \(3\) | \(4\) |
\(B\) | \(4\) | \(2\) | \(1\) | \(0.5\) | \(0\) | \(-0.5\) | \(-1\) | \(-2\) | \(-4\) |
An inverse function \(f^{-1}\) would be the map \(B \mapsto A\text{.}\) The row associated with \(B\) now represents the independent variable while the row for \(A\) represents the dependent variable. Because we usually sort the values of the independent variable, we would reorder the columns while keeping the states for \((A,B)\) together.
\(x = B\) | \(-4\) | \(-2\) | \(-1\) | \(-0.5\) | \(0\) | \(0.5\) | \(1\) | \(2\) | \(4\) |
\(f^{-1}(x) = A\) | \(4\) | \(3\) | \(2\) | \(1\) | \(0\) | \(-1\) | \(-2\) | \(-3\) | \(-4\) |
A graph of the function is formed by points created from ordered pairs. The graph \(y=f(x)\) corresponds to points \((x,y)=(A,B)\text{,}\) because \(f : A \mapsto B\text{.}\) The graph \(y=f^{-1}(x)\) corresponds to points \((x,y)=(B,A)\text{,}\) because \(f^{-1} : B \mapsto A\text{.}\) For example, the state \((A,B) = (-1,0.5)\) corresponds to the point \((x,y)=(-1,0.5)\) on the graph \(y=f(x)\) and to the point \((x,y)=(0.5,-1)\) on the graph \(y=f^{-1}(x)\text{.}\) This state is highlighted using a star in the graphs of the two functions below.
From our example, we see that the graph of an inverse function takes each point on the graph of the original function and reverses the role of the coordinates. Reversing the coordinates of every point in the graph geometrically corresponds to reflecting the graph across the line \(y=x\text{.}\) This result can help us remember graphs of inverse pairs.
Example 2.4.6.
The graph of \(y=2^x\) is fairly easy to construct. It is exponential growth that doubles every integer increment of \(x\text{.}\) So we include, for example, the points \((0,1)\text{,}\) \((1,2)\text{,}\) and \((2,4)\text{.}\) The inverse function of the exponential is the logarithm with base \(b=2\text{.}\) The graph of the logarithm is the reflection of the exponential graph across \(y=x\) and includes the corresponding points \((1,0)\text{,}\) \((2,1)\text{,}\) and \((4,2)\text{.}\)
Now consider a function that is defined as a composition of operations. When we solve the equation to find the inverse function, we will discover that the inverse corresponds to applying the inverses of the original operations in the reverse order.
Example 2.4.7.
Consider the function \(\displaystyle f(x) = \frac{5}{3x+2}\) corresponding to a map
The inverse function is found by solving for \(a\) in the equation. Cross-multiplying the equation gives
Dividing by \(b\) then gives
from which we get
Although we would normally simplify this equation, we have successfully solved for \(a\) and so have a formula for the inverse,
To simplify the fraction so that there is not a fraction in the numerator, we can multiply top and bottom by the value \(b\) giving
Using a placeholder variable, like \(x\text{,}\) instead of the physical variables \(a\) and \(b\text{,}\) the pair of inverse functions are
Let us consider the operations involved in the previous example. The function \(\displaystyle f(x) = \frac{5}{3x+2}\) involved the following sequence of operations:
- Take the value of \(x\text{.}\)
- Multiply by \(3\text{.}\)
- Add \(2\text{.}\)
- Divide \(5\) by the result.
The inverse function \(\displaystyle f^{-1}(x) = \frac{\frac{5}{x}-2}{3}\) did the inverse operations in the reverse order:
- Take the value of \(x\text{.}\)
- Divide \(5\) by the value.
- Subtract \(2\text{.}\)
- Divide by \(3\text{.}\)
This should make sense. Solving the equation for the original independent variable is accomplished by starting at the end and working backwards. This is summarized in the following theorem. The proof captures the idea of solving the equation by working in reverse.
Theorem 2.4.8.
Suppose \(f(x) = g \circ h(x)\) and \(g\) and \(h\) each have inverse functions. Then \(f^{-1}(x) = h^{-1} \circ g^{-1}(x)\text{.}\)
Proof.
The composition corresponds to a chain. Suppose the independent variable is \(a\) and the ultimate dependent variable is \(c\) so that \(f: a \mapsto c\text{.}\) Then there is an intermediate variable \(b = h(a)\) so that \(c = g(b)\text{.}\) The inverse function \(f^{-1}\) is the map going from \(c\) to \(a\text{,}\) \(f^{-1}: c \mapsto a\text{.}\) Because \(g\) has an inverse and \(c=g(b)\text{,}\) we can apply \(c \mapsto b = g^{-1}(c)\text{.}\) Then, because \(h\) has an inverse and \(b = h(a)\text{,}\) we can similarly apply \(b \mapsto a = h^{-1}(b)\text{.}\) Combining the chain, we have
The result follows by using a generic independent variable \(x\text{.}\)
Subsection 2.4.2 Inverse Functions and Composition
When we discussed inverse functions earlier in (((Unresolved xref, reference "subsection-inverse-functions"; check spelling or use "provisional" attribute))) , we thought of them as inverse maps. Given an equation defining the map \(x \mapsto y\text{,}\) if we could solve the equation for the input \(x\) as a single expression involving \(y\text{,}\) then this new equation defined the inverse function. Inverse functions undo one another's operations.
Let us consider the calculations involved in the previous example. The function \(f\) took an input and performed the following operations in order:
- Multiply by 3.
- Add 2.
The inverse function \(f^{-1}\) took an input and performed related operations:
- Subtract 2.
- Divide by 3.
The functions are inverse because they will exactly undo one another's operations.
Consider what happens if you create a chain and apply \(f^{-1}\) immediately after \(f\text{:}\)
- Multiply by 3.
- Add 2.
- Subtract 2.
- Divide by 3.
The middle two steps cancel one another's effects, so this would be the same as the simpler chain of steps:
- Multiply by 3.
- Divide by 3.
Again, the operations cancel each other out. The output will always be the same as the original input,
The following interactive figure shows this composition as a chain of maps.
A composition in the reverse order, \(f \circ f^{-1}(x)\text{,}\) also results in exact cancellation.
Simplifying the composition of inverse functions algebraically reveals the cancellation directly.
Example 2.4.11.
For \(f(x)=3x+2\) and \(\displaystyle f^{-1}(x)=\frac{x-2}{3}\) compute and simplify \(f \circ g(x)\) and \(g \circ f(x)\text{.}\)
Using substitution and algebraic simplification, we find the values requested.
Inverse functions will always simplify in this way: the composition of inverse functions cancel to just leave the input. Functions are not always defined by an equation, so we shouldn't define inverses through solving equations. Mathematicians actually define inverse functions in terms of the property of composition.
Definition 2.4.12.
Two functions \(f\) and \(g\) are inverses of one another, and we write \(g=f^{-1}\) and \(f=g^{-1}\text{,}\) if for every \(x\) in the domain of \(g\text{,}\) we have
and for every \(x\) in the domain of \(f\text{,}\) we have
It is time for a comment about real variables. In science, variables represent physical measurements and the variables are the objects of study. These variables can be related by functions. However, in mathematics, it is the function itself that is being studied. For simplicity, mathematics textbooks have adopted an approach where \(x\) is almost universally the independent variable of every function and \(y\) is the dependent variable. This makes it easier to remember the role each variable plays, but it can lead to confusion in actual applications.
Example 2.4.13.
An enzyme is a protein that helps catalyze a chemical reaction. For many enzymes, the rate of reaction \(R\) and the concentration of the reactant \(C\) satisfy a relation called Michaelis-Menten kinetics
where \(a\) and \(K\) are parameters that characterize the particular reaction. Physically, we require \(C \ge 0\text{.}\) In mathematics, this relation might be characterized by a function
We would then say \(R = f(C)\text{.}\) This is equivalent to mapping notation
To find the inverse function, most mathematics textbooks say to write \(y=f(x)\text{,}\) switch all \(x\) and \(y\) and then solve for \(y\text{.}\) The only reason to switch the variables is to preserve \(x\) as the independent variable of the relation. This is an artificial requirement. We might as well just solve for \(C\) as a function of \(R\text{.}\) Start by cross-multiplying to eliminate the denominator in the equation.
Because we are solving for \(C\text{,}\) we need to collect \(C\) terms on one side of the equation and then factor.
Multiplying the numerator and denominator each by \(-1\text{,}\) we get an equivalent and simpler explicit function
As the functions come from the same relation, we know \(g = f^{-1}\text{.}\)
This equation shows that \(C\) is the dependent variable and is a function of the independent variable \(R\text{.}\) Mathematically, using \(x\) as the independent variable, we would have written
However, this equation loses the context of what the input variable \(x\) and the output value represent. In applications, it is better to include the variables so that their interpretation can be preserved.
Recall that the composition of inverse functions should result in the input of the inner function. Consider how that applies in the context of actual variables. Recall the earlier example relating a reaction rate \(R\) and the reactant concentration \(C\text{.}\) We had inverse functions \(C \overset{f}{\mapsto} R\) and \(R \overset{g}{\mapsto} C\text{.}\) Composition applies these operations one immediately after the other, with the inner function applied first. Composition \(f \circ g\) applies \(g\) to the input followed by \(f\text{,}\) which would be written in mapping notation with the variables as
The original input is the value \(R\) and the final output is also the value \(R\text{.}\) So the comoposition is equal to the original input. Algebra should verify that this actually works.
Example 2.4.14.
For the inverse functions of Michaelis-Menten kinetics,
show that the composition of functions cancel.
To compute \(f \circ g(x)\text{,}\) we use \(g(x)\) as the input to \(f\text{.}\) Using meaningful variables, \(g\) takes a reaction rate as input, so we compute \(f(g(R))\) and simplify. Recall that function evaluation is just substitution of the input in a formula.
We replaced the \(C\) as input to \(f\) with the formula for \(g(R)\text{.}\) To simplify this, we can clear the denominator of the fractions inside the fraction by multiplying numerator and denominator by \((a-R)\text{.}\)
Using the placeholder variable \(x\text{,}\) we have \(f \circ g(x)=x\text{,}\) as required for inverse functions.
The algebraic verification that \(g\) undoes the evaluation of \(f\text{,}\)
follows a similar calculation. To compute \(g \circ f(x)\text{,}\) we use \(f(x)\) as the input to \(g\text{.}\) In context, \(f\) takes a reactant concentration \(C\) as input, so we compute \(g(f(C))\) and simplify.
Subsection 2.4.3 Summary
- A function is a relation between an independent variable (input) and a dependent variable (output) such that for each value of the input, there is exactly one value for the output.
- An equation in two variables defines a relation. When we can solve the equation for one variable (dependent) as a single expression of the other variable (independent), the expression defines an explicit function.
- A linear function \(x \mapsto y\) is a relationship between variables that have a constant rate of change. The rate of change equals the slope between two states \((x_1,y_1)\) and \((x_2,y_2)\) and is the ratio of the change in the output to the change in the input:\begin{equation*} m = \frac{\Delta y}{\Delta x} = \frac{y_2-y_1}{x_2-x_1}\text{.} \end{equation*}
- Function mapping notation \(x \overset{f}{\mapsto} y\) indicates that \(y\) is a function of \(x\) and \(f\) is the name of the function.
- Function evaluation notation \(f(\square)\) uses substitution of whatever appears between the parentheses \((\square)\) in place of the independent variable.
- Composition \(f \circ g\) is evaluation of the outer function \(f\) with an input using the output of the inner function \(g\text{,}\)\begin{equation*} f \circ g(x) = f\big(g(x)\big)\text{.} \end{equation*}As maps, if \(g:x \mapsto u\) and \(f:u \mapsto y\text{,}\) then\begin{equation*} x \overset{f \circ g}\mapsto y \quad = \quad x \overset{g}\mapsto u \overset{f}\mapsto y. \end{equation*}
-
Two functions \(f\) and \(g\) are inverses of one another if \(f \circ g(x) = x\) for all \(x\) in the domain of \(g\) and \(g \circ f(x) = x\) for all \(x\) in the domain of \(f\text{.}\) This means that inverse functions cancel one another when applied in a chain:
\begin{equation*} f \circ f^{-1}(x) = x \quad \text{and} \quad f^{-1}\circ f(x) = x\text{.} \end{equation*} - If an equation can be solved for each variable in terms of the other (e.g., \(x \mapsto y\) and \(y \mapsto x\)), the relation is one-to-one. The two resulting functions are inverse functions.
Exercises 2.4.4 Exercises
For each equation, determine if the relation defines functions \(x \mapsto y\) and \(y \mapsto x\) by solving the equation for the dependent variable.
1.
For the equation \(3x-5y=10\text{,}\) do the following.
- Determine if \(x \mapsto y\text{.}\)
- Determine if \(y \mapsto x\text{.}\)
2.
For the equation \(2xy - 6 = 4x - 3y\text{,}\) do the following.
- Determine if \(x \mapsto y\text{.}\)
- Determine if \(y \mapsto x\text{.}\)
3.
For the equation \(6x+4y-3xy=0\text{,}\) do the following.
- Determine if \(x \mapsto y\text{.}\)
- Determine if \(y \mapsto x\text{.}\)
4.
For the equation \(x^2+3y=25\text{,}\) do the following.
- Determine if \(x \mapsto y\text{.}\)
- Determine if \(y \mapsto x\text{.}\)
Given a function, compute and simplify the expressions listed.
5.
Suppose \(f(x)=\frac{2}{3}x+4\text{.}\) Simplify each of the following expressions.
- \(f(5)\)
- \(f(t)\)
- \(f(t^2-1)\)
- \(3f(2x)-8\)
6.
Suppose \(\displaystyle g(x)=\frac{4}{x+1}\text{.}\) Simplify each of the following.
- \(g(1)\)
- \(g(\frac{1}{x})\)
- \(\displaystyle \frac{1}{g(x)}\)
- \(g\big(\frac{1}{x}-1\big)\)
7.
Suppose \(f(x)=2x-5\text{,}\) \(g(x)=\frac{1}{2}x+5\text{,}\) and \(h(x)=\frac{1}{2}(x+5)\text{.}\) Simplify each of the following.
- \(f \circ g(x)\)
- \(f \circ h(x)\)
- \(g \circ f(x)\)
- \(g \circ h(x)\)
What conclusion can be drawn?
8.
Suppose \(\displaystyle f(x)=\frac{3}{x+2}\) and \(\displaystyle g(x)=\frac{3}{x}-2\text{.}\) Simplify each of the following.
- \(f(x-2)\)
- \(g(\frac{1}{x})\)
- \(f \circ g(x)\)
- \(g \circ f(x)\)
Is \(g = f^{-1}\text{?}\)
Applications
9.
Let \(C\) be the temperature measured in degrees Celsius, and let \(F\) be the temperature measured in degrees Fahrenheit. The function \(g(x) = \frac{9}{5}x + 32\) defines the map \(g : C \mapsto F\text{,}\) and \(h(x) = \frac{5}{9}(x-32)\) defines \(h : F \mapsto C\text{.}\)
- Use algebra to verify that \(g\) and \(h\) are inverse functions.
- What is the value and interpretation of \(g(30)\text{?}\)
- What is the value and interpretation of \(g \circ h(30)\text{?}\)
10.
A spring force scale uses the distance a spring is stretched to determine the force that is applied to the spring. We calibrate the scale by using known forces (e.g., weights) and record the corresponding location of the tip on a ruler. Let \(F\) be the force (Newtons) applied to the spring and let \(L\) be the corresponding location (centimeters). The following table is used for calibration.
\(F\) (N) | 0 | 10.0 |
\(L\) (cm) | 20.0 | 42.5 |
- Find a linear equation relating the variables \(F\) and \(L\text{.}\)
- Determine functions \(g\) and \(h\) so that \(F \overset{g}{\mapsto} L\) and \(L \overset{h}{\mapsto} F\text{.}\) What are the corresponding equations using evaluation notation?
- Suppose a force of 5 N is applied to the spring. What will be the location of the tip of the ruler? Which function was used?
- Suppose a force is applied that results in the tip having a location of 28.7 cm. What was the force? Which function was used?
11.
The perimeter \(P\) and area \(A\) of a square are each functions of the length of the sides \(s\) by \(P=4s\) and \(A=s^2\text{.}\) Find perimeter as a function of area, \(P \mapsto A\text{.}\)
12.
The volume of a sphere is related to the radius of the sphere by the equation \(V = \frac{4}{3} \pi r^3\text{.}\) Suppose the radius is a function of time defined by \(r = 1+2t\text{.}\) Find the volume as a function of time, \(t \mapsto V\text{.}\)
13.
The cost \(C\) of materials for a project depends on the required area \(A\) of materials needed. The unit price is $3.50 per m2. The project involves making two squares, each of them having sides with length \(s\) (meters).
- Find \(A \overset{f}{\mapsto} C\text{.}\)
- Find \(s \overset{g}{\mapsto} A\text{.}\)
Use composition to find \(s \mapsto C\text{.}\) Is this \(f \circ g\) or \(g \circ f\text{?}\)
How much would a project with \(s=4\) cost? How much area of materials will be required? What function is used for each calculation?