Category:General Logarithms

From ProofWiki
Jump to navigation Jump to search

This category contains results about General Logarithms.

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.

Subcategories

This category has the following 2 subcategories, out of 2 total.

Pages in category "General Logarithms"

This category contains only the following page.