今回も 無限の不思議 についてあれこれ考えてみます。
無限を表す ∞ という記号自体は高校の数学Ⅲで初めて登場します。
しかし、無限の概念そのものはそれよりもずっと前の段階、小学校１年生の算数でかぞえ方を学んだ時にすでに出会っているのです。
というようにかぞえていくときに「かぞえられるのはここまでだよ」なんてことを教える先生はいないはずです。暗黙のうちに「数はどこまでもかぞえられる」というようなルールが示されているのです。つまり数学は自然数というものを定義したその瞬間から無限という摩訶不思議な概念も生みだしてしまっているのです。
あらゆる場面に無限は登場します
そのあと割り算と小数を習って
という計算をするときも小数点以下に 3 が 無限に続く という場面に出くわします。答えを書くときは小数点以下 3 桁とか 4 桁とか適当なところで打ち切るように教えられます。まあ、なんとなく無限の概念はスルーしておくわけです。しかし数と無限は切っても切り離せない関係にありますから、その後も神出鬼没に顔を覗かせます。中学校では無理数を学びます。2 の平方根
は小数点以下無限に続き、しかもその並び方に特定のパターンが見いだせなくなります。でもこの段階でもやっぱり無限について深く立ち入ることはしません。高校 2 年では数列について学びます。前回記事の『アキレスと亀のパラドックス』で登場したような等比数列の和
というような式も登場しますが、無限に足すことはやめておいて、とりあえず有限項で打ち切ったときの和の計算でとどめています。しかしそんなスルーがいつまでも通用するはずもありません。そのままではいつまでたっても数学が発展しないので、高校 3 年の数学Ⅲになってようやく無限級数の計算を学びます。
別に私は文部科学省の学習指導要領に対して「無限をスルーするな！」と文句を言っているわけではないのです。数のかぞえかたを教える段階で「つまり無限というのはね ...... 」なんてことを授業でやると子供たちが大混乱してしまいます。ある程度は数の扱いに慣れるまで無限の説明を保留するのは止むを得ないでしょう。でも高校 1 年ぐらいになれば導入してもよさそうですけどね（とやっぱりちょっと文句を言ってみる）。
無限の在り方
はたして無限は実在するのか否か？ これはなかなかの難問なのです。
「今さら何を！？ さっきまで無限を連呼しておきながら、それはないでしょー！」
とお怒りになられるかもしれませんが、無限という概念は認めるにしても、その捉え方については大きく分けて 可能無限 と 実無限（実在無限） という 2 つの流派があるのです。
まず可能無限について説明します。たとえば自然数を
とかぞえていって、その「かぞえる行為」自体に終わりがないことは、ほとんど誰もが認めることだと思います。誰かが「かぞえ終わった！ これが一番大きい数だよ！」と主張したところで、別の人が「それに 1 を加えるともっと大きな数になるよ」と反論できるわけです。ですから「かぞえるという行為は無限回数行うことができても、かぞえ終わった数、つまり無限大そのものは存在しない」というのが可能無限の主張です。
それに対して実無限は「無限というもの自体が存在する」という主張です。
たとえば円周率を「直径に対する円周の長さ」と定義した段階で、
という値は確定してしまうということです。「人間がかぞえようとかぞえまいと、その値はあらゆる桁まで決まってしまっているのだから無限は実在する」ということです。さきほどの自然数の例でも「人間がかぞえるとか、かぞえないは関係ない。自然数は先の先まで決まっている」ということですね。数字の後ろについている「 ...... 」は「決まっているけど書けない」という意味の記号です。
なかなか難しい議論ですが、円周率や √2 などの無限確定を認めないと、数学の土台がゆらぎかねないので、とりあえず実無限の立場で話を進めることにします。
0.99999 ... = 1 ?
実無限の立場に立つと次のような奇妙な式が成り立ちます。
「ウソだあ」と思う人もいるかもしれませんが本当なのです。
「 ... 」は無限の 9 が続くという意味です。
この式が正しいことは簡単に証明できます。まず
という数字 A を考えます。それから両辺を 10 倍すると
となるので A を移項して
両辺を 3 で割ると
つまり A の値を代入すると
が成り立つことになります。なんとも不思議な結論ですが、これが無限の世界なのです。
無限を表す記号
数学では ∞ という記号で無限という存在を表すのですが、気をつけなくてはいけないのが、この記号は「数」ではないということです。あくまで概念記号ですから普通の数のように
なんてことをしたら大変です。なんとなく便利なので微積分などでもこの記号を使いまくりますが、実のところかなり曖昧で怪しげな記号です。同じ ∞ を使っていてもその時々によって「どの程度の無限なのか」を考えなくてはなりません。だから厳密に無限を扱うなら ε - δ 式論法を用いるしかないのですが、そんな面倒なことをいちいちやっていられないので、とりあえず ∞ で表してその都度状況を考えるという方式が定着しているのです。いずれにしても無限というのは大変扱いづらく厄介な代物なのですが、それだけに底知れぬ魅力を秘めています。次回以降も「無限の程度」のようなことも含めて、色々な無限に触れてみたいと思います。