Previous page : Properties of Functions
Next page : Numbers, an introduction
The Inverse of a function
If f : A→B is a bijective function, then, by the definition of a bijective function, the mapping from B to A is also a function. This is the inverse function to f , or inverse of f, mostly written f^{ 1}. The inverse of f^{ 1} will then be f.
If the functions is an explicit function, y=f(x), then we can write its inverse as
x=f ^{1}(y)
We usually though follow the convention that x is the independent variable, and thus write the inverse function as
y=f ^{1}(x).
If a bijective mapping maps a to b, then its inverse maps b to a, this means that,
a=f ^{1}(f (a)),
and,
b=f (f ^{1}(b))
The function f(x)=3x, for example, has as inverse f(y)=x/3, and we have,
f (f ^{1}(x))=f (x/3)=3x/3=x
and
f ^{1}(f (x))=f ^{1}(3x)=3x/3=x
Say a function maps a to b. That means that the set corresponding to the function would contain the element (a, b), and a graph of the function would have a point at that point – or rather the point (a, b) satisfies the function. The inverse function will now contain the point (b, a). This means that if the domain and range are the reals, then the inversion of a function is a mirroring of the graph through the line y=x.
This because we simply swap the coordinates of x and y.
Recipe for finding the inverse function
 If the function is written in the the form f(x)=something, replace the f(x) with y.
 Swap the x‘s and the y‘s.
 Make y the subject in what you have now.
 Finally, replace the y with f ^{1}(x).
Let us for example take

What we have: What we do: // //Expand. //Collect all y‘s on one side: −2y //All the rest on the other side: +4x //Factorize the left hand side. //
If we test with x=10 we get
Now having this as the input to the inverse function will give us
I.e. we get 10 back, as expected.
If we graph these two functions (and y=x) we can see that they are reflections along the y=x – axis .
Up a level : Algebra and ArithmeticPrevious page : Properties of Functions
Next page : Numbers, an introductionLast modified: