Since the natural exponential function is defined over all ℜ and is always increasing, it is bijective and therefore invertible, that is, it exists a function, that we now call invexp(x), such that invexp(exp(x))=x.
The domain of invexp(x) coincides with the codomain of exp(x), that is, invexp(x) can be applied only to positive real numbers.
The function invexp(x) is commonly said natural logarithm and is denoted by ln (sometimes also by log).
So, by definition,
If then , so the equalities and are perfectly equivalent, they represent the same relation between x and y.
In particular, from we have and from we have .
From the second of (4.1) we have
By applying the derivation chain rule we have
are equivalent to
By multiplying term by term the (4.3) we have
and, from (4.4)
The logarithm of a product equals the sum of the logarithms of its factors.
This property can be immediately extended to any number of factors.
From we have
The logarithm of the reciprocal of a number is the opposite of the logarithm of the number itself.
The logarithm of a ratio of two numbers equals the difference between the logarithms of the numbers.
we have and, raising both the terms to ,
The logarithm of a power is equal to the exponent times the logarithm of the base.
The logarithm of a root equals the logarithm of the radicand divided by the index of the root.