Zero

DOWNLOAD Mathematica Notebook

Zero is the integer denoted 0 that, when used as a counting number, means that no objects are present. It is the only integer (and, in fact, the only real number) that is neither negative nor positive. A number which is not zero is said to be nonzero. A root of a function f is also sometimes known as "a zero of f."

My Hero, Zero

The Schoolhouse Rock segment "My Hero, Zero" extols the virtues of zero with such praises as, "My hero, zero Such a funny little hero But till you came along We counted on our fingers and toes Now you're here to stay And nobody really knows How wonderful you are Why we could never reach a star Without you, zero, my hero How wonderful you are."

Zero is commonly taken to have the factorization 0=0·1 (e.g., in the Wolfram Language's FactorInteger[n] command). On the other hand, the divisors and divisor function sigma_k(0) are generally taken to be undefined, since by convention, n|0 (i.e., n divides 0) for every n except zero.

Because the number of permutations of 0 elements is 1, 0! (zero factorial) is defined as 1 (Wells 1986, p. 31). This definition is useful in expressing many mathematical identities in simple form.

ZeroToTheZero

A number other than 0 taken to the power 0 is defined to be 1, which follows from the limit

 lim_(x->0)a^x=1.
(1)

This fact is illustrated by the convergence of curves at x=0 in the plot above, which shows a^x for a=0.2, 0.4, ..., 2.0. It can also be seen more intuitively by noting that repeatedly taking the square root of a number >1 gives smaller and smaller numbers that approach one from above, while doing the same with a number between 0 and 1 gives larger and larger numbers that approach one from below. For n square roots, the total power taken is 2^(-n), which approaches 0 as n is large, giving a^0=1 in the limit that n is large.

0^0 itself is undefined. The lack of a well-defined meaning for this quantity follows from the mutually contradictory facts that a^0 is always 1, so 0^0 should equal 1, but 0^a is always 0 (for a>0), so 0^0 should equal 0. It could be argued that 0^0=1 is a natural definition since

 lim_(n->0)n^n=lim_(n->0^+)n^n=lim_(n->0^-)n^n=1.
(2)

However, the limit does not exist for general complex values of n. Therefore, the choice of definition for 0^0 is usually defined to be indeterminate.

However, defining 0^0=1 allows some formulas to be expressed simply (Knuth 1992; Knuth 1997, p. 57), an example of which is the beautiful analytical formula for the integral of the generalized sinc function

 int_0^infty(sin^ax)/(x^b)dx=(pi^(1-c)(-1)^(|_(a-b)/2_|))/(2^(a-c)(b-1)!)sum_(k=0)^(|_a/2_|-c)(-1)^k(a; k)(a-2k)^(b-1)[ln(a-2k)]^c
(3)

given by Kogan, where a>=b>c, c=a-b (mod 2), and |_x_| is the floor function.

Richardson's theorem is a fundamental result in decidability theory which establishes that the determination of whether even simple expressions are identically equal to zero is undecidable in principle, let alone in practice.

The following table gives the first few numbers n such that the decimal expansion of k^n contains no zeros for small k (a problem that resembles Gelfand's question.) The largest known n for which 2^n contain no zeros is 86 (Madachy 1979), with no other n<=4.6×10^7 (M. Cook, pers. comm., Sep. 26, 1997 and Mar. 16, 1998), improving the 3.0739×10^7 limit obtained by Beeler and Gosper (1972). The values a(n) such that the positions of the rightmost zero in 2^(a(n)) increases are 10, 20, 30, 40, 46, 68, 93, 95, 129, 176, 229, 700, 1757, 1958, 7931, 57356, 269518, ... (OEIS A031140). The positions in which the rightmost zeros occur are 2, 5, 8, 11, 12, 13, 14, 23, 36, 38, 54, 57, 59, 93, 115, 119, 120, 121, 136, 138, 164, ... (OEIS A031141). The rightmost zero of 2^(781717865) occurs at the 217th decimal place, the farthest over for powers up to 2.5×10^9.

kSloanen such that k^n contains no 0s
2A0073771, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 15, 16, 18, 19, 24, 25, 27, 28, ...
3A0307001, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 19, 23, 24, 26, 27, 28, ...
4A0307011, 2, 3, 4, 7, 8, 9, 12, 14, 16, 17, 18, 36, 38, 43, ...
5A0088391, 2, 3, 4, 5, 6, 7, 9, 10, 11, 17, 18, 30, 33, 58, ...
6A0307021, 2, 3, 4, 5, 6, 7, 8, 12, 17, 24, 29, 44, ...
7A0307031, 2, 3, 6, 7, 10, 11, 19, 35
8A0307041, 2, 3, 5, 6, 8, 9, 11, 12, 13, 17, 24, 27
9A0307051, 2, 3, 4, 6, 7, 12, 13, 14, 17, 34
11A0307061, 2, 3, 4, 6, 7, 8, 9, 12, 13, 14, 15, 16, 18, 41, ...

While it has not been proven that the numbers listed above are the only ones without zeros for a given base, the probability that any additional ones exist is vanishingly small. Under this assumption, the sequence of largest n such that k^n contains no zeros for k=2, 3, ... is then given by 86, 68, 43, 58, 44, 35, 27, 34, 0, 41, ... (OEIS A020665).

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

Computerbasedmath.org »

Join the initiative for modernizing math education.

Online Integral Calculator »

Solve integrals with Wolfram|Alpha.

Step-by-step Solutions »

Walk through homework problems step-by-step from beginning to end. Hints help you try the next step on your own.

Wolfram Problem Generator »

Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.

Wolfram Education Portal »

Collection of teaching and learning tools built by Wolfram education experts: dynamic textbook, lesson plans, widgets, interactive Demonstrations, and more.

Wolfram Language »

Knowledge-based programming for everyone.