 Empty product

In mathematics, an empty product, or nullary product, is the result of multiplying no factors. It is equal to the multiplicative identity 1, given that it exists for the multiplication operation in question, just as the empty sum—the result of adding no numbers—is zero, or the additive identity.^{[1]}^{[2]}^{[3]}
When a mathematical recipe says "multiply all the numbers in this list", and the list contains, say, 2, 3, 2 and 4, we multiply first the first number by the second, then the result by the third, and so on until the end of the list, so the product of (2,3,2,4) would be 48. If the list contains only one number, so that we cannot multiply first by second, common convention holds that the 'product of all' is that same number, and if the list has no numbers at all, the 'product of all' is 1. 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,
In general, we define
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 settheoretic intersections, categorical products, and products in computer programming; these are discussed below.
Contents
Nullary arithmetic product
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.
Frequent examples
Two oftenseen instances are a^{0} = 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 in the 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,^{[4]}^{[5]} binomial series, and multiset.
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:
and
and more generally
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 righthand side of this equation evaluates to b^{0} for the empty set, because the empty sum is defined to be zero, and therefore the empty product must equal one.
0 raised to the 0th power
Further information: Exponentiation#Zero to the zero powerIn set theory and combinatorics, the cardinal number n^{m} 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 0^{m} = 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 0^{0} to be 1 when it represents an empty product.
Nullary conjunction and intersection
For similar reasons, the logical conjunction of no argument is the tautology. Accordingly the intersection of no set is conventionally equal to the universe. See nullary intersection for more information.
Nullary Cartesian product
Consider the general definition of the Cartesian product:
If I is empty, the only satisfying g is the empty function :
Thus, the cardinality of the Cartesian product of no sets is 1.
Under the perhaps more familiar ntuple interpretation,
that is, the singleton set containing the empty tuple. Note that in both representations the empty product has cardinality 1.
Nullary Cartesian product of functions
The empty Cartesian product of functions is again the empty function.
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 nfold 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.
In computer programming
Many programming languages, such as Python, allow the direct expression of lists of numbers, and even functions that allow an arbitrary number of parameters. If such a language has a function that returns the product of all the numbers in a list, it usually works like this:
listprod( [2,3,5] ) > 30 listprod( [2,3] ) > 6 listprod( [2] ) > 2 listprod( [] ) > 1
This convention sometimes helps avoid having to code special cases like "if length of list is 1" or "if length of list is zero" as special cases.
Many programming languages do not permit the direct expression of the empty product, because they do not allow expressing lists. 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
See also
References
 ^ Jaroslav Nešetřil, Jiří Matoušek (1998). Invitation to Discrete Mathematics. Oxford University Press. pp. 12. ISBN 0198502079.
 ^ A.E. Ingham and R C Vaughan (1990). The Distribution of Prime Numbers. Cambridge University Press. pp. 1. ISBN 0521397898.
 ^ Page 9 of Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, 211 (Revised third ed.), New York: SpringerVerlag, ISBN 9780387953854, MR1878556
 ^ Edsger Wybe Dijkstra (19900304). "How Computing Science created a new mathematical style". EWD. http://www.cs.utexas.edu/users/EWD/transcriptions/EWD10xx/EWD1073.html. Retrieved 20100120. "Hardy and Wright: “Every positive integer, except 1, is a product of primes”, Harold M. Stark: “If n is an integer greater than 1, then either n is prime or n is a finite product of primes.”. These examples —which I owe to A.J.M. van Gasteren— both reject the empty product, the last one also rejects the product with a single factor."
 ^ Edsger Wybe Dijkstra (19861114). "The nature of my research and why I do it.". EWD. http://userweb.cs.utexas.edu/users/EWD/transcriptions/EWD09xx/EWD993.html. Retrieved 20100703. "But also 0 is certainly finite and by defining the product of 0 factors —how else?— to be equal to 1 we can do away with the exception: "If n is a positive integer, then n is a finite product of primes.""
External links
This article incorporates material from Empty product on PlanetMath, which is licensed under the Creative Commons Attribution/ShareAlike License.
Categories:
Wikimedia Foundation. 2010.
Look at other dictionaries:
empty product — noun The result of multiplying no numbers (defined in order to be able to extend certain mathematical concepts, such as the product of n numbers, to the case where n = 0) … Wiktionary
Empty sum — Not to be confused with Zero sum. In mathematics, an empty sum, or nullary sum, is a summation involving no terms at all. The value of any empty sum of numbers is conventionally taken to be zero. For summations defined in terms of addition of… … Wikipedia
Empty set — ∅ redirects here. For similar looking symbols, see Ø (disambiguation). The empty set is the set containing no elements. In mathematics, and more specifically set theory, the empty set is the unique set having no elements; its size or cardinality… … Wikipedia
Product (category theory) — In category theory, the product of two (or more) objects in a category is a notion designed to capture the essence behind constructions in other areas of mathematics such as the cartesian product of sets, the direct product of groups, the direct… … Wikipedia
Product (mathematics) — In mathematics, a product is the result of multiplying, or an expression that identifies factors to be multiplied. The order in which real or complex numbers are multiplied has no bearing on the product; this is known as the commutative law of… … Wikipedia
Product topology — In topology and related areas of mathematics, a product space is the cartesian product of a family of topological spaces equipped with a natural topology called the product topology. This topology differs from another, perhaps more obvious,… … Wikipedia
Empty function — In mathematics, an empty function is a function whose domain is the empty set. For each set A , there is exactly one such empty function :f A: varnothing ightarrow A.The graph of an empty function is a subset of the Cartesian product empty;… … Wikipedia
Empty vessel — The phrase empty vessel literally means a container with nothing inside. It has additional significance in various areas.In literatureThe quotation, As empty vessels make the loudest sound, so they that have the least wit are the greatest… … Wikipedia
Cartesian product — Cartesian square redirects here. For Cartesian squares in category theory, see Cartesian square (category theory). In mathematics, a Cartesian product (or product set) is a construction to build a new set out of a number of given sets. Each… … Wikipedia
Wick product — In probability theory, the Wick product:langle X 1,dots,X k angle,named after physicist Gian Carlo Wick, is a sort of product of the random variables, X 1, ..., X k , defined recursively as follows::langle angle = 1,(i.e. the empty product… … Wikipedia