§5 無理数 (その 3)

前節では正の有理数を二つのクラス \(L\) と \(R\) に分割した。このとき (i) \(R\) の全ての要素は \(L\) のどんな要素よりもより大きく、(ii) \(L\) の要素と \(R\) の要素の組であって差が好きなだけ小さいものを取ることができ、(iii) \(L\) は最大要素を持たず、\(R\) は最小要素を持たない。直線の常識的な性質や初等幾何と初等代数からの要請といったものを考えると、\(\bm{L}\) の全ての要素よりも大きく \(\bm{R}\) の全ての要素よりも小さい数 \(\bm{x}\)、および \(\bm{L}\) に対応する点と \(\bm{R}\) に対応する点を分ける \(\bm{\Lambda}\) 上の点 \(\bm{P}\) の存在が必要となる。

そのような数 \(x\) が存在して代数法則に従うと一時的に仮定する。この仮定の下では例えば \(x^{2}\) が明確な意味を持ち、\(x^{2}\) は \(2\) とちょうど等しい。もし \(x^{2}\) が \(2\) よりも小さいとすると、前節の議論から有理数 \(\xi\) であって \(\xi^{2}\) が \(x^{2}\) と \(2\) の間にあるものが存在する、つまり \(x\) よりも大きい \(L\) の要素を見つけられるが、これは \(x\) が \(L\) と \(R\) の要素を分けるという仮定と矛盾する。したがって \(x^{2}\) は \(2\) より小さくなりえず、同様に \(2\) よりも大きくなりえない。よって \(x^{2} = 2\) と結論でき、代数ではこの数 \(x\) を \(\sqrt{2}\) と表記する。二乗して \(2\) になる有理数は存在しないので、もちろん \(\sqrt{2}\) は有理数でない。\(\sqrt{2}\) は無理数 (irrational number) の一番単純な例である。

以上の議論は \(x^{2} = 2\) 以外の方程式にもそのまま適用できる。例えば完全平方数でない自然数 \(N\) についての \(x^{2} = N\)、あるいは \[ x^{3} = 3,\quad x^{3} = 7,\quad x^{4} = 23 \] といった方程式、さらに後述するように \(x^{3} = 3x + 8\) のような方程式にも適用できる。そのためこういった方程式を満たす無理数 \(x\) やそれに対応する \(\Lambda\) 上の点 \(P\) の存在も私たちは信じることになる。こういった長さは (\(\sqrt{2}\) と違って) 初等幾何学の方法で構成できないにもかかわらずである。

読者は他の講義も受けているかもしれない。もし望むなら、\(\sqrt{2}\) や \(\sqrt[3]{3}\) といった「無理数」が存在して、読者もよく知っているであろう代数法則も成り立つものだと仮定してしまってもよい¹。もしそうするなら、次の節からの抽象的な議論を飛ばして §13 まで進んで構わない。

一方でそのような素朴な態度を取る気にならないのであれば、こういった問題をより詳しく議論する以降の節を注意深く読むよう強く勧める²。

1. この考え方はこの本の第一版から採用している。^[return]

2. これらの節はブロムウィッチ著 Infinite Series, Appendix I から取った。^[return]