Inter-universal geometry と ABC予想 (応援スレ) 73 (765ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
499(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 08/11(月)15:40 ID:f34iaqr/(4/7)
>>497-498
>well-definedではないZFCGを使うんだったら
ふっふ、ほっほ
妄想のお二人 基礎論ど素人さんｗ
『well-definedではないZFCG』？
まず、下記の 薄葉季路（早大理工） 2017春
最後から２枚目と最後とをみてちょ
21世紀のいまどきの 基礎論 宇宙の話が分かるから
分からない人は、薄葉季路先生に聞いてくださいね
基礎論ど素人さんが、妄想でグダグダ言ってもねｗ ；ｐ）
そもそも 下記のIUT IVの Bibliography [McLn] を否定するつもりかい？
ならば、論文かきなよ 『[McLn]は 間違いだぁー』ってよｗ （＾＾
(参考)
https://www.mathsoc.jp/section/logic_and_history/Tokubetu.html
日本数学会
数学基礎論および歴史分科会 特別講演
2017春(首都大東京) 薄葉季路（早大理工） 集合論の宇宙 -UniverseとMultiverse- (企画特別)
https://www.mathsoc.jp/activity/video/2017spring/0324usuba.html
集合論の宇宙 —Universe と Multiverse— 薄葉 季路 (早大理工) 2017年3月
https://youtu.be/WQzlEj1g71M?t=1
発表スライド『集合論の宇宙 Universe と Multiverse』
https://www.mathsoc.jp/meeting/kikaku/2017haru/2017_haru_usuba-p.pdf
https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf
[4] Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. (2020-04-22)
P67
Section 3: Inter-universal Formalism: the Language of Species
We shall refer to such models as ZFC-models. Recall that a (Grothendieck) universe V is a set satisfying the following axioms [cf. [McLn], p. 194]:
略
We shall refer to a ZFC-model that also satisfies this additional axiom of the Grothendieck school as a ZFCG-model.
Bibliography
[McLn] S. MacLane, One Universe as a Foundation for Category Theory, Reports of the Midwest Category Seminar III, Lecture Notes in Mathematics 106, SpringerVerlag (1969).
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| =ｋ （到達不能基数）なるものとしていることを注意しておく
（くどいが、到達不能基数ｋに達する 親玉の宇宙のみを グロタンディーク宇宙と呼ぶ。別の流儀の人もいるので ご注意）
571(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 08/12(火)06:36 ID:Wz/RxMvE(1)
>>568-569
(引用開始)
＞例:
＞実数の区間 を考えてみましょう。
＞この区間の部分集合として、{1/2, 1/3, 1/4, ...} を考えると、この部分集合には最小元が存在しません。
＞このように、実数の部分集合には、最小元を持たないものが存在するため、実数全体を整列順序で並べることはできません。
上記は「実数の順序が整列順序でない」ことを示すのみであって、
実数全体の集合に、実数の順序と異なる整列順序をいれることができない、
という主張の証明ではない。
選択公理により、実数全体の集合の、空でない部分集合に対して、その代表元を選択する関数が存在する。
(引用終り)
ふっふ、ほっほ、それな
下記
>>509
>なにおまえ たてつく気？
>じゃあ実数の整列順序示せ 好きなように整列できるんだろ？
>>520
>倒錯していてもこころが歪んでてもなんでもいいから早く実数の整列順序示してよ
>イッチョマエの台詞はその後に吐いてね
とほざいていた ID:MtMWibfm くんに言ってあげてねｗ
なお、>>499の 2017春(首都大東京) 薄葉季路（早大理工） 集合論の宇宙 -UniverseとMultiverse- (企画特別)
発表スライド『集合論の宇宙 Universe と Multiverse』
https://www.mathsoc.jp/meeting/kikaku/2017haru/2017_haru_usuba-p.pdf
における Multiverseの視点からは
１）フルパワー選択公理を持つ ZFC公理系内では 実数の整列順序 は、存在する
このとき、人は可能な限りの任意の整列順序を示すことが可能
例えば、先頭に好きなr1,r2,r3,・・と並べて 残りを 選択公理にお任せとか
あるいは、任意の途中に 上記のr1,r2,r3,・・と並べて 残りを 選択公理にお任せとか
最初に 有理数のみを整列させて その後に無理数の集合を整列させるとか
それらを、何度でも繰り返して良い
２）別の宇宙で フルパワー選択公理を否定して
例えば、可算選択公理に制限したら？
そのときは、実数を整列させることは不可能だ
(参考)
https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86
選択公理
選択公理の制限
選択公理は上のように様々な結論を導く強い公理になっている。選択公理に条件を課して、より弱い公理としたものが研究されている。
・可算選択公理
・従属選択公理
など
637(2): １３２人目の素数さん [] 08/14(木)10:52 ID:1dI79/KQ(1/8)
>>571 補足
(引用開始)
>>499の 2017春(首都大東京) 薄葉季路（早大理工） 集合論の宇宙 -UniverseとMultiverse- (企画特別)
発表スライド『集合論の宇宙 Universe と Multiverse』
https://www.mathsoc.jp/meeting/kikaku/2017haru/2017_haru_usuba-p.pdf
における Multiverseの視点
(引用終り)
さて
https://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf
Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. PDF (2020-04-22)
P67
Section 3: Inter-universal Formalism: the Language of Species
The various ZFC-models that we work with may be thought of as [but are not restricted to be!] the ZFC-models determined by various universes that are sets relative to some ambient ZFC-model which, in addition to the standard axioms of ZFC set theory, satisfies the following existence axiom [attributed to the “Grothendieck school” — cf. the discussion of [McLn], p. 193]:
P85
[McLn] S. MacLane, One Universe as a Foundation for Category Theory, Reports of the Midwest Category Seminar III, Lecture Notes in Mathematics 106, SpringerVerlag (1969).
この 望月先生のIUT IV でのP67 用語 universe それは [McLn] (1969) が根拠らしいが
その後、数学の中での議論がいろいろあり
検索結果を辿ると、20世紀末には 用語”Conglomerate (set theory)”：これは universeの内部で クラスの集まり（なお クラスは集合の集まり）
という用語が考えられているらしい
Inter-universe という用語が、やはり問題のような気がする 今日この頃
(参考)
google検索：
S. MacLane, One Universe as a Foundation for Category Theory, Reports of the Midwest Category Seminar III, Lecture Notes in Mathematics 106, SpringerVerlag (1969)
AI による概要（AI responses may include mistakes）
In his work "One Universe as a Foundation for Category Theory", S. MacLane explores the use of a Grothendieck universe to provide a foundation for category theory, particularly when dealing with large categories. He proposes that adding the axiom of the existence of at least one Grothendieck universe to ZFC set theory offers a suitable framework for this purpose, according to Mathematics Stack Exchange.
https://math.stackexchange.com/questions/4871271/zfc-grothendieck-universes-vs-mac-lanes-one-universe （asked Feb 27, 2024 kaba ）
Here's a breakdown of the key points:
Grothendieck Universe:
A Grothendieck universe is a set U that satisfies certain properties, including being closed under power sets, unions, and Cartesian products, and containing all the natural numbers.
つづく
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 6.008s*