Inter-universal geometry と ABC予想 (応援スレ) 60at MATH
Inter-universal geometry と ABC予想 (応援スレ) 60 - 暇つぶし2ch62:132人目の素数さん
21/10/09 09:35:57.04 JOKI/wgx.net
>>58
>スレリンク(math板:265番)
また、ボコボコにされたいのか?
それ、スレリンク(math板:944番) Inter universal geometryとABC予想(応援スレ)
で、ツェルメロの可算多重シングルトンの話だったよね
下記引用を使って、再度説明するよ
URLリンク(ja.wikipedia.org)
自然数
集合論において標準的となっている自然数の構成は以下の通りである。
・空集合を 0 と定義する。
 0 := {}
・任意の集合 a の後者は a と {a} の合併集合として定義される。
 suc(a):=a∪{a}
・0 を含み後者関数について閉じている集合のひとつを M とする。
・自然数は「後者関数について閉じていて、0 を含む M の部分集合の共通部分」として定義される。
無限集合の公理により集合 M が存在することが分かり、このように定義された集合がペアノの公理を満たすことが示される。 このとき、それぞれの自然数は、その数より小さい自然数全てを要素とする数の集合、となる。
0 := {}
1 := suc(0) = {0} = {{}}
2 := suc(1) = {0, 1} = {0, {0}} = { {}, {{}} }
3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { {}, {{}}, { {}, {{}} } }
等々である[3]。
以上の構成は、自然数を表すのに有用で便利そうな定義を選んだひとつの結果であり、他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。
例えば、0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる。
(引用終り)
つづく


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch