Inter-universal geometry と ABC予想 (応援スレ) 73 (697ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
502(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 08/11(月)17:20 ID:f34iaqr/(5/7)
>>499 補足
>集合論の宇宙 —Universe と Multiverse— 薄葉 季路 (早大理工) 2017年3月
>https://youtu.be/WQzlEj1g71M?t=1
>発表スライド『集合論の宇宙 Universe と Multiverse』
>https://www.mathsoc.jp/meeting/kikaku/2017haru/2017_haru_usuba-p.pdf
このスライドのP8より
(引用開始)
到達不熊基数
略
Remark
到達不能基数の存在はグロタンディーク宇宙と同値である．
?Uがグロタンディーク宇宙ならば、|U|は到達不能基数である．
?到達不能基数ｋが存在するならば、|U| =ｋとなるグロタンディーク宇宙が存在する：Vｋがグロタンディーク宇宙になる．
(引用終り)
なお、ここの薄葉 季路氏のグロタンディーク宇宙の定義は、|U| =ｋ （到達不能基数）なるものとしていることを注意しておく
（くどいが、到達不能基数ｋに達する 親玉の宇宙のみを グロタンディーク宇宙と呼ぶ。別の流儀の人もいるので ご注意）
504(1): １３２人目の素数さん [] 08/11(月)18:07 ID:MtMWibfm(4/18)
>>502
>なお、ここの薄葉 季路氏のグロタンディーク宇宙の定義は、|U| =ｋ （到達不能基数）なるものとしていることを注意しておく
>?Uがグロタンディーク宇宙ならば、|U|は到達不能基数である．
からその逆は言えないけどいいの？
506: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 08/11(月)18:17 ID:f34iaqr/(7/7)
>>503 誤爆かな？
>>504
>?Uがグロタンディーク宇宙ならば、|U|は到達不能基数である．
からその逆は言えないけどいいの？
(引用終り)
再度 >>502より
スライドのP8より
(引用開始)
到達不熊基数
略
Remark
到達不能基数の存在はグロタンディーク宇宙と同値である．
?Uがグロタンディーク宇宙ならば、|U|は到達不能基数である．
?到達不能基数ｋが存在するならば、|U| =ｋとなるグロタンディーク宇宙が存在する：Vｋがグロタンディーク宇宙になる．
(引用終り)
まあ、細かい疑問点は、薄葉 季路 先生に聞いてね （＾＾
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.056s