[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
735(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/04(水)06:40 ID:dk/KhN0S(2/8) AAS
>>732-733
>つまり、ノイマンのωも、別に後者関数X∪{X}でつくられたものではないっす
「ノイマンのω"も"」って、自分で"も"を使っているよ
>もしωがシングルトンなら、その要素はω−1
>一方、ωの前者ω−１が存在しないという
ωには、いかなる前者も存在しない
それが、極限順序数ωだ
省6
736(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/04(水)06:44 ID:dk/KhN0S(3/8) AAS
>>735 訂正と補足
ωには、いかなる前者も存在しない
↓
ωには、いかなる直前の前者も存在しない
つまりは、ωは”後続順序数ではない”ってこと
738(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/04(水)06:50 ID:dk/KhN0S(4/8) AAS
>>735-736
更に補足すれば
ω−1が考えられるならば、それはノイマンのωも同じこと
じゃ、ノイマンのωで、ω−1は何だ？
ω−1は、存在しない ∵ ωには、いかなる直前の前者も存在しない つまりは、ωは”後続順序数ではない”から
Zermeloのシングルトンによるωに同じ！
739(1): 2020/11/04(水)06:53 ID:26WHSv4q(2/16) AAS
>>735
＞「ωがシングルトンなら、その要素はω−1 」とか、意味わからん
じゃ、ωの唯一の要素となる順序数ｘってズバリなんですか？
意味わからんのは、◆yH25M02vWFhPさん、あなたですよ あ・な・た
ωからｎへのいかなる∋降下列も、真っ先にそのｘを通りますよね？
だってωの要素はｘしかないんですから
ω∋ｘ∋・・・∋ｎ
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.057s