[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
728(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)08:37 ID:s6Tab8iq(6/15) AAS
>>725 つづき
<ノイマン構成>にしろ、<Zermelo構成>にしろ
0,1,2,3,・・・たちを集合として見たら
上昇列：0∈1∈2∈3∈4∈…
が構成される
これは、可算無限長の上昇列
で、<ノイマン構成>と<Zermelo構成>とは、一対一対応がつくのです
自然数は「後者関数について閉じていて、0 を含む M の部分集合の共通部分」（>>725）
とあるように、無限集合の公理によりできる集合 M には、自然数Nに余分な（過剰）要素が存在する
（だから、無限集合（＝後者関数について閉じていて）で、共通部分に絞って、過剰要素を落とすのです）
省13
729(4): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)08:50 ID:s6Tab8iq(7/15) AAS
>>728 補足
ノイマン構成で、下記のカントールの順序数が構成できる
具体的には、ノイマン構成で順序数ωが構成できる
（当たり前だが）
ノイマン構成とZermelo構成とは、その構成法から、一対一対応がつく
（∵ 後者関数が少し違うだけなので、順序列としては当然同型になる（∈列として同型））
よって、Zermelo構成で順序数ωが構成できる
順序数ωを簡便に表現すれば、例えば {{…}} ってことです
（この簡便化した表現をいくら攻撃しても、Zermelo構成の順序数ωの存在は否定できないよ）
QED（＾＾
省9
740(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)15:31 ID:s6Tab8iq(10/15) AAS
>>739
＞”「集合のいかなる∈列も有限長で終わる」
じゃ、>>728の
<ノイマン構成>
0,1,2,3,・・・たちを集合として見て
可算無限長の上昇列
0∈1∈2∈3∈4∈…
（当然この列は、ωを超えて延長可能（>>729ご参照））
が否定されるぞｗ（＾＾
おサルよｗｗ
783(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/15(日)11:03 ID:BvQtIPz4(3/5) AAS
>>775 補足
(>>725より)
<ノイマン構成>
0 := {}, suc(a) :=a∪{a} と定義する
0 := {}
1 := suc(0) = {0} = {{}}
2 := suc(1) = {0, 1} = {0, {0}} = { {}, {{}} }
3 := suc(2) = {0, 1, 2} = {0, {0}, {0, {0}}} = { {}, {{}}, { {}, {{}} } }
等々
(>>728より)
<ノイマン構成>にしろ、<Zermelo構成>にしろ
0,1,2,3,・・・たちを集合として見たら
上昇列：0∈1∈2∈3∈4∈…
が構成される
(>>690より)
１．無限公理を適用して、全ての後者関数を含む無限集合の存在を認める
２．そうすると、無限集合はできるが
このままでは、過剰な後者を含んでいる
欲しいのは、ジャスト自然数の集合N
３．従って、自然数集合Nには不要な、過剰な後者を取り除きます
で、<ノイマン構成>で自然数集合Nができる
N：＝{0,1,2・・n・・} （全ての有限の自然数nを集めたもの）
当然、要素の全ての有限の自然数nは、後者関数により生成されている
上昇列：0,1,2・・n・・
これは、可算無限長だが、整礎であり、正則性公理には反しない
省13
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s