[過去ﾛｸﾞ]
現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
現代数学の系譜 カントル 超限集合論 http://rio2016.5ch.net/test/read.cgi/math/1570237031/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
966: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2019/12/21(土) 08:07:09.03 ID:AVt64yFu >>961 補足 (引用開始) けれども、<Zermelo構成>によるωの構成はだれも否定していない <ノイマン構成>からぱくって、ω＝Nも出来なくは無い ω＝N、ω+1:={N}、ω+2:={{N}}、・・ としてもいい だが、ωの後者以降は、シングルトン。ωより以前も、シングルトン。 だったら、<Zermelo構成>でのωも、シングルトンと考えるのが、自然であり理論的にも綺麗 <Zermelo構成>でのωが、シングルトンであることを否定する理屈なし (引用終り) ・確かに、ωは、それ以前の何者の後者でもない ・しかしながら、後者関数として定義された性質 それは、 <ノイマン構成>では、それ以前の全てを要素からなる集合 <Zermelo構成>では、シングルトン という性質を持つ集合と考えるのが、理論として一番整合している ・この根拠として、1つの考え方として、 極限として理解することもできる 有限の集合の列の極限としてね ・それは、もちろん、公理的な自然数の構成の筋からは外れるとしても （極限が定義されるのは、公理的構成のずっと後だろうから。自然数などが構成された後の話として極限が出てくるのだろうけれど） ・ただ、後者関数は必ずしも、<ノイマン構成>の後者関数に限定されないという意味では、上記のように解釈するのが自然と思うよ http://rio2016.5ch.net/test/read.cgi/math/1570237031/966
968: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2019/12/21(土) 08:11:54.71 ID:AVt64yFu >>966 補足の補足 順序数の<ノイマン構成>と<Zermelo構成> この2つ以外もあるだろうが 後者関数が違っても 順序同型になって 同型の意味で、 一意でしょ http://rio2016.5ch.net/test/read.cgi/math/1570237031/968
969: １３２人目の素数さん [] 2019/12/21(土) 08:18:53.69 ID:RiKZpZyq >>966 ＞・確かに、ωは、それ以前の何者の後者でもない この時点でZermelo構成でのΩがシングルトンだと主張する根拠は無くなった な・ぜ・な・ら Zermelo構成の次者関数s(x)={x}は、あくまで 後続順序数がシングルトンであることを決めただけ であるから ＞ <Neumann構成>では、それ以前の全てを要素からなる集合 ＞ <Zermelo構成>では、シングルトン ＞ という性質を持つ集合と考えるのが、理論として一番整合している 馬鹿丸出し たしかに、Neumann構成では、 後続順序数であろうが、極限順序数であろうが 自分より小さい順序数を要素とする しかし、後続の作り方と、極限の作り方は全然異なる 馬鹿は、そのことが全然わかってない Zermelo構成では後続の作り方を定めただけ それだけでは極限の作り方は何も決まらない 極限の作り方は別に考える必要がある Ωを極限とするとされる順序列の項を要素とする集合として Ωを構成するしかない したがってシングルトンにはなり得ない いい加減分かれ ゴキブリ◆e.a0E5TtKE http://rio2016.5ch.net/test/read.cgi/math/1570237031/969
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.040s