Learning Objectives
- (12.2.1) – Define a composite function
- (12.2.2) – Define an inverse function
- Use compositions of functions to verify inverses algebraically
(12.2.1) – Define a composite function
Suppose we want to calculate how much it costs to heat a house on a particular day of the year. The cost to heat a house will depend on the average daily temperature, and in turn, the average daily temperature depends on the particular day of the year. Notice how we have just defined two relationships: The cost depends on the temperature, and the temperature depends on the day.
Using descriptive variables, we can notate these two functions. The function [latex]C\left(T\right)[/latex] gives the cost [latex]C[/latex] of heating a house for a given average daily temperature in [latex]T[/latex] degrees Celsius. The function [latex]T\left(d\right)[/latex] gives the average daily temperature on day [latex]d[/latex] of the year. For any given day, [latex]\text{Cost}=C\left(T\left(d\right)\right)[/latex] means that the cost depends on the temperature, which in turns depends on the day of the year. Thus, we can evaluate the cost function at the temperature [latex]T\left(d\right)[/latex]. For example, we could evaluate [latex]T\left(5\right)[/latex] to determine the average daily temperature on the 5th day of the year. Then, we could evaluate the cost function at that temperature. We would write [latex]C\left(T\left(5\right)\right)[/latex]. By combining these two relationships into one function, we have performed function composition.
We read the left-hand side as [latex]"f[/latex] composed with [latex]g[/latex] at [latex]x,"[/latex] and the right-hand side as [latex]"f[/latex] of [latex]g[/latex] of [latex]x."[/latex] The two sides of the equation have the same mathematical meaning and are equal. The open circle symbol [latex]\circ[/latex] is called the composition operator.
It is also important to understand the order of operations in evaluating a composite function. We follow the usual convention with parentheses by starting with the innermost parentheses first, and then working to the outside.
Example
Using the functions provided, find [latex]f\left(g\left(x\right)\right)[/latex] and [latex]g\left(f\left(x\right)\right)[/latex].
[latex]f\left(x\right)=2x+1[/latex]
[latex]g\left(x\right)=3-x[/latex]
In the following video you will see another example of how to find the composition of two functions.
(12.2.2) – Define an inverse function
An inverse function is a function for which the input of the original function becomes the output of the inverse function. This naturally leads to the output of the original function becoming the input of the inverse function. The reason we want to introduce inverse functions is because exponential and logarithmic functions are inverses of each other, and understanding this quality helps to make understanding logarithmic functions easier. And the reason we introduced composite functions is because you can verify, algebraically, whether two functions are inverses of each other by using a composition.
Given a function [latex]f\left(x\right)[/latex], we represent its inverse as [latex]{f}^{-1}\left(x\right)[/latex], read as [latex]"f[/latex] inverse of [latex]x."[/latex] The raised [latex]-1[/latex] is part of the notation. It is not an exponent; it does not imply a power of [latex]-1[/latex] . In other words, [latex]{f}^{-1}\left(x\right)[/latex] does not mean [latex]\displaystyle \frac{1}{f\left(x\right)}[/latex] because [latex]\displaystyle \frac{1}{f\left(x\right)}[/latex] is the reciprocal of [latex]f[/latex] and not the inverse.
Just as zero does not have a reciprocal, some functions do not have inverses.
Inverse Function
For any function [latex]f\left(x\right)[/latex], a function [latex]{f}^{-1}\left(x\right)[/latex] is an inverse function if [latex]f[/latex] if [latex](f \circ {f}^{-1})(x) = x[/latex] and [latex](f^{-1} \circ f)(x) = x[/latex]
The notation [latex]{f}^{-1}[/latex] is read [latex]\text{"}f[/latex] inverse.” Like any other function, we can use any variable name as the input for [latex]{f}^{-1}[/latex], so we will often write [latex]{f}^{-1}\left(x\right)[/latex], which we read as [latex]"f[/latex] inverse of [latex]x."[/latex]
Keep in mind that
and not all functions have inverses.
In our first example we will identify an inverse function from ordered pairs.
Example
If for a particular function, which has an inverse, [latex]f\left(2\right)=4[/latex] and [latex]f\left(5\right)=12[/latex], what are the corresponding input and output values for the inverse function?
How To: Given two functions [latex]f\left(x\right)[/latex] and [latex]g\left(x\right)[/latex], test whether the functions are inverses of each other.
- Substitute [latex]g(x)[/latex] into [latex]f(x)[/latex]. The result must be [latex]x[/latex]. [latex]f\left(g(x)\right)=x[/latex]
- Substitute [latex]f(x)[/latex] into [latex]g(x)[/latex]. The result must be [latex]x[/latex]. [latex]g\left(f(x)\right)=x[/latex]
If [latex]f(x)[/latex] and [latex]g(x)[/latex] are inverses, then [latex]f(x)=g^{-1}(x)[/latex] and [latex]g(x)=f^{-1}(x)[/latex]
In our next example we will test inverse relationships algebraically.
Example
If [latex]f\left(x\right)=x^2-3[/latex], for [latex]x\ge0[/latex] and [latex]g\left(x\right)=\sqrt{x+3}[/latex], are [latex]g[/latex] and [latex]f[/latex] inverses of each other?
In the following video we use algebra to determine if two functions are inverses.
We will show another example of how to verify whether you have an inverse algebraically.
Example
If [latex]\displaystyle f\left(x\right)=\frac{1}{x+2}[/latex] and [latex]\displaystyle g\left(x\right)=\frac{1}{x}-2[/latex], are [latex]g[/latex] and [latex]f[/latex] inverses of each other?
We will show one more example of how to use algebra to determine whether two functions are inverses of each other.
Candela Citations
- Ex 1: Composition of Function. Authored by: James Sousa (Mathispower4u.com) . Located at: https://youtu.be/r_LssVS4NHk. License: CC BY: Attribution
- Revision and Adaptation. Provided by: Lumen Learning. License: CC BY: Attribution
- Precalculus. Authored by: Jay Abramson, et al.. Provided by: OpenStax. Located at: http://cnx.org/contents/fd53eae1-fa23-47c7-bb1b-972349835c3c@5.175. License: CC BY: Attribution. License Terms: Download For Free at : http://cnx.org/contents/fd53eae1-fa23-47c7-bb1b-972349835c3c@5.175.
Notice that if we show the coordinate pairs in a table form, the input and output are clearly reversed.