ごあいさつ
こんにちは!はっぴーたーんです!
今回は、という実数が存在することを示していきたいと思います!元ネタはこちらの記事 Ohrui になります〜
それでは、やっていきましょ〜
本題
今回示していくのは次の主張になります!
(の存在)
を実数体とする. このとき, 次の条件を満たす元が存在する:
(また, この条件を満たす実数は唯一であることから, これをと表す)
巷でよく見かける「は無理数である」の証明では主に「が有理数でない」という議論にのみに焦点が当てられており、肝心の「(そもそも)という実数が存在する」という部分が省略されていることから、ちゃんとした証明を説明していこう、というのが今回の趣旨です〜
ちなみに、元ネタの記事 Ohrui では、肝心の部分の議論がいつも省略されていることに文句を言っているにもかかわらず、何故か記事内でも肝心の部分をよく知られた事実として証明を省略する、というよく分からない構成になっています…🤔
もし、高校数学の範囲の知識をフルに用いて良ければ「中間値の定理」を事実として用いる(あるいは「中間値の定理」自体を「実数の連続性の公理(後述)」として採用する)ことで証明することが出来ます。(今回は元ネタの記事で証明が放棄されている部分を解説することが目的なので、こちらの方法についてはこれ以上触れません。正直、中間値の定理を用いた証明の方が簡単ですが…)
それでは、この主張を証明していきたいのですが、まずは証明の際に用いる実数の定義と(その性質)を思い出しておきたいと思います〜
(実数体)
体が次の条件を満たす全順序を持つとき, 組のことを 順序体 という:
- 任意のについて, ならばである.
- 任意のについて, かつならばである.
さらに, 次の条件を満たす順序体のことを 実数体 という:
- (連続性の公理)の空でない上に有界な部分集合は上限をもつ.
実は、実数体の定義を満たす順序体は同型を除いてただ一つであることが知られているので、それを(1つ固定して)と表している、というのが我々が普段利用している実数の正体になります〜
今回は、この「実数体は同型を除いてただ一つであること」や「実数体(の定義を満たす順序体)を構成できること」「順序体は有理数体の構造を自然に部分体として持つこと」「連続性の公理と中間値の定理が同値であること」といった、実数体に関してよく知られた事実の解説は(本題からあまりにも脱線してしまうので)省略します。 詳しく知りたい人は、例えばこちらの資料 hara が参考になると思います!
それでは、の存在の証明の話に戻りたいと思います。今回は、元ネタの記事の方法に倣ってとおいてがの条件を満たすことを見ていきます〜
まず、明らかにであることから、この集合は上に有界で空でないので、先ほどの連続性の公理からの存在が保証されていることに注意します。また、ここからであることも直ちに従います。
なので、あとはを確認すれば良い、ということになります!
そのために、まずは次の主張を確かめていきましょ〜
を任意に取ると, はの上界ではないので, なるが存在する. このとき,
なので, の任意性よりであることが分かる.
(証明終)
つまり、はの最大元であることがこの主張から分かります。このことを利用して、反対側の不等号も確かめていきましょ〜
を任意に取ると, はの元ではないので
となり, の任意性よりであることが分かる.
(証明終)
以上から、であることが確かめられました!
おわりに
いかがでしたか?それでは、平和で楽しいMathlogライフを〜