実数の連続性（定理1.6）

定理1.6（実数の連続性）

　が実数の切断のとき，に属する最大の実数が存在するか，またはに属する最小の実数が存在する．

定理の主張

　本定理の主張は，記事タイトルの通り，実数は連続しているということだ．しかし，定理の字面を真正面に受け取ってもそのようには読めない．いったいどういうことなのか．

　について以下のとおりに整理できる． （, は最大値，最小値を意味する．）

(1)	有	有	実数の切断の定義より，ありえない．
(2)	有	無	可能性あり．
(3)	無	有	可能性あり．
(4)	無	無	可能性あり．

実数の切断における最大／最小値の可能性を整理．

　本定理は，(2),(3)のいずれかであり，(4)ではないことを主張している．有理数の切断()と有理数が連続でない（すき間がある）関係を考えるとわかりやすい．

(1)’	有	有	有理数の切断の定義より，ありえない．
(2)’	有	無	有理数の切断の定義より，ありえない．
(3)’	無	有	有理数と同値．
(4)’	無	無	無理数．有理直線上のすき間．

有理数の切断における最大／最小値の整理．

　有理数の切断を考えた場合，(4)‘はすき間があるということだった． 実数の切断でも同様に考えて，(4)の場合が否定できると，実数にすき間がないことになり， 連続であることが言える．

証明の考え方

　以下の命題を示せばよい．

実数の連続性

　どんな実数の切断においても，すき間がない． （すなわち，に最大の実数が存在するか，もしくはに最小の実数が存在する．）

　背理法により示す．すなわち，

と仮定し，矛盾を示す．（この仮定が成立したらすき間があるということだから．）

1. すき間付近の実数を構成する．

   　に対し， ，， を考える． が有理数の切断であることを確かめる．なぜなら， に最大の有理数が存在するかどうかわかっていないから．

   　は空集合ではないので，も空集合ではない． とすると，であり， 実数の切断の定義より，． よって，有理数の切断の条件を満たす．

   　に最大の有理数が存在したとすると，でもあることと， 背理法の仮定からに最大の実数がないので，なる実数がある． このとき定理1.4より，なる有理数が存在する． しかしはの最大の有理数であると仮定したので，矛盾する． よって，は最大の有理数は存在しない．つまり，有理数の切断の条件2.を満たす．

   　以上により，は有理数の切断（実数）である．

2. 矛盾を示す．

   　は実数であり， 実数の切断においてはもしくはである．

   　とする．に最大の実数はないので， なる実数が存在する． 定理1.4より，なる有理数がある． なので，だが，なので， つまりのはず．矛盾する．つまり．

   　とする．に最小の実数はないので， なる実数が存在する． 定理1.4より， なる有理数がある． なので，だが，なので， つまりのはず．矛盾する． つまり．

   　以上から実数が実数の切断のどちらにも属さない矛盾が発生した．

　したがって，背理法により実数にはすき間がない（連続である）．

復習ノート

• 実数の切断と有理数の切断は何が違うのだろうか．