Inverse Functions
An inverse function is the "reversal" of another function; specifically, the inverse will swap input and output with the original function.
Given a function , the inverse is written , but this should not be read as a negative exponent. Generally speaking, the inverse of a function is not the same as its reciprocal.
Understanding (and keeping straight) inverse functions and reciprocal functions comes down to understanding operations, identities, and inverses more broadly. You are already very familiar with these things from basic arithmetic. Given an object (say, a real number or a function), what we deem its inverse will depend on the operation. Two objects are inverses if we can apply the operation to them and get back the identity element for that operation. Here are some examples:
If the operation is addition, the identity element is 0 because adding 0 to any object yields again: and . Thus, two objects are additive inverses if they can be added together to yield 0. Given a number or function , the additive inverse is always .
If the operation is multiplication, the identity element is 1, because multiplying any other object with 1 yields again: and . Therefore, two objects are multiplicative inverses if they can be multiplied together to yield 1. Given a nonzero number or function the multiplicative inverse is always , otherwise known as the reciprocal.
In the case of functional inverses, the operation is function composition. It is less obvious now, but the identity element for composition is . To see this, observe that if is composed with the function , we get and . Thus, given functions and , is the inverse of if and only if and . In this case, we write .
Contents
Basic Example
Consider the following function:
1 | 4 | 4 | 1 | |
2 | 2 | 2 | 2 | |
3 | 2 | 2 | 3 | |
4 | 1 | 1 | 4 | |
5 | 7 | 7 | 5 |
To determine , we need to find all values of such that . From the table, this only happens when so .
To determine , we need to find all values of such that . From the table, this occurs with . Thus, .
Hence, the inverse of a function need not be a function itself, since it could take on multiple values.
If , what is the value of ?
Finding the Inverse of a Function Graphically
Given the point on the graph of , we know that the point is on the graph of . These two points are related by being symmetric in the line . Hence, the graph of is the reflection of the graph of about the line .
This offers us a way to graph the inverse function (if the axes are drawn to the same scale).
1) First, we fold the piece of paper along the line .
2) Next, we trace out the graph of to leave an imprint on the other side.
3) Finally, we draw out the imprint, which will give us the graph of .
Let's look at an example.
In the figure below, the blue curve is the graph of the function , and the black line is . Draw the graph of the inverse of the blue curve.
image
1) Since both the axes are drawn to the same scale, so we can simply fold the graph about to get the red part.
image
2) Now we trace the rest of the graph to get the complete graph of the inverse.
image
3) The red curve is the inverse of the blue curve. Note that the curves are reflections of each other about the line . We have found the inverse of the function graphically!
When is the inverse a function?
As mentioned, the inverse of a function need not be a function. In order for it to be a function, given any value, there is at most one value such that . This means that when we look at a horizontal line , it cuts the graph in at most 1 point. This is also known as the horizontal line test.
More formally, we say that
The inverse of the function is a function, if and only if is a bijective function.
If weren't injective, then there would exist an for two values of , which we call and . Then will have two values and . However, a function cannot have two outputs for one input. Then it is no longer a function. Therefore, has to be injective.
If is not surjective, then there would exist a value such that has no real solution for . This is because there exists some value which belongs to the codomain of the function, but not in the range of the function. Then would not be defined as is not in the range of . There must be no such value in the domain of for which is undefined. Therefore the range of must be equal to the codomain of . Therfore must be a surjective function.
Since must be both an injective and a surjective function, it is a bijective function.
Finding the Inverse of a Function Algebraically
To find the inverse of , we take the following steps:
1) Check that it satisfies the horizontal line test.
2) Substitute with and with . Make the subject of the formula.
3) Determine the domain of , which is the codomain of . Note that this might not be the range of .
4) Determine the range of , which is the domain of .
Let's work through the following examples:
Find the inverse of
Step 1: This graph satisfies the horizontal line test.
Step 2: The substitution gives us .
Make the subject of the formula by subtracting 8 and dividing by 2, to get .Step 3: The domain of is the codomain of . From the graph, this is .
Step 4: The range of is the domain of , which is .
Hence, the inverse of is
Find the inverse of
Step 1: This graph satisfies the horizontal line test.
Step 2: The substitution gives us .
Make the subject of the formula by squaring and multiplying by 2, to get .Step 3: The domain of is the codomain of . From the graph, this is .
Step 4: The range of is the domain of , which is .
Hence, the inverse of is
In this example, we see why it is important to determine the codomain of the original function, instead of relying just on the given range.
Find the inverse of
Step 1: This graph satisfies the horizontal line test.
Step 2: The substitution gives us .
For us to make the subject of the formula, we have to take square roots and obtain that . It is important for us to determine which square root we want. In this case, since , it indicates that we want the negative square root.Step 3: The domain of is the codomain of . From the graph, this is .
Step 4: The range of is the domain of , which is .
Hence, the inverse of is
Find the inverse of
Step 1: This graph satisfies the horizontal line test.
Step 2: The substitution gives us .
Making the subject of the formula gives us .Step 3: The domain of is the codomain of . From the graph, this is .
Step 4: The range of is the domain of , which is .
Hence, the inverse of is
The inverse function of is where , and are constants. What is
Find the inverse of
Step 1: This graph satisfies the horizontal line test.
Step 2: The substitution gives us .
Making the subject of the formula gives us . Again, we have to determine which square root we want. Since the square root we are looking for is the negative one.Step 3: The domain of is the codomain of . From the graph, this is .
Step 4: The range of is the domain of , which is .
Hence, the inverse of is
Three functions , and satisfy . If we are given:
what is the equation for ?
From the given relationship between the three functions, we have
We can find using the same process we have been using, as shown below:
Step 1: This graph satisfies the horizontal line test.
Step 2: The substitution gives us . Making the subject of the formula gives .
Step 3: The domain of is the codomain of . From the graph, this is .
Step 4: The range of is the domain of , which is .
Hence, the inverse of is
Now we can find as follows:
Advanced Problems
The function is defined as . The set contains the numbers in the interval . Find the maximum possible value of and the set such that exists.
For to exist, must be bijective. The maximum value of such that is injective is the -coordinate of the vertex point . Therefore and
For to be surjective, must be equal to its range, which is
Find the expression for from the previous example, and also its domain and range.
The domain of is equal to the range of , which is as calculated in the previous example. The range of is equal to the domain of , which is equal to .
To find we make substitutions
We need to make the subject of the formula. The easiest way to do this would be to make it a perfect square:
However, this is not the final answer. This is not even a function. If we consider the calculated range of , we realize that we have to take only and not the other (positive) case. Its domain and range agree with the above calculated ones, and it is definitely the inverse of . This can be verified by finding the expression of which should be equal to .