TOPICS
Search

Zero


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" (Multiplication Rock, Season 1, Episode 2, 1973) 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 (cf. Espinosa and Moll 2000), 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).


See also

1, 2, 10, Airy Function Zeros, Approximate Zero, Bessel Function Zeros, Constant Problem, Division by Zero, Fallacy, Identically Zero, Naught, Negative, Nonnegative, Nonzero, Positive, Power, Richardson's Theorem, Root, Uniformity Conjecture, Vanishing, Vanish Identically, Zero Divisor, Zero Matrix, Zero-Sum Game, Zerofree

Explore with Wolfram|Alpha

References

Beeler, M. and Gosper, R. W. Item 57 in Beeler, M.; Gosper, R. W.; and Schroeppel, R. HAKMEM. Cambridge, MA: MIT Artificial Intelligence Laboratory, Memo AIM-239, p. 22, Feb. 1972. http://www.inwap.com/pdp10/hbaker/hakmem/number.html#item57.Espinosa, O. and Moll, V. H. "On Some Definite Integrals Involving the Hurwitz Zeta Function." https://arxiv.org/abs/math/0012078. 11 Dec 2000.Finch, S. R. Mathematical Constants. Cambridge, England: Cambridge University Press, 2003.Knuth, D. E. "Two Notes on Notation." Amer. Math. Monthly 99, 403-422, 1992.Knuth, D. E. The Art of Computer Programming, Vol. 1: Fundamental Algorithms, 3rd ed. Reading, MA: Addison-Wesley, p. 57, 1997.Kogan, S. "A Note on Definite Integrals Involving Trigonometric Functions." Unpublished manuscript, n.d.Madachy, J. S. Madachy's Mathematical Recreations. New York: Dover, pp. 127-128, 1979.Pappas, T. "Zero-Where & When." The Joy of Mathematics. San Carlos, CA: Wide World Publ./Tetra, p. 162, 1989.Sloane, N. J. A. Sequence A007377/M0485 in "The On-Line Encyclopedia of Integer Sequences."Wells, D. The Penguin Dictionary of Curious and Interesting Numbers. Middlesex, England: Penguin Books, pp. 23-26, 1986.YouTube. "My Hero, Zero." https://www.youtube.com/watch?v=L1yPuSP1HPY.

Referenced on Wolfram|Alpha

Zero

Cite this as:

Weisstein, Eric W. "Zero." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Zero.html

Subject classifications