[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
310(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/12(土)22:05 ID:0oc9Ztsl(25/28)調 AAS
>>309
http://mickindex.（URLがNGなので、キーワードでググれ（＾＾ ）
ミック
再帰集合とSQL 2017/06/22
(抜粋)
色々な自然数の帰納的定義
ノイマン型
0 = Φ
1 = {0} = {Φ}
2 = {0, 1} = {Φ, {Φ}}
3 = {0, 1, 2} = {Φ, {Φ}, {Φ, {Φ}}}
・
ツェルメロ型
0 = Φ
1 ={Φ}
2 ={{Φ}}
3 ={{{Φ}}}
(引用終り)
で、ちょっと多く{Φ}に関する部分だけを取り出して、書くと
0 Φ
1 {Φ}
2 {Φ, {Φ}}
3 {Φ, {Φ}, {Φ, {Φ}}}
4 {Φ,{Φ},{Φ,{Φ}},{Φ,{Φ},{Φ,{Φ}}}}
5 {Φ,{Φ},{Φ,{Φ}},{Φ,{Φ},{Φ,{Φ}}},{Φ,{Φ},{Φ,{Φ}},{Φ,{Φ},{Φ,{Φ}}}}}
・
・
ここで、分出公理を使って、例えば「3」で、
{Φ, {Φ}, {Φ, {Φ}}}ですが
一番右{Φ}}}}だけを残して、
他の「 Φ, {Φ}, {Φ, 」を取り除く
すると、{{{Φ}}}となります。
これは、つまり、これはツェルメロ型の構成なのです
つまり
2 {Φ, {Φ}}→分出公理{{Φ}}
3 {Φ, {Φ}, {Φ, {Φ}}}→分出公理{[{Φ}}]
4 {Φ,{Φ},{Φ,{Φ}},{Φ,{Φ},{Φ,{Φ}}}}→分出公理[[{{Φ}}]]
5 {Φ,{Φ},{Φ,{Φ}},{Φ,{Φ},{Φ,{Φ}}},{Φ,{Φ},{Φ,{Φ}},{Φ,{Φ},{Φ,{Φ}}}}}→分出公理[[{{Φ}}]]
・
・
n {Φ,{Φ},{Φ,{Φ}},{Φ,{Φ},{Φ,{Φ}}},{Φ,{Φ},{Φ,{Φ}},{Φ,{Φ},{Φ,・・{Φ}}}}}・・}}→分出公理{{・・{{{{{Φ}}}}}・・}}
つまり、ノイマン型から、分出公理で一番右のΦのみを残し他のΦを省いた集合を作ると、それはツェルメロ型になる
これは、ノイマン型の有限、無限に関わらず可能。（ノイマン型から作る無限集合のＮやＺやＱやＲを扱えるのですから、当然ですが）
ノイマン型とツェルメロ型とは、全く無関係ではなく、ノイマン型の中にツェルメロ型を含んでいるのですよ
だから、ノイマン型の集合が存在すれば、ツェルメロ型の集合も存在もします
311(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/12(土)22:08 ID:0oc9Ztsl(26/28)調 AAS
>>309
>{{…}} は正則性公理に反するのでZF内には存在できません
（>>189より）
正則性公理は、無限降下列を禁止するが、その無限降下列の意味は、
”無限下降列である x∋x1∋x2∋・・・ ”は
底抜けの最小元を持たない無限単調減少列の意味です
ノイマンの自然数構成のような∈関係の無限上昇列を禁止するものではないのです
（>>159-160ご参照）
なお、>>310もご参照
312(1): 第六天魔王 ◆y7fKJ8VsjM 2019/10/12(土)22:32 ID:XYOM7riD(1/3)調 AAS
>>310
＞ノイマン型から、分出公理で一番右のΦのみを残し他のΦを省いた集合を作ると、それはツェルメロ型になる
ωの一番右のΦってなんだよ？ｗ
有りもしないものが見えるとか、
馬鹿はとうとう認知症になったかｗ
>>311
∈関係の無限上昇列から、無限下降列は作れないことが
馬鹿にはどうしても理解できないらしい
考えない奴には数学なんて死んでも理解できないから諦めろｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s