Suppose a fashion designer traveling to Milan for a fashion show wants to know what the temperature will be. He is not familiar with the Celsius scale. To get an idea of how temperature measurements are related, he asks his assistant, Betty, to convert 75 degrees Fahrenheit to degrees Celsius. She finds the formula

and substitutes 75 for [latex]F[/latex] to calculate

Figure 2

Knowing that a comfortable 75 degrees Fahrenheit is about 24 degrees Celsius, he sends his assistant the week’s weather forecast for Milan, and asks her to convert all of the temperatures to degrees Fahrenheit.

At first, Betty considers using the formula she has already found to complete the conversions. After all, she knows her algebra, and can easily solve the equation for [latex]F[/latex] after substituting a value for [latex]C[/latex]. For example, to convert 26 degrees Celsius, she could write

After considering this option for a moment, however, she realizes that solving the equation for each of the temperatures will be awfully tedious. She realizes that since evaluation is easier than solving, it would be much more convenient to have a different formula, one that takes the Celsius temperature and outputs the Fahrenheit temperature.

The formula for which Betty is searching corresponds to the idea of an inverse function, which is a function for which the input of the original function becomes the output of the inverse function and the output of the original function becomes the input of the inverse function.

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.\text{"}[/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]\frac{1}{f\left(x\right)}[/latex] because [latex]\frac{1}{f\left(x\right)}[/latex] is the reciprocal of [latex]f[/latex] and not the inverse.

The "exponent-like" notation comes from an analogy between function composition and multiplication: just as [latex]{a}^{-1}a=1[/latex] (1 is the identity element for multiplication) for any nonzero number [latex]a[/latex], so [latex]{f}^{-1}\circ f\\[/latex] equals the identity function, that is,

This holds for all [latex]x[/latex] in the domain of [latex]f[/latex]. Informally, this means that inverse functions "undo" each other. However, just as zero does not have a reciprocal, some functions do not have inverses.

Given a function [latex]f\left(x\right)[/latex], we can verify whether some other function [latex]g\left(x\right)[/latex] is the inverse of [latex]f\left(x\right)[/latex] by checking whether either [latex]g\left(f\left(x\right)\right)=x[/latex] or [latex]f\left(g\left(x\right)\right)=x[/latex] is true. We can test whichever equation is more convenient to work with because they are logically equivalent (that is, if one is true, then so is the other.)

For example, [latex]y=4x[/latex] and [latex]y=\frac{1}{4}x\\[/latex] are inverse functions.

and

A few coordinate pairs from the graph of the function [latex]y=4x[/latex] are (−2, −8), (0, 0), and (2, 8). A few coordinate pairs from the graph of the function [latex]y=\frac{1}{4}x\\[/latex] are (−8, −2), (0, 0), and (8, 2). If we interchange the input and output of each coordinate pair of a function, the interchanged coordinate pairs would appear on the graph of the inverse function.