1.6: Inverse Functions
- Page ID
- 127009
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)A fashion designer is travelling to Milan for a fashion show. He asks his assistant, Betty, what 75 degrees Fahrenheit is in Celsius, and after a quick search on Google, she finds the formula \(C=\dfrac{5}{9} (F-32)\). Using this formula, she calculates \(\dfrac{5}{9} (75-32)\approx 24\)degrees Celsius. The next day, the designer sends his assistant the week’s weather forecast for Milan, and asks her to convert the temperatures to Fahrenheit.
At first, Betty might consider using the formula she has already found to do the conversions. After all, she knows her algebra, and can easily solve the equation for \(F\) after substituting a value for \(C\). For example, to convert 26 degrees Celsius, she could write:
\[26 = \dfrac{5}{9}(F - 32)\nonumber \]
\[26 \cdot \dfrac{9}{5} = F - 32\nonumber \]
\[F = 26 \cdot \dfrac{9}{5} + 32 \approx 79\nonumber \]
After considering this option for a moment, she realizes that solving the equation for each of the temperatures would get awfully tedious, and realizes that since evaluation is easier than solving, it would be much more convenient to have a different formula, one which takes the Celsius temperature and outputs the Fahrenheit temperature. This is the idea of an inverse function, where the input becomes the output and the output becomes the input.
If \(f(a)=b\), then a function \(g(x)\) is an inverse of \(f\) if \(g(b)=a\).
The inverse of \(f(x)\) is typically notated \(f^{-1} (x)\), which is read “\(f\) inverse of \(x\)”, so equivalently, if \(f(a)=b\) then \(f^{-1} (b)=a\).
Important: The raised -1 used in the notation for inverse functions is simply a notation, and does not designate an exponent or power of -1.
If for a particular function, \(f(2)=4\), what do we know about the inverse?
Solution
The inverse function reverses which quantity is input and which quantity is output, so if \(f(2)=4\), then \(f^{-1} (4)=2\).
Alternatively, if you want to re-name the inverse function \(g(x)\), then \(g(4) = 2\)
Given that \(h^{-1} (6)=2\), what do we know about the original function \(h(x)\)?
- Answer
-
\(g(2) = 6\)
Notice that original function and the inverse function undo each other. If \(f(a)=b\), then \(f^{-1} (b)=a\), returning us to the original input. More simply put, if you compose these functions together you get the original input as your answer.
\[f^{-1} (f(a))=a\text{ and }f(f^{-1} (b))=b\]
Since the outputs of the function \(f\) are the inputs to \(f^{-1}\), the range of \(f\) is also the domain of \(f^{-1}\). Likewise, since the inputs to \(f\) are the outputs of \(f^{-1}\), the domain of \(f\) is the range of \(f^{-1}\).
Basically, like how the input and output values switch, the domain & ranges switch as well. But be careful, because sometimes a function doesn’t even have an inverse function, or only has an inverse on a limited domain. For example, the inverse of \(f(x)=\sqrt{x}\) is \(f^{-1} (x)=x^{2}\), since a square “undoes” a square root, but it is only the inverse of \(f(x)\) on the domain \([0, \infty)\), since that is the range of \(f(x)=\sqrt{x}\).
The function \(f(x)=2^{x}\) has domain \((-\infty ,\infty )\) and range \((0,\infty )\), what would we expect the domain and range of \(f^{-1}\) to be?
Solution
We would expect \(f^{-1}\) to swap the domain and range of \(f\), so \(f^{-1}\) would have domain \((0,\infty )\) and range \((-\infty ,\infty )\).
A function \(f(t)\) is given as a table below, showing distance in miles that a car has traveled in \(t\) minutes. Find and interpret \(f^{-1} (70)\)
\(t\) (minutes) | 30 | 50 | 70 | 90 |
\(f(t)\) (miles) | 20 | 40 | 60 | 70 |
Solution
The inverse function takes an output of \(f\) and returns an input for \(f\). So in the expression \(f^{-1} (70)\), the 70 is an output value of the original function, representing 70 miles. The inverse will return the corresponding input of the original function \(f\), 90 minutes, so \(f^{-1} (70)=90\). Interpreting this, it means that to drive 70 miles, it took 90 minutes.
Alternatively, recall the definition of the inverse was that if \(f(a)=b\) then \(f^{-1} (b)=a\). By this definition, if you are given \(f^{-1} (70)=a\) then you are looking for a value a so that \(f(a)=70\). In this case, we are looking for a \(t\) so that \(f(t)=70\), which is when \(t = 90\).
Using the table below
\(t\) (minutes) | 30 | 50 | 60 | 70 | 90 |
\(f(t)\) (miles) | 20 | 40 | 50 | 60 | 70 |
Find and interpret the following
a. \(f(60)\)
b. \(f^{-1} (60)\)
- Answer
-
a. \(f(60) = 50\). In 60 minutes, 50 miles are traveled.
b. \(f^{-1}(60) = 70\). To travel 60 miles, it will take 70 minutes.
A function \(g(x)\) is given as a graph below. Find \(g(3)\) and \(g^{-1} (3)\)
Solution
To evaluate \(g(3)\), we find 3 on the horizontal axis and find the corresponding output value on the vertical axis. The point (3, 1) tells us that \(g(3)=1\)
To evaluate \(g^{-1} (3)\), recall that by definition \(g^{-1} (3)\) means \(g(x) = 3\). By looking for the output value 3 on the vertical axis we find the point (5, 3) on the graph, which means \(g(5) = 3\), so by definition \(g^{-1} (3) =5\).
Using the graph in Example 4 above
a. find \(g^{-1} (1)\)
b. estimate \(g^{-1} (4)\)
- Answer
-
a. \(g^{-1} (1) = 3\)
b. \(g^{-1} (4) = 5.5\) (this is an approximation - answers may vary slightly)
Returning to our designer’s assistant, find a formula for the inverse function that gives Fahrenheit temperature given a Celsius temperature.
Solution
A quick Google search would find the inverse function, but alternatively, Betty might look back at how she solved for the Fahrenheit temperature for a specific Celsius value, and repeat the process in general
\[\begin{array}{l} {C=\dfrac{5}{9} (F-32)} \\ {C\cdot \dfrac{9}{5} =F-32} \\ {F=\dfrac{9}{5} C+32} \end{array}\nonumber \]
By solving in general, we have uncovered the inverse function. If
\[C=h(F)=\dfrac{5}{9} (F-32)\nonumber \]
Then
\[F=h^{-1} (C)=\dfrac{9}{5} C+32\nonumber \]
In this case, we introduced a function h to represent the conversion since the input and output variables are descriptive, and writing \(C^{-1}\)could get confusing.
It is important to note that not all functions will have an inverse function. Since the inverse \(f^{-1} (x)\) takes an output of \(f\) and returns an input of \(f\), in order for \(f^{-1}\) to itself be a function, then each output of \(f\) (input to \(f^{-1}\)) must correspond to exactly one input of \(f\) (output of \(f^{-1}\)) in order for \(f^{-1}\) to be a function. You might recall that this is the definition of a one-to-one function.
In order for a function to have an inverse, it must be a one-to-one function.
In some cases, it is desirable to have an inverse for a function even though the function is not one-to-one. In those cases, we can often limit the domain of the original function to an interval on which the function is one-to-one, then find an inverse only on that interval.
If you have not already done so, go back to the toolkit functions that were not one-to-one and limit or restrict the domain of the original function so that it is one-to-one. If you are not sure how to do this, proceed to Example 6.
The quadratic function \(h(x)=x^{2}\) is not one-to-one. Find a domain on which this function is one-to-one, and find the inverse on that domain.
Solution
We can limit the domain to \([0,\infty )\)to restrict the graph to a portion that is one-to-one, and find an inverse on this limited domain.
You may have already guessed that since we undo a square with a square root, the inverse of \(h(x)=x^{2}\) on this domain is \(h^{-1} (x)=\sqrt{x}\).
You can also solve for the inverse function algebraically. If \(h(x)=x^{2}\), we can introduce the variable \(y\) to represent the output values, allowing us to write \(y=x^{2}\). To find the inverse we solve for the input variable
To solve for \(x\) we take the square root of each side. \(\sqrt{y} =\sqrt{x^{2} }\) and get \(\sqrt{y} =|x|\), so \(x=\pm \sqrt{y}\). We have restricted \(x\) to being non-negative, so we’ll use the positive square root, \(x=\sqrt{y}\) or \(h^{-1} (y)=\sqrt{y}\). In cases like this where the variables are not descriptive, it is common to see the inverse function rewritten with the variable \(x\): \(h^{-1} (x)=\sqrt{x}\). Rewriting the inverse using the variable \(x\) is often required for graphing inverse functions using calculators or computers.
Note that the domain and range of the square root function do correspond with the range and domain of the quadratic function on the limited domain. In fact, if we graph \(h(x)\) on the restricted domain and \(h^{-1} (x)\) on the same axes, we can notice symmetry: the graph of \(h^{-1} (x)\) is the graph of h(x) reflected over the line \(y = x\).
Given the graph of \(f(x)\) shown, sketch a graph of \(f^{-1} (x)\).
Solution
This is a one-to-one function, so we will be able to sketch an inverse. Note that the graph shown has an apparent domain of \((0, \infty)\) and range of \((-\infty, \infty)\), so the inverse will have a domain of \((-\infty, \infty)\) and range of \((0, \infty)\).
Reflecting this graph of the line \(y = x\), the point (1, 0) reflects to (0, 1), and the point (4, 2) reflects to (2, 4). Sketching the inverse on the same axes as the original graph:
Important Topics of this Section
Definition of an inverse function
Composition of inverse functions yield the original input value
Not every function has an inverse function
To have an inverse a function must be one-to-one
Restricting the domain of functions that are not one-to-one.