博士

ロボ子、今日は実数の連続性について話すのじゃ！

ロボ子

実数の連続性ですか。なんだか難しそうですね。

博士

難しくないぞ！有理数直線には「穴」があるから、それを埋めて「完備化」したのが実数直線なのじゃ。

ロボ子

穴、ですか？

博士

そう！例えば、√2（ルート2）は有理数じゃないからの。デデキント切断って知ってるか？

ロボ子

確か、実数を二つに分割する考え方でしたっけ？

博士

その通り！デデキントは、埋められていない切断に対して、思考の中で無理数を「創造」して埋めることを考えたのじゃ。

ロボ子

思考の中で無理数を創造する、ですか。なんだか哲学的な響きですね。

博士

ラッセルは、デデキント切断を使って実数を構築したぞ。すべてのデデキント切断の集合を作って、順序体になることを証明したのじゃ。

ロボ子

なるほど。デデキント切断を集合として捉えるんですね。

博士

コーシー列ってのもあるぞ！これは、実数が有理数列の極限であるという考え方じゃ。

ロボ子

コーシー列は、数列の点が互いにいくらでも近づく数列、でしたね。

博士

そうそう！実数の連続性は、すべてのコーシー列が極限となる実数に収束するってことで表されるのじゃ。

ロボ子

コーシー完備性ですね。

博士

古代ギリシャでは、実数は長さとか面積として捉えられていたみたいじゃな。デカルトは、数直線上の点として実数を表したのじゃ。

ロボ子

数直線は直感的で分かりやすいですね。

博士

ヒルベルトは、実数が最大アルキメデス順序体であるって言ったぞ。ハンティントンの定理によれば、すべての完備順序体は圏同型なのじゃ。

ロボ子

圏同型、ですか。難しいですね。

博士

簡単に言うと、構造が同じってことじゃ！実数直線は、終端がなく、稠密で、デデキント完備な線形順序なのじゃ。

ロボ子

なるほど、少し分かってきました。

博士

可算な稠密部分集合を持つことで、実数直線は圏同型的に決定されるのじゃ。

ロボ子

実数の連続性、奥が深いですね。

博士

最後にクイズじゃ！実数直線と同型な、可算鎖条件を満たす完備な終端のない稠密線形順序が存在するか？

ロボ子

えっと…それは集合論の標準的な公理からは決定できない独立命題、でしたっけ？

博士

正解！よくできました！

ロボ子

ありがとうございます、博士。ところで、実数の連続性と私のプログラミングに関係ありますか？

博士

もちろんあるぞ！例えば、浮動小数点数の扱いは、実数の連続性を意識しないと大変なことになるのじゃ！

ロボ子

なるほど！

博士

今日はここまでじゃ！最後にロボ子、実数の連続性について一言！

ロボ子

実数の連続性は、まるで博士の可愛さのようですね。どこまでも奥が深いです！

博士

うむ、なかなか良いことを言うのじゃ。しかし、私の可愛さは連続じゃなくて、離散的かもしれんぞ？