無限小数としての実数

実数の分類

初等数学では実数（real number）を有理数（rational number）と無理数（irrational number）に分類します。すべての実数からなる集合を\(\mathbb{R} \)、すべての有理数からなる集合を\(\mathbb{Q}\)で表すため、すべての無理数からなる集合は差集合\(\mathbb{R} \backslash \mathbb{Q}\)となります。

有理数とは 2 つの整数\(a,b\)（ただし\(b\not=0\)）を用いて分数\(\frac{a}{b}\)の形で表される数のことです。それぞれの整数\(z\)は有理数\(\frac{z}{1}\)として表すこともできるため、整数は有理数です。つまり、すべての整数からなる集合\(\mathbb{Z}\)は\(\mathbb{Q}\)の部分集合です。逆に、有理数は整数であるとは限らないため、\(\mathbb{Q}\)は\(\mathbb{Z}\)の部分集合ではありません。

有理数は循環小数

有理数\(\frac{a}{b}\)が与えられたとき、分子\(a\)を分母\(b\)で割ることにより、この有理数を小数点以下の桁を持つ数として表すことができます。

有理数\(\frac{a}{b}\)の分子\(a\)を分母\(b\)で割り続けたときにいつまでたっても割り切れない場合には、その有理数\(\frac{a}{b}\)は小数点以下の桁数が無限であるような数として表すことができます。そのような数を無限小数（infinite decimal）と呼びます。

有理数\(\frac{a}{b}\)の分子\(a\)を分母\(b\)で割り続けたときに最終的に割り切れる場合には、その有理数\(\frac{a}{b}\)は小数点以下の桁数が有限であるような数として表すことができます。そのような数を有限小数（finite decimal）と呼びます。

有限小数の後ろに\(0\)を無限に並べれば、数としては同じでありながら、形式的には無限小数とみなすことができます。このとき、整数を含めた任意の有理数は無限小数であると言えます。

繰り返しになりますが、有理数は無限小数です。これまで例として挙げた有理数としては、\begin{eqnarray*}
\frac{10}{3} &=&3.3333\cdots \\
\frac{19}{99} &=&0.1919\cdots \\
\frac{9}{2} &=&4.5000\cdots \\
\frac{1}{4} &=&0.2500\cdots \\
3 &=&3.0000\cdots
\end{eqnarray*}などがありますが、ここで注目したいのは、これらの無限小数はいずれも、小数点以下のある桁から先で同じ数字の列が無限に繰り返されているということです。\(3.333\cdots \)では\(3\)が繰り返され、\(0.1919\cdots \)では\(19\)が繰り返され、\(4.500\cdots \)では\(0\)が繰り返されています。他の無限小数についても同様です。このような無限小数を循環小数（recurring decimal）と呼びます。

循環小数ではない無限小数も存在します。例えば、\(1.372632\cdots \)や\(0.072632\cdots \)など、小数点以下の桁をランダムかつ無限に選んでいけば循環小数ではない無限小数が得られます。そのような無限小数を非循環小数（non-recurring decimal）と呼びます。無限小数には循環小数と非循環小数が存在します。

有理数は無限小数ですが、それは非循環小数ではなく、必ず循環小数になります。この事実は、有理数\(\frac{a}{b}\)に関する割り算\(a\div b\)を筆算で行う際のプロセスを観察することにより証明できます

上の命題の主張とは逆に、循環小数は必ず有理数として表すことができます。

したがって、ある実数が有理数であることと、その実数が循環小数であることは必要十分条件です。有理数と循環小数は概念として実質的に等しいということになります。

無理数は非循環小数

無理数とは有理数ではない実数として定義されます。すでに示したように、有理数と循環小数は概念として等しいため、実数が有理数ではないこと、すなわち無理数であることとは、その実数が循環小数ではないことを意味します。加えて、実数は循環小数と非循環小数のどちらか一方であるため、実数が循環小数でないことは非循環小数であることを意味します。以上を踏まえると、無理数と非循環小数は概念として等しいということになります。

先ほど例として挙げたように、\(1.372632\cdots \)や\(0.072632\cdots \)など、小数点以下の桁をランダムかつ無限に選んでいけば非循環小数が得られますが、上の命題より、これらは無理数です。

また、円周率\(\pi =3.1415\cdots \)や\(2\)の平方根\(\sqrt{2}=1.14142\cdots \)、ネイピア数\(e=2.71828\cdots \)などはいずれも無理数であることが知られています（演習問題とします）。つまり、これらの実数は循環小数ではなく、有理数\(\frac{a}{b}\)の形で表すこともできません。

実数は無限小数

これまでの議論を整理しましょう。まず、実数は有理数と無理数に分類されます。有理数は循環小数に等しく、無理数は非循環小数に等しいため、実数は循環小数と非循環小数に分類されます。無限小数は循環小数と非循環小数のどちらか一方であるため、結局、実数と無限小数は概念として等しいということになります。つまり、実数とは循環するものとしないものを含めたすべての無限小数のことです。

演習問題