現代数学の系譜工学物理雑談古典ガロア理論も読む76

現代数学の系譜工学物理雑談古典ガロア理論も読む76at MATH

現代数学の系譜工学物理雑談古典ガロア理論も読む76 - 暇つぶし2ch679:ｷべての自然数はその性質を満たす。最後の公理は、数学的帰納法を正当化するものである。また、上の公理に現れる数字は 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を表示