Definition:Natural Logarithm/Positive Real

Definition
Let $x \in \R$ be a real number such that $x > 0$.

The (natural) logarithm of $x$ is defined as:


 * $\displaystyle \ln x := \int_1^x \frac {\mathrm dt} t$

Notation
The natural logarithm of $x$ is written variously as:


 * $\ln x$
 * $\log x$
 * $\log_e x$

The first of these is fairly commonly encountered, and frequently preferred. The second is ambiguous (it does not indicate the base of the logarithm) and the third is verbose.

However, notation is misleadingly inconsistent throughout the literature, and if there is any confusion about exactly what is meant, the full (verbose) format can be argued for.

Note on Definition
For any definition of the exponential function that is not "the function inverse of the natural logarithm", the natural logarithm can be defined as the inverse of the exponential function.

Also see

 * Basic Properties of Natural Logarithm