• 検索結果がありません。

10. 自然数 彌永昌吉「数の体系(上)」岩波新書

N/A
N/A
Protected

Academic year: 2021

シェア "10. 自然数 彌永昌吉「数の体系(上)」岩波新書"

Copied!
4
0
0

読み込み中.... (全文を見る)

全文

(1)

10. 自然数

彌永昌吉「数の体系(上)」岩波新書, 1972

(2)
(3)

※ ペアノの公理(だけ)を用いて次の問題に答えよ.

問題 1.

𝑀 = {𝑥 ∈ 𝐍 | 𝑥 ≠ 𝜑(𝑥)} とおく. 𝑀 = 𝐍 を示せ. このことから, すべての 𝑥 ∈ 𝐍 は 𝑥 ≠ 𝜑(𝑥)

を満たすことがわかる.

問題 2.

𝐍 = {1} ∪ 𝜑(𝐍) かつ {1} ∩ 𝜑(𝑁) = ∅

を示せ.

問題 3. [ハノイの塔] 上の図に示すように, 3 本の柱があり, 第 1 の柱には半径の異なる円板が大きさの 順に積み重ねられて塔をなしている. この塔を, 第 2 の柱を補助にしながら第 3 の柱にそっくり移動す ることを考える. ただし, 移動に際しては次の制約がある.

a) 1 回の移動では, いずれかの柱にある最上部の円板 1 枚だけを他の柱に移動して上に重ねるこ とができる.

b) 移動してきた円板は, それよりも小さな円板の上に重ねてはならない.

上のルールに基づいて, 第 1 の柱に積み上がった円盤を第 3 の柱にすっかり移すことが可能であること を証明せよ. (第 1 の柱に積み上がった円盤の枚数

𝑛

に関する数学的帰納法を用いよ.)

問題 4. 問題 3 において, 移動に必要な最小の手数は

2

𝑛

− 1

であることを証明せよ. (これも数学的帰 納法による.)

問題 5. [オマケ] 壮大な伝説「ブラーマの塔」では、3 本の柱はダイヤモンドでできており, 第 1 の柱 には純金でできた 64 枚の円盤が積み上がっている. 神に命じられた僧侶たちは, 上のルールに基づい て, すべての円盤を第 3 の柱に移す仕事を昼夜を問わず実行しなければならない. そして, その仕事が 完遂したとき, 塔は崩れ落ち, 世界が終焉を迎えるという. 僧侶が無駄のない素晴らしい働きをし, 純 金の円盤 1 枚の移動を 1 秒でこなせば, 世界の終焉を迎えるまでの時間は

2

64

− 1 秒となる. これは

およそ何年になるか, 計算せよ.

(4)

11. 整数・有理数・実数

自然数:加法と順序

整数:加法に関して「群」になる. 乗法を合わせて「環」になる. 自然数の順序が拡張される.

有理数:加法と乗法を合わせて「体」になる. 整数の順序が拡張される. 順序体という.

実数:有理数の隙間を埋める.

a) 加法と乗法を合わせて「体」になる.

b) 有理数の順序が拡張されて「順序体」になる.

c) デデキントの連続性公理を満たす.

つまり, 任意の切断

(𝐴, 𝐵) に対して, ある 𝑥 が存在して,

𝑎 ∈ 𝐴 ⟹ 𝑎 ≤ 𝑥

かつ

𝑏 ∈ 𝐵 ⟹ 𝑥 ≤ 𝑏

が成り立つ.

【参考書】

[1] 彌永昌吉:「数の体系(上)(下)」岩波新書, 1972.

これは平易に書かれているが, 自分で再構成しながらしっかり読み込めば, 数の数学的な基礎付け を通して数学の考え方が身につくだろう.

[2] 松村英之:「集合論入門」朝倉書店, 2004 (復刊).

主に§3.3 と §3.8 を見よ. 本書は, 集合・濃度・順序を扱った教科書である.

[3] ランダウ(蟹江訳):「数の体系―解析の基礎」丸善出版, 2014.

原著は 1929 年に出版されており, ペアノの公理から出発して自然数から実数までを一貫して構成 する理論は当時では最先端の考え方であった. 緻密な議論を一歩一歩積み上げる様子が見て取れ る. 数学は単なる計算技術ではないし, 数学の問題は答が用意されているわけでもない. 数学の本 質は何かを作り出す創造性にある.

今後の予定

7 月 3 日(火) 自然数

7 月 10 日(火) 整数・有理数・実数 7 月 31 日(火) 試験

参照

関連したドキュメント

これはつまり十進法ではなく、一進法を用いて自然数を表記するということである。とは いえ数が大きくなると見にくくなるので、.. 0, 1,

このように、このWの姿を捉えることを通して、「子どもが生き、自ら願いを形成し実現しよう

このような情念の側面を取り扱わないことには それなりの理由がある。しかし、リードもまた

幕末維新期に北区を訪れ、さまざまな記録を残した欧米人は、管見でも 20 人以上を数える。いっ

えて リア 会を設 したのです そして、 リア で 会を開 して、そこに 者を 込 ような仕 けをしました そして 会を必 開 して、オブザーバーにも必 の けをし ます

としても極少数である︒そしてこのような区分は困難で相対的かつ不明確な区分となりがちである︒したがってその

以上の基準を仮に想定し得るが︑おそらくこの基準によっても︑小売市場事件は合憲と考えることができよう︒

られる。デブリ粒子径に係る係数は,ベースケースでは MAAP 推奨範囲( ~ )の うちおよそ中間となる