Excel VBA 数学教室ではアフィリエイトプログラムを利用して商品を紹介しています。
アルキメデスの原理（Archimedean Property）
上に有界な単調増加数列が収束するという定理から次のアルキメデスの原理を導くことができます。
任意の正の実数 について、 を満たす自然数 が少なくとも１つは存在する。
たとえば としてみると、 をとれば
となります。もちろん は でも でもいいのです。要はそういう が存在するということです。なんだか当たり前のことを言っているに過ぎないように思えますが、この定理は としたときに有効にはたらきます。アルキメデスの原理によると、どれほど大きな に対しても
が成り立っているのですから、 を無限に大きくすると もやはり無限大となるはずです。つまりアルキメデスの原理は極限記号を用いて
と書き換えることができます。 とすると
ですね。またアルキメデスの原理によって の逆数について
が任意の 、つまりどれほど小さな についても成り立っているので、
がいえます。
アルキメデスの原理の証明
アルキメデスの原理の証明には背理法を用います。
で表される数列 の上界に があるとします。
上に有界な数列は上限（上界の最小値） に収束します。つまりすべての自然数について
が成り立っています。 は正の実数なので は数列 の上界ではありません。つまり
となるような自然数 が存在します。つまり
となり、上限であるはずの を超える が存在することになって矛盾します。したがって は上界ではなく、 を満たす自然数 が存在することになります。
エクセルや数学に関するコメントをお寄せください
こんにちは。わかりやすい説明のおかげで助かっております。”na≧u”のuが一体何を表していてどこからきたのかがわかりません…！教えていただけないでしょうか。よろしくお願いいたします。
申し訳ありません。こちらのミスです。
この記事がこちらに掲載している「単調増加数列が収束することの証明」を前提に執筆したので、そこで使用された上限 u = supA の記号を使ってしまいました。この記事では上限を u ではなく s で表していますね。同じ記号を使えばよかったのですが、ずいぶん昔に書いた記事なので、どうして異なる記号を使ったのか、よく憶えていません … 。しかも不等号の向きも逆になっていました。na ≧ u ではなく、na ≦ s です。すでに、この記事は修正しておきました。本当に申し訳ありませんでした。
理解しました！ありがとうございます。
講義で扱った証明が分かりづらいものであったので、分かり易い証明を掲載してくださりとても助かっています。
1つ疑問に思ったですが
s=sup{a_n | n∈R} に収束ではなく、
s=sup{a_n | n∈N} ではないのでしょうか。
初学者なもので恐縮ですが、もし私の疑問が間違っていたら、なぜアルキメデスの原理ではnを自然数として定義しているのに、ここでは実数Rに属するのか教えていただきたいです。
コメントありがとうございます。
このサイトを数学の勉強に役立ててもらえると私も嬉しいです。
御指摘の通り、正しくは s=sup{a_n | n∈N} です。
記事は修正させていただきました。
誠に申し訳ありませんでした。