無限小数としての実数

実数は有理数と無理数をあわせたもののことです。有理数は循環する無限小数であり無理数は循環しない無限小数ですから、実数とは循環するものとしないものを含めたすべての無限小数のことです。
< 前のページ
次のページ >

実数の分類

初等数学では実数(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{10}{3}\)に関しては\(10\div 3=3.3333\cdots \)となるため、これは無限小数です。有理数\(\frac{19}{99}\)に関しては\(19\div 99=0.1919\cdots \)となるため、これも無限小数です。

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

例(有限小数であるような有理数)
有理数\(\frac{9}{2}\)に関しては\(9\div 2=4.5\)となるため、これは有限小数です。有理数\(\frac{1}{4}\)に関してはは\(1\div 4=0.25\)となるため、これも有限小数です。整数\(3\)は有理数\(\frac{3}{1}\)に等しく、\(3\div 1=3\)となるため、これは小数点以下の数が存在しない特別な有限小数です。

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

例(有限小数を無限小数とみなす)
有理数\(\frac{9}{2}\)は有限小数\(4.5\)ですが、これは無限小数\(4.500\cdots \)と同一視されます。有理数\(\frac{1}{4}\)は有限小数\(0.25\)ですが、これは無限小数\(0.250\cdots \)と同一視されます。有理数\(3\)は有限小数\(3\)ですが、これは無限小数\(3.0000\cdots \)と同一視されます。

繰り返しになりますが、有理数は無限小数です。これまで例として挙げた有理数としては、\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}\)の形で表すこともできません。

 

実数は無限小数

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

次回は公理主義の立場から実数について考えることの意味を解説します。

次へ進む 質問・コメント(プレミアム会員限定) 演習問題(プレミアム会員限定)
Share on facebook
Share on twitter
Share on email
< 前のページ
次のページ >

プレミアム会員サービス

ユーザー名とメールアドレスを入力して有料(500円/月)のプレミアム会員へアップグレードすることにより、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題、解答など)へのアクセスが可能に。
会員サービス
ログイン

プレミアム会員だけが質問やコメントを投稿・閲覧できます。

アカウント
ログイン