# Grandi's series

Grandi's series

The infinite series 1 − 1 + 1 − 1 + &hellip;

or

:$sum_\left\{n=0\right\}^\left\{infin\right\} \left(-1\right)^n$is sometimes called Grandi's series, after Italian mathematician, philosopher, and priest Guido Grandi, who gave a memorable treatment of the series in 1703. It is a divergent series, meaning that it lacks a sum in the usual sense. On the other hand, its Cesàro sum is ½.

Heuristics

One obvious method to attack the series:1 − 1 + 1 − 1 + 1 − 1 + 1 − 1 + &hellip;is to treat it like a telescoping series and perform the subtractions in place:

:(1 − 1) + (1 − 1) + (1 − 1) + &hellip; = 0 + 0 + 0 + &hellip; = 0.

On the other hand, a similar bracketing procedure leads to the apparently contradictory result:1 + (−1 + 1) + (−1 + 1) + (−1 + 1) + &hellip; = 1 + 0 + 0 + 0 + &hellip; = 1.

Thus, by applying parentheses to Grandi's series in different ways, one can obtain either 0 or 1 as a "value". (Variations of this idea, called the Mazur swindle or Eilenberg swindle, are sometimes used in knot theory and algebra.)

Treating Grandi's series as a divergent geometric series we may use the same algebraic methods that evaluate convergent geometric series to obtain a third value::"S" = 1 − 1 + 1 − 1 + &hellip;, so:1 − "S" = 1 − (1 − 1 + 1 − 1 + &hellip;) = 1 - 1 + 1 - 1 + &hellip; = "S",resulting in "S" = frac|1|2.The same conclusion results from calculating −"S", subtracting the result from "S", and solving 2"S" = 1.Devlin p.77]

The above manipulations do not consider what the sum of a series actually means. Still, to the extent that it is important to be able to bracket series at will, and that it is more important to be able to perform arithmetic with them, one can arrive at two conclusions:
*The series 1 − 1 + 1 − 1 + &hellip; has no sum.Davis p.152]
*...but its sum "should" be frac|1|2.In fact, both of these statements can be made precise and formally proven, but only using well-defined mathematical concepts that arose in the 19th century. After the late 17th-century introduction of calculus in Europe, but before the advent of modern rigor, the tension between these answers fueled what has been characterized as an "endless" and "violent" dispute between mathematicians.Kline 1983 p.307] Knopp p.457]

Early ideas

Divergence

In modern mathematics, the sum of an infinite series is defined to be the limit of the sequence of its partial sums, if it exists. The sequence of partial sums of Grandi's series is nowrap|1, 0, 1, 0, &hellip;, which clearly does not approach any number (although it does have two accumulation points at 0 and 1). Therefore, Grandi's series is divergent.

It can be shown that it is not valid to perform many seemingly innocuous operations on a series, such as reordering individual terms, unless the series is absolutely convergent. Otherwise these operations can alter the result of summation. It's easy to see how terms of Grandi's series can be rearranged to arrive at any integer number, not only 0 or 1.

* E. W. Hobson, "The theory of functions of a real variable and the theory of Fourier's series" (Cambridge University Press, 1907), section 331. The University of Michigan Historical Mathematics Collection [http://www.hti.umich.edu/u/umhistmath/]

* E. T. Whittaker and G. N. Watson, "A course of modern analysis", 4th edition, reprinted (Cambridge University Press, 1962), section 2.1.

Education

ummability

Related problems

Notes

ee also

* 1 + 1 + 1 + 1 + · · ·

References

*cite book |last=Davis |first=Harry F. |title=Fourier Series and Orthogonal Functions |year=1989 |month=May |publisher=Dover |id=ISBN 0-486-65973-9
*cite book |last=Devlin |first=Keith |authorlink=Keith Devlin |title=Mathematics, the science of patterns: the search for order in life, mind, and the universe |year=1994 |publisher=Scientific American Library |id=ISBN 0-7167-6022-3
*cite journal |last=Kline |first=Morris |title=Euler and Infinite Series |journal=Mathematics Magazine |volume=56 |issue=5 |year=1983 |month=November |pages=307–314 |url=http://links.jstor.org/sici?sici=0025-570X%28198311%2956%3A5%3C307%3AEAIS%3E2.0.CO%3B2-M
*cite book |last=Knopp |first=Konrad |authorlink=Konrad Knopp |title=Theory and Application of Infinite Series |year=1990 |origyear=1922 |publisher=Dover |id=ISBN 0-486-66165-2

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Grandi's series in education — TextbookstudiesCognitive impactAround 1987, Anna Sierpińska introduced Grandi s series to a group of 17 year old precalculus students at a Warsaw lyceum. She focused on humanities students with the expectation that their mathematical experience… …   Wikipedia

• History of Grandi's series — Geometry and infinite zerosGrandiGuido Grandi (1671 – 1742) reportedly provided a simplistic account of the series in 1703. He noticed that inserting parentheses into nowrap|1=1 − 1 + 1 − 1 + · · · produced varying results: either:(1 1) + (1 1) + …   Wikipedia

• Occurrences of Grandi's series — Main article: Grandi s series Contents 1 Parables 2 Numerical series 3 Power series 4 Fourier series …   Wikipedia

• Summation of Grandi's series — General considerationstability and linearityThe formal manipulations that lead to 1 − 1 + 1 − 1 + · · · being assigned a value of 1⁄2 include: *Adding or subtracting two series term by term, *Multiplying through by a scalar term by term, *… …   Wikipedia

• Grandi — NOTOC Grandi may refer to:People*Alessandro Grandi (1586–1630), Italian composer *Bruno Grandi (1934), Italian gymnast *Dino Grandi (1895–1988), Italian politician *Ercole Grandi (1491–1531), Italian painter * Guido Grandi (priest) (1671–1742),… …   Wikipedia

• Série de Grandi — La série 1 − 1 + 1 − 1 + … ou est parfois appelée la série de Grandi, du nom du mathématicien, philosophe et prêtre Luigi Guido Grandi, qui en donna une analyse célèbre en 1703. Il s agit d une série divergente, c est à dire que la suite de ses… …   Wikipédia en Français

• Luigi Guido Grandi — (October 1, 1671 ndash; July 4, 1742) was an Italian priest, philosopher, mathematician, and engineer born in Cremona. He was Jesuit educated and became a member of the Camaldolese order. He became a professor of philosophy at the Camaldolese… …   Wikipedia

• Divergent series — In mathematics, a divergent series is an infinite series that is not convergent, meaning that the infinite sequence of the partial sums of the series does not have a limit. If a series converges, the individual terms of the series must approach… …   Wikipedia

• Telescoping series — In mathematics, a telescoping series is an informal expression referring to a series whose sum can be found by exploiting the circumstance that nearly every term cancels with either a succeeding or preceding term. Such a technique is also known… …   Wikipedia

• Geometric series — In mathematics, a geometric series is a series with a constant ratio between successive terms. For example, the series:frac{1}{2} ,+, frac{1}{4} ,+, frac{1}{8} ,+, frac{1}{16} ,+, cdotsis geometric, because each term is equal to half of the… …   Wikipedia