[過去ログ]
現代数学の系譜 カントル 超限集合論他 3 (548レス)
現代数学の系譜 カントル 超限集合論他 3 http://rio2016.5ch.net/test/read.cgi/math/1595034113/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
529: 132人目の素数さん [sage] 2021/12/08(水) 13:54:00.74 ID:tPmP8J4x 落ちこぼれは、悲しいね 下記を100回音読したらどうだ? https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0 順序数 順序数の並び方を次のように図示することができる: 0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............, ω + ω, S(ω + ω), S(S(ω + ω)), S(S(S(ω + ω))), .............................. まず、0 が最小の順序数である。その後に S(0) = 1, S(S(0)) = 2, S(S(S(0))) = 3, ... と有限順序数(自然数)が通常の順序で並んでいる。そして、すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω である。ω の後にはまたその後続者たちが S(ω), S(S(ω)), S(S(S(ω))), ... と無限に続いていく。その後、それらの最小上界(後に ω + ω と呼ばれる)が並び、その後続者たちが無限に続く。だがそれで終わりではない。無限に続いた後には、必ずそれまでに並んだすべての順序数たちの最小上界が存在し、その後続者、そのまた後続者、... のように順序数の列は"永遠に"続いていくのである。 つづく http://rio2016.5ch.net/test/read.cgi/math/1595034113/529
530: 132人目の素数さん [sage] 2021/12/08(水) 13:54:17.95 ID:tPmP8J4x >>529 つづき https://ja.wikipedia.org/wiki/%E6%9C%80%E5%B0%8F%E3%81%AE%E9%9D%9E%E5%8F%AF%E7%AE%97%E9%A0%86%E5%BA%8F%E6%95%B0 最小の非可算順序数(英: First uncountable ordinal)ω1の存在は、選択公理によらずに示すことができる(ハルトークス数を参照)。ω1は極限順序数で、すべての可算な順序数を含む非可算集合である。ときに Ω とも表記される。その濃度は最小の非可算基数 アレフ1 に等しい。 https://ja.wikipedia.org/wiki/%E5%88%B0%E9%81%94%E4%B8%8D%E8%83%BD%E5%9F%BA%E6%95%B0 到達不能基数 著者によっては非可算性を要求しないこともある(その場合アレフ0 は強到達不能基数)。弱到達不能基数は Hausdorff (1908)、強到達不能基数は Sierpi?ski & Tarski (1930) および Zermelo (1930) によって導入された。 選択公理を仮定すると、他の全ての無限基数は正則かまたは(弱)極限である。しかしながら、その両方になれるもの、即ち弱到達不能基数は中でも大きいものに限られる。 順序数が弱到達不能基数であるための必要十分条件は、それが正則順序数であり、かつ、正則順序数の列の極限であることである(0,1, アレフ0 は正則順序数だが正則順序数の列の極限ではない)。強極限かつ弱到達不能な基数は強到達不能である。 強到達不能基数の存在は、グロタンディーク宇宙が存在するという形で仮定される場合がある。この両者の間には深い繋がりがある。 (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1595034113/530
531: 132人目の素数さん [] 2021/12/08(水) 15:49:46.91 ID:umaeoeyg >>529 どこにも「有限で成り立つことは無限でも成り立つ」なんて書かれてないけど 日本語も読めない落ちこぼれ? http://rio2016.5ch.net/test/read.cgi/math/1595034113/531
532: 132人目の素数さん [sage] 2021/12/08(水) 20:33:04.32 ID:p4epif7+ >>529-530 レーヴェンハイム・スコーレム関係なくなったな やっぱり全然理解できない白痴だったな S ETAは http://rio2016.5ch.net/test/read.cgi/math/1595034113/532
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.031s