google検索:ノイマン宇宙では クラス(類)扱いされる対象が到達不能基数を導入して グロタンディーク宇宙Ufndにすればそれらが集合扱いできるらしい
AI Overview(AI の回答には間違いが含まれている場合があります)
ノイマン宇宙における「クラス」は集合の概念を扱いにくくする課題を抱えているため、到達不能基数を導入して拡張した「グロタンディーク宇宙 U_Fnd」を考えることで、これらを「集合」として扱うことが可能になります。この拡張により、集合論における「集合の集合」のパラドックスを回避し、より広範で整合性の高い数学的構造を構築できるようになります。
ノイマン宇宙とクラスの課題
・ノイマン宇宙:集合論の標準的なモデルの一つで、すべての集合の集合を根源的に包含する構造を持っています。
・クラス:ノイマン宇宙では、ある種の数学的対象(例えば、集合を要素として持つすべての集合)は「クラス」として扱われます。クラスは集合よりも大規模な概念であり、それ自体が集合の構成要素となることはできません。これは、集合論における「ラッセルのパラドックス」のように、すべての集合の集合を考える際に生じる矛盾を避けるためです。
到達不能基数とグロタンディーク宇宙
・到達不能基数:集合論における非常に大きな基数の一つで、特定の集合論的性質を満たします。
・グロタンディーク宇宙 U_Fnd:到達不能基数 κ を用いて、ZFC集合論の標準的な宇宙とは別に定義される、より大きな集合論的「宇宙」です。この宇宙 U_Fnd は、ある到達不能基数 κ よりも小さいすべての集合(すなわち、基数 κ の濃度を持つ集合の族)を集めたもので、到達不能基数 κ よりも小さな濃度を持つすべての集合を元として含む「集合」として扱われます。
クラスが集合に変わる仕組み
1.クラスを「集合」として扱う:ノイマン宇宙で「クラス」として扱われる対象を、グロタンディーク宇宙 U_Fnd の中に「集合」として配置します。
2.集合の階層化:到達不能基数 κ より小さい濃度を持つ集合の族を U_Fnd が持つため、元のノイマン宇宙でクラスであったものが、U_Fnd の内部で集合の構成要素となることが可能になります。
3.集合論の整合性の確保:これにより、集合の集合のような構造を、集合論の矛盾に陥ることなく扱うことができるようになります。
Inter-universal geometry と ABC予想 (応援スレ) 75
■ このスレッドは過去ログ倉庫に格納されています
395現代数学の系譜 雑談 ◆yH25M02vWFhP
2025/09/28(日) 08:09:16.16ID:iGUpQ/Up■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【速報】巨人 高橋由伸氏にヘッドコーチ就任要請! 松井秀喜新監督の「1人だけ声をかけています」は高橋由伸氏… 超豪華内閣が実現へ [冬月記者★]
- 【野球】松井秀喜新監督、組閣について「絶対この人という人はいない。友達いないタイプなので」「現時点で一人だけ声を掛けてます」 [ニーニーφ★]
- セブンイレブンからの客離れが止まらない ローソン、ファミマ最高益の裏で「ひとり負け」巻き返しの切り札は★2 [♪♪♪★]
- 日本のGDP、世界6位転落へ…薬物もやらない勤勉な日本人が貧しくなる屈辱は“完全な政策ミス”か? ★8 [ぐれ★]
- パナソニックHD、利用禁止の生成AIに従業員らの情報送出 33万人分 [少考さん★]
- 【芸能】山添寛「この違和感って僕だけ?」 ランチでライス大盛り頼むと…提示された料金に「意味分からへん」 [冬月記者★]
- ひろゆき「パリ暴動の逮捕者、7割が仏国籍で95%が仏生まれ。ソースは司法省」→ネトウヨ大激怒、また炎上wwwwww [834922174]
- 10.23🏡とうふさんの日😊
- 【高市悲報】倉田真由美「知性を身につければ左翼になるという発想は驕り」 [834922174]
- パナソニック、33万人の個人情報流出!人事が従業員のエクセルをChatGPTにアップしてしまい漏洩 [347751896]
- KDDI、モンゴル大火災にお気持ち表明 [455679766]
- 正直ジョジョ3部って承太郎以外のキャラの魅力で人気なんやないか?