[過去ﾛｸﾞ] 現代数学の系譜　カントル　超限集合論 (1002ﾚｽ)

現代数学の系譜　カントル　超限集合論 http://rio2016.5ch.net/test/read.cgi/math/1570237031/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

36: １３２人目の素数さん [sage] 2019/10/05(土) 12:34:28.42 ID:kZwmbLNI >>31 ＞公理的集合論では、どんな奇妙な集合でも、禁止されていない集合は存在しうる 「Vωでは」と書いているので、 フォンノイマン宇宙の定義を読んで確認しましょう　 確認なしの「感想」は無意味ですから フォン・ノイマン宇宙 https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A9%E3%83%B3%E3%83%BB%E3%83%8E%E3%82%A4%E3%83%9E%E3%83%B3%E5%AE%87%E5%AE%99 「・V0は空集合, {}とする。 　・各順序数 βに対して、Vβ+1はVβの冪集合とする。 　・各極限順序数 λに対して、Vλは、次の和集合とする: 　　Vλ＝∪(β＜λ)Vβ」 ωは極限順序数ですから、VωはVn(nは自然数)の合併です {}はV1,{{}}はV2,{{{}}}はV3,…で現れます VωはVnの合併ですから、あらゆる{}の有限重は現れますが 無限重は現れません >無限公理で、Nとωが出来たあとに、 >ω：{・・{Φ}・・} ω重 >と定義すれば良い １行目のωと2行目の「ω：」のωは違いますよね だから2行目のωを別の表記に変えましょう といってるんですよ　理解しましたか？ あなたが拒否したので、我々のほうで Ω：{・・{Φ}・・} ω重 と決めさせていただきました ただ、そうしたところで、実はまだΩは定義されていません http://rio2016.5ch.net/test/read.cgi/math/1570237031/36

89: １３２人目の素数さん [sage] 2019/10/05(土) 19:20:17.29 ID:kZwmbLNI >>83 ＞フォン・ノイマン宇宙の ＞「0に冪集合の演算を超限回繰り返して得られる集合」 ＞を認める ＞空集合Φに、ω回冪集合の演算を繰り返した集合として、ω重集合 ＞ω回P({・・・{Φ}・・・})={Φ,{・・・{Φ}・・・}}→{{・・・{Φ}・・・}}（ω重集合） ＞”{{・・・{Φ}・・・}}（ω重集合）”を定義します 「ω回」が誤りですね >>36で書きましたよ　必ず読みましょう フォン・ノイマン宇宙 https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A9%E3%83%B3%E3%83%BB%E3%83%8E%E3%82%A4%E3%83%9E%E3%83%B3%E5%AE%87%E5%AE%99 「・V0は空集合, {}とする。 　・各順序数 βに対して、Vβ+1はVβの冪集合とする。 　・各極限順序数 λに対して、Vλは、次の和集合とする: 　　Vλ＝∪(β＜λ)Vβ」 ωは極限順序数ですから Vω＝∪(n＜ω)Vn です 勝手に「ω回」とか嘘八百をでっちあげるのは 迷惑だから絶対にやめてください http://rio2016.5ch.net/test/read.cgi/math/1570237031/89

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 3.797s*