20/04/23 15:24:09 Ayy0wuIh.net
>>272
はいよ、下記に グロタンディーク宇宙の説明がある
では、聞く
1.下記 グロタンディーク宇宙と望月IUTの関係を述べよ
2.グロタンディーク宇宙は、強到達不能基数κ や 強到達不能基数 λ によって規律されるという
では、望月IUTは、強到達不能基数κあるいは λ あるいはそれ以上
一体全体、どの範囲の不能基数を、望月IUTは使っているのか?
3.”INTER-UNIVERSAL”とは何か? 強到達不能基数κや λが変わっていくのか?
どうぞ回答を
一問でも答えらえたら、集合基礎論では、おれより上と認めるけどな
どう?ww(^^;
(参考:文字化けがあるので、原文ご参照)
URLリンク(ja.wikipedia.org)
グロタンディーク宇宙
(抜粋)
宇宙のアイデアは、アレクサンドル・グロタンディークが代数幾何において真のクラスを回避する方法として導入したことに起因する。
グロタンディーク宇宙は、すべての数学が実行可能な集合を与える(実際には、集合論のためのモデルを与える)。
グロタンディーク宇宙と到達不能基数
グロタンディーク宇宙の2つの簡単な例がある:
・空集合
・すべての遺伝的有限集合 の集合 {\displaystyle V_{\omega }}V_\omega 。
他の例は構成がより困難である。大まかに言うと、これはグロタンディーク宇宙が到達不能基数と同値なためである。より形式的に言えば、次の2つの公理が同値である:
(U) すべての集合 x に対して、x {\displaystyle \in }\in U となるグロタンディーク宇宙 U が存在する。
(C) すべての基数 κ に対して、κ よりも巨大な強到達不能基数 λ が存在する。
グロタンディーク宇宙 U に対して、|U| は零、{\displaystyle \aleph _{0}}\aleph _{0}、もしくは強到達不能基数のいずれかとなる。また、κ が零、{\displaystyle \aleph _{0}}\aleph _{0}、もしくは強到達不能基数ならば、グロタンディーク宇宙 u(κ) が存在する。さらに、u(|U|) = U かつ |u(κ)| = κ となる。
強到達不能基数の存在は ZFC からは証明できないため、空集合と {\displaystyle V_{\omega }}V_\omega 以外の宇宙の存在はどれも ZFC から証明することができない。