実数とは何か
導入
と堂々巡りになってしまうようでは良くないので、実数とは何かについて説明していこう。
余談
ところで、高校数学では堂々巡りの定義をしているということは無いようである。実際には「実数というものは無限小数全体の集合」であり、「無理数は循環しない無限小数」という扱いをしているっぽい。
ちなみにこの無理数の定義が正しいことは「有理数⇔整数,有限小数,循環小数」を示せば確認することができる。過去記事参照
ちなみに上記の記事も今から説明する実数の定義を前提として書かれている。無限小数全体の空間を定義して形式的な演算を考える手法もありそうだが、とりあえず以降ではメジャーな定義について紹介しようと思う。
実数と有理数との違い
一言で言えば完備かどうかである。実数は完備だが有理数は完備ではない。完備については今から説明する。
完備とはざっくり説明すると「ある数列の収束先が存在することを保証する」である。ここで、「ある数列」とは何でも良いわけではなく、例えばみたいなのはダメである。キーワードを加えて補足すると「コーシー列の収束先が存在することを保証する」となる。
コーシー列とは定義を書くとこうなる。
$$\forall \varepsilon \gt 0,\exists N\in\mathbb{N},n,m\geq N\Rightarrow |a_n-a_m|\lt \varepsilon$$
…ここでもある程度詳しく解説するが、ε-δ論法やε-N論法に慣れるという意識が必要だろう。
ここで、収束する数列は必ずコーシー列になることがわかる。
ならば、に対して定めたについて、ならば
$$|a_n-\alpha|\lt \varepsilon/2,|a_m-\alpha|\lt\varepsilon/2$$が言えるので、三角不等式から
$$|a_n-a_m|=|(a_n-\alpha)-(a_m-\alpha)|\leq |a_n-\alpha|+|a_m-\alpha|\lt \varepsilon/2+\varepsilon/2=\varepsilon$$
となる。
完備性が言いたいのはこれの逆、すなわち「コーシー列なら収束する」である。
実数が何かはまだ分からないが、少なくとも有理数全体の集合はこの性質を満たしてはいない。
例えばとしたとき、ならば
$$|a_n-a_m|=\frac{1}{(m+1)^2}+\cdots+\frac{1}{n^2}\leq \frac{1}{m(m+1)}+\cdots+\frac{1}{n(n-1)}=\frac{1}{m}-\frac{1}{n}\lt \frac{1}{N}$$
より、となるように「に対してを定めれば」コーシー列になることがわかる。ネタバレするとこれはバーゼル問題と言ってはに収束するのだけど、何が問題なのかと言うと「各項が有理数で構成されている(コーシー列であるような)数列がある有理数の値に収束しない」ということである。とりあえず実数では有理数で起きたこのような問題を回避したいのである。とりあえずは「各項が実数で構成されている(コーシー列であるような)数列は必ずある実数の値に収束する」となるようなことを目指したいのである。そのために完備化という作業をするのである。有理数から実数に世界を広げることで先程の例に出てきた等も新たに仲間に加わることで、数列の収束先が保証されているような、都合の良い世界ができるわけである。これは以降の解析学の分野をやる上で必要不可欠なものである。
実数の構成と条件を満たしていることの証明
ここで問題が発生する。「実数は有理数を完備化したもの、では実際に有理数を完備化したような集合を具体的に構成するようなことはできるのか?」
つまりは、「要求する条件をすべて満たしているような、都合のいい相手は存在するのだろうか?」みたいな疑問である。これについてはこれから説明するが、結論から言えば存在する。今からは具体的に「たくさんの条件をすべて満たしているような理想的な相手=実数」を具体的に構成し、それが本当に要求する条件を満たしているか見ていこう。
実数の構成方法
まず、有理数列からなる集合を持ってくる。この集合の元はというような表記ができる。また、これは「からへの写像全体の集合」と考えることができるので、(つまり、に対してであるといった感じである。)とでも書いておく。
さて、はこれの部分集合となる。具体的に書くと
$$X:=\{(a_n)_{n=1}^{\infty}\in \mathrm{Map}(\mathbb{N},\mathbb{Q})|(a_n)_{n=1}^{\infty}はコーシー列\}$$
であり、先程のコーシー列の定義を入れると
$$X:=\left\{(a_n)_{n=1}^{\infty}\in \mathrm{Map}(\mathbb{N},\mathbb{Q})\middle| \forall \varepsilon \gt 0,\exists N\in \mathbb{N},n,m\geq N\Rightarrow |a_n-a_m|\lt \varepsilon\right\}$$
となる。同値関係については以下のように定義する。
$$ (a_n)_{n=1}^{\infty}\sim (b_n)_{n=1}^{\infty}\Leftrightarrow \lim_{n\to\infty}(a_n-b_n)=0$$
ε-δ論法を使って厳密に書けば以下の通りになる。
$$ (a_n)_{n=1}^{\infty}\sim (b_n)_{n=1}^{\infty}\Leftrightarrow \left(\forall \varepsilon \gt 0,\exists N\in\mathbb{N},n\geq N\Rightarrow |a_n-b_n|\lt\varepsilon \right)$$
ここで、実数とは同値類のことを言うのである!
注:同値類の定義については以下の記事を参照
これを実数のよく使われる記号を使って表すと、「」と書ける。
以降では、の元は同値類ということでというような表記をすることにしよう。
実数の性質を満たしているかの確認するためには、①可換体、②全順序集合、③完備性の3つを示すのが必要である。ここで、①と②は有理数でも満たしている性質なのでかいつまんで説明する。
可換体であることの証明
この集合に対して、四則演算は以下のように定義する。
$$[(a_n)_{n=1}^{\infty}]+[(b_n)_{n=1}^{\infty}]:=[(a_n+b_n)_{n=1}^{\infty}]$$
$$[(a_n)_{n=1}^{\infty}]-[(b_n)_{n=1}^{\infty}]:=[(a_n-b_n)_{n=1}^{\infty}]$$
$$[(a_n)_{n=1}^{\infty}]\times[(b_n)_{n=1}^{\infty}]:=[(a_n\times b_n)_{n=1}^{\infty}]$$
$$[(a_n)_{n=1}^{\infty}]\div[(b_n)_{n=1}^{\infty}]:=[(a_n\div b_n)_{n=1}^{\infty}]$$
ただし4つめの割り算においては0ではない…と言いたいところだがまずは0を定めよう。
一般に有理数に対して、と定めればよい。つまり、有理数に対しては「各項がであるような、が永遠に続く数列」を具体的に持ってきて、その同値類を考えれば良いことになる。(用語を使うと、が永遠に続く数列を代表元に置く、という表記になる。)
結局の所「が0でない」というのはがと同値ではない。つまりということになる。
さて、この定義だけでは不十分で、さらにwell-defined性の証明もしなくてはいけない。
具体的にはかつならば、
$$[(a_n)_{n=1}^{\infty}]+[(x_n)_{n=1}^{\infty}]=[(b_n)_{n=1}^{\infty}]+[(y_n)_{n=1}^{\infty}]$$
でなくてはいけないので、つまりは
$$[(a_n+x_n)_{n=1}^{\infty}]=[(b_n+y_n)_{n=1}^{\infty}]$$
を満たしていなくてはいけない。
これを示すためには
$$(a_n+x_n)_{n=1}^{\infty}\sim (b_n+y_n)_{n=1}^{\infty}$$
を示すことになるが、これはと同値であり、aとb,xとyの同値性から導ける。引き算については同じ。
掛け算についてはとして
$$\lim_{n\to\infty}a_n(x_n-y_n)+(a_n-b_n)y_n=\left(\lim_{n\to\infty}a_n\right)\times 0+0\times\left(\lim_{n\to\infty}y_n\right)=0$$よりOKである。
割り算についてはとして、について掛け算で示したのと同じようにすればOK
ところで、先程の証明には極限が四則演算を保存することの性質が使われている。
$$\lim_{n\to\infty}(a_n+b_n)=\lim_{n\to\infty}a_n+\lim_{n\to\infty}b_n,\lim_{n\to\infty}(a_n-b_n)=\lim_{n\to\infty}a_n-\lim_{n\to\infty}b_n,\ldots$$
あと暗黙で使われていたものといえば、の元は全て有界な数列であることと、はさみうちの原理であろう。両方ともに掛け算の段階で暗黙に使われていた。
ところで、 この性質は実数の完備性に関係なく成立するため、循環論法を心配する必要はない。そして今までに示したことは演算がwell-definedであることだけで、これ以降に分配法則や結合法則などを示していかなければいけない。これは省略するが、同じような方法で行けるはずである。*2
全順序であることの証明
まずはに順序関係を定める。
に対してであるとは、
$$A\lt B\Leftrightarrow \left(\exists \varepsilon\gt 0,\exists N\in \mathbb{N},n\geq N\Rightarrow b_n-a_n\geq \varepsilon\right)$$
また、であるとは、「または」と定める。
これもまたwell-defined性を示す必要がある。
について代表元を別に取ってきても同じように性質を持っているかを確認する必要がある。
まずは以下のような性質が成り立っている。
$$\forall \varepsilon \gt 0,\exists N_1=N_1(\varepsilon)\in \mathbb{N},n\geq N_1\Rightarrow |a_n-x_n|\lt \varepsilon$$
$$\forall \varepsilon \gt 0,\exists N_2=N_2(\varepsilon)\in \mathbb{N},n\geq N_2\Rightarrow |b_n-y_n|\lt \varepsilon$$
の定義に出てきたを持ってくる。
ここで、と定めると,とおいたとき、ならば
$$y_n-x_n=(y_n-b_n)+(b_n-a_n)+(a_n-x_n)\geq (-\varepsilon/3)+\varepsilon+(-\varepsilon/3)=\varepsilon/3$$
となるため、とおくと、と定めれば、同じように真の大小関係についての性質を満たす。よっての定義がwell-definedであることが示された。
可換体のときと同じように、これ以降にも全順序や順序が和について保存されることなどの証明をすると晴れて順序についても実数に満たされるべき要素が満たされていることがわかる。これも長くなるので省略する。
完備性についての証明
ここからが本番である。ちなみにコーシー列の定義には絶対値が出てくるが、その絶対値を定義するためにはまずは順序を定めなければいけないので、今までの解説は重要なものであった。本当は可換体+全順序の実数16の性質全てについて証明がしたいところだったが、泣く泣く省略することにした。
収束性の定義をしよう。
上の点列がに収束とは以下のように定義をする。
$$\forall \varepsilon \gt 0,\exists M\in\mathbb{N},m\geq M\Rightarrow |[(a_n^{(m)}-b_n)_{n=1}^{\infty}]|\lt [(\varepsilon)_{n=1}^{\infty}]$$
絶対値についての部分を書き換えると以下のようになる。
$$\forall \varepsilon \gt 0,\exists M\in\mathbb{N},m\geq M\Rightarrow [(a_n^{(m)}-b_n)_{n=1}^{\infty}]\lt [(\varepsilon)_{n=1}^{\infty}]\mathrm{and} [(b_n-a_n^{(m)})_{n=1}^{\infty}]\lt [(\varepsilon)_{n=1}^{\infty}]$$
同じようにコーシー列の定義もしよう。
上の点列がコーシー列であるとは以下のように定義をする。
$$\forall \varepsilon \gt 0,\exists M\in\mathbb{N},m_1,m_2\geq M\Rightarrow |[(a_n^{(m_1)}-a_n^{(m_2)})_{n=1}^{\infty}]|\lt [(\varepsilon)_{n=1}^{\infty}]$$
同じように絶対値を言い換えると
$$\forall \varepsilon \gt 0,\exists M\in\mathbb{N},m_1,m_2\geq M\Rightarrow [(a_n^{(m_1)}-a_n^{(m_2)})_{n=1}^{\infty}]\lt [(\varepsilon)_{n=1}^{\infty}]\mathrm{and}[(a_n^{(m_2)}-a_n^{(m_1)})_{n=1}^{\infty}]\lt [(\varepsilon)_{n=1}^{\infty}]$$
となる。
目標としては「コーシー列が収束すること」を示したいので、そのためには収束先(の代表元)を具体的に構成し、それが実際に収束先になっていることを示すこととなる。
以降でははコーシー列となっている。
まずはを固定しよう(それに対応しても固定されて定まる。)すると任意のに対して、「あるが存在して、ならば」が成立することになる。
これと同時に、はについてコーシー列となるため、*4以下が成立する。
$$\forall \varepsilon_0\gt 0 \exists N_m=N_m(\varepsilon_0),n_x,n_y\geq N_m\Rightarrow |a_{n_x}^{(m)}-a_{n_y}^{(m)}|\lt \varepsilon_0$$
ここで、実際に収束先となるようなを構成する。実際に書き下ろすと以下のようになる。(天下り注意)
$$b_n=a_{c_n}^{(n)},c_n=N_n\left(\frac{1}{n}\right)$$
はの中から1つ項を取ってくるように構成する。そしてその取り方はのでの収束する速度に依存している。これが実際に収束先の代表元の1つになっていることを示そう。
今から示したいことはがでに収束していることで、これをεなどを使って表すと以下の通りとなる。
今から示すもの:
$$\forall \varepsilon \gt 0,\exists M_0\in\mathbb{N},m\geq M_0\Rightarrow \left[\exists \delta_m\gt 0,\exists K_m\in\mathbb{N},n\geq K_m\Rightarrow |a_n^{(m)}-a_{c_n}^{(n)}|\lt \varepsilon-\delta_m\right]$$
(注:の順序を定義する時に出てきた記号εが、ここでは記号δに置き換わっている)
以下証明:
を任意に取ってくる。このとき、
$$M_0=\max\left\{M\left(\frac{\varepsilon}{3}\right),\mathrm{ceil}\left(\frac{3}{\varepsilon}\right)\right\}$$
と定める。*5
はのの収束する速度に依存している。この時、なる任意のに対して、
$$\delta_m=\frac{\varepsilon}{3}-\frac{1}{m}$$
$$K_m=\max\left\{m,N_m\left(\frac{\varepsilon}{3}\right)\right\}$$
と定める。ここで、となっている。
ここで、を任意に取ってくる。
また、を
$$k=\max\left\{N_m\left(\frac{\varepsilon}{3}\right),N(n,m),c_n\right\}$$
と定める。
このとき、三角不等式より
$$|a_n^{(m)}-a_{c_n}^{(n)}|\leq |a_n^{(m)}-a_k^{(m)}|+|a_k^{(m)}-a_k^{(n)}|+|a_k^{(n)}-a_{c_n}^{n}|$$
となる。ここで、
・より、となる。
・であり、これに対してが存在して,このときであるため、
・より、となる。最後の不等式はから出てくる。
これらの不等式評価により、
$$|a_n^{(m)}-a_k^{(m)}|+|a_k^{(m)}-a_k^{(n)}|+|a_k^{(n)}-a_{c_n}^{n}|\lt \frac{\varepsilon}{3}+\frac{\varepsilon}{3}+\frac{1}{m}$$
となるため、
$$|a_n^{(m)}-a_{c_n}^{(n)}|\lt \frac{\varepsilon}{3}+\frac{\varepsilon}{3}+\frac{1}{m}\leq \varepsilon-\delta_m $$
となる。よって示したいものを示すことができた。
あとがき
…と、(途中省略をするようなことがあったけど)このような長い道のりを通ってくることで無事実数を構成することができて、「都合のいい相手」が無事に存在することが分かった。実数とは何か、というという問いは数学をやる上でもあまり気にしないものだが、実際に考えてみると思ったより奥が深いものであることがわかる。たまには常識を疑う姿勢を持つのも必要なのかもしれない。
*1: 無理数の定義を単に「有理数ではないもの」とするとリンゴ、バナナ、人間や地球も無理数になってしまって良くないので少なくとも「実数のうち有理数ではないもの」としなくてはいけない
*2:ちなみに可換体であることを示すためには、①和について可換群であること②積について可換群であること③分配法則を満たすこと④1≠0であることの4つを示す必要がある。可換群であることは「結合法則、単位元の存在、逆元の存在、交換法則」の4つなので合計で4+4+1+1=10個の性質を示すことになる。
*3:この変換は、xの絶対値が「xと-xのうちの大きい方」と等しくなることと、max(x,y)<zは「x<zかつy<z」とも同値になることから言える。
*4:そもそも全体集合がコーシー列全体の集合としているため当然のこと
*5:ceilは天井関数。小数点以下切り上げをして整数にする関数である。