ゼノンのアキレスと亀のパラドックス
久しぶりの「数学よもやま話」です。今回はあの有名なアキレスとカメのパラドックスのお話です。ただし、当記事の結論部分はすべて私の個人的な仮説です。あくまで考え方の一つとしてとらえてください。
アキレスと亀のパラドックスについて考察します
「アキレスとカメのパラドックス」では、足の速いアキレスがカメと徒競走します。もちろん普通に競争したのでは勝負になるはずもありませんからハンデをつけます。アキレスはカメよりずーっと後ろのほうからスタートすることになります。ハンデの距離やゴール地点の位置によって勝敗は様々でしょうけど、そんなことは脇に置いておきます。ちょっと下図を見てください。 アキレスはカメとの距離をどんどん縮めていきます。 アキレスはやがてカメのスタート地点 A に辿り着くはずです。しかし、カメもその間に少しは前に進んでいるはずで、このときのカメの位置を B とします。アキレスはまた走って B に達しますが、その間にカメは C に達しています。そこでまたアキレスはまた走って C に ……. あれ? こんなことを永遠に繰り返していては、いつまでたってもアキレスはカメに追いつけませんよ。いったいどういうことなのでしょう? これが「アキレスとカメのパラドックス」です。
このパラドックスを初めて見る人は「ああでもない、こうでもない」としばらく考えてみてください。でも、このままではちょっと考えにくいので、問題の本質を変えないように少しだけアレンジしてみます。アキレスとカメの相対距離に着目してそれを棒グラフで表してみます。
白い部分がカメとの間にある距離、赤い部分はすでに縮めた距離です。 アキレスはある時点で最初に離れていた距離の半分に達するはずですね。 さらに時間が経過すると、そのまた半分の距離を縮めます。 そしてまた時間が経過すると、そのまた半分の距離を縮めて … 半分、半分、また半分 … と無限に繰り返されます。
「アキレスとカメ」は古代ギリシアのゼノンという哲学者が考案したパラドックスです。現代では数学の抽象化が進み、自然科学はその近似的モデルの構築するために数学を用いるという考え方が基本ですが、古代ギリシアでは「数学 = 自然界の法則」と考える傾向が強かったので、このパラドックスは数学と物理学の両方に対する問題提議と捉えてよいと思います。
まずは数学的解決法から見ていきます。数学では公理(なにものからも証明されない自明の事実)として実数が連続であることを決めています。つまり実数直線は際限なく小さく分割することができます。このような前提のもとに微分積分という学問は組み立てられています。とにかく数学の問題であれば級数の計算で「アキレスとカメのパラドックス」を完全に解決できます。
アキレスが相対距離を 1/2, 1/4, 1/8 … と縮めていくので、 1/2 + 1/4 + 1/8 + 1/16 + 1/32 … という無限に続く足し算を行うのですが、これは級数の初等的な問題で、 1/2 + 1/4 + 1/8 + 1/16 + 1/32 … = 1 と計算できることが知られています。
これは小さな数を次々と足していって、塵も積もれば 1 となるということを表した式なのですが、この「無限に足す操作」は、あくまで距離に関する足し算であって、逆の見方をすれば、アキレスとカメの相対距離 1 を無限に切り分けたというだけのことです。これは時間とは一切関係ありません。距離が無数に分割されるからといって、その距離を通過するのに無限の時間がかかるというわけではないのです。つまり「いつまでたっても追いつけない」という言葉自体、空間に対する無限分割操作と時間の無限を混同してしまっているので、ちょっと問題提議の仕方に無理があるように思えます。
さらにもう少し細かいことを言うと、数学においては時間という概念は存在しないので、仮に自然界の距離や時間を x(t) = vt という形で投影させるにしても、数学的にいえば 2 つの実数の集合 x, t 同士を結びつけた関数でしかないということです(横軸に t, 縦軸に x をとれば直線グラフになります)。適当な t をとればカメのいる位置を追い越したところにアキレスは存在することになります。
これが物理学(つまり現実世界)の話になると、事情は全く違ってきます。極微の世界を扱う量子力学では、物質の位置は波動関数とよばれる確率の波で表されます(正確には二乗すると位置の確率を表す関数)。つまり、測定するまで物質がどの位置にあるかわかりません。また、物質の位置を測定した瞬間に、速度や方向の情報が失われるという奇妙な性質をもっています。
仮にアキレスが電子のような小さな粒子だとしたら、ある時点で観測してその位置を把握すると、その瞬間にアキレスはどの方向を向いているのか、どれだけの速度で歩いているのか全くわからなくなってしまうということです。したがって、このパラドックスの「アキレスが一定方向に進む」という前提条件自体が無意味になります。また、現代物理学では空間に最小単位があるという説が有力なので、「空間を限りなく分割する」という前提も成り立たないかもしれません。
もちろん、人間のような巨視的物体(原子の集合体)はカメを追い越します(古典力学では等速運動を x=vt という単純な式で表します)。それがなぜなのか、また、微視的世界(ミクロ系)と巨視的世界(マクロ系)の境目がどのあたりにあるのかを突き詰めると、とても難しい問題のようです。私も最近「量子力学 古典力学 適用 境目」のようなキーワードで検索して色々調べていますが、頭が混乱するばかりです。この点について詳しい方にコメントしていただけるとありがたいです。よろしくお願いします。