[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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
917: 2022/05/05(木)10:59 ID:9NutQO/r(3/4) AAS
ショルツェ氏は、宇宙という用語は使っていない
しっかり無視して、混乱させられていない
その上で、ｊ→ｊ^2 という 対応というか変換というか
そこを突っ込んで、「変だよ！」と言っています（下記ＳＳ文書）
対して望月氏は、”「変だよ！」は、誤読だ”と言っています（かれのブログより）
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
Why abc is still a conjecture
PETER SCHOLZE AND JAKOB STIX
Date: August 23, 2018.
P8
省3
922: 2022/05/05(木)18:56 ID:9NutQO/r(4/4) AAS
>>921
>望月は、宇宙は自分のネーミングしたのではなく、前からあるのを使ったと言っているので、
>宇宙と言う用語が変だと言っても、ネーミングした本人でないと言っているのに、拘っても仕方ない。
同意です
数学用語も時代で変遷する
昔、永田雅宜『可換体論』のころ、体は可換とは限らないものだった。（だから、”可換体”）
いま、体は可換がベースです。非可換は、「斜体」とか「可除環」とかいう
宇宙も同じで、昔の用語の宇宙を使う人が居るってことですね
外部ﾘﾝｸ:ja.wikipedia.org
斜体は加減乗除が可能な代数系である[1][注 1]。除法の可能な環であるという意味で可除環ともいう[3]。
省21
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.207s*