Change of Variables in Indexed Summation

Theorem
Let $\mathbb A$ be one of the standard number systems $\N, \Z, \Q, \R, \C$.

Let $a,b,c,d$ be integers.

Let $\left[{a \,.\,.\, b}\right]$ denote the integer interval between $a$ and $b$.

Let $f : \left[{a \,.\,.\, b}\right] \to \mathbb A$ be a mapping.

Let $g : \left[{c \,.\,.\, d}\right] \to \left[{a \,.\,.\, b}\right]$ be a bijection.

Then we have an equality of indexed summations:


 * $\displaystyle \sum_{i \mathop = a}^b f(i) = \sum_{i \mathop = c}^{d} f(g(i))$

Outline of Proof
We use Indexed Summation over Translated Interval to translate $\left[{c \,.\,.\, d}\right]$ to $\left[{a \,.\,.\, b}\right]$.

This reduces the problem to Indexed Summation does not Change under Permutation.

Also see

 * Change of Variables in Summation over Finite Set