Definition:Power (Algebra)/Complex Number

Definition
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}$

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