User:FactSpewer/Draft of Exponentiation
Zero to the zero power
[edit]![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e0/X%5Ey.png/300px-X%5Ey.png)
Most authors agree with the statements related to 00 in the two lists below, but come to differing conclusions when it comes to defining 00 or not: see the next subsection.
In most settings not involving continuity, interpreting 00 as 1 simplifies formulas and eliminates the need for special cases in theorems (see the next paragraph for some settings that do involve continuity). For example:
- Regarding 00 as an empty product of zeros suggests a value of 1.
- The combinatorial interpretation of 00 is the number of empty tuples of elements from the empty set. There is exactly one empty tuple.
- Equivalently, the set-theoretic interpretation of 00 is the number of functions from the empty set to the empty set. There is exactly one such function, the empty function.[1]
- It greatly simplifies the theory of polynomials and power series that a constant term can be written ax0 for an arbitrary x. For example:
- The formula for the coefficients of a product of polynomials would lose much of its simplicity if constant terms had to be treated specially.
- Identities like and are not valid for x = 0 unless 00 = 1.
- The binomial theorem is not valid for x = 0 unless 00 = 1.[2]
- In differential calculus, the power rule is not valid for n = 1 at x = 0 unless 00 = 1.
On the other hand, 00 must be handled as an indeterminate form in settings where the exponent varies:
- When f(x) and g(x) are positive-valued functions approaching 0 (as x approaches a real number or ∞), the function f(x)g(x) need not approach 1. In fact, depending on f and g, the limit of f(x)g(x) can be any real number between 0 and 1, or it can be undefined. One expresses this ambiguity by saying that 00 is an indeterminate form. The source of this ambiguity is the fact that the two-variable function xy, continuous on the region defined by x ≥ 0, y ≥ 0, (x,y) ≠ (0,0), cannot be extended to a continuous function on a region including (0,0), no matter how 00 is defined.[3][4] The rule in calculus that limx →a f(x)g(x) = (limx→a f(x))limx→a g(x) whenever both sides of the equation are defined would fail if 00 were defined.
- The function zz is defined for nonzero complex numbers z by choosing a branch of log z and setting zz := ez log z, but there is no branch of log z defined at z = 0, let alone in a neighborhood of 0.[5] There is no holomorphic function defined in a neighborhood of 0 that agrees with zz for all positive real numbers z.
History of differing points of view
[edit]Different authors interpret the situation above in different ways:
- Some argue that the best value for 00 depends on context, and hence that defining it once and for all is problematic.[6] According to Benson (1999), "The choice whether to define 00 is based on convenience, not on correctness."[7]
- Others argue that 00 is 1. According to p. 408 of Knuth (1992), it "has to be 1".[8]
The debate has been going on at least since the early 1800s. At that time, most mathematicians agreed that 00 = 1, but in 1821 Cauchy[9] listed 00 along with expressions like 0/0 in a table of undefined forms. In the 1830s Libri[10][11] published an unconvincing argument for 00 = 1, and Möbius[12] sided with him, erroneously claiming that whenever A commentator who signed his name simply as "S" provided a counterexample, and this quieted the debate for some time, with the apparent conclusion of this episode being that 00 should be undefined. More details can be found in Knuth (1992).[8]
Treatment in programming languages and calculators
[edit]Computer programming languages that evaluate 00 to 1[13] include bc, Haskell, J, Java, MATLAB, ML, Perl, Python, R, Ruby, Scheme, and SQL. In the .NET Framework, the method System.Math.Pow
treats 00 to be 1.
Microsoft Excel issues an error when it evaluates 00.
Microsoft Windows' Calculator and the calculator in Google search[14] evaluate 00 to 1.
Maple simplifies a0 to 1 and 0a to 0, even if no constraints are placed on a, and evaluates 00 to 1.
Mathematica simplifies a0 to 1, even if no constraints are placed on a. It does not simplify 0a, and it takes 00 to be an indeterminate form.
- ^ N. Bourbaki, Elements of Mathematics, Theory of Sets, Springer-Verlag, 2004, III.§3.5.
- ^ "Some textbooks leave the quantity 00 undefined, because the functions x0 and 0x have different limiting values when x decreases to 0. But this is a mistake. We must define x0 = 1, for all x, if the binomial theorem is to be valid when x = 0, y = 0, and/or x = −y. The binomial theorem is too important to be arbitrarily restricted! By contrast, the function 0x is quite unimportant".Ronald Graham, Donald Knuth, and Oren Patashnik (1989-01-05). "Binomial coefficients". Concrete Mathematics (1st ed.). Addison Wesley Longman Publishing Co. p. 162. ISBN 0-201-14236-8.
{{cite book}}
: Check date values in:|date=
(help)CS1 maint: multiple names: authors list (link) - ^ L. J. Paige (March 1954). "A note on indeterminate forms". American Mathematical Monthly. 61 (3): 189–190. doi:10.2307/2307224. JSTOR 2307224.
{{cite journal}}
: CS1 maint: date and year (link) - ^ Along the positive x-axis the limit is 1, along the positive y-axis the limit is 0, and any a between 0 and 1 can be obtained as the limit along the curve y = log(a)/log(x). For curves approaching (0,0) within the region 0 ≤ y < ax for some a > 0, the limit is 1; in particular, this holds along the graph of any function that is real analytic in a neighborhood of 0, assuming that the function is nonnegative for x > 0.
- ^ "... Let's start at x = 0. Here xx is undefined." Mark D. Meyerson, The Xx Spindle, Mathematics Magazine 69, no. 3 (June 1996), 198-206.
- ^ Examples include Edwards and Penny (1994). Calculus, 4th ed,, Prentice-Hall, p. 466, and Keedy, Bittinger, and Smith (1982). Algebra Two. Addison-Wesley, p. 32.
- ^ Donald C. Benson, The Moment of Proof : Mathematical Epiphanies. New York Oxford University Press (UK), 1999. ISBN 9780195117219
- ^ a b Donald E. Knuth, Two notes on notation, Amer. Math. Monthly 99 no. 5 (May 1992), 403-422.
- ^ Augustin-Louis Cauchy, Cours d'Analyse de l'École Royale Polytechnique (1821). In his Oeuvres Complètes, series 2, volume 3.
- ^ Guillaume Libri, Note sur les valeurs de la fonction 00x, Journal für die reine und angewandte Mathematik 6 (1830), 67-72.
- ^ Guillaume Libri, Mémoire sur les fonctions discontinues, Journal für die reine und angewandte Mathematik 10 (1833), 303-316.
- ^ A. F. Möbius, Beweis der Gleichung 00 = 1, nach J. F. Pfaff, Journal für die reine und angewandte Mathematik 12 (1834), 134-136.
- ^ For example, see John Benito (April 2003). "Rationale for International Standard — Programming Languages — C" (Document). p. 182.
{{cite document}}
: Cite document requires|publisher=
(help); Unknown parameter|url=
ignored (help); Unknown parameter|version=
ignored (help) - ^ http://www.google.co.uk/search?q=0%5E0