[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
914(1): 2022/05/05(木)09:14 ID:9NutQO/r(1/4) AAS
>>911-913
>数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。
同意です
グロタンディーク宇宙は、下記を要約すれば、
「誤って真のクラスに対して言及する心配を無くすために
宇宙の公理を仮定し（強到達不能基数の存在も仮定する）、グロタンディーク宇宙を用いる」
ってことですね
グロタンディーク宇宙を、一つ作っておけば、
この中で”グロタンディーク宇宙は非常に広大であり、これはありとあらゆる数学的構造を充足させる”
となって、”誤って真のクラスに対して言及する心配”が無いのです
省5
915: 2022/05/05(木)09:14 ID:9NutQO/r(2/4) AAS
>>914
つづき
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
宇宙 (数学)
圏論
圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。例えば、グロタンディーク宇宙 U における2つの集合の和集合も U の内部にある。同様に、共通部分、順序対、冪集合などもまた U の内部にある。これは上記の上部構造に類似している。グロタンディーク宇宙の利点は、それが実際の集合であって真のクラスではないことである。
誤って真のクラスに対して言及する心配もなくなる。
なぜならグロタンディーク宇宙は非常に広大であり、これはありとあらゆる数学的構造を充足させるからだ。
グロタンディーク宇宙において作業している場合、数学者はしばしば宇宙の公理を仮定する。"任意の集合 x に対し、x ∈U となるような宇宙 U が存在する。" この公理の重要な点は、任意の集合がいくつかの U に対して U-small が検討できることである。つまり一般的なグロタンディーク宇宙に内部で、任意の独立変数が適用されるということである。この公理は強到達不能基数の存在と密接に関係している。
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.045s