Category:Definitions/Complex Powers

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Complex Powers.
Related results can be found in Category:Complex Powers.

Let $z, k \in \C$ be complex numbers.

$z$ to the power of $k$ is defined as the multifunction:

$z^k := e^{k \ln \paren z}$


$e^z$ is the exponential function
$\ln$ is the natural logarithm multifunction.