有理数体の完備化

実数

第7講　有理数体の完備化

完備距離空間前講において，実数体をDedekind切断の集合として構成し，実数体

$\mathbf{R}$ (すなわち上限性質をもつ順序体)というものが確かに存在することを確認したが，実数体のもう一つの構成法として「距離空間としての有理数体を完備化する」というものがある．

ここで「距離空間としての有理数体」と言っているが，一般に順序体

$X$ においては

$d(x,x')\stackrel{\mathrm{def}}{=}|x-x'|,\quad x,x'\in X$

により二点間の「距離」が考えられる．この意味で

$\mathbf{Q}$ ，

$\mathbf{R}$ などの順序体は自然に距離空間とみなすことができるのである．参考：距離空間

第4講において，実数体

$\mathbf{R}$ は「任意のCauchy列が収束する」という性質をもつ(もたなければならない)ことを見た．すなわち

$\mathbf{R}$ の点列

$(a_n)_{n\in\mathbf{N}}$ がCauchy列ならば

$\displaystyle \lim_{n\to\infty}a_n=a$ となる

$a\in\mathbf{R}$ が存在する．

この意味で，

$\mathbf{R}$ は完備な距離空間である．有理数体

$\mathbf{Q}$ はこの「完備性」という性質をもたない．すなわち

$\mathbf{Q}$ の点列

$(q_n)_{n\in\mathbf{N}}$ がCauchy列であっても

$\displaystyle \lim_{n\to\infty}q_n=q$ となる

$q\in\mathbf{Q}$ が存在するとは限らない．

このことに着目し，この講では再び実数体の存在をまだ知らないつもりになって，完備でない距離空間である

$\mathbf{Q}$ から完備な距離空間である

$\mathbf{R}$ を構成する方法を見ていこう．

有理Cauchy列の同値類有理数列

$(q_n)_{n\in\mathbf{N}}$ がCauchy列であるとは

$\forall\varepsilon \in\mathbf{Q}_+,\ \exists N\in\mathbf{N},\ m,n\ge N\ \Rightarrow\ |q_m-q_n| < \varepsilon$

が成り立つことであった．このような数列を有理Cauchy列と呼び，すべての有理Cauchy列からなる集合を

$\mathrm{C}(\mathbf{Q})$ と書くことにする．
有理Cauchy列

$(q_n)_{n\in\mathbf{N}}\in\mathrm{C}(\mathbf{Q})$ に対して，その同値類何？

$[(q_n)_{n\in\mathbf{N}}]$ を

$\displaystyle [(q_n)_{n\in\mathbf{N}}]\stackrel{\mathrm{def}}{=}\Big\{\,(p_n)_{n\in\mathbf{N}}\in\mathrm{C}(\mathbf{Q})\,\Big|\,\lim_{n\to\infty}(p_n-q_n)=0\,\Big\}$

により定め，このようなすべての同値類からなる集合を

$\mathcal{C}(\mathbf{Q})$ と表す．

つまり，

$\mathrm{C}(\mathbf{Q})$ における同値関係

$"\sim"$ を

$\displaystyle (p_n)_{n\in\mathbf{N}}\sim(q_n)_{n\in\mathbf{N}}\ \stackrel{\mathrm{def}}{\Leftrightarrow}\ \lim_{n\to\infty}|p_n-q_n|=0$

により定め．この同値関係による

$\mathrm{C}(\mathbf{Q})$ の商集合を

$\mathcal{C}(\mathbf{Q})$ と表すのである：

$\mathcal{C}(\mathbf{Q})=\mathrm{C}(\mathbf{Q})/\sim$

同値関係，同値類，商集合といった概念の一般論については同値関係参照．

有理数列

$(q_n)_{n\in\mathbf{N}}$ を

$\left\{\begin{array}{l}q_1=1\\q_{n+1}=\dfrac{q_n+2}{q_n+1}\quad(n=1,2,\ldots)\end{array}\right.$

により定めると，これは有理Cauchy列であり，

$\mathbf{Q}$ に極限点をもたない．つまり

$q_n$ は番号が大きくなるにつれてある「場所」に近づいていくのだが，その「場所」に有理数はない．未だ我々はその「場所」に何があるのかを知らない．．．というのは建前で，実はそれが「

$\sqrt{2}$ 」という無理数であることは実数について既に知っている立場からはすぐにわかる．ここで行おうとしていることは，飽くまでもまだ「

$\sqrt{2}$ 」というものを知らない建前で，それがあるに違いない「場所」に近づいていく有理数列により

$\sqrt{2}$ を表現しようということである．しかしながら，上で定めた

$(q_n)_{n\in\mathbf{N}}$ に対して

$p_n=q_n+\dfrac{1}{n}\quad(n=1,2,\ldots)$

という別の有理数列を考えてみるとわかるように，

$(q_n)_{n\in\mathbf{N}}$ と同じ「場所」に近づいていく有理数列は無数に考えられる．なのでそれらすべてを集めた集合(同値類)

$\displaystyle [(q_n)_{n\in\mathbf{N}}]=\Big\{\,(p_n)_{n\in\mathbf{N}}\in\mathrm{C}(\mathbf{Q})\,\Big|\,\lim_{n\to\infty}(p_n-q_n)=0\,\Big\}$

でもって

$\sqrt{2}$ という実数を定義するのである．

順序

$\mathcal{C}(\mathbf{Q})$ における順序を次で定義する：

$\displaystyle [(p_n)_{n\in\mathbf{N}}] < [(q_n)_{n\in\mathbf{N}}]\ \stackrel{\mathrm{def}}{\Leftrightarrow}\ \exists\varepsilon\in\mathbf{Q}_+,\ \exists N\in\mathbf{N},\ n\ge N\Rightarrow q_n- p_n\ge \varepsilon$

この関係はwell-definedである．すなわち，

$[(p_n)_{n\in\mathbf{N}}]=[(\tilde{p}_n)_{n\in\mathbf{N}}]$ かつ

$[(q_n)_{n\in\mathbf{N}}]=[(\tilde{q}_n)_{n\in\mathbf{N}}]$ ならば

$[(p_n)_{n\in\mathbf{N}}] < [(q_n)_{n\in\mathbf{N}}]\ \Leftrightarrow\ [(\tilde{p}_n)_{n\in\mathbf{N}}] < [(\tilde{q}_n)_{n\in\mathbf{N}}]$

が成り立つ．実際，

$[(p_n)_{n\in\mathbf{N}}] < [(q_n)_{n\in\mathbf{N}}]$ とすると

$n\ge N_0\ \Rightarrow\ q_n- p_n\ge \varepsilon$

となる

$\varepsilon\in\mathbf{Q}_+$ および

$N_0\in\mathbf{N}$ が存在するが，

$\displaystyle \lim_{n\to\infty}(p_n-\tilde{p}_n)=\lim_{n\to\infty}(q_n-\tilde{q}_n)=0$ であることより，この

$\varepsilon$ に対して

$n\ge N_1\ \Rightarrow\ |p_n-\tilde{p}_n| < \dfrac{\varepsilon}{3}\ \mathrm{and}\ |q_n-\tilde{q}_n| < \dfrac{\varepsilon}{3}$

となる

$N_1\in\mathbf{N}$ をがとれる．よって，

$N=\max\{N_0, N_1\}$ とおけば

$n\ge N\ \Rightarrow\ \tilde{q}_n > q_n-\dfrac{\varepsilon}{3} \ge p_n+\dfrac{2}{3}\varepsilon > \tilde{p}_n+\dfrac{\varepsilon}{3}$

が成り立ち，

$[(\tilde{p}_n)_{n\in\mathbf{N}}] < [(\tilde{q}_n)_{n\in\mathbf{N}}]$ とわかる．

もちろん

$[(p_n)_{n\in\mathbf{N}}]\le [(q_n)_{n\in\mathbf{N}}]$ とは

$[(p_n)_{n\in\mathbf{N}}] < [(q_n)_{n\in\mathbf{N}}]$ または

$[(p_n)_{n\in\mathbf{N}}] = [(q_n)_{n\in\mathbf{N}}]$

であることとする．

この関係により

$\mathcal{C}(\mathbf{Q})$ が順序集合となっていること確かめておこう．集合

$X$ が順序集合であるとは

・

$\forall x\in X,\ x\le x$

・

$[x\le x'\ \mathrm{and}\ x'\le x]\ \Rightarrow\ x=x'$

・

$[x\le x'\ \mathrm{and}\ x'\le x'']\ \Rightarrow\ x\le x''$

を満たす関係「

$\le$ 」が定められていることをいうのであった第1講．
以下，

$[(p_n)_{n\in\mathbf{N}}]$ のことを

$[(p_n)]$ と書くことにする．

$\forall [(p_n)]\in\mathcal{C}(\mathbf{Q})$ に対して $[(p_n)]\le [(p_n)]$ は明らか．
$[(p_n)]\le [(q_n)]\ \mathrm{and}\ [(q_n)]\le [(p_n)]$ とすると，これは
$\big(\,[(p_n)] = [(q_n)]\,\big)\ \mathrm{or}\ \big(\,[(p_n)] < [(q_n)]\ \mathrm{and}\ [(q_n)] < [(p_n)]\,\big)$
と同値だが， $[(p_n)] < [(q_n)]\ \mathrm{and}\ [(q_n)] < [(p_n)]$ はありえないので $[(p_n)] = [(q_n)]$ である．
$[(p_n)] < [(q_n)]\ \mathrm{and}\ [(q_n)] < [(r_n)]$ とすると
$\exists\varepsilon\in\mathbf{Q}_+,\ \exists N\in\mathbf{N},\ n\ge N\Rightarrow q_n- p_n\ge \varepsilon\ \mathrm{and}\ r_n- q_n\ge \varepsilon\\ \hspace{115pt}\Rightarrow r_n- p_n\ge \varepsilon$
ゆえ $[(p_n)] < [(r_n)]$ とわかる．よって， $[(p_n)]=[(q_n)]$ または $[(q_n)]=[(r_n)]$ の場合も含め
$[(p_n)] \le [(q_n)]\ \mathrm{and}\ [(q_n)] \le [(r_n)]\ \Rightarrow [(p_n)] \le [(r_n)]$
が成り立つ．

$\mathcal{C}(\mathbf{Q})$ は上述の関係により全順序集合となる．

任意の $[(p_n)_{n\in\mathbf{N}}],\ [(q_n)]_{n\in\mathbf{N}}\in\mathcal{C}(\mathbf{Q})$ について，
$[(p_n)_{n\in\mathbf{N}}]=[(q_n)]_{n\in\mathbf{N}}$

$[(p_n)_{n\in\mathbf{N}}] < [(q_n)]_{n\in\mathbf{N}}$

$[(q_n)_{n\in\mathbf{N}}] < [(p_n)]_{n\in\mathbf{N}}$
のいずれか一つが必ず成り立つことを示せばよい． $[(p_n)_{n\in\mathbf{N}}]\neq [(q_n)]_{n\in\mathbf{N}}$ とすると
$\forall N\in\mathbf{N},\ \exists n\ge N,\ |p_n-q_n|\ge \varepsilon$
となる $\varepsilon\in\mathbf{Q}_+$ が存在するが，この $\varepsilon$ に対して， $(p_n)_{n\in\mathbf{N}}$ ， $(q_n)_{n\in\mathbf{N}}$ がそれぞれCauchy列であることより
$m,n\ge N'\ \Rightarrow\ |p_m-p_n| < \dfrac{\varepsilon}{3}\ \mathrm{and}\ |q_m-q_n| < \dfrac{\varepsilon}{3}$
となる $N'\in\mathbf{N}$ を $|p_{N'}-q_{N'}|\ge\varepsilon$ を満たすようにとれる．このとき，
もし $p_{N'} < q_{N'}$ ならば
$n\ge N'\ \Rightarrow\ q_n-p_n=q_{N'}-p_{N'}+(q_n-q_{N'})-(p_n-p_{N'})\\ \hspace{85pt}\ge q_{N'}-p_{N'}-|q_n-q_{N'}|-|p_n-p_{N'}| > \dfrac{\varepsilon}{3}$
もし $p_{N'} > q_{N'}$ ならば
$n\ge N'\ \Rightarrow\ p_n-q_n=p_{N'}-q_{N'}+(p_n-p_{N'})-(q_n-q_{N'})\\ \hspace{85pt}\ge p_{N'}-q_{N'}-|p_n-p_{N'}|-|q_n-q_{N'}| > \dfrac{\varepsilon}{3}$
従って $[(p_n)_{n\in\mathbf{N}}] < [(q_n)_{n\in\mathbf{N}}]$ または $[(q_n)_{n\in\mathbf{N}}] < [(p_n)_{n\in\mathbf{N}}]$ のいずれか一方が成り立つ．
$\mathcal{C}(\mathbf{Q})$ は最大元も最小元ももたない．

実際，任意の $[(q_n)_{n\in\mathbf{N}}]\in\mathrm{C}(\mathbf{Q})$ に対して
$[(q_n-1)_{n\in\mathbf{N}}] < [(q_n)_{n\in\mathbf{N}}] < [(q_n+1)_{n\in\mathbf{N}}]$
が成り立つ．

定値有理数列の同値類

$q\in\mathbf{Q}$ に対して，

$q$ に収束する有理数列からなる同値類を

$[\,q\,]$ と表すことにする：

$\displaystyle [\,q\,]=\{\,(q_n)_{n\in\mathbf{N}}\,|\,\lim_{n\to\infty}q_n=q\,\}$

さらにこのようなすべての同値類からなる集合を

$\mathcal{C}(\mathbf{Q})_0$ と表そう：

$\mathcal{C}(\mathbf{Q})_0\stackrel{\mathrm{def}}{=}\{\,[\,q\,]\,|\,q\in\mathbf{Q}\,\}$

$(p_n)_{n\in\mathbf{N}}$ ，

$(q_n)_{n\in\mathbf{N}}$ を

$p_n=\dfrac{1}{n}$ ，

$q_n=\Big(-\dfrac{2}{3}\Big)^n$

と定めると，これらはともに

$0$ に収束する有理数列なので

$(p_n)_{n\in\mathbf{N}},\ (q_n)_{n\in\mathbf{N}}\in[\,0\,]$

である．同様に，

$(r_n)_{n\in\mathbf{N}}$ ，

$(s_n)_{n\in\mathbf{N}}$ を

$r_n=\dfrac{n}{2n+1}$ ，

$s_n=\dfrac{2^{n-1}}{2^n-1}$

と定めると，これらはともに

$\dfrac{1}{2}$ に収束する有理数列なので

$(r_n)_{n\in\mathbf{N}},\ (s_n)_{n\in\mathbf{N}}\in[\,\frac{1}{2}\,]$

である．
任意の

$q\in\mathbf{Q}$ に対して，すべての項が

$q$ に等しい数列

$(q,q,q,\ldots)$ を単に

$q$ と書くことにすると，もちろんこの数列は

$q$ に収束するので

$q\in[\,q\,]$

である．

$\mathcal{C}(\mathbf{Q})_0$ における演算を次で定義する：

$p,q\in\mathbf{Q}$ に対して

和　

$[\,p\,]+[\,q\,]\stackrel{\mathrm{def}}{=}[\,p+q\,]$

差　

$[\,p\,]-[\,q\,]\stackrel{\mathrm{def}}{=}[\,p-q\,]$

積　

$[\,p\,][\,q\,]\stackrel{\mathrm{def}}{=}[\,pq\,]$

$[\,q\,]\neq [\,0\,]$ ，すなわち

$q\neq0$ のとき

商　

$[\,p\,]/[\,q\,]\stackrel{\mathrm{def}}{=}[\,p/q\,]$

これらの演算はwell-definedである．実際，

$[(p_n)]=[\,p\,]$ ，

$[(q_n)]=[\,q\,]$ ，すなわち

$\displaystyle \lim_{n\to\infty}p_n=p$ ，

$\displaystyle \lim_{n\to\infty}q_n=q$ とすると

$\displaystyle \lim_{n\to\infty}(p_n+q_n)=p+q$

$\displaystyle \lim_{n\to\infty}(p_n-q_n)=p-q$

$\displaystyle \lim_{n\to\infty}p_nq_n=pq$

が成り立つから

$[(p_n)]+[(q_n)]=[\,p+q\,]=[\,p\,]+[\,q\,]$

$[(p_n)]-[(q_n)]=[\,p-q\,]=[\,p\,]-[\,q\,]$

$[(p_n)][(q_n)]=[\,pq\,]=[\,p\,][\,q\,]$

また，

$q\neq0$ ならば

$\displaystyle \lim_{n\to\infty}p_n/q_n=p/q$

が成り立つから

$[(p_n)]/[(q_n)]=[\,p/q\,]=[\,p\,]/[\,q\,]$

これらの演算と前節で定義した順序により， $\mathcal{C}(\mathbf{Q})_0$ は $\mathbf{Q}$ と同型な順序体となる．

$p\in\mathbf{Q}$ に $[\,p\,]\in\mathcal{C}(\mathbf{Q})_0$ を対応させる写像
$[\,\cdot\,]:\mathbf{Q}\to\mathcal{C}(\mathbf{Q})_0$ ， $p\mapsto [\,p\,]$ ，
が同型を与える．実際，この写像が全射であることは明らかであるし，
$p < q\ \Leftrightarrow\ [\,p\,] < [\,q\,]$ 詳しく！

$(p_n)_{n\in\mathbf{N}}\in[\,p\,],\ (q_n)_{n\in\mathbf{N}}\in[\,q\,]$ ，すなわち $\displaystyle \lim_{n\to\infty}p_n=p$ ， $\displaystyle \lim_{n\to\infty}q_n=q$ とすると， $[\,p\,] < [\,q\,]$ とは
$n\ge N\ \Rightarrow\ q_n-p_n\ge\varepsilon$
となる $\varepsilon > 0$ ， $N\in\mathbf{N}$ が存在することだったから，このことが $p < q$ と同値であるのは明らかである．

に注意すると単射であること，同時にこの写像が順序を保つこともわかる．さらに
$[\,p+q\,]=[\,p\,]+[\,q\,]$ ，

$[\,pq\,]=[\,p\,][\,q\,]$
は $\mathcal{C}(\mathbf{Q})_0$ における和と積の定義であった．
念のために $\mathcal{C}(\mathbf{Q})_0$ において演算と順序が両立していることも確かめておこう． $[\,p\,] < [\,q\,]$ とすると，任意の $r\in\mathbf{Q}$ に対して $p+r < q+r$ であるから
$[\,p\,]+[\,r\,]=[\,p+r\,] < [\,q+r\,]=[\,q\,]+[\,r\,]$
また， $[\,0\,] < [\,p\,]$ かつ $[\,0\,] < [\,q\,]$ ならば $0 < pq$ であるから
$[\,0\,] < [\,pq\,]=[\,p\,][\,q\,]$
が成り立つ．
$\mathcal{C}(\mathbf{Q})_0$ は $\mathcal{C}(\mathbf{Q})$ の稠密な部分集合である．

$[\,(p_n)_{n\in\mathbf{N}}\,] < [\,(q_n)_{n\in\mathbf{N}}\,]$ なる $[\,(p_n)_{n\in\mathbf{N}}\,],\ [\,(q_n)_{n\in\mathbf{N}}\,]\in\mathcal{C}(\mathbf{Q})$ を任意にとる．このとき
$\ n\ge N_0\ \Rightarrow\ q_n-p_n\ge\varepsilon$
となる $\varepsilon\in\mathbf{Q}_+$ および $N_0\in\mathbf{N},$ が存在するが，この $\varepsilon$ に対して，
$m,n\ge N_1\ \Rightarrow\ |p_m-p_n| < \dfrac{\varepsilon}{3}\ \mathrm{and}\ |q_m-q_n| < \dfrac{\varepsilon}{3}$
となる $N_1$ をとり $N=\max\{N_0,N_1\}$ ， $r=\dfrac{1}{2}(p_{N}+q_{N})$ とおけば，
$r-p_{N}=q_{N}-r=\dfrac{1}{2}(q_{N}-p_{N})\ge \dfrac{\varepsilon}{2}$
ゆえ， $n\ge N$ のとき
$p_n = p_{N}+(p_n-p_{N})\le r-\dfrac{\varepsilon}{2}+\dfrac{\varepsilon}{3} = r-\dfrac{\varepsilon}{6}$

$q_n = q_{N}+(q_n-q_{N})\ge r+\dfrac{\varepsilon}{2}-\dfrac{\varepsilon}{3} = r+\dfrac{\varepsilon}{6}$
従って
$r-p_n \ge \dfrac{\varepsilon}{6}\ \mathrm{and}\ q_n-r \ge \dfrac{\varepsilon}{6}$
が成り立つことになり， $[(p_n)_{n\in\mathbf{N}}] < [\,r\,] < [(q_n)_{n\in\mathbf{N}}]$ であることがわかる．

上限性質

$\mathcal{C}(\mathbf{Q})$ は上限性質をもつ

$\mathcal{C}(\mathbf{Q})$ の空でない部分集合 $\Gamma$ が上に有界であるとする． $\Gamma$ のすべての上界からなる集合を $U(\Gamma)$ で表そう． $U(\Gamma)\neq\emptyset$ である．このとき
$[\,p\,]\notin U(\Gamma)$ ， $[\,q\,]\in U(\Gamma)$
を満たす $p,q\in\mathbf{Q}$ が存在する本当に？．
実際， $[(r_n)_{n\in\mathbf{N}}]\in U(\Gamma)$ を任意にとると， $(r_n)_{n\in\mathbf{N}}$ はCauchy列だから
$m,n\ge N\ \Rightarrow |r_m-r_n| \le \dfrac{1}{2}$
となる $N\in\mathbf{N}$ がとれる．そこで $q=r_N+1$ とおけば
$n\ge N\ \Rightarrow q- r_n \ge \dfrac{1}{2}$
が成り立ち $[(r_n)_{n\in\mathbf{N}}] < [\,q\,]$ ，従って $[\,q\,]\in U(\Gamma)$ である．同様に， $[(r'_n)_{n\in\mathbf{N}}]\in \Gamma$ を任意にとり
$m,n\ge N\ \Rightarrow |r'_m-r'_n| \le \dfrac{1}{2}$
となる $N\in\mathbf{N}$ をとって $p=r'_N-1$ とおけば $[\,p\,] < [(r'_n)_{n\in\mathbf{N}}]$ ゆえ $[\,p\,]\notin U(\Gamma)$ である．

この $p,q$ を用いて，新たなCauchy列 $(u_n)_{n\in\mathbf{N}}$ ， $(l_n)_{n\in\mathbf{N}}$ を次のように構成する：まず， $l_1=p$ ， $u_1=q$ とし，
$\Big[\,\dfrac{p+q}{2}\,\Big]\in U(\Gamma)$ ならば $u_2=\dfrac{p+q}{2},\ l_2=l_1$

$\Big[\,\dfrac{p+q}{2}\,\Big]\notin U(\Gamma)$ ならば $u_2=u_1,\ l_2=\dfrac{p+q}{2}$
とする．以下同様に， $n=1,2,\ldots$ に対して
$\Big[\,\dfrac{u_n+l_n}{2}\,\Big]\in U(\Gamma)$ ならば $u_{n+1}=\dfrac{u_n+l_n}{2},\ l_{n+1}=l_n$
$\Big[\,\dfrac{u_n+l_n}{2}\,\Big]\notin U(\Gamma)$ ならば $u_{n+1}=u_n,\ l_{n+1}=\dfrac{u_n+l_n}{2}$
と定める．こうして得られる有理数列 $(u_n)_{n\in\mathbf{N}}$ ， $(l_n)_{n\in\mathbf{N}}$ はともにCauchy列であって，しかも $[(u_n)_{n\in\mathbf{N}}]=[(l_n)_{n\in\mathbf{N}}]$ である詳しく！．
$n=1,2,\ldots$ に対して， $u_n$ ， $l_n$ の定め方から
$u_{n+1}-l_{n+1}= \dfrac{u_n-l_n}{2}$ 従って $u_n-l_n= \dfrac{q-p}{2^{n-1}}$
これより $\displaystyle \lim_{n\to\infty}|u_n-l_n|=0$ とわかる．念のために， $(u_n)_{n\in\mathbf{N}}$ ， $(l_n)_{n\in\mathbf{N}}$ がともにCauchy列であることも確かめておこう．再び $u_n$ ， $l_n$ の定め方から
$u_{n+1}=u_n$ または $u_{n+1}=\dfrac{u_n+l_n}{2}$
ゆえ
$0\le u_n-u_{n+1}\le \dfrac{u_n-l_n}{2}=\dfrac{p-q}{2^n}$
従って $m < n$ のとき
$0\le u_m-u_n\\ \hspace{7pt}=(u_m-u_{m+1})+(u_{m+1}-u_{m+2})+\cdots+(u_{n-1}-u_{n})\\ \hspace{7pt}\le (q-p)\Big(\dfrac{1}{2^m}+\dfrac{1}{2^{m+1}}+\cdots+\dfrac{1}{2^{n-1}}\Big)\\ \hspace{7pt}\le \dfrac{q-p}{2^{m-1}}$
同様に， $0\le l_{n+1}-l_n\le \dfrac{u_n-l_n}{2}=\dfrac{p-q}{2^n}$ から $0\le l_n-l_m\le \dfrac{q-p}{2^{m-1}}$ となることもわかる．従って，任意の $\varepsilon\in\mathbf{Q}+$ に対して $m,n\in\mathbf{N}$ が十分大きければ $|u_m-u_n| < \varepsilon$ ， $|l_m-l_n| < \varepsilon$ が成り立つ．

そこで
$s=[(u_n)_{n\in\mathbf{N}}]=[(l_n)_{n\in\mathbf{N}}]$
とおくと．この $s$ が $\Gamma$ の上限となる．このことを確かめよう．まず $s\in U(\Gamma)$ ，すなわち $s$ は $\Gamma$ の上界である．そうでないとすると
$s=[(u_n)_{n\in\mathbf{N}}] < [(p_n)_{n\in\mathbf{N}}]$
となる $[(p_n)_{n\in\mathbf{N}}]\in \Gamma$ が存在するが，これは
$\exists \varepsilon\in\mathbf{Q}_+,\ \exists N\in\mathbf{N},\ n\ge N\ \Rightarrow\ p_n-u_n \ge \varepsilon$
ということだから，特に， $u_N\ge u_{N+1}\ge u_{N+2}\ge\cdots$ に注意すると
$[(p_n)_{n\in\mathbf{N}}] > [\,u_N\,]$
となっており，これは $[\,u_N\,]\in U(\Gamma)$ であったそうだっけ？
$u_1,u_2,\ldots$ 及びついでに $l_1,l_2,\ldots$ の定め方を思い出そう．すべての $n\in\mathbf{N}$ について $[\,u_n\,]\in U(\Gamma)$ かつ $[\,l_n\,]\notin U(\Gamma)$ である．

ことに反する．また
$s=[(l_n)_{n\in\mathbf{N}}] > [(q_n)_{n\in\mathbf{N}}]$
なる $[(q_n)_{n\in\mathbf{N}}]\in \mathcal{C}(\mathbf{Q})$ を任意にとると，これは
$\exists \varepsilon\in\mathbf{Q}_+,\ \exists N\in\mathbf{N},\ n\ge N\ \Rightarrow\ l_n-q_n \ge \varepsilon$
ということだから，特に， $l_N\le l_{N+1}\le l_{N+2}\le\cdots$ に注意すると
$[(q_n)_{n\in\mathbf{N}}] < [\,l_N\,]$
となっており， $[\,l_N\,]\notin U(\Gamma)$ であったから $[(q_n)_{n\in\mathbf{N}}]$ は $\Gamma$ の上界たり得ない．以上により $s$ は $\Gamma$ の最小の上界，すなわち上限であることがわかった．

完備距離空間としての実数体以上により，有理Cauchy列の同値類からなる集合

$\mathcal{C}(\mathbf{Q})$ が前実数体であることが示された．従って，再び第5講の方法で演算を定義することにより

$\mathcal{C}(\mathbf{Q})$ は実数体となる．

$\mathcal{C}(\mathbf{Q})=\mathbf{R}$

前講に続いて，「実数とは何か」という問に対して

実数とは有理Cauchy列の同値類のことである

という二つ目の回答が得られた．

実数体の一意性(第5講)より，前講で構成したDedekind切断の集合

$\mathcal{D}(\mathbf{Q})$ とこの

$\mathcal{C}(\mathbf{Q})$ とは，互いにまったく異なる集合のようではあるが，順序体として同型という意味で

$\mathcal{D}(\mathbf{Q})=\mathcal{C}(\mathbf{Q})=\mathbf{R}$

とみなすことができる．

ところで，前節の議論を観察すると，順序体においては上限性質をもつことと距離空間として完備であることは同値であることが自然に予想される．実際それは正しく詳しく！，

順序体が上限性質をもてば距離空間として完備であることは既出(第4講)なので，逆を確かめよう．

$X$ を順序体とする．

$X$ の空でない部分集合

$\Gamma$ が上に有界であるとし，

$\Gamma$ のすべての上界からなる集合を

$U(\Gamma)$ で表す．

$U(\Gamma)\neq\emptyset$ であるから

$x\notin U(\Gamma)$ ，

$y\in U(\Gamma)$

を満たす

$x,y\in X$ がとれる．この

$x,y$ を用いて，Cauchy列

$(u_n)_{n\in\mathbf{N}}$ ，

$(l_n)_{n\in\mathbf{N}}$ を次のように構成する：まず，

$l_1=x$ ，

$u_1=y$ とし，

$\dfrac{x+y}{2}\in U(\Gamma)$ ならば

$u_2=\dfrac{x+y}{2},\ l_2=l_1$

$\dfrac{x+y}{2}\notin U(\Gamma)$ ならば

$u_2=u_1,\ l_2=\dfrac{x+y}{2}$

とする．以下同様に，

$n=1,2,\ldots$ に対して

$\dfrac{u_n+l_n}{2}\in U(\Gamma)$ ならば

$u_{n+1}=\dfrac{u_n+l_n}{2},\ l_{n+1}=l_n$

$\dfrac{u_n+l_n}{2}\notin U(\Gamma)$ ならば

$u_{n+1}=u_n,\ l_{n+1}=\dfrac{u_n+l_n}{2}$

と定める．こうして得られる点列

$(u_n)_{n\in\mathbf{N}}$ ，

$(l_n)_{n\in\mathbf{N}}$ はともにCauchy列であるから，

$X$ が距離空間として完備ならば

$\displaystyle \lim_{n\to\infty}u_n=u,\ \lim_{n\to\infty}l_n=l$ なる

$u,l\in X$ が存在する．このとき

$u=l$ であって，これが

$\Gamma$ の上限であることを確かめるのはもはや容易であろう．

従って実数体の定義として次を採用してもよいことになる．

距離空間として完備な順序体のことを実数体といい，

$\mathbf{R}$ と表す．

$\mathbf{R}$ の各元を実数という．

問題表示

有理数列 $(q_n)_{n\in\mathbf{N}}$ がある正の有理数 $q$ および自然数 $k$ に対して $\displaystyle \lim_{n\to\infty}{q_n}^k=q$ を満たし，十分大きな $n\in\mathbf{N}$ に対しては $q_n > 0$ が成り立つとする．このとき $(q_n)_{n\in\mathbf{N}}$ は有理Cauchy列であることを示せ．

まず， $0 < \dfrac{1}{M^k} < q$ なる $M\in\mathbf{N}$ をとる．このとき，十分大きな $n\in\mathbf{N}$ に対しては ${q_n}^k > \dfrac{1}{M^k}$ かつ $q_n > 0$ が成り立つから
$n\ge N_0\ \Rightarrow\ q_n\ge\dfrac{1}{M}$
となる $N_0$ がとれる．さらに， $({q_n}^k)_{n\in\mathbf{N}}$ は収束列ゆえCauchy列であるから，任意に与えられた $\varepsilon > 0$ に対して
$m,n\ge N_1\ \Rightarrow\ |{q_m}^k-{q_n}^k| < \dfrac{k}{M^{k-1}}\varepsilon$
となる $N_1$ がとれる．よって， $N=\max\{N_0,N_1\}$ とおけば、 $m,n\ge N$ のとき
$|q_m-q_n|=\dfrac{|{q_m}^k-{q_n}^k|}{{q_m}^{k-1}+{q_m}^{k-1}q_n+\cdots+q_m{q_n}^{k-2}+{q_n}^{k-1}}\\ \hspace{40pt}\le \dfrac{N^{k-1}}{k}|{q_m}^k-{q_n}^k|\\ \hspace{40pt}< \dfrac{N^{k-1}}{k}\cdot\dfrac{k}{N^{k-1}}\varepsilon=\varepsilon$
が成り立つ．

次に与えられる有理数列が有理Cauchy列であるかどうか判定せよ．有理Cauchy列である場合は，その同値類がどのような実数を表すか調べよ．

$\mathrm{(1)}$

$\left\{\begin{array}{l}p_1=2\\p_{n+1}=\dfrac{p_n+2}{p_n+1}\end{array}\right.$

$\mathrm{(2)}$

$\left\{\begin{array}{l}q_1=1\\q_{n+1}=\dfrac{3q_n+2}{q_n+3}\end{array}\right.$

$\mathrm{(3)}$

$\left\{\begin{array}{l}r_1=1\\r_{n+1}=\dfrac{2}{r_n}\end{array}\right.$

$\mathrm{(1)}$	形式的に $\displaystyle \lim_{n\to\infty}p_n=p$ とすると $p=\dfrac{p+2}{p+1}$ から $p^2=2$ が得られるので $\displaystyle \lim_{n\to\infty}{p_n}^2=2$ と予想される．実際 ${p_{n+1}}^2-2 =\Big(\dfrac{p_n+2}{p_n+1}\Big)^2-2 =\dfrac{(p_n+2)^2-2(p_n+1)^2}{(p_n+1)^2} =\dfrac{-{p_n}^2+2}{(p_n+1)^2}$ であって，さらに任意の $n\in\mathbf{N}$ に対して $1\le p_n\le 2$ が成り立つことが容易に確かめられるので $\|{p_{n+1}}^2-2\| \le \dfrac{1}{(p_n+1)^2}\|{p_n}^2-2\| \le \dfrac{1}{4}\|{p_n}^2-2\|$ よって $\|{p_n}^2-2\| < \dfrac{1}{4^{n-1}}\|{p_1}^2-2\|=\dfrac{2}{4^{n-1}}$ から確かに $\displaystyle \lim_{n\to\infty}{p_n}^2=2$ となることがわかる．従って，前問の結果により $(p_n)_{n\in\mathbf{N}}$ は有理Cauchy列であり，その同値類は無理数 $\sqrt{2}$ を表す．
$\mathrm{(2)}$	形式的に $\displaystyle \lim_{n\to\infty}q_n=q$ とすると $q=\dfrac{3q+2}{q+3}$ から $q^2=2$ が得られるのでやはり $\displaystyle \lim_{n\to\infty}{q_n}^2=2$ と予想される．実際 ${q_{n+1}}^2-2 =\Big(\dfrac{3q_n+2}{q_n+3}\Big)^2-2 =\dfrac{7({q_n}^2-2)}{(q_n+3)^2}$ であって，さらに任意の $n\in\mathbf{N}$ に対して $1\le q_n\le 2$ が成り立つことが容易に確かめられるので $\|{q_n}^2-2\| < \Big(\dfrac{7}{16}\Big)^{n-1}\|{p_1}^2-2\|=\Big(\dfrac{7}{16}\Big)^{n-1}$ から確かに $\displaystyle \lim_{n\to\infty}{q_n}^2=2$ となることがわかる．従って， $(q_n)_{n\in\mathbf{N}}$ も有理Cauchy列であり，その同値類は $(p_n)_{n\in\mathbf{N}}$ と同じく無理数 $\sqrt{2}$ を表す．
$\mathrm{(3)}$	形式的に $\displaystyle \lim_{n\to\infty}r_n=r$ とすると $r=\dfrac{2}{r}$ すなわち $r^2=2$ となるので $(p_n)_{n\in\mathbf{N}}$ ， $(q_n)_{n\in\mathbf{N}}$ と同様と思われるかもしれないが，この場合は $r_1=1$ ， $r_2=2$ ， $r_3=1$ ， $r_4=2,\ldots$ ゆえ $(r_n)_{n\in\mathbf{N}}$ はCauchy列ではない．

有理数列 $(p_n)_{n\in\mathbf{N}}$ ， $(q_n)_{n\in\mathbf{N}}$ を
$\displaystyle p_n=\sum_{k=0}^n\dfrac{1}{k!}$

$q_n=\Big(1+\dfrac{1}{n}\Big)^n$
により定める．このとき， $(p_n)_{n\in\mathbf{N}}$ ， $(q_n)_{n\in\mathbf{N}}$ はともに有理Cauchy列であって， $\mathcal{C}(\mathbf{Q})$ において $[(p_n)_{n\in\mathbf{N}}]=[(q_n)_{n\in\mathbf{N}}]$ ，すなわち $\displaystyle \lim_{n\to\infty}|p_n-q_n|=0$ が成り立つことを示せ．

$(p_n)_{n\in\mathbf{N}}$ がCauchy列であることは， $m < n$ のとき，次が成り立つことからわかる：
$\displaystyle p_n-p_m=\sum_{k=m+1}^n\dfrac{1}{k!} \le \sum_{k=m+1}^n\dfrac{1}{2^{k-1}} \le \dfrac{\frac{1}{2^m}}{1-\frac{1}{2}}=\dfrac{1}{2^{m-1}}$
また，二項定理により
$\displaystyle q_n=\Big(1+\dfrac{1}{n}\Big)^n =\sum_{k=0}^n\Big(\begin{array}{c}n\\k\end{array}\Big)\Big(\dfrac{1}{n}\Big)^k\\ \hspace{68pt}\displaystyle =1+\sum_{k=1}^n\dfrac{1}{k!}\Big(1-\dfrac{1}{n}\Big)\Big(1-\dfrac{2}{n}\Big)\cdots\Big(1-\dfrac{k-1}{n}\Big)\\ \hspace{68pt}\displaystyle \le 1+\sum_{k=1}^n\dfrac{1}{k!}\Big(1-\dfrac{1}{n}\Big)\\ \hspace{68pt}\displaystyle = \sum_{k=0}^n\dfrac{1}{k!}-\dfrac{1}{n}\sum_{k=1}^n\dfrac{1}{k!} = p_n-\dfrac{1}{n}\sum_{k=1}^n\dfrac{1}{k!}$
が成り立つから
$\displaystyle 0\le p_n-q_n\le\dfrac{1}{n}\sum_{k=1}^n\dfrac{1}{k!}\le\dfrac{1}{n}\sum_{k=1}^n\dfrac{1}{2^{k-1}} \le \dfrac{2}{n}$
これより $\displaystyle \lim_{n\to\infty}|p_n-q_n|=0$ であり，従って $(q_n)_{n\in\mathbf{N}}$ もCauchy列とわかる．
注： $[(p_n)_{n\in\mathbf{N}}]$ ， $[(q_n)_{n\in\mathbf{N}}]$ はNapier数 $e$ を表している(第6講問題5.参照)．
有理数列 $(p_n)_{n\in\mathbf{N}}$ ， $(q_n)_{n\in\mathbf{N}}$ を
$\displaystyle p_n=\sum_{k=1}^n\dfrac{1}{k^2}$

$\displaystyle q_n=\sum_{k=1}^n\dfrac{1}{(2k-1)^2}$
により定める．このとき， $(p_n)_{n\in\mathbf{N}}$ ， $(q_n)_{n\in\mathbf{N}}$ はともに有理Cauchy列であって， $\mathcal{C}(\mathbf{Q})$ において $[(3p_n)_{n\in\mathbf{N}}]=[(4q_n)_{n\in\mathbf{N}}]$ ，すなわち $\displaystyle \lim_{n\to\infty}|3p_n-4q_n|=0$ が成り立つことを示せ．

$m < n$ のとき
$\displaystyle 0 < p_n-p_m =\sum_{k=m+1}^n\dfrac{1}{k^2} \le\sum_{k=m+1}^n\dfrac{1}{k(k-1)} =\sum_{k=m+1}^n\Big(\dfrac{1}{k-1}-\dfrac{1}{k}\Big) =\dfrac{1}{m}-\dfrac{1}{n}$
また
$\displaystyle 0 < q_n-q_m =\sum_{k=m+1}^n\dfrac{1}{(2k-1)^2}\\ \hspace{53pt}\displaystyle\le\sum_{k=m+1}^n\dfrac{1}{(2k-1)(2k-3)}\\ \hspace{53pt}\displaystyle=\dfrac{1}{2}\sum_{k=m+1}^n\Big(\dfrac{1}{2k-3}-\dfrac{1}{2k-1}\Big) =\dfrac{1}{2}\Big(\dfrac{1}{2m-1}-\dfrac{1}{2n-1}\Big)$
ゆえ， $(p_n)_{n\in\mathbf{N}}$ ， $(q_n)_{n\in\mathbf{N}}$ はともにCauchy列である．さらに，任意に与えられた $\varepsilon\in\mathbf{Q}_+$ に対して
$m,n\ge N\ \Rightarrow\ |p_m-p_n| < \varepsilon$
となる $N\in\mathbf{N}$ をとり，各 $n\in\mathbf{N}$ について
$\displaystyle p_{2n}=\sum_{k=1}^{2n}\dfrac{1}{k^2} =\sum_{k=1}^n\dfrac{1}{(2k-1)^2}+\sum_{k=1}^n\dfrac{1}{(2k)^2} =q_n+\dfrac{1}{4}\sum_{k=1}^n\dfrac{1}{k^2} =q_n+\dfrac{1}{4}p_n$
が成り立つことに注意すると， $n\ge N$ のとき
$|4q_n-3p_n|=4|p_{2n}-p_n| < \varepsilon$
が成り立つことがわかり，これは $\displaystyle \lim_{n\to\infty}|4p_n-3q_n|=0$ を意味する．
注： $\displaystyle \lim_{n\to\infty}\sum_{k=1}^n\dfrac{1}{k^2}=\dfrac{\pi^2}{6}$ ， $\displaystyle \lim_{n\to\infty}\sum_{k=1}^n\dfrac{1}{(2k-1)^2}=\dfrac{\pi^2}{8}$ という事実はよく知られている．
$[(p_n)_{n\in\mathbf{N}}] < [(q_n)_{n\in\mathbf{N}}]$ を次のように定義してもよいか．
$\exists N\in\mathbf{N},\ n\ge N\ \Rightarrow\ p_n < q_n$

不可．例えば $p_n=\dfrac{1}{n}$ とすると $\displaystyle \lim_{n\to\infty}p_n=0$ ゆえ $[(p_n)_{n\in\mathbf{N}}]= [\,0\,]$ であるべきだが，この定義によると $[\,0\,] < [(p_n)_{n\in\mathbf{N}}]$ ということになってしまう．
$\mathcal{C}(\mathbf{Q})$ の演算を
$[(p_n)_{n\in\mathbf{N}}]+[(q_n)_{n\in\mathbf{N}}]\stackrel{\mathrm{def}}{=}[(p_n+q_n)_{n\in\mathbf{N}}]$

$[(p_n)_{n\in\mathbf{N}}]-[(q_n)_{n\in\mathbf{N}}]\stackrel{\mathrm{def}}{=}[(p_n-q_n)_{n\in\mathbf{N}}]$

$[(p_n)_{n\in\mathbf{N}}][(q_n)_{n\in\mathbf{N}}]\stackrel{\mathrm{def}}{=}[(p_nq_n)_{n\in\mathbf{N}}]$

$[(p_n)_{n\in\mathbf{N}}]/[(q_n)_{n\in\mathbf{N}}]\stackrel{\mathrm{def}}{=}[(p_n/q_n)_{n\in\mathbf{N}}]$
と直接定義することにより， $\mathcal{C}(\mathbf{Q})$ が順序体となることを示したい．この場合，どのような困難が生じるか検討せよ．

困難というほどではないが，次のような問題が生じる：まず商の定義においては，Cauchy列 $(p_n/q_n)_{n\in\mathbf{N}}$ は一つでも $q_n=0$ となる項があると定義できないので，そのような項を除く，といった断りが必要になる．また，この演算がwell-definedであること，順序と両立することを示すのは難しくはないが，かなり退屈で手間のかかる作業である．

集合

$\mathbf{R}^2=\{\,(x,y)\,|\,x,y\in\mathbf{R}\,\}$ における距離

$d$ を

$d((x,y),(x',y'))=\sqrt{(x-x')^2+(y-y')^2}$

により定める．

$\mathrm{(1)}$	$d$ が距離であることを示せ．
$\mathrm{(2)}$	この距離 $d$ に関する $\mathbf{R}^2$ におけるCauchy列はどのように定義されるべきか．
$\mathrm{(3)}$	この距離 $d$ に関して， $\mathbf{R}^2$ は完備な距離空間であるか．

$\mathrm{(1)}$	任意の $\mathbf{x},\mathbf{x}'\in\mathbf{R}^2$ に対して $d(\mathbf{x},\mathbf{x}')\ge0$ ， $d(\mathbf{x},\mathbf{x}')=0\ \Rightarrow\ \mathbf{x}=\mathbf{x}'$ $d(\mathbf{x},\mathbf{x}')=d(\mathbf{x}',\mathbf{x})$ が成り立つことは明らかであろうそうか？．例えば $(x-x')^2\ge0\quad (\forall x,x'\in\mathbf{R})$ $(x-x')^2+(y-y')^2=0\\ \hspace{50pt}\Rightarrow\ x-x'=y-y'=0$ などは順序体の一般的性質である．任意の $\mathbf{x},\mathbf{x}',\mathbf{x}''\in\mathbf{R}^2$ に対して三角不等式 $d(\mathbf{x},\mathbf{x}'')\le d(\mathbf{x},\mathbf{x}')+d(\mathbf{x}',\mathbf{x}'')$ が成り立つことを示す． $a,a',b,b'\in\mathbf{R}$ に対して Schwarzの不等式 $\|aa'+bb'\| \le \sqrt{a^2+b^2}\sqrt{{a'}^2+{b'}^2}$ 詳しく！これは $(a^2+b^2)({a'}^2+{b'}^2)-(aa'+bb')^2\\ \hspace{50pt}=a^2{b'}^2+{a'}^2b^2-2aa'bb'\\ \hspace{50pt}=(ab'-a'b)^2$ により確かめられる．により $(a+a')^2+(b+b')^2=a^2+{a'}^2+b^2+{b'}^2+2aa'+2bb' \\ \hspace{85pt}\le a^2+{a'}^2+b^2+{b'}^2+2\sqrt{a^2+b^2}\sqrt{{a'}^2+{b'}^2}\\ \hspace{85pt}= (\sqrt{a^2+b^2}+\sqrt{{a'}^2+{b'}^2})^2$ すなわち $\sqrt{(a+a')^2+(b+b')^2}\le \sqrt{a^2+b^2}+\sqrt{{a'}^2+{b'}^2}$ が成り立つことがわかるから $a=x-x'$ ， $a'=x'-x''$ ， $b=y-y'$ ， $b'=b'-b''$ として $\sqrt{(x-x'')^2+(y-y'')^2}\le \sqrt{(x-x')^2+(y-y')^2}+\sqrt{(x'-x'')^2+(y'-y'')^2}$ が得られる．
$\mathrm{(2)}$	一般に，距離空間におけるCauchy列は次のように定義される： $\forall \varepsilon > 0,\ \exists N\in\mathbf{N},\ m,n\ge N\ \Rightarrow\ d(\mathbf{x}_m,\mathbf{x}_n) < \varepsilon$
$\mathrm{(3)}$	完備な距離空間である．実際， $\big(\,(x_n,y_n)\,\big)_{n\in\mathbf{N}}$ を $\mathbf{R}^2$ のCauchy列とすると，任意の $\varepsilon > 0$ に対して $m,n\ge N\ \Rightarrow\ \sqrt{(x_m-x_n)^2+(y_m-y_n)^2} < \varepsilon$ となる $N\in\mathbf{N}$ がとれるが $\|x_m-x_n\|\le \sqrt{(x_m-x_n)^2+(y_m-y_n)^2}$ $\|y_m-y_n\|\le \sqrt{(x_m-x_n)^2+(y_m-y_n)^2}$ に注意すると $(x_n)_{n\in\mathbf{N}}$ ， $(y_n)_{n\in\mathbf{N}}$ はともに $\mathbf{R}$ のCauchy列であることがわかる．よって， $\mathbf{R}$ の完備性より $x,y\in\mathbf{R}$ が存在して $\displaystyle \lim_{n\to\infty}x_n=x$ ， $\displaystyle \lim_{n\to\infty}y_n=y$ が成り立ち，従って $\displaystyle d((x,y),(x_n,y_n))=\sqrt{(x-x_n)^2+(y-y_n)^2}\le \|x-x_n\|+\|y-y_n\|$ で $n\to\infty$ とすれば $\displaystyle \lim_{n\to\infty}d((x,y),(x_n,y_n))=0$ すなわち $\mathbf{R}^2$ において $\displaystyle \lim_{n\to\infty}(x_n,y_n)=(x,y)$ となる．

第7講 有理数体の完備化

第7講　有理数体の完備化