自然無限級数 のバックアップソース(No.2)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• 現在との差分 - Visual を表示
• バックアップ を表示
• 自然無限級数 へ行く。
  • 1 (2018.0103 (水) 0407.5300)
  • 2 (2018.0103 (水) 0507.3000)
  • 3 (2018.0103 (水) 0605.1700)

/自然無限級数：1+2+3+…
%indent
////////////////////////////////////////////////////////////////
* 背景 [#qf624c85]

;,特撮テレビドラマ『[[仮面ライダービルド>http://www.tv-asahi.co.jp/build/]]((テレビ朝日： http://www.tv-asahi.co.jp/build/))』では話数を複雑な数式で表現している((Twitter：https://twitter.com/i/moments/937168534496468992))。
;,その第12話が「第$$ - \ffd1{\zeta(-1)} = 12 $$話」となっていて話題を呼んだ。

;,話題とは、元ネタであるゼータ関数$$ \zeta(-1) $$が表す無限級数1+2+3+…の値がである。
;,$$ - \ffd1{\zeta(-1)} = 12 $$を式変形すれば$$ \ffd1{\zeta(-1)} $ = $ -ffd{1}{12} $$になるが、
;,これはゼータ関数正規化の分野で登場する等式((ja.wikipedia／1+2+3+4+… https://ja.wikipedia.org/wiki/1%2B2%2B3%2B4%2B%E2%80%A6))である。
;,しかし、$$ \ffd1{\zeta(-1)} $$を定義通りに展開すると1+2+3+4+…という無限級数になるが、
;,高校までの常識では1+2+3+4+…が$$ -\ffd{1}{12} $$になると思えないから混乱が起きる。

;,ゼータ関数の式の説明は他のサイト((今日も8時間睡眠／「1+2+3+4+…=-1/12」をわかったつもりになる http://nakaken88.com/2014/12/08/080818))に任せるとして、
;,以下では何が違うのか、問題を簡単に切り分けてみる。

;,結論から言うと「1+2+3+4+…」という表記が別々の概念を表していて、曖昧さゆえの混乱である。

;,以降では、便宜上1+2+3+4+…を自然無限級数と呼ぶことにする((自然数が昇順に並ぶ数列の各項を無限級数の項とするので自然無限級数))。

%bodynote

////////////////////////////////////////////////////////////////
* 高校数学での解釈 [#d734d9e3]

;,高校数学までは「1+2+3+4+…」は左から順に足していく計算と見なす。
;,総和記号で表現すると、その意味が明確になる。
;,この定義を便宜的に逐次加算と呼ぶ。

#ceq(e)
  逐次加算：　$$ S $ := $ \lim_{n \to \infty} $ \sum_{k = 0}^{n} $ k $$
#ceq(d)

;,逐次加算では、まず無限級数の先頭から途中で打ち切る部分和を定義する。
;,無限級数$$ \lim_{n \to +\infty} $ \sum_{k = 0}^{n} $ k $$に対し、$$ S_n $ := $ \sum_{k = 0}^{n} $ k $$が第$$ n $$項までの部分和である。
;,部分和の項数を無限大に近づけると、部分和の値が無限級数の値に近づくことが知られている。

;,ここで、自然無限級数では正の自然数をどんどん加算しているので、項数を無限大に近づくと、部分和の値も無限大に近づく。
;,その結果、無限級数は無限大に発散する結果となる。

#ceq(e)
  逐次加算：　$$ S $ := $ \lim_{n \to +\infty} $ \sum_{k = 0}^{n} $ k $ = $ \infty $$
#ceq(d)