[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
620(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/02(月)17:13 ID:7XXWjS4V(6/8) AAS
>>619
つづき
形式的な定義
自然数の公理
自然数がどんなものかは子供でも簡単に理解できるが、その定義は簡単ではない。自然数を初めに厳密に定義可能な公理として提示されたものにペアノの公理があり（1891年、ジュゼッペ・ペアノ）、以下のように自然数を定義することができる。
1 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。
最後の公理は、数学的帰納法を正当化するものである。また、上の公理に現れる数字は 1 だけであり、自然数 1 からすべての自然数が作り出されることを意味している。一方、この公理の "1" を "0" に置き換えれば、自然数 0, 1, 2, 3, … を作り出せる。
集合論において標準的となっている自然数の構成は以下の通りである。
・自然数は「後者関数について閉じていて、0 を含む M の部分集合の共通部分」として定義される。
無限集合の公理により集合 M が存在することが分かり、このように定義された集合がペアノの公理を満たすことが示される。 このとき、それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。
このように定義された集合 n は丁度（通常の意味で）n 個の元を含むことになる。また、これは有限順序数の構成であり、（通常の意味で）n <= m が成り立つことと n が m の部分集合であることは同値である。
加法と乗法
加法、乗法とも (i) 0 に対する演算結果を定義し、(ii) ある自然数 b に対する演算結果を用いてその次の自然数 suc(b) に対する演算結果を定義する、と言う形式になっている。(i), (ii) をあわせることで、あらゆる自然数に対する演算結果が一意に得られることになる（数学的帰納法）。
自然数は加法について、0 を単位元とする可換モノイドになっている。また、乗法についても、1 を単位元とする可換モノイドになっている。
(引用終り)
以上
上下前次1-新書関写板覧索設栞歴
あと 382 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.028s