logo

実数の密度の証明 📂解析学

実数の密度の証明

サマリー

二つの実数 a<ba<b に対して、a<r<ba<r<b を満たす rRr \in \mathbb{R} が存在する。

説明

実数空間において、どんな区間を考えても、その間には必ず別の実数が存在する。どれだけ小さく分割しても、さらに分割可能な点があるということだ。明らかに思えるが、これは明らかではないだけでなく、非常に抽象的な性質であることを心に留めておこう。例えば、物理学で扱う物質やエネルギーでさえ、小さく分割していくとその限界がある。

証明

戦略: 証明は、有理数と無理数についてそれぞれ分けて行う。2つの実数の間に有理数が存在し、同時に無理数も存在すれば、証明は完了する。「一般性を失わずに(without loss of generality)」という表現は証明に登場する正の数がいつでも実数の差で表現できるため、00 以下の数を特に考える必要がないために言及される。例えば、証明が二つの負の数 c<d<0c < d < 0 から始まっても、不等式が成り立つ限り、dc>0d - c > 0 のように正の数を作ることができる。

必要な前提は以下の通り。

体の公理:

  • (A1) 加法に対する閉性: a+bRa+b \in \mathbb{R}
  • (A5) 加法に対する逆元: a+(a)=(a)+a=0a + (-a) = (-a) + a = 0 を満たす (a)(-a) が存在
  • (M1) 乗法に対する閉性: abRa\cdot b \in \mathbb{R}
  • (M5) 乗法に対する逆元: aa1=a1a=1a \cdot a^{-1} = a^{-1} \cdot a = 1 を満たす a1{a^{-1}} が存在
  • (D) 分配法則: a(b+c)=ab+aca \cdot (b + c) = a \cdot b + a \cdot c

順序公理:

  • 加法性: a<ba<b かつ cRc\in \mathbb{R} ならば a+c<b+ca+ c< b + c
  • 乗法性: a<ba<b かつ c>0c>0 ならば ac<bcac< bc 、もしくは c<0c<0 ならば ac>bcac> bc

アルキメデスの原理: 正の数 aa と実数 bb に対して、an>ban>b を満たす 自然数 nn が存在する。


  • パート1. 有理数の密度 1

    a<q<ba<q<b を満たす qQq \in \mathbb{Q} が常に存在することを示そう。一般性を失わずに、0<a<b0 < a < b を満たす正の数 (ba)>0(b-a) > 0 と実数 1R1 \in \mathbb{R} を考えると、アルキメデスの原理の不等式を満たす 自然数集合 {nN:(ba)n>1}\left\{ n \in \mathbb{N} : (b-a) n > 1 \right\} が存在し、加法に対する逆元の存在性、閉性と分配法則、加法性により bnan>1    an+1<bn    an<an+1<bn bn-an > 1 \implies an + 1 < bn \implies an < an + 1 < bn とわかる。ananbnbn の差が 11 より大きいため、その間には少なくとも一つの整数が存在し、それを mm とすれば an<m<bn an < m < bn 両辺に nn の乗法に対する逆元 n1n^{-1} を掛けると次を得る。 a<mn<b a < {{ m } \over { n }} < b ここで、q:=mn\displaystyle q := {{ m } \over { n }} にすると、qq は「自然数の比」つまり有理数であり、次の不等式を得る。 a<q<b a < q < b

  • パート2. 無理数の密度

    a<ξ<ba<\xi<b を満たす ξQc\xi \in \mathbb{Q^{c}} が常に存在することを示そう。一般性を失わずに、0<a<b0 < a < b を満たす実数と無理数 c>0c>0 を考えると、a<ba<b であれば ac<bcac<bc となる。実数は乗法に対して閉じているので、acacbcbc も実数であり、有理数の密度により、ac<q<bcac<q<bc を満たす有理数 q0q \ne 0 が存在する。ac<q<bcac<q<bc の両辺に cc の乗法に対する逆元 1c\displaystyle {1 \over c} を掛けると次のようになる。

    a<qc<b a<{q \over c}<b

    ここで、ξ:=qc\displaystyle \xi := {q \over c} にすると、ξ\xi00 でない有理数と無理数の積なので無理数であり、次の不等式を得る。

    a<ξ<b a<\xi<b