現在2019年10月19日16時06分である。
麻友「まだ、発見したことが、あるの?」
私「何度も計算可能実数は、可算だと言ってきたが、そのことを証明していなかった」
若菜「証明できるんですか?」
私「こんな証明は、どうかな?」
定理
計算可能実数全体の集合のみならず実数全体の集合は、可算集合である。
証明
実数が、非可算であることを証明するために、対角線論法を用いたとしよう。
実数が可算であるとして、 から までの全部の実数を1列に並べたとする。
の対角線上の数字と、次のように異なる新しい実数 を定義する。
さて、通常の場合、この が、すべて並んでいるはずの上の列にない数だから、全部並べたという仮定が否定され、実数は非可算であるという証明が、完成する。
だが、待って欲しい。実数とは、 を任意の自然数とするとき、小数点以下第 桁目を決定できる数だとした場合、実数(らしき) を決定できるだろうか。いきなり『47桁目』、とか言われて、47番目まで表が完成していなかったら、それから実数を並べることになる。
これを、良く考えると、実数(らしき) は、実数の中に存在しない。要するに実数でないのである。
よって、この方法では、実数が非可算であることは、証明できない。
証明終わり
結弦「非可算であることを、対角線論法を用いては証明できないということは、証明しているけど、可算だとは、証明してない」
私「さすが『数学は冒険』という世界から来ただけある。鋭いな」
若菜「可算だという証明は、できないのですか?」
麻友「太郎さんは、あれも可算、これも可算、というけど、本当に可算より多いものがあるの?」
私「これはね。可算より多い集合があるのは、確かなんだ。簡単なのは、
というもの。自然数に か を対応させる関数全体の集合」
結弦「なんじゃこりゃ」
私「こう考えるといいんだ。2進数で、小数を表すと、0か1が、永遠に並んでるだろ。その表す数のひとつひとつなんだ」
麻友「だったら、実数全部と同じじゃない?」
私「いや、私が気付いたのは、今の自然数に か を対応させる関数全体は、非可算濃度だけど、実数と私達が確認できるものは、そのごく一部だ、ということなんだよ」
若菜「お父さんが、気付いたんですか?」
私「数学基礎論、今はロジックって言うんだけど、その専門家の間では、知られているだろうけどね」
麻友「関数としてはあるのに、実数としてないって、その小数は、どう並んでいるの?」
私「『「やっほー」の効果』にも書いたけど、4年前、
渡辺麻友様。2面もクリアした。新しい数を発見すると言ってもそれは実数なのだから以前の投稿で説明したように0.5とか、3.14・・・のように、0から9の数字を並べて表せないといけない。新しい並べ方を生み出すということはカオスを生み出すということだ♡♡♡
というツイートをした。あのとき、このことに、薄々気付いていたんだ。実数として認めないと私が言った、もう少し柔らかく言うと、計算可能実数として認めないとした数の小数部分は、カオスになってるんだよ。混沌としていて、得体が知れない」
麻友「あのツイート! 「おはよう ご ざ いま すまそん」 に対してのものだったのよね。あれ、スタッフがいたずらでやったものだったのよ。私が、太郎さんを好きになったのは、もっと後なの」
若菜「おっと、はっきり告白しちゃいましたね」
結弦「こりゃー、次は、『プラハ』のデートだな」
私「ねえ、どっちがいい?」
若菜「どっちって?」
私「混沌としたものも含めて、小数を全部、実数と呼び、一方で計算できるものだけを、計算可能実数と、呼ぶのと、・・・」
結弦「ああ、カオスでない計算可能実数だけを、実数と呼ぶか、だね。その場合、カオスはバッサリ?」
若菜「お父さんの一存で、決められるものなのですか?」
私「多分だけどね、ロジックの専門家の間では、統一的見解が得られているんだと思うんだ。だから、取り敢えず、カオスはカオスで、実数として置いといて、私達が、解析学をやるときは、計算可能実数 を全面に押し出して、理論を展開しよう」
麻友「分かったわ。あー、でも、デート。そう、太郎さん。安全に、私のメールアドレスを、誰にも後ろ指さされない形で、太郎さんに伝える方法は、ないかしら?」
私「はてなブログでは、コメントを書くとき、任意でメールアドレスを、書ける。URLはニックネームにリンクが張られるが、メールアドレスは、非公開で、ブログ管理者の私にしか伝わらない。今まで4年半に400回以上投稿書いているんだから、昔のでどれか気に入ったのに、ひと言コメントしてくれたら、嬉しいな」
麻友「ふふ」
若菜「手つないだこともないなんて、どこから、お勉強でしょうね」
結弦「これ、今の僕のくらいの歳のことを、言ってるんだな。
渡辺 うん、あの無邪気さはすごかった。カオスだったもん(笑)。
」
麻友「『渡辺麻友 カオス』って、ググったのね。ゆきりんの写真、今まであったかしら?」
私「覚えてない。とにかく、デートなのね」
麻友「強引ね。分かったわよ」
若菜「柏木由紀さま、さま」
結弦「じゃあ、今日は2727文字で、終了」
若菜・結弦「おやすみなさい」
麻友「おやすみ」
私「おやすみ」
現在2019年10月19日21時09分である。おしまい。