empty sum

The empty sum is such a borderline case of sum where the number of the addends is zero, i.e. the set of the addends is an empty set.

• One may think that the zeroth multiple $0a$ of a ring element $a$ is the empty sum; it can spring up by adding in the ring two multiples whose integer coefficients are opposite numbers:

  $$(-n)a+na=(-n+n)a=0a$$

  This empty sum equals the additive identity 0 of the ring, since the multiple $(-n)a$ is defined to be

  $$\underset{n\mathrm{copies}}{\underbrace{(-a)+(-a)+\mathrm{\dots }+(-a)}}$$

• In using the sigma notation (http://planetmath.org/Summing)

  ${\displaystyle \sum _{i=m}^n}f(i)$ (1)

  one sometimes sees a case

  ${\displaystyle \sum _{i=m}^{m-1}}f(i).$ (2)

  It must be an empty sum, because in

  ${\displaystyle \sum _{i=m}^m}f(i)$ (3)

  the number of addends is clearly one and therefore in (2) the number is zero.  Thus the value of (2) may be defined to be 0.

Note.  The sum (1) is not defined when $n$ is less than $m-1$, but if one would want that the usual rule

${\displaystyle \sum _{i=m}^n}f(i)+{\displaystyle \sum _{i=n+1}^k}f(i)={\displaystyle \sum _{i=m}^k}f(i)$ (4)

would be true also in such a cases, then one has to define

because by (4) one could calculate

$$0=-\sum _{i=n+1}^{m-1}f(i)+\sum _{i=n+1}^{m-1}f(i)=\sum _{i=m}^{n}f(i)+\sum _{i=n+1}^{m-1}f(i)=\sum _{i=m}^{m-1}f(i).$$

Title	empty sum
Canonical name	EmptySum
Date of creation	2013-03-22 18:40:57
Last modified on	2013-03-22 18:40:57
Owner	pahio (2872)
Last modified by	pahio (2872)
Numerical id	5
Author	pahio (2872)
Entry type	Topic
Classification	msc 97D99
Classification	msc 05A19
Classification	msc 00A05
Related topic	EmptyProduct
Related topic	EmptySet
Related topic	AddingAndRemovingParenthesesInSeries