## 4. The natural logarithm.

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 .

### The logarithm derivative

From the second of (4.1) we have By applying the derivation chain rule we have and finally ### Basic logarithms properties.

The equalities 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.

Given we have and, raising both the terms to , Therefore 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.