「0.999…は1に等しい」
数学を学ぶと、一度は出会う命題である。そして多くの人が違和感を覚える。
確かに計算上はそうなる。たとえば
1/3 = 0.333…
の両辺を3倍すれば
1 = 0.999…
となる。また、無限等比級数として考えても同じ結論になる。
しかし、それでも納得できない人は少なくない。
その人たちは単に数学が苦手なのだろうか。
私は必ずしもそうではないと思う。
むしろ、彼らは数列を見ているのかもしれない。
0.9、0.99、0.999、0.9999……
この数列の各項はすべて1未満である。どれほど項数を増やしても、1そのものは現れない。
確かに1には近づく。しかし近づくことと到達することは同じなのだろうか。
数学では、この数列の極限値は1であるという。
だが、極限値が1であることと、数列のどこかの項が1になることは全く別の話である。
むしろ極限の本質とは、「どの項も1ではないのに、極限値だけは1になる」というところにある。
ここで極限に対する違和感が生まれる。
自然数 n はどこまでも大きくできる。しかしどの n も有限である。
数学では n→∞ と書くが、それは n=∞ を意味しない。
それにもかかわらず、私たちは無意識のうちに「無限番目の項」を想像してしまう。
そしてその無限番目の項が1になるのではないか、と考えてしまう。
しかし数学はそう説明しない。
どの項も1ではないまま、極限だけが1になるのである。
この感覚は、関数の極限を考えるとさらに鮮明になる。
たとえば
f(x) = (x²−1)/(x−1)
を考える。
これは
f(x) = x+1
と約分できるが、x=1 では分母が0になるため定義されていない。
したがって元の関数は x=1 に穴が開いている。
しかし
lim(x→1) f(x) = 2
である。
ここで重要なのは、極限値が2だからといって、関数値が2とは限らないことである。
実際には関数値そのものが存在しない。
極限値は周囲の振る舞いから決まるが、その点での値とは別物なのだ。
もし
f(1) = 2
と定義し直せば連続関数になる。しかしそれは元の関数とは別の関数である。
この例は、「極限値が存在すること」と「その値が実際に実現されていること」が別問題であることを示している。
だからこそ、0.999…=1 に違和感を覚える人が、
「どの項も1ではないのだから1にはならない」
と考えるのは、それほど奇妙なことではない。
彼らは数列の項を見ているのであり、極限値を見ているわけではないのだ。
もちろん現代数学では、0.999…という記号は数列
0.9、0.99、0.999、…
の極限値そのものとして定義される。
その意味では
0.999… = 1
は正しい。
しかしこの結論を受け入れるためには、「極限値をひとつの数として認める」という数学の立場を受け入れる必要がある。
そこには歴史的にも哲学的にも長い議論があった。
極限とは、無限回の操作を実際に行うことではない。
しかし私たちは、どの有限段階にも現れない値を、極限として認める。
それは非常に強力な考え方であり、微積分や現代数学の基礎となっている。
同時に、それはどこか不思議でもある。
0.999…=1 に違和感を覚える人は、単に計算ができないのではない。
彼らは「近づくこと」と「等しいこと」の間にある溝を見ているのである。
そしてその溝をどう埋めるかこそが、極限という概念の本質なのかもしれない。
＊ ＊ ＊ ＊ ＊
これはChatGPTに書いてもらった文章。こういう科学エッセイ的な文章は得意のようで、自分で書くよりよほど良い文書だと思います。数式は何も言わないとTexを使ったものになるので、それは直してもらいました。
カクヨムにアップしたけど、内容的にこっちでもいいかなと思ったので。
