Complex exponents with positive real bases
Function
| context | $ b\in\mathbb R_+^* $ |
| definiendum | $ z\mapsto b^z :\mathbb C\to\mathbb C $ |
| definiendum | $ z\mapsto b^z := \mathrm{exp}(z\cdot \mathrm{ln}(b)) $ |
Discussion
The identity
$b^{x_1+x_2}=b^{x_1}\cdot a^{x_2}$,
says that exponentiation is a (the) homomorphism between $+$ and $\cdot$.
The combinatorial manifestation, e.g. formulated in for $B,X_1,X_2,\dots\in\bf{Set}$, is
$B^{\coprod_{j\in J}X_j}\cong\prod_{j\in J} B^{X_j}$
Context
