10.2: Finding Composite and Inverse Functions

Learning Objectives

By the end of this section, you will be able to:

• Find and evaluate composite functions
• Determine whether a function is one-to-one
• Find the inverse of a function

Before you get started, take this readiness quiz.

1. If \(f(x)=2 x-3\) and \(g(x)=x^{2}+2 x-3\), find \(f(4)\).
   If you missed this problem, review Example 3.48.
2. Solve for \(x\), \(3x+2y=12\).
   If you missed this problem, review Example 2.31.
3. Simplify: \(5 \frac{(x+4)}{5}-4\).
   If you missed this problem, review Example 1.25.

In this chapter, we will introduce two new types of functions, exponential functions and logarithmic functions. These functions are used extensively in business and the sciences as we will see.

Find and Evaluate Composite Functions

Before we introduce the functions, we need to look at another operation on functions called composition. In composition, the output of one function is the input of a second function. For functions \(f\) and \(g\), the composition is written \(f∘g\) and is defined by \((f∘g)(x)=f(g(x))\).

We read \(f(g(x))\) as “\(f\) of \(g\) of \(x\).”

Figure 10.1.1

To do a composition, the output of the first function, \(g(x)\), becomes the input of the second function, \(f\), and so we must be sure that it is part of the domain of \(f\).

Definition \(\PageIndex{1}\)

The composition of functions \(f\) and \(g\) is written \(f \cdot g\) and is defined by

\((f \circ g)(x)=f(g(x))\)

We read \(f(g(x))\) as \(f\) of \(g\) of \(x\).

We have actually used composition without using the notation many times before. When we graphed quadratic functions using translations, we were composing functions. For example, if we first graphed \(g(x)=x^{2}\) as a parabola and then shifted it down vertically four units, we were using the composition defined by \((f∘g)(x)=f(g(x))\) where \(f(x)=x−4\).

Figure 10.1.2

Example \(\PageIndex{1}\)

For functions \(f(x)=4x-5\) and \(g(x)=2x+3\), find

1. \((f \circ g)(x)\)
2. \((g \circ f)(x)\)
3. \((f \cdot g)(x)\)

Solution:

1. Table 10.1.1

   Use the definition of \((f \circ g)(x)\).
   Distribute.
   Simplify.

2. Table 10.1.2

   Use the definition of \((f \circ g)(x)\).
   Distribute.
   Simplify.

Notice the difference in the result in part a. and part b.

c. Notice that \((f \cdot g)(x)\) is different than \((f \circ g)(x)\). In part a. we did the composition of the functions. Now in part c. we are not composing them, we are multiplying them.

Use the definition of \((f \cdot g)(x)\).

\((f \cdot g)(x)=f(x) \cdot g(x)\)

Substitute \(f(x)=4 x-5\) and \(g(x)=2 x+3\).

\((f \cdot g)(x)=(4 x-5) \cdot(2 x+3)\)

Multiply.

\((f \cdot g)(x)=8 x^{2}+2 x-15\)

Exercise \(\PageIndex{1}\)

For functions \(f(x)=3x-2\) and \(g(x)=5x+1\), find

1. \((f \circ g)(x)\)
2. \((g \circ f)(x)\)
3. \((f \cdot g)(x)\)

Answer

1. \(15x+1\)
2. \(15x-9\)
3. \(15 x^{2}-7 x-2\)

Exercise \(\PageIndex{2}\)

For functions \(f(x)=4 x-3\), and \(g(x)=6x-5\), find

1. \((f \circ g)(x)\)
2. \((g \circ f)(x)\)
3. \((f \cdot g)(x)\)

Answer

1. \(24 x-23\)
2. \(24 x-23\)
3. \(24 x^{2}-38 x+15\)

In the next example we will evaluate a composition for a specific value.

Example \(\PageIndex{2}\)

For functions \(f(x)=x^{2}-4\), and \(g(x)=3 x+2\), find:

1. \((f \circ g)(-3)\)
2. \((g \circ f)(-1)\)
3. \((f \circ f)(2)\)

Solution:

1. Table 10.1.3

   Use the definition of \((f \circ g)(-3)\).
   Simplify.
   Simplify.

2. Table 10.1.4

   Use the definition of \((g \circ f)(-1)\).
   Simplify.
   Simplify.

3. Table 10.1.5

   Use the definition of \((f \circ f)(2)\).
   Simplify.
   Simplify.

Exercise \(\PageIndex{3}\)

For functions \(f(x)=x^{2}-9\), and \(g(x)=2x+5\), find

1. \((f \circ g)(-2)\)
2. \((g \circ f)(-3)\)
3. \((f \circ f)(4)\)

Answer

1. \(-8\)
2. \(5\)
3. \(40\)

Exercise \(\PageIndex{4}\)

For functions \(f(x)=x^{2}+1\), and \(g(x)=3x-5\), find

1. \((f \circ g)(-1)\)
2. \((g \circ f)(2)\)
3. \((f \circ f)(-1)\)

Answer

1. \(65\)
2. \(10\)
3. \(5\)

Determine Whether a Function is One-to-One

When we first introduced functions, we said a function is a relation that assigns to each element in its domain exactly one element in the range. For each ordered pair in the relation, each \(x\)-value is matched with only one \(y\)-value.

We used the birthday example to help us understand the definition. Every person has a birthday, but no one has two birthdays and it is okay for two people to share a birthday. Since each person has exactly one birthday, that relation is a function.

Figure 10.1.38

A function is one-to-one if each value in the range has exactly one element in the domain. For each ordered pair in the function, each y-value is matched with only one \(x\)-value.

Our example of the birthday relation is not a one-to-one function. Two people can share the same birthday. The range value August 2 is the birthday of Liz and June, and so one range value has two domain values. Therefore, the function is not one-to-one.

Definition \(\PageIndex{2}\)

A function is one-to-one if each value in the range corresponds to one element in the domain. For each ordered pair in the function, each \(y\)-value is matched with only one \(x\)-value. There are no repeated \(y\)-values.

Example \(\PageIndex{3}\)

For each set of ordered pairs, determine if it represents a function and, if so, if the function is one-to-one.

1. \(\{(-3,27),(-2,8),(-1,1),(0,0),(1,1),(2,8),(3,27)\}\)
2. \(\{(0,0),(1,1),(4,2),(9,3),(16,4)\}\)

Solution:

1. \(\{(-3,27),(-2,8),(-1,1),(0,0),(1,1),(2,8),(3,27)\}\)

   Each \(x\)-value is matched with only one \(y\)-value. So this relation is a function.

   But each \(y\)-value is not paired with only one \(x\)-value, \((−3,27)\) and \((3,27)\), for example. So this function is not one-to-one.

2. \(\{(0,0),(1,1),(4,2),(9,3),(16,4)\}\)

   Each \(x\)-value is matched with only one \(y\)-value. So this relation is a function.

   Since each \(y\)-value is paired with only one \(x\)-value, this function is one-to-one.

Exercise \(\PageIndex{5}\)

For each set of ordered pairs, determine if it represents a function and if so, is the function one-to-one.

1. \(\{(-3,-6),(-2,-4),(-1,-2),(0,0),(1,2),(2,4),(3,6)\}\)
2. \(\{(-4,8),(-2,4),(-1,2),(0,0),(1,2),(2,4),(4,8)\}\)

Answer

1. One-to-one function
2. Function; not one-to-one

Exercise \(\PageIndex{6}\)

For each set of ordered pairs, determine if it represents a function and if so, is the function one-to-one.

1. \(\{(27,-3),(8,-2),(1,-1),(0,0),(1,1),(8,2),(27,3)\}\)
2. \(\{(7,-3),(-5,-4),(8,0),(0,0),(-6,4),(-2,2),(-1,3)\}\)

Answer

1. Not a function
2. Function; not one-to-one

To help us determine whether a relation is a function, we use the vertical line test. A set of points in a rectangular coordinate system is the graph of a function if every vertical line intersects the graph in at most one point. Also, if any vertical line intersects the graph in more than one point, the graph does not represent a function.

The vertical line is representing an \(x\)-value and we check that it intersects the graph in only one \(y\)-value. Then it is a function.

To check if a function is one-to-one, we use a similar process. We use a horizontal line and check that each horizontal line intersects the graph in only one point. The horizontal line is representing a \(y\)-value and we check that it intersects the graph in only one \(x\)-value. If every horizontal line intersects the graph of a function in at most one point, it is a one-to-one function. This is the horizontal line test.

Definition \(\PageIndex{3}\)

Horizontal Line Test

If every horizontal line intersects the graph of a function in at most one point, it is a one-to-one function.

We can test whether a graph of a relation is a function by using the vertical line test. We can then tell if the function is one-to-one by applying the horizontal line test.

Example \(\PageIndex{4}\)

Determine

1. whether each graph is the graph of a function and, if so,
2. whether it is one-to-one

Figure 10.1.39

Solution:

1. 
   
   Figure 10.1.40

Since any vertical line intersects the graph in at most one point, the graph is the graph of a function. Since any horizontal line intersects the graph in at most one point, the graph is the graph of a one-to-one function.

b.

Figure 10.1.41

Since any vertical line intersects the graph in at most one point, the graph is the graph of a function. The horizontal line shown on the graph intersects it in two points. This graph does not represent a one-to-one function.

Exercise \(\PageIndex{7}\)

Determine

1. whether each graph is the graph of a function and, if so,
2. whether it is one-to-one

Figure 10.1.42

Answer

1. Not a function
2. One-to-one function

Exercise \(\PageIndex{8}\)

Determine

1. whether each graph is the graph of a function and, if so,
2. whether it is one-to-one

Figure 10.1.43

Answer

1. Function; not one-to-one
2. One-to-one function

Find the Inverse of a Function

Let’s look at a one-to one function, \(f\), represented by the ordered pairs \(\{(0,5),(1,6),(2,7),(3,8)\}\). For each \(x\)-value, \(f\) adds \(5\) to get the \(y\)-value. To ‘undo’ the addition of \(5\), we subtract \(5\) from each \(y\)-value and get back to the original \(x\)-value. We can call this “taking the inverse of \(f\)” and name the function \(f^{−1}\).

Figure 10.1.44

Notice that that the ordered pairs of \(f\) and \(f^{−1}\) have their \(x\)-values and \(y\)-values reversed. The domain of \(f\) is the range of \(f^{−1}\) and the domain of \(f^{−1}\) is the range of \(f\).

Definition \(\PageIndex{4}\)

Inverse of a Function Defined by Ordered Pairs

If \(f(x)\) is a one-to-one function whose ordered pairs are of the form \((x,y)\), then its inverse function \(f^{−1}(x)\) is the set of ordered pairs \((y,x)\).

In the next example we will find the inverse of a function defined by ordered pairs.

Example \(\PageIndex{5}\)

Find the inverse of the function \(\{(0,3),(1,5),(2,7),(3,9)\}\). Determine the domain and range of the inverse function.

Solution:

This function is one-to-one since every \(x\)-value is paired with exactly one \(y\)-value.

To find the inverse we reverse the \(x\)-values and \(y\)-values in the ordered pairs of the function.

\(\begin{array}{ll} {\text{Function}}&{\{(0,3),(1,5),(2,7),(3,9)\}} \\ {\text{Inverse Function}}& {\{(3,0), (5,1), (7,2), (9,3)\}} \\ {\text{Domain of Inverse Function}}&{\{3, 5, 7, 9\}} \\ {\text{Range of Inverse Function}}&{\{0, 1, 2, 3\}} \end{array}\)

Exercise \(\PageIndex{9}\)

Find the inverse of \(\{(0,4),(1,7),(2,10),(3,13)\}\). Determine the domain and range of the inverse function.

Answer

Inverse function: \(\{(4,0),(7,1),(10,2),(13,3)\}\). Domain: \(\{4,7,10,13\}\). Range: \(\{0,1,2,3\}\).

Exercise \(\PageIndex{10}\)

Find the inverse of \(\{(-1,4),(-2,1),(-3,0),(-4,2)\}\). Determine the domain and range of the inverse function.

Answer

Inverse function: \(\{(4,-1),(1,-2),(0,-3),(2,-4)\}\). Domain: \(\{0,1,2,4\}\). Range: \(\{-4,-3,-2,-1\}\).

We just noted that if \(f(x)\) is a one-to-one function whose ordered pairs are of the form \((x,y)\), then its inverse function \(f^{−1}(x)\) is the set of ordered pairs \((y,x)\).

So if a point \((a,b)\) is on the graph of a function \(f(x)\), then the ordered pair \((b,a)\) is on the graph of \(f^{−1}(x)\). See Figure 10.1.43.

Figure 10.1.45

The distance between any two pairs \((a,b)\) and \((b,a)\) is cut in half by the line \(y=x\). So we say the points are mirror images of each other through the line \(y=x\).

Since every point on the graph of a function \(f(x)\) is a mirror image of a point on the graph of \(f^{−1}(x)\), we say the graphs are mirror images of each other through the line \(y=x\). We will use this concept to graph the inverse of a function in the next example.

Example \(\PageIndex{6}\)

Graph, on the same coordinate system, the inverse of the one-to one function shown.

Figure 10.1.46

Solution:

We can use points on the graph to find points on the inverse graph. Some points on the graph are: \((−5,−3),(−3,−1),(−1,0),(0,2),(3,4)\).

So, the inverse function will contain the points: \((−3,−5),(−1,−3),(0,−1),(2,0),(4,3)\).

Figure 10.1.47

Notice how the graph of the original function and the graph of the inverse functions are mirror images through the line \(y=x\).

Exercise \(\PageIndex{11}\)

Graph, on the same coordinate system, the inverse of the one-to one function.

Figure 10.1.48

Answer

Figure 10.1.49

Exercise \(\PageIndex{12}\)

Graph, on the same coordinate system, the inverse of the one-to one function.

Figure 10.1.50

Answer

Figure 10.1.51

When we began our discussion of an inverse function, we talked about how the inverse function ‘undoes’ what the original function did to a value in its domain in order to get back to the original \(x\)-value.

Figure 10.1.52

Definition \(\PageIndex{5}\)

Inverse Functions

\(f^{-1}(f(x))=x\), for all \(x\) in the domain of \(f\)

\(f\left(f^{-1}(x)\right)=x\), for all \(x\) in the domain of \(f^{-1}\)

We can use this property to verify that two functions are inverses of each other.

Example \(\PageIndex{7}\)

Verify that \(f(x)=5x−1\) and \(g(x)=\frac{x+1}{5}\) are inverse functions.

Solution:

The functions are inverses of each other if \(g(f(x))=x\) and \(f(g(x))=x\).

Table 10.1.6

Substitue \(5x-1\) for \(f(x)\).
Simplify.
Simplify.	Figure 10.1.59
Substitute \(\frac{x+1}{5}\) for \(g(x)\).
Simplify.
Simplify.

Since both \(g(f(x))=x\) and \(f(g(x))=x\) are true, the functions \(f(x)=5x−1\) and \(g(x)=\frac{x+1}{5}\) are inverse functions. That is, they are inverses of each other.

Exercise \(\PageIndex{13}\)

Verify that the functions are inverse functions. \(f(x)=4 x-3\) and \(g(x)=\frac{x+3}{4}\).

Answer

\(g(f(x))=x\), and \(f(g(x))=x\), so they are inverses.

Exercise \(\PageIndex{14}\)

Verify that the functions are inverse functions. \(f(x)=2 x+6\) and \(g(x)=\frac{x-6}{2}\)

Answer

\(g(f(x))=x,\) and \(f(g(x))=x,\) so they are inverses.

We have found inverses of function defined by ordered pairs and from a graph. We will now look at how to find an inverse using an algebraic equation. The method uses the idea that if \(f(x)\) is a one-to-one function with ordered pairs \((x,y)\), then its inverse function \(f^{−1}(x)\) is the set of ordered pairs \((y,x)\).

If we reverse the \(x\) and \(y\) in the function and then solve for \(y\), we get our inverse function.

Example \(\PageIndex{8}\) How to Find the Inverse of a One-to-One Function

Find the inverse of \(f(x)=4 x+7\).

Solution:

Table 10.1.7

Step 1. Substitute \(y\) for \(f(x)\).	Replace \(f(x)\) with \(y\).	\(\begin{aligned} f(x) &=4 x+7 \\ y &=4 x+7 \end{aligned}\)
Step 2: Interchange the variables \(x\) and \(y\).	Replace \(x\) with \(y\) and then \(y\) with \(x\).	\(x=4y+7\)
Step 3: Solve for \(y\).	Subtract \(7\) from each side. Divide by \(4\).	\(x-7=4 y\) \(\frac{x-7}{4}=y\)
Step 4: Substitute \(f^{-1}(x)\) for \(y\).	Replace \(y\) with \(f^{-1}(x)\).	\(\frac{x-7}{4}=f^{-1}(x)\)
Step 5: Verify that the functions are inverses.	Show \(f^{-1}(f(x))=x\) and \(f\left(f^{-1}(x)\right)=x\)	\(\begin{aligned} f^{-1}(f(x)) & \stackrel{?}{=} x \\f^{-1}(4x+7)&\stackrel{?}{=}x\\ \frac{(4x+7)-7}{4}&\stackrel{?}{=}x \\ \frac{4x}{4}&\stackrel{?}{=}x\\x&=x \\ \\f(f^{-1}(x))&\stackrel{?}{=}x \\f \left(\frac{x-7}{4} \right)&\stackrel{?}{=}x \\ 4\left(\frac{x-7}{4} \right) + 7 &\stackrel{?}{=}x \\ x-7+7&\stackrel{?}{=}x \\x&=x \end{aligned}\)

Exercise \(\PageIndex{15}\)

Find the inverse of the function \(f(x)=5x-3\).

Answer

\(f^{-1}(x)=\frac{x+3}{5}\)

Exercise \(\PageIndex{16}\)

Find the inverse of the function \(f(x)=8 x+5\).

Answer

\(f^{-1}(x)=\frac{x-5}{8}\)

We summarize the steps below.

How to Find the Inverse of a One-to-One Function

1. Substitute \(y\) for \(f(x)\).
2. Interchange the variables \(x\) and \(y\).
3. Solve for \(y\).
4. Substitute \(f^{−1}(x)\) for \(y\).
5. Verify that the functions are inverses.

Example \(\PageIndex{9}\) How to Find the Inverse of a One-to-One Function

Find the inverse of \(f(x)=\sqrt[5]{2 x-3}\).

Solution:

\(f(x)=\sqrt[5]{2 x-3}\)

Substitute \(y\) for \(f(x)\).

\(y=\sqrt[5]{2 x-3}\)

Interchange the variables \(x\) and \(y\).

\(x=\sqrt[5]{2 y-3}\)

Solve for \(y\).

\(\begin{aligned}(x)^{5} &=(\sqrt[5]{2 y-3})^{5} \\ x^{5} &=2 y-3 \\ x^{5}+3 &=2 y \\ \frac{x^{5}+3}{2} &=y \end{aligned}\)

Substitute \(f^{-1}(x)\) for \(y\).

\(f^{-1}(x)=\frac{x^{5}+3}{2}\)

Verify that the functions are inverses.

\(\begin{array}{rr} {f^{-1}(f(x)) \stackrel{?}{=} x} & {f\left(f^{-1}(x)\right) \stackrel{?}{=} x} \\ {f^{-1}(\sqrt[5]{2x-3})\stackrel{?}{=}x}&{f\left(\frac{x^{5}+3}{2} \right)}\stackrel{?}{=}x \\ {\frac{(\sqrt[5]{2x-3})^{5}+3}{2}\stackrel{?}{=}x}&{\sqrt[5]{2\left(\frac{x^{5}+3}{2} \right)-3}\stackrel{?}{=}x} \\ {\frac{2x-3+3}{2}\stackrel{?}{=}x}&{\sqrt[5]{x^{5}+3-3}\stackrel{?}{=}x}\\ {\frac{2x}{2}\stackrel{?}{=}x}&{\sqrt[5]{x^{5}}\stackrel{?}{=}x} \\ {x=x}&{x=x} \end{array}\)

Exercise \(\PageIndex{17}\)

Find the inverse of the function \(f(x)=\sqrt[5]{3 x-2}\).

Answer

\(f^{-1}(x)=\frac{x^{5}+2}{3}\)

Exercise \(\PageIndex{18}\)

Find the inverse of the function \(f(x)=\sqrt[4]{6 x-7}\).

Answer

\(f^{-1}(x)=\frac{x^{4}+7}{6}\)

Key Concepts

• Composition of Functions: The composition of functions \(f\) and \(g\), is written \(f∘g\) and is defined by

  \((f \circ g)(x)=f(g(x))\)

  We read \(f(g(x))\) as \(f\) of \(g\) of \(x\).
• Horizontal Line Test: If every horizontal line, intersects the graph of a function in at most one point, it is a one-to-one function.
• Inverse of a Function Defined by Ordered Pairs: If \(f(x)\) is a one-to-one function whose ordered pairs are of the form \((x,y)\), then its inverse function \(f^{−1}(x)\) is the set of ordered pairs \((y,x)\).
• Inverse Functions: For every \(x\) in the domain of one-to-one function \(f\) and \(f^{−1}\),

  \(f^{-1}(f(x))=x\)
  \(f\left(f^{-1}(x)\right)=x\)

• How to Find the Inverse of a One-to-One Function:
  1. Substitute \(y\) for \(f(x)\).
  2. Interchange the variables \(x\) and \(y\).
  3. Solve for \(y\).
  4. Substitute \(f^{−1}(x)\) for \(y\).
  5. Verify that the functions are inverses.

Glossary

one-to-one function

A function is one-to-one if each value in the range has exactly one element in the domain. For each ordered pair in the function, each \(y\)-value is matched with only one \(x\)-value.