For $0 < a \neq 1$ the function45
is called exponentiation of base $a$. This function extends the operation of elevation to power to non-integer exponents. For any real numbers $x$ and $y$, it applies the well known equality
In figure 4.14 the graph of the function $f$ is shown for different bases $a$.
In general, for $a > 1$ $f$ is strictly increasing (i.e. $f(x) < f(y)$ for any $x < y$), $D_f = \R$ and $H_f = (0,+\infty)$. For $a < 1$, $f$ is strictly decreasing (i.e. $f(x) > f(y)$ for any $x < y$), $D_f = \R$ and $H_f = (0,+\infty)$.
The logarithm is the inverse function of the exponentiation (only in the case of base different from one, otherwise the exponential function is not injective). More specifically, from the graph of the exponential function $f(x) = a^x$, $a \neq 1$, we see that for every real number $y$ there exists a real $x$ such that $a^x = y$. We say that a function with such a property is injective (in this case on the whole $\R$) and therefore invertible on its image set.The inverse function of the exponentiation of base $a$, $0 < a \neq 1$, is said logarithm of base $a$ and we denote it as $\log_a$. The domain of the exponentiation is the whole $\R$ and its image set is the interval $(0,+\infty)$. From this it follows that the domain of the logarithm, since it the function inverse of the exponentiation, is $D_{\log_a} = (0,+\infty)$ and its image set is $H_{\log_a} = \R$.
The reader has certainly already indirectly encountered logarithms through applications. For example the Richter scale (that measures the intensity of earthquakes) or the decibel scale (measuring the intensity of sound) are logarithmic.
Important properties of the logarithm can be derived from properties of the exponentiation:
Indeed, the first two equalities, (4.16) and (4.17), are merely an expression of the inverse relationship between the exponential and the logarithm, thus they apply by definition. Let us prove the equality (4.18). For positive $x,y$ there exist real $u,v$ such that
From this we have
Thus
In a similar way, the property (4.19) can be proven.
The reader is certainly familiar with the operation called remove the logarithm. That is, saying the following: if
for some $x,y > 0$ and $0 < a \neq 1$, then
This operation is no magic. It is just about using the injectivity of the function $\log_a$. The same can be done with any injective function!