This site is supported by donations to The OEIS Foundation.

The special case of zero to the zeroth power

From OeisWiki
Jump to: navigation, search

Some calculators, when asked to compute , the zeroth (also spelled zeroeth) power of 0, will return 1 as the result. Others will lock up and require the clear error key to be pressed before doing anything else. Computer algebra systems like Sage and Pari return 1. The return value of Maple depends on the release, old releases returned 'not defined', newer releases return 1 in the case of the integer power function. Mathematica will return Indeterminate.

According to the IEEE standard, the result of the pow and the integer pown functions is 1.0 (with no error). The standard defines an additional function powr with the value NaN for 0^0, but this function is not widely available. Modern computer languages like C# accordingly compute pow(0, 0) = 1.

Aside from mathematicians, scientists and engineers, lots of people incorrectly think that the answer is 0.[1]

In discrete mathematics

The binomial expansion formula requires 0! = 1 and 0 0 = 1

In algebra, for the binomial expansion

where the are binomial coefficients, we need

For example

Especially, for the constant term, we need to be 1 for any value of , including . We may define those two values by convention or we may rely on the concept of empty product, defined as the multiplicative identity, i.e. 1, to provide us the value 1 for both cases. Since the factorial of is defined as the product of positive integers up to the factorial of 0 is effectively the empty product. And since means multiply the base by itself zero times, i.e. don't ever multiply, this is also effectively the empty product and it doesn't matter what the base is, since we don't ever use it.

Now, defining and to suit this context does not contradict other mathematical contexts where those might be indeterminate. For example, if we consider in

we get

giving the indeterminate quotient so we cannot define this way.

What would be a problem is if other mathematical contexts required different definitions, e.g. if other contexts (is there any?) required in which case we would have to consider those values indeterminate.

In analysis

Taylor series expansions require 0! = 1 and 0 0 = 1

Taylor series expansions like

require and to be valid at .

Limits

We may consider different limits and what should be the value of if we wanted continuity at although those continuity arguments do not have the weight of the strict requirement for the binomial expansion formula.

PowerX^Y.png

Limit of 1/x, x → 0

There are those who will argue that any nonzero value divided by zero is infinity (zero divided by zero being indeterminate), thus zero to a negative power is infinity, on the evidence of such graphs as of the mapping of from to :

Reciprocals Graph.png

As positive gets very small and tends towards 0, does get very large and grows towards infinity from the positive direction (arbitrary large but finite positive values.) On the other side of the vertical axis, as negative gets very small and tends towards 0, grows towards infinity from the negative direction (arbitrary large but finite negative values.) Note that there is only one absolute infinity and it has no direction, whereas the potential infinities (arbitrary large but finite values) do have a direction (negative or positive in the case of the real line, any angle in the case of the complex plane).

If we consider the mapping of from to , then as the norm of gets very small and tends towards 0 (thus tending towards 0 from direction ,) grows towards infinity from direction . When we consider the mapping from to , grows towards infinity from the directions or . When we consider we are considering potentially infinite norms (arbitrarily large but finite norms) so there is a defined direction. When we consider the norm of to be absolute 0, then is meaningless (no direction) and is

Limit of x 0, x → 0

Consider the graph of for

XTo0th Graph.png

If we wanted continuity at we would need

Limit of 0 x, x → 0

Now, consider the graph of for instead.

0ToX Graph.png

If we consider the graph of we obtain 0 for positive and infinity for negative , thus not continuous at . If we wanted continuity from the right (i.e. for nonnegative ) at we would need

The OEIS has sequences for both interpretations: A000007 lists the powers of zero with , while A000004 accords with the interpretation

Limit of x x, x → 0

(...)

Sequences

A000007: The characteristic function of 0: a(n) = 0^n.

{1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, ...}

A000004: The zero sequence.

{0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, ...}

Notes

  1. Alonso del Arte, Pop Quiz: What is 0^0?, Wayne State University College of Engineering. Most engineering students polled gave 1 as the answer, but almost all technicians in the call center, who are not engineers, gave 0 as the answer.

External links