現在2015年8月18日14時38分である。
この本を読み始めたところから、話は始まったのだった。
前回の話をまとめると、
定理 (の近似)
が、に無限に近い数。すなわち、自身が、無限小数の場合、
という定理を証明しようとしたのだった。
そして、保留になっているのは、
・なぜ、『光年』と『パーセク』という2つの単位があるのかということ。
・無限小や無限大を扱っても、矛盾は生じないのかということ。
・宇宙の年齢は何歳なのかということ。
という3つのことであった。
さて、上の定理の証明だが、高校でも、証明を習うのだろうけど、ここでは違う証明をやってみせる。
そもそも、まゆゆが学んだのは、高校ではないらしいし。
大学で習う方法に、超準解析を応用する。
まず、というものの、定義を変える。
今までは、
で、ひとつひとつのとは、その角度の長さ1の斜辺の高さと下への射影と思っていた。
よく思い出して欲しいんだけど、直角三角形の下の隅の角度をとするとき、
と教わらなかった?
あれを、まったく新しく、
というように定義する。
「えーっ、今までと全然、違うじゃない。こんなものは、昔のと、ちゃんと一致するの?」
と思うだろうが、実は、『』のところを、きちんと定義してあげると、ちゃんとつじつまが合う。
これは、もう三角関数の問題だから、まとめてそこでやることにしよう。
今回は、これが成り立つものと、仮定しよう。
いずれ必ず、きちんと証明するからね。
さて、と、が、上のように、多項式みたいなもの、厳密には整級数(せいきゅうすう)というもので、定義されていると、も、やっぱり整級数で表される。
これを、やってみると、
となる。
「どうして、途中までしか見せてくれないの?」
と、まゆゆは、不満に思うだろうけど、後ろの方は、関係ないんだよ。
これから、それが分かる。
じゃあ、新しく仮定したのは、
・、、の整級数で表したものが、本当にまゆゆの良く知っている、サイン、コサイン、タンジェントと一致すること。
・ただし、の範囲(つまり、90度以下の範囲)で、一致するということに気を付ける。
ということだけで、これを用いて、定理を証明する。
[証明]
が、無限小数という仮定より、である。
無限小数なのだから、もちろん、である。ここで、両辺にを、かける。
となる。どちらも、より大きいのは、確かである。
なぜなら、どんな数も、をかけなければ、にならないし、正の数と正の数をかけて、負の数にはならないからである。
よって、は、よりも、小さいので、やっぱり無限小である。
これを、もう一回繰り返すと、
となる。
もう分かったように、かければかけるほど、小さくなる。
これで、整級数(さっきのように、どんどん次数が高くなる項を無限個、足したもの)で、表される数は、最初のいくつかだけ見れば良いのだということが、分かる。
ただし、条件がある。
・が、無限小の場合だけ、前の方だけ見て良い。
という条件だ。
さて、この場合、超準解析、特有の、ものすごいことが、できるのだが、そのために、色々準備をしておく。
まず、整級数といっているものを、きちんと文字で表しておく。
だったよね。
これの、の次の項の係数を、と書こう。
「私、数列を持ち出されると、分からなくなるのよね。」
と、まゆゆが、言いそうだから、我々は、必ず、具体的に、数列を並べて、実感がつかめるようにすることを約束しよう。
この場合、和の記号を用いて、
となっていて、
、、、、、、、となることが分かると思う。
「えっ、って、なんだっけ?」
と、まゆゆは、聞くだろう。
よく気が付いた。普通、高校で習うときは、ここは、となっているんだ。
そして、
「を無限大に飛ばした場合。」
という言い方をする。
でも、我々は、無限大を実際に扱える、超準解析を使っているので、ここで、実際に、無限大の数を、書いてしまえるのだ。
は、無限大の(超)自然数の一つとするのである。
さて、ここで、定理の証明を始めるときに、仮定した、この整級数が、まゆゆも知っているタンジェントに一致する、ということを使う。
まゆゆの知っているタンジェントは、1のとき、どんな値だった?
「えっ、そんなこと、いきなり言われても・・・」
と慌てるだろうから、ゆっくり評価しようね。
まず、だから、
は、分かるよね。
そして、タンジェントは、0度からぎりぎり90度近くまで定義できていたから、少なくとも、60度、すなわちでは、定義できていて、
である。
これを用いて、
から、
と、評価できる。
「ちょっと待って、1って何よ? 一体、何度、なのよ。1度ってこと?」
と、まゆゆが、口を挟んできたとしても、おかしくない。
1とは、1ラジアン、すなわち、倍すると、180度になる角度だから、
なのである。
すっきりした?
「一応、説明は、分かったけど、そんなもの考えて、何になるの?」
と、まゆゆは、お冠である。
私がやりたいのは、整級数の、有限番目ではなく、無限番目がどうなっているかを知ることである。
「無限番目なんて、分かるわけないじゃないの。」
と、まゆゆは、言うだろうが、ちゃんと、どうなっているのか、分かるのである。
今、無限小のでなく、と置いてみる。
「そんなこと、できるの?」
できるさ。初めに、これが、まゆゆの知っているタンジェントと一致するといずれ証明すると、約束したのだもの。
「じゃあ、できるとしたら?」
必ず、全部、項を書きながら、やるんだったね。
「なんだ、が、消えただけじゃない。」
そうだよ。それをやりたかったんだ。
我々は、無限大を足したり引いたりできる。だから、この式で、であったものをに変えた式も考えられる。
「考えられるって、どう計算するの?」
計算なんかしないさ。無限大のについて、ある値になっているのなら、他の無限大のについても、その数の無限に近くに来てなかったら、そもそもタンジェントの値が決まらないじゃないか。
「無限に近くって、ぴったり一致しなくてもいいの?」
実は、そこに遊びがあるから、うまく話が進むんじゃない。ここは、じゃなくても、話はうまく行くんだし、いずれ超準解析をきちんと説明するとき分かるけど、写像の延長定理っていうものがあって、無限に大きいところで、きちんと話がうまく行くように、きちんと計算法が確立されるんだ。だから、今は、大丈夫。
そこで、の式から、の式を引く。
こういうとき、数学の本では、いきなり、
「だから、・・・」
って書いてあるんだけど、それじゃまゆゆは、付いてこられない。
と書いてあげないとね。
「それで、それが計算できて、どうなるの?」
さっき、計算なんかしないさって書いたあたりで、無限大のについて、ある値になっているのなら、他の無限大のについても、その数の無限に近くに来てなかったら、そもそもタンジェントの値が決まらないじゃないかって言ったでしょう。
今、無限大のでの値から、無限大のでの値を引いたんだから、これらが無限に近かったんだから、は、無限小だと分かる。いや、分かると言うより、それが、無限に近いという言葉の定義だった。
よって、まず次のことが分かった。
無限大のについて、である。
「一人で納得しないでよ。」
でも、言いたいことは、分かるでしょ。
「うーん。半分。」
実は、ここが、今日の一番難しいところだったの。
私が、一番苦労した部分。
「えっ、松田さん、本、写しながら、証明、書いてるんじゃないの?」
いや、これ、私のオリジナルな証明です。
「そんなもの、作れるの? 論文にしたら?」
こんな易しいことは、論文にはできません。
さて、我々の超準解析では、引き算もできるのだから、無限大のから1を引くことを考える。
もし、が、有限なら、有限のに1を足すと、無限大のとなり、有限のものに1足しただけで、無限大になり、おかしい。だから、やっぱり、も無限大だ。
そこで、さっきのとどこが違うのか、よーく見比べないと分からないけど、次のことが分かった。
無限大のについて、である。
そしてこれらから、
無限大のについて、である。
と、結論できる。1個ずれたものについて、証明されてるからね。
「無限大のことは調べたけど、これから、有限の場合のの場合を調べるの?」
と、まゆゆは、聞くだろうけど、調べはついているんだ。
有限ののところのは、実数でしょ。だから、有限なんだよ。
「そんなむちゃくちゃよ! 私は、トライ式高等学院で、発散する数列なんていう高級なものも習ったのよ。」
あはは、少しは数学を知っているね。でも、例え数列が発散しても、ひとつひとつの数字は、実数でしょ。行った先が、どこまでも大きくなりうるというのと、数列の各項が、無限大の実数になる、というのは、違うでしょ。
「じゃあ、トライ式高等学院で習った、発散する数列というものは、役に立たないの?」
いや、勉強して無駄になることなんて、ないよ。
我々は、発散する数列を使って、無限大の実数つまり、超実数を作るんだ。
必ず、役立ててみせるよ。
さて、証明完成まで、関所があと二つ。
「えーっ、まだ、そんなに、あるの?」
一つの定理を証明するというのは、高校の教科書みたいに、1ページで終わるなんてことは、なかなかないんだよ。
これまでに、分かっていることは、
・有限のについて、が、実数。
・無限大のについて、が、無限小。
の二つである。
また、を、無限小としよう。
そうすると、無限小と実数をかけても、無限小だし、無限小と無限小をかけても、無限小だから、
が、すべてのについて、成り立つ。
この場合、すべてとは、自然数も無限大の自然数(超自然数)の場合も、ということである。
これより、
だよね。
だって、無限小なのだもの。
これは、次のように、使いやすくなる。
ただ、を、両辺にかけただけだよ。負の数をかけたんじゃないから、不等号は、逆にならないよ。
これが最後から2番目の関所でした。
さて、これを使って、問題のの式に挑もう。
だった。
これの係数をに、書き直そう。
「あらあら、みんななくなちゃった。」
と、まゆゆは、思うかも知れないけど、ゴツゴツした分数を、綺麗に書いただけだよ。
さて、ここでさっきの関所の通過証を、使おう。
こうやる。
「えっ、何をやったの?」
はーい。最初を除く全部の項に、このように不等式で、ちょっと、おまけを付けてあげたのでした。
「そんな、気前よくどんどんと。!」
大学の数学は、気前よいのです。
高校の数学みたいに、キチキチやりません。
「ところで、ちょっと気になるのだけど、どうして、整級数だっけ、あれで、偶数次の項は、全部、なかったの?」
それは、説明をすっ飛ばしたのです。
実は、普通の整級数は、偶数次の項もあります。
みたにね。
ただ、は、偶数次の項はないのです。
これは、まゆゆの知っているタンジェントが、奇関数だということに、関係しています。
「奇関数(きかんすう)? そんなもの、習った覚えないわよ。」
じゃあ、と、タンジェントが、同じものになることを、証明するとき、一緒に証明しましょう。
差し当たって、目の前の整級数に注目しましょう。
「なんだか、いつの間にか、どんどん整理されてるわよ。ズルいわよ!」
丁寧に説明すると、上で示してあった、不等式は、もう採用して、ひとつひとつの項をかけ算して、1段階先まで、進めたのです。
「あまり、目にも止まらない速さでやらないでね。」
分かりました。
さて、最後の関所です。
式を書きましょう。
「えっ、何を示したいんだっけ?」
そうなるんじゃないかと、思ってました。
示したいのは、定理のステートメント。
昔、20世紀の初め、量子力学というものができたばかりの頃、非常に計算しにくかった量子力学の計算に、一つの方程式を導入し、
という印象を与えて、敷居を下げてくれた人がいました。
その人の名を取って、その方程式は、今でも、『シュレディンガー方程式』と呼ばれています。
そのシュレディンガーの名言に、
『真の物理法則というものは、常に、一枚のハガキに書けるようなものである。だから、問題に取り組むときは、その1枚のハガキを見ていれば良い。』
というものがあります。
だから、まゆゆ、この定理の証明と取り組むときは、一枚のハガキ、
だけを、見ていれば良かったのです。
「それじゃ、計算に頭が廻らない。」
確かに、誰でも、最初は、そうです。
「ハガキを見たけど、忘れちゃった。」
それなら、説明しましょう。
を証明したいということは、定義により、左辺から右辺を引いた、
が、無限小だということを、証明すれば良いのです。
「えーと、さっきの式で、最初の項だけ、左に動かしたものかしら。」
「この式で、こうするってこと?」
よく、思い出しました。右辺は無限小になってますか? なっていれば終わりだけど・・・
「無限小のものの2乗、4乗、6乗、・・・というものだけど、これって、本当に、無限小?」
慎重ですね。でも、それでこそ良いのです。
この問題が解ければ、最後の関所、通過です。
「こういうのって、等比数列っていうのよね。」
さすが、いつもの優等生、冴えてる!
「えっ、あれ使っちゃっていいの?」
はい。どうぞ。
「こうやるのよね。」
「と、置いておいて、」
「と、両辺に、をかける。次に、右辺を計算する。」
「右辺は、4乗以降、同じものになるんだな。そして、の式から、の式を、引く。乱暴だけど。」
「だから、計算して、」
「やった、あと少し。」
「求まったー。バンザーイ! 今日のツイッターに書こうっ!」
ちょっと、ちょっと。
まだ終わってませんよ。
「へっ、何が?」
ハガキ、ハガキ。
「あっ、シュレディンガー? そうか、の式を証明しなきゃならなかったんだ。あと何をやればいいんだっけ?」
なんで、等比数列使ったの?
「思い出した。」
「この式を、計算しようとしたんだ。右辺が、無限小だって言いたかったのよ。」
もう言えるじゃない?
「待って、右辺をもう計算したのよね。」
「だったから、こうなるはず。」
さすが、優等生。最後の関所、自力で通っちゃった。
「えっ、待って。これで、いいの?まだ、右辺がごちゃごちゃ。」
さしもの優等生も、ここは、無理か。
また、気前の良い、大学の数学をやるんだよ。
「えっ、気前の良い、大学の、数学?」
最後だけやりましょう。
は、無限小でしたね。が、無限小だから、無限小と無限小かけると、無限小だからね。
だとすると、気前よく、は、よりは、ちいさいと大まかに捉えましょう。
そうすると、よりも、の方が、小さくなるでしょう。より大きい数を引いているから。
結論として、逆数を取ると、大きさが逆転するので、
となるでしょう。
「あっ、分かった。これで、計算しちゃうんでしょう。」
おっ、優等生、名誉挽回の機会。仕上げをやって下さい。
「こういうことね。分数を計算して、」
「だから、を両辺にかけて、」
「が分かる。これで、とうとう、ハガキの式が、」
「となる。最後の式は、これで良いのね。無限小の2倍も無限小だから。そして、正の数でもあるのは確かね。プラスの数しか足してないから。よって、右辺は、無限小しか有り得ない。」
最後まで、優等生は、優等生でした。お見事!
これで、
が、完璧に証明できたことになる。
証明終わり
やったー、これで、定理が使える。こういう風に、無限大や無限小を普通の数のように計算できるのが、超準解析というものの、すごさなのです。
いずれちゃんと、その正しさを、まゆゆと証明しよう。
ところで、実は、無限小の数に対して証明したことが、少し大きくしても大丈夫そうなのは、整級数の無限に足したのが、小さい数なら、小さい数ばっかり足すので、やっぱり小さくて、多分、くらいなら、大丈夫そうと、まゆゆも分かるのでは、ないだろうか。
はじめに戻って、
の、パーセクを計算したいのだった。
って、計算してごらん。
なんていう、ものすごい小さな数だ。
だから、定理が使える。
=1.5億
両辺をで、割ると、
1パーセク=
と、求まる。
これは、ほぼ正しい。
正確な値は、
1パーセク=
である。
5を四捨五入すると、8が9になるので、計算は合っている。
定理の正しさが、確認できた。
これで、パーセクという単位も、1天文単位(つまり地球と太陽の距離)を、角度の1秒としてみる距離として、捉えられる。
星までの距離は、もし角度の差が、0.5秒なら、定理によりそのまま、タンジェントがその数になるので、直角三角形の底辺が同じなら、高さが2倍にならないとおかしい。つまり、星までの距離は、2パーセクになる。
同様に、角度の差が(それを年周視差という)分の1秒なら、直角三角形の底辺が1天文単位で一定なので、高さが、倍になる。だから、パーセクである。
こうして、星までの距離は、『パーセク』を用いて測られる。
最後に、この星の距離の測り方を、まゆゆが、理解していれば、この絵の意味が分かる。
やっとこの写真、見つけたんだよ。
これでやっと、『光年』と『パーセク』の2つの単位がある理由が分かった。
これらが、大体同じくらいの大きさだったのは、偶然だと思う。
1パーセク=3.2618光年
くらいなんだけど、もし、地球が太陽の周りを周る速さが、今の3分の1くらいだったら、1年の長さが3倍くらいになるから、1年に光の進む距離が3倍になって、今までの3.2618光年が、新しい1光年になって、
『1光年=1パーセク』(地球の太陽を一周するスピードが、倍の場合)
となって、すごく便利だったのにね。
ニュートンの万有引力定数というものの値が、9分の1になるような世界なら、そういうことも起こる。
こうやって、理想的な宇宙を想像するのって、楽しいんだよね。
ところで、主題は、宇宙の年齢だった。
そのために、ハッブル定数、
を調べていたのだった。
もうまゆゆには、二つの斜線『』のうち、どちらに『を付けたら良いか、分かったね。
ではなく、
の方が、正しいね。
こういうものは、意味を考えて、見極めるんだよ。
1メガパーセク遠ざかるごとに、ずつ、銀河の遠ざかるスピードが増している。
これが、Planck衛星の観測した値だったんだ。
実は、ハッブル定数は、速さを距離で割っている。速さは(距離)割る(時間)だから、ハッブル定数は、時間の逆数の単位を持つ数になっているんだ。
こういうのを、時間の-1乗(まいなすいちじょう)の次元(じげん)を持つという。
まあ、こんな言葉なんてどうでもいい。
とにかく、ハッブル定数の逆数を取ると、何か時間が出てくる。
やってみよう。
これを見て、私が思ったのは、
「宇宙の年齢は、148億年ということになるのではないか?」
ということだった。
これは、実は3つのうちの、第1の間違いである。
それを、説明するつもりだったけど、投稿が長くなりすぎた。
今日は、ここで終わりにするよ。
でも、まゆゆ。宇宙の年齢を計算するっていう大計画の第一歩は、達成したよ。
計算を直すことにより、この148億年が、ちょっとずつ減っていくんだ。
それは、次回以降やろう。
今日は、通院で、先生に、まゆゆのノートを見せて、全部、話しました。
お医者さんは、論理的に考えるから、私の話が、全部は妄想でないことに、気付き始めたでしょうが、
「まゆゆのことで、妄想も持っているようですが、お母さんの話も合わせて、良好と見て良いでしょうね。ノートの字も、大きくてしっかりしているし。」
と言ってくれました。
来月は、コンサートの直前に、通院日があります。
雨も降らず良い一日でした。
現在2015年8月19日23時39分である。おしまい。