無限級数 1 − 1 + 1 − 1 + …
∑
n
=
0
∞
(
−
1
)
n
{\displaystyle \sum _{n=0}^{\infty }(-1)^{n}}
この級数はグランディ級数 （グランディきゅうすう、英 : Grandi's series ）と呼ばれることがある。グランディ級数という名前は、1703年にこの級数に関する議論において重要な貢献をした、イタリアの数学者であり哲学者である神父のルイージ・グイード・グランディ （英語版 ） 発散級数 であり、通常の意味では和を持たない。その一方で、グランディ級数のチェザロ和 は 1/2 となる。
グランディ級数
1
−
1
+
1
−
1
+
1
−
1
+
1
−
1
+
⋯
,
{\displaystyle 1-1+1-1+1-1+1-1+\cdots ,}
に切り込むための一つの明快な方法は、それを畳み込み級数 のように扱い、適当に差分を取ることである：
(
1
−
1
)
+
(
1
−
1
)
+
(
1
−
1
)
+
⋯
=
0
+
0
+
0
+
⋯
=
0.
{\displaystyle \left(1-1\right)+\left(1-1\right)+\left(1-1\right)+\cdots =0+0+0+\cdots =0.}
同様に違った括弧の取り方をすると明らかに矛盾した結果が得られる。
1
+
(
−
1
+
1
)
+
(
−
1
+
1
)
+
(
−
1
+
1
)
+
⋯
=
1
+
0
+
0
+
0
+
⋯
=
1.
{\displaystyle 1+\left(-1+1\right)+\left(-1+1\right)+\left(-1+1\right)+\cdots =1+0+0+0+\cdots =1.}
このように、グランディ級数に対して異なる括弧の取り方をすると、0 か 1 かの「値」を得ることができる（このアイデアを発展させたものはアイレンベルク＝メイザー・スウィンドル （英語版 ） 結び目理論 や代数学 で用いられることがある）。
グランディ級数を発散幾何級数 （英語版 ） 収束 する幾何級数 （等比級数）と同じように代数的な操作の下で、グランディ級数に対する第三の値が得られる：
S
:=
1
−
1
+
1
−
1
+
⋯
{\displaystyle S:=1-1+1-1+\cdots }
1
−
S
=
1
−
(
1
−
1
+
1
−
1
+
⋯
)
=
1
−
1
+
1
−
1
+
⋯
=
S
{\displaystyle 1-S=1-\left(1-1+1-1+\cdots \right)=1-1+1-1+\cdots =S}
より S = 1/2−S を計算することでも得られ、S を引き 2S = 1 を解くことで確かめられる[ 1]
上記の取り扱いでは、その級数の和がどのような意味を持つのか考えていなかった。それでも、級数に括弧を自由に付けられることを重視し、更にそれらを算術的に扱えることをより重視するならば、次の 2 つの結論に到達する：
級数 1 − 1 + 1 − 1 + … は和を持たない[ 1] [ 2]
しかしその和は 1/2 でなければならない [ 2] 実際、これらの主張は厳密かつ形式的に示せるが、それは19世紀に成立した明確に定義された数学的概念を用いてのみ行うことができる。17世紀後半にヨーロッパで解析学 が導入された後、現代のような厳密な取り扱いがまだない時代には、上述の相反するような解答は、当時の数学者達の間に「終わりなき」「暴力的な」と形容されるような論争を巻き起こす燃料になっていた[ 3] [ 4]
現代の数学では、無限級数の和はその部分和 によって与えられる数列の極限 として、その極限が存在する場合に限り定義される。グランディ級数の部分和の数列は 1, 0, 1, 0, … であり、これはどのような数にも近づくことはない（2 つの集積点を 0 と 1 に持つにも拘らず）。従ってグランディ級数は発散 する。
このことは、一見して無害な、独立な項の並べ替えなどの級数の操作が、級数が絶対収束 しない限りは無効であり、絶対収束しない級数に対してそのような操作をすると、与えられる和が変わってしまうことを示している[ 5] 0 や 1 だけでなく、2 やそれより大きな連続する整数に持たせることができる。たとえば、級数
1
+
1
+
1
+
1
+
1
−
1
−
1
+
1
+
1
−
1
−
1
+
1
+
1
−
1
−
1
+
1
+
1
−
⋯
{\displaystyle 1+1+1+1+1-1-1+1+1-1-1+1+1-1-1+1+1-\cdots }
（最初の 5 つの項は +1 、後の項は 2 つの −1 と +1 が交代で現れる）はグランディ級数の項を並べ替えたものであり、
この級数に対応する値は元の級数から高々 4 だけ離れた点にある。級数の集積点は 3, 4, 5 である。
通常の意味ではグランディ級数は収束しないが、総和法 の適用によっては収束し、収束値 S = 1/2[ 6]
a
n
=
(
−
1
)
n
(
n
=
0
,
1
,
2
,
…
)
{\displaystyle a_{n}=(-1)^{n}\quad (n=0,1,2,\dots )}
とし、第n 項目までの部分和を
s
n
=
∑
l
=
0
n
−
1
a
l
{\displaystyle s_{n}=\sum _{l=0}^{n-1}a_{l}}
と表す。
チェザロ総和法 では、第n 項目までの部分和 sn について、相加平均
σ
n
=
s
0
+
⋯
+
s
n
−
1
n
(
n
=
1
,
2
,
…
)
{\displaystyle \sigma _{n}={\frac {s_{0}+\cdots +s_{n-1}}{n}}\quad (n=1,2,\dots )}
とその極限を考え、その収束値が S になるとき、S にチェザロ総和可能と呼ぶ。グランディ級数では n の偶奇に応じて、
σ
2
m
=
1
2
(
m
=
1
,
2
,
…
)
σ
2
m
+
1
=
m
2
m
+
1
(
m
=
0
,
1
,
…
)
{\displaystyle {\begin{aligned}\sigma _{2m}&={\frac {1}{2}}&(m=1,2,\dots )\\\sigma _{2m+1}&={\frac {m}{2m+1}}&(m=0,1,\dots )\end{aligned}}}
で、床関数 を用いると
σ
m
=
⌊
m
/
2
⌋
m
{\displaystyle \sigma _{m}={\frac {\lfloor m/2\rfloor }{m}}}
である。
lim
n
→
∞
σ
n
=
1
2
{\displaystyle \lim _{n\to \infty }\sigma _{n}={\frac {1}{2}}}
であるから、チェザロ総和は S = 1/2
x を |x | < 1 を満たす実数とし、収束因子 xn をグランディ級数の各項 an = (−1)n
f
(
x
)
=
∑
n
=
0
∞
(
−
1
)
n
x
n
=
1
−
x
+
x
2
+
⋯
{\displaystyle f(x)=\sum _{n=0}^{\infty }(-1)^{n}x^{n}=1-x+x^{2}+\cdots }
は、|x | < 1 で
f
(
x
)
=
1
1
+
x
{\displaystyle f(x)={\frac {1}{1+x}}}
に一様収束 する。ここで、左極限をとれば、
lim
x
→
1
−
f
(
x
)
=
1
2
{\displaystyle \lim _{x\to 1-}{f(x)}={\frac {1}{2}}}
である。一般に |x | < 1 で収束するベキ級数 ∑∞n =0 an xn が
lim
x
→
1
−
∑
n
=
0
∞
a
n
x
n
=
S
{\displaystyle \lim _{x\to 1-}\sum _{n=0}^{\infty }a_{n}x^{n}=S}
を満たすとき、∑∞n =0 an は値 S にアーベル総和可能という。このアーベル総和法 の定義に従えば、グランディ級数は S = 1/2
Davis, Harry F. (May 1989). Fourier Series and Orthogonal Functions . Dover. ISBN 0-486-65973-9 Devlin, Keith (1994). Mathematics, the science of patterns: the search for order in life, mind, and the universe . Scientific American Library. ISBN 0-7167-6022-3 Hardy, G. H. (1949), Divergent Series , https://archive.org/details/divergentseries033523mbp Hobson, E. W. (1907). The theory of functions of a real variable and the theory of Fourier's series . The University of Michigan Historical Mathematics Collection : Cambridge University Press . section 331 Kline, Morris (November 1983). “Euler and Infinite Series”. Mathematics Magazine 56 (5): 307–314. doi :10.2307/2690371 . JSTOR 2690371 . Knopp, Konrad (1990) [1922]. Theory and Application of Infinite Series . Dover. ISBN 0-486-66165-2 Whittaker, E. T.; Watson, G. N. (1962). A course of modern analysis (4th, reprinted ed.). Cambridge University Press .
