1+2+4+8+…

1 + 2 + 4 + 8 + …は無限級数の一つで、数学において、その項は連続する2の冪である。初項1、公比2の等比数列として特徴付けられる。実数の級数で、無限大に発散する級数として、普通には実数の和を持たないとされる。より広く解釈すると、この級数は ∞ の他の値、即ち −1 に関連付けられる。

概要

1 + 2 + 4 + 8 + の部分和は、テンプレート:Nowrapであり、この列は無限に発散するので級数も無限に発散する。それゆえテンプレート:仮リンクな総和法では、チェザロ和やアーベル和も含めて、その総和は∞になる。しかし、テンプレート:Nowrapの和は有限の値−1に収束するという一般的に役立つ手法も少なくとも1つ存在する。これに関連した冪級数

$f(x)=1+2x+4x^2+8x^3+\cdots +2^n{x}^n+\cdots =\frac{1}{1-2x}$

は、0を中心とする¹/₂の収束半径しか持たないので、テンプレート:Nowrapでは収束しない。それにも関わらず、定義された関数fは、点テンプレート:Nowrapを除いた複素平面へただ一つの解析接続を持ち、それは同じ方法テンプレート:Nowrapで与えられる。テンプレート:Nowrapとなるので、原級数テンプレート:Nowrapは−1にsummable (E)といい、-1はその級数の(E) sumである（この定義はゴッドフレイ・ハロルド・ハーディによって、レオンハルト・オイラーの『オイラーの無限級数和』を参考にしてなされた）。

殆ど同一の解法（そのうち一つがオイラー自身によって作られた物）は、全ての係数が1の冪級数であると見なす物である。即ち、

$1+y+y^2+y^3+\cdots =\frac{1}{1-y}$　

の冪級数にy = 2を代入した物である。もちろん、これらの2つの級数はy = 2xの置換で関連している。

(E) summationをテンプレート:Nowrapの収束値として割り当てる事は、一般的な方法が完全に正規（totally regular）の物ではない事を意味する。しかし、この事は総和法として、安定性と線型性を含んだ望ましい性質を持っている。これらの2つの公理は、実際に総和を −1に収束させる。その理由は、公理によって以下に挙げる計算法が有効になるためである。

$\begin{array}{cc}s& =1+2+4+8+\cdots \\ & =1+2(1+2+4+8+\cdots )\\ & =1+2s\end{array}$

ある意味、s = ∞ は、方程式テンプレート:Nowrapの根である（例えば、∞ はリーマン球面上のメビウス変換テンプレート:Nowrap における2つの不動点のうちの1つである）。もしsとして普通の数、すなわち ∞ でない値を返す物としての総和法が知られていれば、その値は簡単に決定される。この場合等式の両項からsを減じてもよく、テンプレート:Nowrapという式になり、テンプレート:Nowrapとなる。

上記の操作は十分強力な総和法の文脈から外れて -1 になるということを要求されるかもしれない。基本的な収束概念を含む最も有名で直接的な和の概念において、正項級数が負の値に収束することは不条理である。これに似た現象が発散幾何級数1 − 1 + 1 − 1 + · · ·において起こる。整数からなる級数が非整数の和¹⁄₂を持つのである。これらの例は、循環小数、例えば0.111…や特に注目すべきなのは0.999…、に暗に含まれている級数に対して類似の議論を行うことに潜在的な危険があることを示している。この議論は結局はこれらの収束級数に対して正当化され、テンプレート:Nowrap や テンプレート:Nowrap であることもわかる。しかし、根本的な証明は無限和の解釈を注意深く考えることを要求する。

この級数は、実数とは異なった数の体系、即ち2進数において収束する級数としても捉えることができる。2進数の級数として、上記の結果と同じ値−1に収束する。

関連項目

• 1 − 1 + 2 − 6 + 24 − 120 + · · ·
• 1 − 2 + 3 − 4 + · · ·
• 2の補数, 負の数を表現するデータの扱い方であって、-1 がまるで $1+2+4+\dots +2^{n-1}$ であるかのように表現される

参考文献

• テンプレート:Cite journal
• テンプレート:Cite book
• テンプレート:Cite book

発展文書

• テンプレート:Cite journal
• テンプレート:Cite journal
• テンプレート:Cite journal
• テンプレート:Cite web
• テンプレート:Cite journal