This is an old revision of the document!
Finite sequence
Definition
$X$ |
$ A\in \text{FinSequence}(X) $ |
$ n\in \mathbb N $ |
$\exists n.\ A: \mathrm{range}(n)\to X$ |
Discussion
Multi-index notation
Let $\alpha \in \mathrm{FinSequence}(\mathbb N)$, then
- $|\alpha| = \sum_i \alpha_i $
- $x^\alpha = \prod_i x_i^{\alpha_i}$
- $f^{(\alpha)}(x) = \prod_i \frac{\partial^{\alpha_i}}{\partial x_i^{\alpha_i}} f(x)$