6
大学数学基礎解説
文献あり

√2は実数か?

1135
1

ごあいさつ

こんにちは!はっぴーたーんです!

今回は、2という実数が存在することを示していきたいと思います!元ネタはこちらの記事 Ohrui になります〜

それでは、やっていきましょ〜

本題

今回示していくのは次の主張になります!

2の存在)

Rを実数体とする. このとき, 次の条件を満たす元aRが存在する:

  • a0,
  • a2=2.

(また, この条件を満たす実数は唯一であることから, これを2と表す)

巷でよく見かける「2は無理数である」の証明では主に「2が有理数でない」という議論にのみに焦点が当てられており、肝心の「(そもそも)2という実数が存在する」という部分が省略されていることから、ちゃんとした証明を説明していこう、というのが今回の趣旨です〜

ちなみに、元ネタの記事 Ohrui では、肝心の部分の議論がいつも省略されていることに文句を言っているにもかかわらず、何故か記事内でも肝心の部分をよく知られた事実として証明を省略する、というよく分からない構成になっています…🤔

もし、高校数学の範囲の知識をフルに用いて良ければ「中間値の定理」を事実として用いる(あるいは「中間値の定理」自体を「実数の連続性の公理(後述)」として採用する)ことで証明することが出来ます。(今回は元ネタの記事で証明が放棄されている部分を解説することが目的なので、こちらの方法についてはこれ以上触れません。正直、中間値の定理を用いた証明の方が簡単ですが…)

それでは、この主張を証明していきたいのですが、まずは証明の際に用いる実数の定義と(その性質)を思い出しておきたいと思います〜

(実数体)

F=(F,+,)が次の条件を満たす全順序を持つとき, 組(F,+,,)のことを 順序体 という:

  • 任意のa,b,cFについて, abならばa+cb+cである.
  • 任意のa,b,cFについて, abかつ00ならばacbcである.

さらに, 次の条件を満たす順序体Fのことを 実数体 という:

  • (連続性の公理)Fの空でない上に有界な部分集合は上限をもつ.

実は、実数体の定義を満たす順序体は同型を除いてただ一つであることが知られているので、それを(1つ固定して)Rと表している、というのが我々が普段利用している実数の正体になります〜

今回は、この「実数体は同型を除いてただ一つであること」や「実数体(の定義を満たす順序体)を構成できること」「順序体は有理数体Qの構造を自然に部分体として持つこと」「連続性の公理と中間値の定理が同値であること」といった、実数体に関してよく知られた事実の解説は(本題からあまりにも脱線してしまうので)省略します。 詳しく知りたい人は、例えばこちらの資料 hara が参考になると思います!


それでは、2の存在の証明の話に戻りたいと思います。今回は、元ネタの記事の方法に倣ってA:={xR:x22}とおいてa:=supA2の条件を満たすことを見ていきます〜

まず、明らかに0A[2,2]であることから、この集合は上に有界で空でないので、先ほどの連続性の公理からaの存在が保証されていることに注意します。また、ここから0aであることも直ちに従います。

なので、あとはa2=2を確認すれば良い、ということになります!

そのために、まずは次の主張を確かめていきましょ〜

主張1

a22.

ε>0を任意に取ると, aε/2aAの上界ではないので, aε/2a<rなるrAが存在する. このとき,

a2ε(aε/2a)2r22

なので, ε>0の任意性よりa22であることが分かる.

(証明終)

つまり、aAの最大元であることがこの主張から分かります。このことを利用して、反対側の不等号も確かめていきましょ〜

主張2

2a2.

1>ε>0を任意に取ると, a+ε/(2a+1) (>a)Aの元ではないので

2<(a+ε/(2a+1))2=a2+2a2a+1ε+ε(2a+1)2εa2+2a+12a+1ε=a2+ε

となり, 1>ε>0の任意性より2a2であることが分かる.

(証明終)

以上から、a2=2であることが確かめられました!

おわりに

いかがでしたか?それでは、平和で楽しいMathlogライフを〜

参考文献

投稿日:20231023
更新日:20231125
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

北田均・現代数学社『数理解析学概論』新訂版序文の「ほぼ独学と思われる熱心な読者」(通称「序文と初等的弱解の人」「序文の人」)こと、大類昌俊 (おおるい まさとし, Masatoshi OHRUI) さんと彼のサイト「序文とあとがきの人のブログ」に関する話題をメインに記事を投稿しています! 誹謗中傷や低評価による嫌がらせはお止め下さい。 🧞‍♂️類憐憫令

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中