This site is supported by donations to The OEIS Foundation.

# Empty sum

### From OeisWiki

The **empty sum** is defined to be equal to the additive identity, 0, as numbers are concerned.

## Contents |

## Applications of the concept of empty sum

With the concept of empty sum we don't need to make many other conventions, e.g.

### Partitions of 0

The set of partitions of 0 is a set containing the empty set (the sum of elements of the empty set being the **empty sum**, defined as the additive identity, i.e. 0)

Without the concept of **empty sum**, we would have to make the convention that is set to 1.

### Prime factorization of 1

For the unit, 1, there are no primes with nonzero exponents (the set of prime factors of 1 is the empty set) and we get the empty product, defined as the multiplicative identity, i.e. 1. (Cf. Empty product#Prime factorization of 1.)

Since the set of distinct prime factors of 1 is the empty set

and the number of distinct prime factors is the cardinality of the set of distinct prime factors of

we get the cardinality of the empty set, i.e. 0, for = 1.

#### Number of distinct prime factors

The number of distinct prime factors of is (tautologically) given by

where we get the **empty sum**, defined as the additive identity, i.e. 0 (the final value of the index being lower than the initial value) for = 1.

#### Number of prime factors (with repetition)

The number of prime factors (with repetition) of is given by

where we get the **empty sum**, defined as the additive identity, i.e. 0 (the final value of the index being lower than the initial value) for = 1.