Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
complex_exponents_with_positive_real_bases [2015/01/12 18:43] nikolaj |
complex_exponents_with_positive_real_bases [2015/04/15 14:11] nikolaj |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| | @#FFBB00: definiendum | @#FFBB00: $ z\mapsto b^z := \mathrm{exp}(z\cdot \mathrm{ln}(b)) $ | | | @#FFBB00: definiendum | @#FFBB00: $ z\mapsto b^z := \mathrm{exp}(z\cdot \mathrm{ln}(b)) $ | | ||
| - | ==== Discussion ==== | + | ----- |
| - | ==== Parents ==== | + | 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 combinatorical manifestation, e.g. formulated in $\bf{Set}$, is | ||
| + | |||
| + | $B^{\coprod_{j\in J}X_j}\cong\prod_{j\in J} B^{X_j}$ | ||
| + | |||
| + | ----- | ||
| === Context === | === Context === | ||
| [[Natural logarithm of real numbers]] | [[Natural logarithm of real numbers]] | ||
