解決済み

なぜ1+2+4+…=-1となるのか理解できません。解析接続という手法を用いていることは知っているのですが、むしろその手法が誤っていることを示す反例としては扱われないのはなぜだろうか、と考えています。

誰か教えて頂けると幸いです。


ちなみに、高校生ですがそれなりに大学の数学にも触れているので、ある程度難解な内容は理解できると思います。(Wikipediaの「解析接続」もはじめから3分の1ぐらいはなんとか理解できました。)

ベストアンサー

ベストアンサー

おそらく1+z+z2+=11z1+z+z^2+ \cdots = \frac{1}{1-z}に形式的に x=2x=2 を「代入」して出てくる式

"1+2+4+=1""1+2+4+ \cdots = -1"についておっしゃていると思われるので,以下それを前提に説明します.(結論から言うと,その式は誤りあるいは「無意味な」式です.)


まずは素朴に考えてみます.左辺を limnk=0n2k\lim_{n \to \infty} \sum_{k=0}^n 2^k だと解釈すれば,この極限は明らかに 1-1 ではありません.この意味ではその式は完全な誤りです.


次に z<1|z| <1 において成り立つ式1+z+z2+=11z1+z+z^2+ \cdots = \frac{1}{1-z}と解析接続の関係から考えてみます.


解析接続について.

ある領域 UCU \in \mathbb{C} で定義された正則関数 ff を, UVU \subset V となる領域 VV に解析接続するとは,大雑把には「VV 上で定義された正則関数 gg であって UU 上で g=fg=f となっているものを見つける」という意味です.


これを元に上の式1+z+z2+=11z1+z+z^2+ \cdots = \frac{1}{1-z}を見てみましょう.左辺は z<1|z| <1 で収束し,それ以外では発散する無限級数です.よってこの無限級数を使ってU={zCz<1}U = \{z \in \mathbb{C} \mid |z| <1\}という領域上で値が定まった正則関数 f(z)f(z) を作ることができます .このとき注意が必要なのは,ff という関数の定義域は UU であり,「UU の外での値」というものは定義していない,ということです.


また右辺は V=C{0}V = \mathbb{C} - \{0\}上で定義された正則関数 g(z)=11zg(z)=\frac{1}{1-z}を与えます.UVU \subset V であり,UU 上では f=gf=g となっているため ggff の解析接続です.


このとき定義より g(2)=1g(2) =-1 が成り立ちます.一方で f(2)f(2) という値はそもそも定義されていません.(22ff の定義域 UU に入っていないので.)にも関わらず,UU 上でのみ成り立つ式

f(z)=1+z+z2+=11z=g(z)f(z)=1+z+z^2+ \cdots = \frac{1}{1-z}=g(z)z=2z=2 を「代入」して出てくる"1+2+4+=1""1+2+4+ \cdots = -1"が「不思議な等式」として紹介されることがあるようです.そのような操作は元の等式の成立範囲から外れていますから,これは「無意味」な等式です.(「実数 xx について x20x^2 \geq 0 」という命題に x=1x = \sqrt{-1} を代入しても意味がないのと同じです.)


最後に,「なぜこの例が解析接続の手法の誤りを示す例として扱われないか」について説明します.


「解析接続の理論から 1+2+4+=11+2+4+ \cdots = -1 という等式が出てくるわけではない」ことに注意しましょう.上でも述べた通り,解析接続の立場からみてもこの式は「無意味な操作を形式的にやってみると出てくるもの」であり,論理的に導かれる等式ではありません.よってそもそも反例になっていません.


また「無限級数の z=2z=2 での値は \infty なんだから f(2)=f(2)=\infty ってすれば定義域広げられるじゃん,でもこれだと g(2)=1g(2)=-1 と辻褄合わなくない?」という疑問もあるかもしれませんが,f(2)=f(2)=\infty ととして ff を拡張したものは解析接続ではありません.(\infty を値に持つような関数は正則関数の範囲から外れるため,解析接続の理論の適用範囲外です.\infty を値に許す有利型関数というものもありますが,その範囲からも外れていることが証明できます.)なのでこの場合は解析接続と関係のない話になります.

質問者からのお礼コメント

質問者からのお礼コメント

ものすごくすんなり頭に入ってきました。

本当にありがとうございます‼️


ところで、

V=C{1}V=\mathbb{C}-\{1\}

ではないのでしょうか。

そのほかの回答(0件)