Definition:Logarithm

From ProofWiki
Jump to navigation Jump to search

Natural Logarithm

Positive Real Numbers

The (natural) logarithm of $x$ is the real-valued function defined on $\R_{>0}$ as:

$\ds \forall x \in \R_{>0}: \ln x := \int_1^x \frac {\d t} t$


Complex Numbers

Let $z = r e^{i \theta}$ be a complex number expressed in exponential form such that $z \ne 0$.

The complex natural logarithm of $z \in \C_{\ne 0}$ is the multifunction defined as:

$\map \ln z := \set {\map \ln r + i \paren {\theta + 2 k \pi}: k \in \Z}$

where $\map \ln r$ is the natural logarithm of the (strictly) positive real number $r$.


General Logarithm

Positive Real Numbers

Let $x \in \R_{>0}$ be a strictly positive real number.

Let $a \in \R_{>0}$ be a strictly positive real number such that $a \ne 1$.

The logarithm to the base $a$ of $x$ is defined as:

$\log_a x := y \in \R: a^y = x$

where $a^y = e^{y \ln a}$ as defined in Powers of Real Numbers.


Complex Numbers

Let $z \in \C_{\ne 0}$ be a non-zero complex number.

Let $a \in \R_{>0}$ be a strictly positive real number such that $a \ne 1$.

The logarithm to the base $a$ of $z$ is defined as:

$\log_a z := \set {y \in \C: a^y = z}$

where $a^y = e^{y \ln a}$ as defined in Powers of Complex Numbers.


Base of Logarithm

Let $\log_a$ denote the logarithm function on whatever domain: $\R$ or $\C$.

The constant $a$ is known as the base of the logarithm.


Historical Note

The initial invention of the logarithm was by John Napier, who used a base $\dfrac {9 \, 999 \, 999} {10 \, 000 \, 000}$.

William Oughtred, who invented the slide rule, added a table of natural logarithms to his English translation of Napier's book.


In $1685$, John Wallis established that logarithms can be considered as exponents.

In $1694$, Johann Bernoulli made the same discovery.


Logarithms in their modern form are as a result of the original work done by Leonhard Paul Euler.

Euler was the first one to create a consistent theory of the logarithm of a negative number and of an imaginary number.

He also discovered that the logarithm function has an infinite number of values for a given argument.


Linguistic Note

The word logarithm comes from the Ancient Greek λόγος (lógos), meaning word or reason, and ἀριθμός (arithmós), meaning number.


Sources