Empty product

From Wikipedia, the free encyclopedia

Jump to: navigation, search

In mathematics, an empty product, or nullary product, is the result of multiplying no numbers. Its numerical value is 1, the multiplicative identity, just as the empty sum—the result of adding no numbers—is zero, or the additive identity.[1][2][3] This value is necessary to be consistent with the recursive definition of what a product over a sequence (or set, given commutativity) means. For example, \text{prod}((2,3,5)) = \text{prod}((2,3)) \times 5 = \text{prod}((2)) \times 3 \times 5 = \text{prod}(()) \times 2 \times 3 \times 5 = 1 \times 2 \times 3 \times 5. In general, we define prod(()) = 1 and \text{prod}((a_i)_{i \le n}) = \text{prod}((a_i)_{i \le n-1}) \times a_n.

The empty product is used in discrete mathematics, algebra, the study of power series, and computer programs.

The term “empty product” is most often used in the above sense when discussing arithmetic operations. However, the term is sometimes employed when discussing set-theoretic intersections, categorical products, and products in computer programming; these are discussed below.

Contents

[edit] Nullary arithmetic product

[edit] Frequent examples

Two often-seen instances are a0 = 1 (any number raised to the zeroth power is one) and 0! = 1 (the factorial of zero is one).

More examples of the use of the empty product in mathematics may be found on: Binomial theorem, Factorial, Fundamental theorem of arithmetic, Birthday paradox, Stirling number, König's theorem, Binomial type, Difference operator, Pochhammer symbol, Proof that e is irrational, Prime factor, Binomial series, Multiset.

[edit] Intuitive justification

Imagine a calculator that can only multiply. It has an "ENTER" key and a "CLEAR" key. One would wish that, for example, if one presses "CLEAR", 7 "ENTER", 3 "ENTER", 4 "ENTER", then the display reads 84, because 7 × 3 × 4 = 84. More precisely, we specify:

  • A number is displayed just after "CLEAR" is pressed;
  • When a number is displayed and one enters another number, the product is displayed;
  • When "CLEAR" is pressed and then some numbers are entered, their product is displayed.

Then the starting value after pressing "CLEAR" has to be 1. After one has pressed "clear" and done nothing else, the number of factors one has entered is zero. Therefore the product of zero numbers is 1.

[edit] Logarithms

The definition of an empty product can be based on that of the empty sum:

The sum of two logarithms is equal to the logarithm of the product of their operands, i.e. for any base b>0:

\log_b n + \log_b m = \log_b nm\,

and

b^{\log_b n + \log_b m} = nm

and more generally

\prod_i x_i = b^{\sum_i \log_b x_i}

i.e., multiplication across all elements of a set is b to the power of the sum of all logarithms of the set's elements.

Using this property as definition, and extending this to the empty product, the right-hand side of this equation evaluates to b0 for the empty set, because the empty sum is defined to be zero, and therefore the empty product must equal one.

[edit] 0 raised to the 0th power

Further information: Exponentiation#Zero to the zero power

In set theory and combinatorics, the cardinal number nm is the size of the set of functions from a set of size m into a set of size n. If m is positive and n is zero, then there are no such functions, because there are no elements in the latter set to map those of the former set into. Thus 0m = 0 when m is positive. However, if both sets are empty (have size 0), then there is exactly one such function — the empty function. For this reason, authors in combinatorics and set theory frequently define 00 to be 1 when it represents an empty product.

[edit] Nullary intersection

For similar reasons, the intersection of an empty set of subsets of a set X is conventionally equal to X. See nullary intersection for more information.

[edit] Nullary Cartesian product

Consider the general definition of the Cartesian product:

\prod_{i \in I} X_i = \{ f : I \to \bigcup_{i \in I} X_i\ |\ \forall i\ f(i) \in X_i \}.

If I is empty, the only satisfying f is the empty function:

\prod \varnothing = \{ f_\varnothing: \varnothing \to \varnothing \}.

Thus, the cardinality of the Cartesian product of no sets is 1.

Under the perhaps more familiar n-tuple interpretation,

\prod \varnothing = \{ ( ) \},

that is, the singleton set containing the empty tuple. Note that in both representations the empty product has cardinality 1.

[edit] Nullary Cartesian product of functions

The empty Cartesian product of functions is again the empty function.

[edit] Nullary categorical product

In any category, the product of an empty family is a terminal object of that category. This can be demonstrated by using the limit definition of the product. An n-fold categorical product can be defined as the limit with respect to a diagram given by the discrete category with n objects. An empty product is then given by the limit with respect to the empty category, which is the terminal object of the category if it exists. This definition specializes to give results as above. For example, in the category of sets the categorical product is the usual Cartesian product, and the terminal object is a singleton set. In the category of groups the categorical product is the Cartesian product of groups, and the terminal object is a trivial group with one element. To obtain the usual arithmetic definition of the empty product we must take the decategorification of the empty product in the category of finite sets.

Dually, the coproduct of an empty family is an initial object. Nullary categorical products or coproducts may not exist in a given category; e.g. in the category of fields, neither exists.

[edit] In computer programming

Most programming languages do not permit the direct expression of the empty product, because multiplication is taken to be an infix operator and therefore a binary operator. (A programmer may, of course, implement it.) Languages implementing variadic functions are the exception. For example, the fully parenthesized prefix notation of Lisp languages gives rise to a natural notation for nullary functions:

(* 2 2 2)   ; evaluates to 8
(* 2 2)     ; evaluates to 4
(* 2)       ; evaluates to 2
(*)         ; evaluates to 1

[edit] See also

[edit] References

  1. ^ Jaroslav Nešetřil, Jiří Matoušek (1998). Invitation to Discrete Mathematics. Oxford University Press. pp. 12. ISBN 0-198-50207-9. 
  2. ^ A.E. Ingham and R C Vaughan (1990). The Distribution of Prime Numbers. Cambridge University Press. pp. 1. ISBN 0-521-39789-8. 
  3. ^ Page 9 of Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, 211 (Revised third ed.), New York: Springer-Verlag, MR1878556, ISBN 978-0-387-95385-4 

[edit] External links

This article incorporates material from Empty product on PlanetMath, which is licensed under the GFDL.

Retrieved from "http://en.wikipedia.org/wiki/Empty_product"
Personal tools