有理数から実数を作る方法とは？コーシー列による完備化と完備性・連続性の違いを解説

数学で扱う実数は、単に有理数を小数として広げたものではなく、「数の間に存在する穴を埋める」という考え方によって構成されています。その代表的な方法が、有理数のコーシー列を利用した実数の構成です。

この記事では、有理数から実数を作る考え方がどのようなものなのか、また「完備性」と「連続性」は何が違うのかについて、具体例を交えながらわかりやすく解説します。

有理数から実数を作るという考え方

有理数とは、整数の比で表せる数のことです。例えば、1/2や-3/4、5などが有理数です。

しかし、有理数だけでは数直線を完全に埋めることができません。例えば、√2は小数で表すと終わらない循環しない小数になるため、有理数では表せません。

つまり、有理数の集合には「存在するはずの場所なのに対応する数がない」という穴があります。この穴を埋めたものが実数です。

実数を作る方法の一つとして、有理数のコーシー列を利用する方法があります。

コーシー列とは、数列の項同士がどんどん近づいていく数列のことです。正確には、どんなに小さい正の数εを選んでも、十分先の項同士の距離がε未満になるような数列を指します。

例えば、√2に近づく有理数の列として、

1、1.4、1.41、1.414、1.4142…

のような数列を考えることができます。これは有理数だけで作られていますが、次第に√2という値に近づいていきます。

しかし、有理数の世界ではこの列の収束先である√2は存在しません。そこで、「有理数のコーシー列で同じ極限を表すもの」を新しい数として追加します。この操作によって作られるのが実数です。

「有理数に、有理コーシー列が必ず収束先を持つように数を補完したものが実数である」という理解は、数学的にはほぼ正しい考え方です。

より正確に言うと、有理数全体の集合を完備化したものが実数です。つまり、有理数の中で収束先を持たないコーシー列に対して、その収束先となる新しい点を追加することで、すべてのコーシー列が収束する空間を作ります。

ただし、「すべての有理コーシー列に別々の新しい数を追加する」というよりは、同じ極限になるコーシー列を同一視することで実数を定義します。

例えば、1.414、1.4141、1.41414…のような√2へ近づく有理数列と、別の方法で√2へ近づく有理数列は、どちらも同じ実数√2を表すものとして扱います。

完備性とは、「収束すべき数列が、ちゃんとその空間の中で収束する」という性質です。

実数全体は完備な集合です。つまり、実数の中で作ったコーシー列は必ず実数の中に極限を持ちます。

一方、有理数は完備ではありません。有理数だけで作った√2に近づくコーシー列は、有理数の中では収束先を持たないためです。

具体例として、

1、1.4、1.41、1.414、1.4142…

という数列は有理数だけでできていますが、その極限は√2であり、有理数ではありません。このことが有理数の未完成さを示しています。

完備性と連続性は似た言葉ですが、数学では異なる意味を持っています。

完備性は主に「極限が存在するかどうか」に関する性質です。一方、連続性は「変化が途切れずにつながっているか」に関する性質です。

例えば、関数f(x)=xは連続な関数です。xが少し変化すると、f(x)も少しだけ変化します。

しかし、連続性は関数や写像について使われる概念であり、完備性は主に距離空間などの集合そのものについて使われる概念です。

簡単にまとめると、

性質	意味	対象
完備性	収束するはずの列が空間内で収束する	集合・空間
連続性	入力の変化に対して出力が途切れず変化する	関数・写像

実数が「連続した数直線」として扱えるのは、完備性を持っているためです。

有理数だけの場合、数直線上には√2の位置のような穴が存在します。しかし、すべてのコーシー列の極限を追加することで、その穴がなくなります。

この結果、実数では「途中に欠けた点がない」連続的な数直線を考えることができます。

解析学で微分や積分が成立する背景にも、この実数の完備性が大きく関係しています。

有理数から実数を作る方法として、有理コーシー列を利用した完備化があります。有理数では収束先を持たないコーシー列に新しい点を加えることで、実数という完備な空間を作ることができます。

そのため、「有理数に有理コーシー列の収束先を補完したものが実数」という理解は、実数構成の本質をよく表しています。

ただし、完備性と連続性は別の概念です。完備性は極限の存在に関する性質、連続性は変化のつながり方に関する性質であり、数学ではそれぞれ異なる役割を持っています。