Operations for functions: Inverse functions
The notion of inverse function
The inverse of an operation is an important notion in mathematics. For example for addition, the inverse is subtraction. And for multiplication it is division. The same can be applied to a real function. In the figure below, a real function is shown, with domain and range . The function can be seen as an operation that maps the number to , the number to , and the number to .
The inverse operation, in other words, the function that maps the number to , the number to , and the number to is called the inverse function: . The function is shown in the following figure.
Inverse function
Let and be two functions such that the range of each of these is equal to the domain of the other. Consider the following two conditions:
- for each in the domain of
- for each in the domain of
If these two conditions are met, then the function is said to be the inverse of the function and is said to be the inverse of . The inverse of is also a function; it is denoted by and pronounced as -inverse.
The inverse function of satisfies and for all in the domain of and all in the range of .
Not every function is the inverse of a function. For instance, the function with domain defined by the rule has no inverse. For, if were to be its inverse, it would have to satisfy , for each . But for and for the left hand sides are the same and the right hand signs are each other's negatives: , a contradiction. Hence, has no inverse nor is it the inverse of another function.
However, if we restrict the domain of the function to the non-negative real numbers (and keep the same function rule), then the function is its inverse.
We will soon learn the requirements for a function to have an inverse.
We call it "the" inverse, because there can be no more than one inverse of a given function : if and both satisfy the definition of the inverse of , then:
so, indeed .
The graph of a function will be able to tell whether it has an inverse:
Calculation of the inverse function
Let be a function.
Assume that is a function whose range coincides with the domain of and whose domain coincides with the range of . The function is the inverse of if and only if at least one of the two equalities from the definition of invertibility holds.
Assume that is an invertible function and that belongs to the domain of .
- The image of satisfies .
- The graph of can be obtained from the graph of by reflecting it about the line with equation .
Assume that, for and , the first equality of the definition of the inverse function holds: for all in the domain of (and hence, also the range of ). We prove the second equality of the definition. Let be a point in the domain of . Then lies in the range of , so there is a point in the domain of such that . Now we can rewrite in the following manner:
With this we derived the second equality.
In the same way, the first equality can be derived from the second.
Now assume that is invertible. We consider the two itemized statements.
If , then . This proves the first itemized statement.
Reflection about the line with equation moves the point from the graph of to the point : a point from the graph of . This proves the second itemized statement.
As an example, the graphs of the function with domain and its inverse, the function , are drawn below.
Another way to describe the graph of in terms of the graph of is the following:
- draw the graph of on a piece of transparent paper;
- turn the paper counter clockwise (to the left);
- turn the paper over.
The graph thus constructed is the graph of . Here, the example is drawn again, this time with the steps just indicated for finding the inverse.
This is rather straightforward: the function with function rule satisfies the two requirements for the inverse:
We explain how you can find this inverse function. For this purpose, we start with the equation , which we solve for :
In view of the Calculation of an inverse function we conclude that . The answer can be obtained by naming the argument instead of .
Or visit omptest.org if jou are taking an OMPT exam.