previous
Previous: Return to notes

Inverse function problems

There are a couple of ways in which an attempt to find a formula for tex2html_wrap_inline17 from the formula for f could fail.

First, if f is not 1-1 then the method should fail! Here's what could go wrong. Consider tex2html_wrap_inline23 (a parabola) with domain R and range tex2html_wrap_inline27 . This function is not 1-1 on its domain so it should not have an inverse. If we try to find tex2html_wrap_inline17 we are stopped at some point because of this. Try it.

(1) tex2html_wrap_inline31

(2) tex2html_wrap_inline33

(3) tex2html_wrap_inline35

Well, we solved for y but the solution was not unique. As you can see, we get two y values for every positive x value and that's not a function. Each x in the domain must be associated with exactly one y value in the codomain.

A common way to get around this problem is to simply restrict the domain so that the resulting function is 1-1. If we consider tex2html_wrap_inline31 with domain tex2html_wrap_inline49 (the right half of t he parabola) and range tex2html_wrap_inline27 then we do have a 1-1 function. Now we can find an inverse.

(1) tex2html_wrap_inline31

(2) tex2html_wrap_inline33

(3) tex2html_wrap_inline57

So we get tex2html_wrap_inline59 with domain tex2html_wrap_inline49 and range tex2htm
l_wrap_inline27 .

Second, even when an inverse exists you might not be able to do the algebra required to find a formula for it. Consider tex2html_wrap_inline65 . This function is 1-1 on R but finding tex2html_wrap_inline17 requires solving the equation tex2html_wrap_inline71 and you are not going to do that.

Actually, the ability to solve an equation algebraically is sort an ambiguous notion if you look at it this way. The function tex2html_wrap_inline73 with domain tex2html_wrap_inline75 is 1-1 and has an inverse. Can you solve tex2html_wrap_inline77 to find it. Well, if you consider making up a new symbol tex2html_wrap_inline79 in order to write down tex2html_wrap_inline81 as ''solving'' the equation, then yes you can solve it. If you think about some other symbols you have seen, like tex2html_wrap_inline83 or tex2html_wrap_inline85 , you will see that these are just bits of notation that are used to ''solve'' for an inverse function ( tex2html_wrap_inline87 being an inverse for tex2html_wrap_inline89 ). If I push this idea farther (perhaps a little too far) I could claim that I solved the equation tex2html_wrap_inline71 from above by making up a name, oh say Fred, and claiming that y=Fred(x) is the inverse of tex2html_wrap_inline65 . But let's stop there.




next up previous
Next: About this document

Dan Rinne
Fri Aug 9 15:46:38 PDT 1996