[過去ログ]
現代数学の系譜 カントル 超限集合論2 (1002レス)
現代数学の系譜 カントル 超限集合論2 http://rio2016.5ch.net/test/read.cgi/math/1576852086/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
4: 132人目の素数さん [] 2019/12/21(土) 17:01:39.03 ID:RiKZpZyq ◆e.a0E5TtKE トンデモ発言 1.{}∈{{}},{{}}∈{{{}}} だから {}∈{{{}}} ∈を勝手に推移的だと誤解 さすがに今は誤りに気付いた模様 2.Zermelo構成では 0={},1={{}},2={{{}}},… だから Ω={{…(無限重)…}} ωが極限順序数であって前者が存在しないことを理解せず 1以降の自然数がシングルトンだから、ωもそうなる筈と誤解 いまだに誤りに気づかぬ模様 http://rio2016.5ch.net/test/read.cgi/math/1576852086/4
11: 132人目の素数さん [] 2019/12/21(土) 20:37:36.33 ID:RiKZpZyq >>7 >可算無限個ある箱を、タテに多重に入れ子式に重ねれば、 >これぞシングルトンのモデルだ >つまり >{・・・{{a}}・・・} はい●違い 一番外側に{}をつけたら●違い 外側のカッコを外した中身がω-1になるだろ しかしそんなものは存在しない 存在しないものがあるといった瞬間 ●違い いっただろ? s(x)={x} ではωは作れないって ω={x}となるxが存在したら●違いなんだからw どうして●違い◆e.a0E5TtKEは ∈といい極限順序数といい 初歩がわからんかねぇ 脳味噌に寄生虫でも湧いてるんかねぇ? http://rio2016.5ch.net/test/read.cgi/math/1576852086/11
12: 132人目の素数さん [] 2019/12/21(土) 20:44:53.88 ID:RiKZpZyq 結局ωをZermelo構成で実現する場合 {{},{{}},{{{}}},…}とするしかない 必ずしも自然数全てを要素とする必要はないが 限りなく増加する自然数の列の項を要素とする必要がある 例 1,3,5,7,9,・・・ 1,2,4,8,16,・・・ 1,2,2^2=4,2^(2^2)=16,2^(2^(2^2))=65536、・・・ 上限があったらそれがωの前者になってしまうから http://rio2016.5ch.net/test/read.cgi/math/1576852086/12
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.050s