7.1: Composition and Inverse Functions
- Page ID
- 6275
\( \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}\)Learning Objectives
- Perform function composition.
- Determine whether or not given functions are inverses.
- Use the horizontal line test.
- Find the inverse of a one-to-one function algebraically.
Composition of Functions
In mathematics, it is often the case that the result of one function is evaluated by applying a second function. For example, consider the functions defined by \(f(x)=x^{2}\) and \(g(x)=2x+5\). First, \(g\) is evaluated where \(x=−1\) and then the result is squared using the second function, \(f\).
This sequential calculation results in \(9\). We can streamline this process by creating a new function defined by \(f(g(x))\), which is explicitly obtained by substituting \(g(x)\) into \(f(x)\).
\(\begin{aligned} f(\color{Cerulean}{g(x)}\color{black}{)} &=f(\color{Cerulean}{2 x+5}\color{black}{)} \\ &=(2 x+5)^{2} \\ &=4 x^{2}+20 x+25 \end{aligned}\)
Therefore, \(f(g(x))=4x^{2}+20x+25\) and we can verify that when \(x=−1\) the result is \(9\).
\(\begin{aligned} f(g(\color{Cerulean}{-1}\color{black}{)}) &=4(\color{Cerulean}{-1}\color{black}{)}^{2}+20(\color{Cerulean}{-1}\color{black}{)}+25 \\ &=4-20+25 \\ &=9 \end{aligned}\)
The calculation above describes composition of functions1, which is indicated using the composition operator 2\((○)\). If given functions \(f\) and \(g\),
\((f \circ g)(x)=f(g(x)) \quad \color{Cerulean}{Composition\:of\:Functions}\)
The notation \(f○g\) is read, “\(f\) composed with \(g\).” This operation is only defined for values, \(x\), in the domain of \(g\) such that \(g(x)\) is in the domain of \(f\).
Example \(\PageIndex{1}\):
Given \(f(x)=x^{2}−x+3\) and \(g(x)=2x−1\) calculate:
- \((f○g)(x)\).
- \((g○f)(x)\).
Solution
- Substitute \(g\) into \(f\).
\(\begin{aligned}(f \circ g)(x) &=f(g(x)) \\ &=f(\color{Cerulean}{2 x-1}\color{black}{)} \\ &=(\color{Cerulean}{2 x-1}\color{black}{)}^{2}-(\color{Cerulean}{2 x-1}\color{black}{)}+3 \\ &=4 x^{2}-4 x+1-2 x+1+3 \\ &=4 x^{2}-6 x+5 \end{aligned}\)
- Substitute \(f\) into \(g\).
\(\begin{aligned}(g \circ f)(x) &=g(f(x)) \\ &=g\color{black}{\left(\color{Cerulean}{x^{2}-x+3}\right)} \\ &=2\color{black}{\left(\color{Cerulean}{x^{2}-x+3}\right)}-1 \\ &=2 x^{2}-2 x+6-1 \\ &=2 x^{2}-2 x+5 \end{aligned}\)
Answer:
- \((f○g)(x)=4x^{2}−6x+5\)
- \((g○f)(x)=2x^{2}−2x+5\)
The previous example shows that composition of functions is not necessarily commutative.
Example \(\PageIndex{2}\)
Given \(f(x)=x^{3}+1\) and \(g(x)=\sqrt[3]{3 x-1}\) find \((f○g)(4)\).
Solution
Begin by finding \((f○g)(x)\).
\(\begin{aligned}(f \circ g)(x) &=f(g(x)) \\ &=f(\color{Cerulean}{\sqrt[3]{3 x-1}}\color{black}{)} \\ &=(\color{Cerulean}{\sqrt[3]{3 x-1}}\color{black}{)}^{3}+1 \\ &=3 x-1+1 \\ &=3 x \end{aligned}\)
Next, substitute \(4\) in for \(x\).
\(\begin{aligned}(f \circ g)(x) &=3 x \\(f \circ g)(\color{Cerulean}{4}\color{black}{)} &=3(\color{Cerulean}{4}\color{black}{)} \\ &=12 \end{aligned}\)
Answer:
\((f○g)(4)=12\)
Functions can be composed with themselves.
Example \(\PageIndex{3}\)
Given \(f(x)=x^{2}−2\) find \((f○f)(x)\).
Solution
\(\begin{aligned}(f \circ f)(x) &=f(\color{Cerulean}{f(x)}\color{black}{)} \\ &=f\color{black}{\left(\color{Cerulean}{x^{2}-2}\right)} \\ &=\color{black}{\left(\color{Cerulean}{x^{2}-2}\right)}^{2}-2 \\ &=x^{4}-4 x^{2}+4-2 \\ &=x^{4}-4 x^{2}+2 \end{aligned}\)
Answer:
\((f \circ f)(x)=x^{4}-4 x^{2}+2\)
Exercise \(\PageIndex{1}\)
Given \(f(x)=2x+3\) and \(g(x)=\sqrt{x-1}\) find \((f○g)(5)\).
- Answer
-
\(7\)
www.youtube.com/v/cwEGsJa5Tlc
Inverse Functions
Consider the function that converts degrees Fahrenheit to degrees Celsius: \(C(x)=\frac{5}{9}(x-32)\). We can use this function to convert \(77\)°F to degrees Celsius as follows.
\(\begin{aligned} C(\color{OliveGreen}{77}\color{black}{)} &=\frac{5}{9}(\color{OliveGreen}{77}\color{black}{-}32) \\ &=\frac{5}{9}(45) \\ &=25 \end{aligned}\)
Therefore, \(77\)°F is equivalent to \(25\)°C. If we wish to convert \(25\)°C back to degrees Fahrenheit we would use the formula: \(F(x)=\frac{9}{5}x+32\).
\(\begin{aligned} F(\color{OliveGreen}{25}\color{black}{)} &=\frac{9}{5}(\color{OliveGreen}{25}\color{black}{)}+32 \\ &=45+32 \\ &=77 \end{aligned}\)
Notice that the two functions \(C\) and \(F\) each reverse the effect of the other.
This describes an inverse relationship. In general, \(f\) and \(g\) are inverse functions if,
\(\begin{aligned}(f \circ g)(x)&=f(g(x))=x\quad\color{Cerulean}{for\:all\:x\:in\:the\:domain\:of\:g\:and} \\ (g \mathrm{O} f)(x)&=g(f(x))=x\quad\color{Cerulean}{for\:all\:x\:in\:the\:domain\:of\:f.}\end{aligned}\)
In this example,
\(\begin{aligned} C(F(\color{Cerulean}{25}\color{black}{)}) &=C(77)=\color{Cerulean}{25} \\ F(C(\color{Cerulean}{77}\color{black}{)}) &=F(25)=\color{Cerulean}{77} \end{aligned}\)
Example \(\PageIndex{4}\)
Verify algebraically that the functions defined by \(f(x)=\frac{1}{2}x−5\) and \(g(x)=2x+10\) are inverses.
Solution
Compose the functions both ways and verify that the result is \(x\).
\(\begin{aligned}(f \circ g)(x) &=f(g(x)) \\ &=f(\color{Cerulean}{2 x+10}\color{black}{)} \\ &=\frac{1}{2}(\color{Cerulean}{2 x+10}\color{black}{)}-5 \\ &=x+5-5 \\ &=x\:\:\color{Cerulean}{✓} \end{aligned}\) | \(\begin{aligned}(g \text { Of })(x) &=g(f(x)) \\ &=g\color{black}{\left(\color{Cerulean}{\frac{1}{2} x-5}\right)} \\ &=2\color{black}{\left(\color{Cerulean}{\frac{1}{2} x-5}\right)}+10 \\ &=x-10+10 \\ &=x\:\:\color{Cerulean}{✓} \end{aligned}\) |
Answer:
Both \((f \circ g)(x)=(g \circ f)(x)=x\); therefore, they are inverses.
Next we explore the geometry associated with inverse functions. The graphs of both functions in the previous example are provided on the same set of axes below.
Note that there is symmetry about the line \(y=x\); the graphs of \(f\) and \(g\) are mirror images about this line. Also notice that the point \((20, 5)\) is on the graph of \(f\) and that \((5, 20)\) is on the graph of \(g\). Both of these observations are true in general and we have the following properties of inverse functions:
- The graphs of inverse functions are symmetric about the line \(y=x\).
- If \((a,b)\) is on the graph of a function, then \((b,a)\) is on the graph of its inverse.
Furthermore, if \(g\) is the inverse of \(f\) we use the notation \(g=f^{-1}\). Here \(f^{-1}\) is read, “\(f\) inverse,” and should not be confused with negative exponents. In other words, \(f^{-1}(x) \neq \frac{1}{f(x)}\) and we have,
\(\begin{array}{l}{\left(f \circ f^{-1}\right)(x)=f\left(f^{-1}(x)\right)=x \text { and }} \\ {\left(f^{-1} \circ f\right)(x)=f^{-1}(f(x))=x}\end{array}\)
Example \(\PageIndex{5}\):
Verify algebraically that the functions defined by \(f(x)=\frac{1}{x}−2\) and \(f^{-1}(x)=\frac{1}{x+2}\) are inverses.
Solution
Compose the functions both ways to verify that the result is \(x\).
\(\begin{aligned}\left(f \circ f^{-1}\right)(x) &=f\left(f^{-1}(x)\right) \\ &=f\color{black}{\left(\color{Cerulean}{\frac{1}{x+2}}\right)} \\ &=\frac{1}{\color{black}{\left(\color{Cerulean}{\frac{1}{x+2}}\right)}}-2 \\ &=\frac{x+2}{1}-2 \\ &=x+2-2 \\ &=x\:\:\color{Cerulean}{✓} \end{aligned}\) | \(\begin{aligned}\left(f^{-1} \circ f\right)(x) &=f^{-1}(f(x)) \\ &=f^{-1}\color{black}{\left(\color{Cerulean}{\frac{1}{x}-2}\right)} \\ &=\frac{1}{\color{black}{\left(\color{Cerulean}{\frac{1}{x}-2}\right)}+2} \\ &=\frac{1}{\frac{1}{x}} \\ &=x\:\:\color{Cerulean}{✓} \end{aligned}\) |
Answer:
Since \(\left(f \circ f^{-1}\right)(x)=\left(f^{-1} \circ f\right)(x)=x\) they are inverses.
Recall that a function is a relation where each element in the domain corresponds to exactly one element in the range. We use the vertical line test to determine if a graph represents a function or not. Functions can be further classified using an inverse relationship. One-to-one functions3 are functions where each value in the range corresponds to exactly one element in the domain. The horizontal line test4 is used to determine whether or not a graph represents a one-to-one function. If a horizontal line intersects a graph more than once, then it does not represent a one-to-one function.
The horizontal line represents a value in the range and the number of intersections with the graph represents the number of values it corresponds to in the domain. The function defined by \(f(x)=x^{3}\) is one-to-one and the function defined by \(f(x)=|x|\) is not. Determining whether or not a function is one-to-one is important because a function has an inverse if and only if it is one-to-one. In other words, a function has an inverse if it passes the horizontal line test.
Note
In this text, when we say “a function has an inverse,” we mean that there is another function, \(f^{−1}\), such that \((f○f^{−1})(x)=(f^{−1}○f)(x)=x\).
Example \(\PageIndex{6}\):
Determine whether or not the given function is one-to-one.
Solution
Answer:
The given function passes the horizontal line test and thus is one-to-one.
In fact, any linear function of the form \(f(x)=mx+b\) where \(m≠0\), is one-to-one and thus has an inverse. The steps for finding the inverse of a one-to-one function are outlined in the following example.
Example \(\PageIndex{7}\)
Find the inverse of the function defined by \(f(x)=\frac{3}{2}x−5\).
Solution
Before beginning this process, you should verify that the function is one-to-one. In this case, we have a linear function where \(m≠0\) and thus it is one-to-one.
Step 1: Replace the function notation \(f(x)\) with \(y\).
\(\begin{aligned}f(x)&=\frac{3}{2} x-5 \\ y&=\frac{3}{2} x-5\end{aligned}\)
Step 2: Interchange \(x\) and \(y\). We use the fact that if \((x,y)\) is a point on the graph of a function, then \((y,x)\) is a point on the graph of its inverse.
\(x=\frac{3}{2} y-5\)
Step 3: Solve for \(y\).
\(\begin{aligned} x &=\frac{3}{2} y-5 \\ x+5 &=\frac{3}{2} y \\ \\\color{Cerulean}{\frac{2}{3}}\color{black}{ \cdot}(x+5) &=\color{Cerulean}{\frac{2}{3}}\color{black}{ \cdot} \frac{3}{2} y \\ \frac{2}{3} x+\frac{10}{3} &=y \end{aligned}\)
Step 4: The resulting function is the inverse of \(f\). Replace \(y\) with \(f^{−1}(x)\).
\(f^{-1}(x)=\frac{2}{3} x+\frac{10}{3}\)
Step 5: Check.
\(\begin{array}{l}{\left(f \circ f^{-1}\right)(x)} \\ {=f\left(f^{-1}(x)\right)} \\ {=f\color{black}{\left(\color{Cerulean}{\frac{2}{3} x+\frac{10}{3}}\right)}} \\ {=\frac{3}{2}\color{black}{\left(\color{Cerulean}{\frac{2}{3} x+\frac{10}{3}}\right)}-5} \\ {=x+5-5} \\ {=x}\:\:\color{Cerulean}{✓}\end{array}\) | \(\begin{array}{l}{\left(f^{-1} \circ f\right)(x)} \\ {=f^{-1}(f(x))} \\ {=f^{-1}\color{black}{\left(\color{Cerulean}{\frac{3}{2} x-5}\right)}} \\ {=\frac{2}{3}\color{black}{\left(\color{Cerulean}{\frac{3}{2} x-5}\right)}+\frac{10}{3}} \\ {=x-\frac{10}{3}+\frac{10}{3}} \\ {=x} \:\:\color{Cerulean}{✓}\end{array}\) |
Answer:
\(f^{-1}(x)=\frac{2}{3} x+\frac{10}{3}\)
If a function is not one-to-one, it is often the case that we can restrict the domain in such a way that the resulting graph is one-to-one. For example, consider the squaring function shifted up one unit, \(g(x)=x^{2}+1\). Note that it does not pass the horizontal line test and thus is not one-to-one. However, if we restrict the domain to nonnegative values, \(x≥0\), then the graph does pass the horizontal line test.
On the restricted domain, \(g\) is one-to-one and we can find its inverse.
Example \(\PageIndex{8}\):
Find the inverse of the function defined by \(g(x)=x^{2}+1\) where \(x≥0\).
Solution
Begin by replacing the function notation \(g(x)\) with \(y\).
\(\begin{aligned} g(x) &=x^{2}+1 \\ y &=x^{2}+1 \text { where } x \geq 0 \end{aligned}\)
Interchange \(x\) and \(y\).
\(x=y^{2}+1\) where \(y \geq 0\)
Solve for \(y\).
\(\begin{aligned} x &=y^{2}+1 \\ x-1 &=y^{2} \\ \pm \sqrt{x-1} &=y \end{aligned}\)
Since \(y≥0\) we only consider the positive result.
\(\begin{aligned} y &=\sqrt{x-1} \\ g^{-1}(x) &=\sqrt{x-1} \end{aligned}\)
Answer:
\(g^{-1}(x)=\sqrt{x-1}\). The check is left to the reader.
The graphs in the previous example are shown on the same set of axes below. Take note of the symmetry about the line \(y=x\).
Example \(\PageIndex{9}\):
Find the inverse of the function defined by \(f(x)=\frac{2 x+1}{x-3}\).
Solution
Use a graphing utility to verify that this function is one-to-one. Begin by replacing the function notation \(f(x)\) with \(y\).
\(\begin{aligned} f(x) &=\frac{2 x+1}{x-3} \\ y &=\frac{2 x+1}{x-3} \end{aligned}\)
Interchange \(x\) and \(y\).
\(x=\frac{2 y+1}{y-3}\)
Solve for \(y\).
\(\begin{aligned} x &=\frac{2 y+1}{y-3} \\ x(y-3) &=2 y+1 \\ x y-3 x &=2 y+1 \end{aligned}\)
Obtain all terms with the variable \(y\) on one side of the equation and everything else on the other. This will enable us to treat \(y\) as a GCF.
\(\begin{aligned} x y-3 x &=2 y+1 \\ x y-2 y &=3 x+1 \\ y(x-2) &=3 x+1 \\ y &=\frac{3 x+1}{x-2} \end{aligned}\)
Answer:
\(f^{-1}(x)=\frac{3 x+1}{x-2}\). The check is left to the reader.
Exercise \(\PageIndex{2}\)
Find the inverse of \(f(x)=\sqrt[3]{x+1}-3\).
- Answer
-
\(f^{-1}(x)=(x+3)^{3}-1\)
www.youtube.com/v/MwSB9WuYfCA
Key Takeaways
- The composition operator \((○)\) indicates that we should substitute one function into another. In other words, \((f○g)(x)=f(g(x))\) indicates that we substitute \(g(x)\) into \(f(x)\).
- If two functions are inverses, then each will reverse the effect of the other. Using notation, \((f○g)(x)=f(g(x))=x\) and \((g○f)(x)=g(f(x))=x\).
- Inverse functions have special notation. If \(g\) is the inverse of \(f\), then we can write \(g(x)=f^{-1}(x)\). This notation is often confused with negative exponents and does not equal one divided by \(f(x)\).
- The graphs of inverses are symmetric about the line \(y=x\). If \((a,b)\) is a point on the graph of a function, then \((b,a)\) is a point on the graph of its inverse.
- If each point in the range of a function corresponds to exactly one value in the domain then the function is one-to-one. Use the horizontal line test to determine whether or not a function is one-to-one.
- A one-to-one function has an inverse, which can often be found by interchanging \(x\) and \(y\), and solving for \(y\). This new function is the inverse of the original function.
Exercise \(\PageIndex{3}\)
Given the functions defined by \(f\) and \(g\) find \((f \circ g)(x)\) and \((g \circ f)(x)\).
- \(f(x)=4 x-1, g(x)=3 x\)
- \(f(x)=-2 x+5, g(x)=2 x\)
- \(f(x)=3 x-5, g(x)=x-4\)
- \(f(x)=5 x+1, g(x)=2 x-3\)
- \(f(x)=x^{2}-x+1, g(x)=2 x-1\)
- \(f(x)=x^{2}-3 x-2, g(x)=x-2\)
- \(f(x)=x^{2}+3, g(x)=x^{2}-5\)
- \(f(x)=2 x^{2}, g(x)=x^{2}-x\)
- \(f(x)=8 x^{3}+5, g(x)=\sqrt[3]{x-5}\)
- \(f(x)=27 x^{3}-1, g(x)=\sqrt[3]{x+1}\)
- \(f(x)=\frac{1}{x+5}, g(x)=\frac{1}{x}\)
- \(f(x)=\frac{1}{x}-3, g(x)=\frac{3}{x+3}\)
- \(f(x)=5 \sqrt{x}, g(x)=3 x-2\)
- \(f(x)=\sqrt{2 x}, g(x)=4 x+1\)
- \(f(x)=\frac{1}{2 x}, g(x)=x^{2}+8\)
- \(f(x)=2 x-1, g(x)=\frac{1}{x+1}\)
- \(f(x)=\frac{1-x}{2 x}, g(x)=\frac{1}{2 x+1}\)
- \(f(x)=\frac{2 x}{x+1}, g(x)=\frac{x+1}{x}\)
- Answer
-
1. \((f \circ g)(x)=12 x-1 ;(g \circ f)(x)=12 x-3\)
3. \((f \circ g)(x)=3 x-17 ;(g \circ f)(x)=3 x-9\)
5. \((f \circ g)(x)=4 x^{2}-6 x+3 ;(g \circ f)(x)=2 x^{2}-2 x+1\)
7. \((f \circ g)(x)=x^{4}-10 x^{2}+28 ;(g \circ f)(x)=x^{4}+6 x^{2}+4\)
9. \((f \circ g)(x)=8 x-35 ;(g \circ f)(x)=2 x\)
11. \((f \circ g)(x)=\frac{x}{5 x+1} ;(g \circ f)(x)=x+5\)
13. \((f \circ g)(x)=5 \sqrt{3 x-2} ;(g \circ f)(x)=15 \sqrt{x}-2\)
15. \(\begin{array}{l}{(f \circ g)(x)=\frac{1}{2 x^{2}+16}}; {(g \circ f)(x)=\frac{1+32 x^{2}}{4 x^{2}}}\end{array}\)
17. \((f \circ g)(x)=x ;(g \circ f)(x)=x\)
Exercise \(\PageIndex{4}\)
Given the functions defined by \(f(x)=3 x^{2}-2, g(x)=5 x+1\), and \(h(x)=\sqrt{x}\), calculate the following.
- \((f \circ g)(2)\)
- \((g \circ f)(-1)\)
- \((g \circ f)(0)\)
- \((f \circ g)(0)\)
- \((f \circ h)(3)\)
- \((g \circ h)(16)\)
- \((h \circ g)\left(\frac{3}{5}\right)\)
- \((h \circ f)(-3)\)
- Answer
-
1. \(361\)
3. \(−9\)
5. \(7\)
7. \(2\)
Exercise \(\PageIndex{5}\)
Given the functions defined by \(f(x)=\sqrt[3]{x+3}, g(x)=8 x^{3}-3\), and \(h(x)=2 x-1\), calculate the following.
- \(( f\circ g )(1)\)
- \((g \circ f)(-2)\)
- \((g \circ f)(0)\)
- \((f \circ g)(-2)\)
- \((f \circ h)(-1)\)
- \((h \circ g)\left(-\frac{1}{2}\right)\)
- \((h \circ f)(24)\)
- \((g \circ h)(0)\)
- Answer
-
1. \(2\)
3. \(21\)
5. \(0\)
7. \(5\)
Exercise \(\PageIndex{6}\)
Given the function, determine \((f \circ f)(x)\).
- \(f(x)=3 x-1\)
- \(f(x)=\frac{2}{5} x+1\)
- \(f(x)=x^{2}+5\)
- \(f(x)=x^{2}-x+6\)
- \(f(x)=x^{3}+2\)
- \(f(x)=x^{3}-x\)
- \(f(x)=\frac{1}{x+1}\)
- \(f(x)=\frac{x+1}{2 x}\)
- Answer
-
1. \((f\circ f)(x)=9 x-4\)
3. \((f \circ f)(x)=x^{4}+10 x^{2}+30\)
5. \((f \circ f)(x)=x^{9}+6 x^{6}+12 x^{3}+10\)
7. \((f \circ f)(x)=\frac{x+1}{x+2}\)
Exercise \(\PageIndex{7}\)
Are the given functions one-to-one? Explain.
1.
2.
3.
4.
5. \(f(x)=x+1\)
6. \(g(x)=x^{2}+1\)
7. \(h(x)=|x|+1\)
8. \(r(x)=x^{3}+1\)
9. \(f(x)=\sqrt{x+1}\)
10. \(g(x)=3\)
- Answer
-
1. No, fails the HLT
3. Yes, passes the HLT
5. Yes, its graph passes the HLT.
7. No, its graph fails the HLT.
9. Yes, its graph passes the HLT.
Exercise \(\PageIndex{8}\)
Given the graph of a one-to-one function, graph its inverse.
1.
2.
3.
4.
5.
6.
- Answer
-
1.
3.
5.
Exercise \(\PageIndex{9}\)
Verify algebraically that the two given functions are inverses. In other words, show that \(\left(f \circ f^{-1}\right)(x)=x\) and \(\left(f^{-1} \circ f\right)(x)=x\).
- \(f(x)=3 x-4, f^{-1}(x)=\frac{x+4}{3}\)
- \(f(x)=-5 x+1, f^{-1}(x)=\frac{1-x}{5}\)
- \(f(x)=-\frac{2}{3} x+1, f^{-1}(x)=-\frac{3}{2} x+\frac{3}{2}\)
- \(f(x)=4 x-\frac{1}{3}, f^{-1}(x)=\frac{1}{4} x + \frac{1}{12}\)
- \(f(x)=\sqrt{x-8}, f^{-1}(x)=x^{2}+8, x \geq 0\)
- \(f(x)=\sqrt[3]{6 x}-3, f^{-1}(x)=\frac{(x+3)^{3}}{6}\)
- \(f(x)=\frac{x}{x+1}, f^{-1}(x)=\frac{x}{1-x}\)
- \(f(x)=\frac{x-3}{3 x}, f^{-1}(x)=\frac{3}{1-3 x}\)
- \(f(x)=2(x-1)^{3}+3, f^{-1}(x)=1+\sqrt[3]{\frac{x-3}{2}}\)
- \(f(x)=\sqrt[3]{5 x-1}+4, f^{-1}(x)=\frac{(x-4)^{3}+1}{5}\)
- Answer
-
1. Proof
3. Proof
5. Proof
7. Proof
9. Proof
Exercise \(\PageIndex{10}\)
Find the inverses of the following functions.
- \(f(x)=5 x\)
- \(f(x)=\frac{1}{2} x\)
- \(f(x)=2 x+5\)
- \(f(x)=-4 x+3\)
- \(f(x)=-\frac{2}{3} x+\frac{1}{3}\)
- \(f(x)=-\frac{1}{2} x+\frac{3}{4}\)
- \(g(x)=x^{2}+5, x \geq 0\)
- \(g(x)=x^{2}-7, x \geq 0\)
- \(f(x)=(x-5)^{2}, x \geq 5\)
- \(f(x)=(x+1)^{2}, x \geq-1\)
- \(h(x)=3 x^{3}+5\)
- \(h(x)=2 x^{3}-1\)
- \(f(x)=(2 x-3)^{3}\)
- \(f(x)=(x+4)^{3}-1\)
- \(g(x)=\frac{2}{x^{3}+1}\)
- \(g(x)=\frac{1}{x^{3}}-2\)
- \(f(x)=\frac{5}{x+1}\)
- \(f(x)=\frac{1}{2 x-9}\)
- \(f(x)=\frac{x+5}{x-5}\)
- \(f(x)=\frac{3 x-4}{2 x-1}\)
- \(h(x)=\frac{x-5}{10 x}\)
- \(h(x)=\frac{9 x+1}{3 x}\)
- \(g(x)=\sqrt[3]{5 x+2}\)
- \(g(x)=\sqrt[3]{4 x-3}\)
- \(f(x)=\sqrt[3]{x-6}-4\)
- \(f(x)=2 \sqrt[3]{x+2}+5\)
- \(h(x)=\sqrt[5]{x+1}-3\)
- \(h(x)=\sqrt[5]{x-8}+1\)
- \(f(x)=m x+b, m \neq 0\)
- \(f(x)=a x^{2}+c, x \geq 0\)
- \(f(x)=a x^{3}+d\)
- \(f(x)=a(x-h)^{2}+k, x \geq h\)
- Answer
-
1. \(f^{-1}(x)=\frac{x}{5}\)
3. \(f^{-1}(x)=\frac{1}{2} x-\frac{5}{2}\)
5. \(f^{-1}(x)=-\frac{3}{2} x+\frac{1}{2}\)
7. \(g^{-1}(x)=\sqrt{x-5}\)
9. \(f^{-1}(x)=\sqrt{x}+5\)
11. \(h^{-1}(x)=\sqrt[3]{\frac{x-5}{3}}\)
13. \(f^{-1}(x)=\frac{\sqrt[3]{x}+3}{2}\)
15. \(g^{-1}(x)=\sqrt[3]{\frac{2-x}{x}}\)
17. \(f^{-1}(x)=\frac{5-x}{x}\)
19. \(f^{-1}(x)=\frac{5(x+1)}{x-1}\)
21. \(h^{-1}(x)=-\frac{5}{10 x-1}\)
23. \(g^{-1}(x)=\frac{x^{3}-2}{5}\)
25. \(f^{-1}(x)=(x+4)^{3}+6\)
27. \(h^{-1}(x)=(x+3)^{5}-1\)
29. \(f^{-1}(x)=\frac{x-b}{m}\)
31. \(f^{-1}(x)=\sqrt[3]{\frac{x-d}{a}}\)
Exercise \(\PageIndex{11}\)
Graph the function and its inverse on the same set of axes.
- \(f(x)=x+2\)
- \(f(x)=\frac{2}{3} x-4\)
- \(f(x)=-2 x+2\)
- \(f(x)=-\frac{1}{3} x+4\)
- \(g(x)=x^{2}-2, x \geq 0\)
- \(g(x)=(x-2)^{2}, x \geq 2\)
- \(h(x)=x^{3}+1\)
- \(h(x)=(x+2)^{3}-2\)
- \(f(x)=2-\sqrt{x}\)
- \(f(x)=\sqrt{-x}+1\)
- Answer
-
1.
3.
5.
7.
9.
Exercise \(\PageIndex{12}\)
- Is composition of functions associative? Explain.
- Explain why \(C(x)=\frac{5}{9}(x-32)\) and \(F(x)=\frac{9}{5} x+32\) define inverse functions. Prove it algebraically.
- Do the graphs of all straight lines represent one-to-one functions? Explain.
- If the graphs of inverse functions intersect, then how can we find the point of intersection? Explain.
- Answer
-
1. Answer may vary
3. Answer may vary
Footnotes
1Applying a function to the results of another function.
2The open dot used to indicate the function composition \((f ○g) (x) = f (g (x))\)
3Functions where each value in the range corresponds to exactly one value in the domain.
4If a horizontal line intersects the graph of a function more than once, then it is not one-to-one.
.