I'm currently studying the properties of logarithm in an open source pre-calculus textbook that can be found here (Page 438). Before the text goes on to the Algebraic properties of exponential and logarithmic functions it defines the "one-to-one" properties of exponential function and logarithmic functions (Theorem 6.4). As you can see:

As you can see

And on the next page it describes the algebraic properties of logarithms...

Algebraic properties of logarithms

Is there any particular reason for stating the one-to-one property of logarithmic and exponential function beforehand? I know the logarithmic function is the inverse of an exponential function, and as such it can only exists for a one-to-one function, but is there any other reason why this was mentioned? I have the feeling that this distinction is extremely important with regards to the algebraic properties of logarithms that come after (i.e. product rule, quotient rule, power rule) but I cannot see why.

I'm sorry if this was long winded, and thank you for taking the time to read this. For who ever is so kind as to answer could you bear in mind that I'm studying at a pre-calculus level. Thanks.

  • 1
    $\begingroup$ They don't 'define' the property of being one-to-one. They prove that those functions have it. Being one-to-one is what allows you to solve equations: If we have $2^x=8$, then we can transform it into $2^x=2^3$, from where, because $2^x$ is one-to-one, we get exactly one solution $x=3$. $\endgroup$ – OR. Nov 4 '13 at 19:50
  • $\begingroup$ @ABC That cleared a few things up. I've done what you said in your example many times but I never stopped to think why it was so, so thank you! $\endgroup$ – seeker Nov 4 '13 at 21:47

No, there's no connection between the injectivity (what you call "one-to-one") property and the various algebraic properties. The theorems just happen to be stated one after another in this particular book.

Knowing that the exponential and logarithmic functions are injective is just a useful fact to know. Really, knowing that any function $f$ is injective is useful if you plan on using $f$ a lot, because it allows you to cancel $f$, in other words, if in your calculations you should end up with:


You can immediately conclude that:


Which is only true if $f$ is injective, of course. For instance, $x^2$ is not injective, which is why $x^2=y^2$ does not imply $x=y$.


It sounds like your book wanted to make Theorem 6.3 a definition rather than a theorem. In other words, they define $\log_b(c)$ to be the power you need to take $b$ to, to get $c$. As written, they say that $b^a=c$ if and only if $a=\log_b(c)$. This abstractly defines the logarithm, and theorem 6.4 confirms that this is a well defined function: that it is one-to-one. Afterall, if for some reason you could find $x,y$ with $x\neq y$ such that $b^x=b^y$ for some $b\neq 0$, then you'd be in trouble because the logarithm would not be one-to-one. Thus theorem 6.4 takes care of this. What's important here is that $f(x):=b^x$ is strictly monotonically increasing for $b>0$ which implies that it is one to one and has an inverse $f^{-1}$ which is also one-to-one.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.