[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 74 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
963(1): 2025/09/11(木)23:44 ID:xVcK8Xqk(5/5) AAS
「圏論を囓った」って嘘じゃないなら何の本を読んだんだか言ってみろよ
964(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/12(金)07:44 ID:Drl/lO9b(1/2) AAS
>>963
>「圏論を囓った」って嘘じゃないなら何の本を読んだんだか言ってみろよ
ご963（＝クローサン）か （＾＾
下記のアウディ本
今見ると、飯高先生の書評が・・・
まあ、圏論を理解できたかは あやしいがｗ 一応 ”囓った”＆”嘗めた”■
”私がまだ大学院修士課程の学生の頃、マクレーン教授が東大にきて
圏論の入門講義を行った・・・この講義はよく感動するほどよくわかった”
か・・。アタマの差を感じる ；ｐ）
＜アマゾン＞
省19
965: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/12(金)07:46 ID:Drl/lO9b(2/2) AAS
>>964
>その後、圏論の発展は著しく望月教授のａｂｃ予想の証明でも基盤になっている。
ふむふむ （＾＾
966(1): 2025/09/12(金)07:47 ID:8+d34ikY(1/7) AAS
>>960
>>スライドp4「集合の宇宙」
>>・集合すべてからなる集まりを（集合論の）宇宙と呼び、Vで表す
>>・Vは集合ではない（つまり、固有クラス）
>だから、そこは Von Neumann universe Vの話だよ
Vが「集合すべてからなる固有クラス」だと認めるね
じゃ、その設定、絶対忘れるなよ
>>スライドp8「到達不能基数」
>>Remark 到達不能基数の存在はグロタンディーク宇宙と同値である
>>・グロタンディーク宇宙Uは、”集合すべてからなる集まり”（＝（集合論の）宇宙）Vではない
省26
967(1): 2025/09/12(金)07:55 ID:8+d34ikY(2/7) AAS
>>966のつづき
>まず、Von Neumann universe V は集合ではないとしたが
然り
それはVを「集合の全体からなる集まり」としたから
もし集合だとすると、カントールのパラドックスにより矛盾する
>グロタンディーク宇宙Uとの対比で Uは到達不能基数
>V内は 全て 到達可能基数
>だから V ⊂ U
「V ⊂ U」も君の誤り
966で「V内は 全て 到達可能基数」が誤りだと示した
省26
968: 2025/09/12(金)08:01 ID:8+d34ikY(3/7) AAS
>>967のつづき
さて総括
>それにしても、この
>Von Neumann universe V は集合ではないが
>V ⊂ Uの Uが集合だ
>というのは、相当混乱させられる議論ではあります
混乱するのは間違ってるから（笑）
Vが集合ではなくUが集合だというなら
・U∈V（そしてU ⊂ V）である
・Vの中に到達不能基数が少なくとも１つ存在せねばならない
省17
969: 2025/09/12(金)08:05 ID:8+d34ikY(4/7) AAS
>>964
>>「圏論を囓った」って嘘じゃないなら何の本を読んだんだか言ってみろよ
>アウディ本
>圏論を理解できたかは あやしいが 一応 ”囓った”＆”嘗めた”
じゃ、質問
外部ﾘﾝｸ[html]:www.kyoritsu-pub.co.jp
アウディの圏論で
到達不能基数とグロタンディーク宇宙の関係
が記載される章はズバリどこだい？
第８章？
970: 2025/09/12(金)08:14 ID:8+d34ikY(5/7) AAS
高卒 ◆yH25M02vWFhP の珍議論は さしずめ
無限公理を設定しない集合論の宇宙VがVωだと決めつけた上で
さらに無限公理による集合ωの存在を認めようとしたため
「Vωは集合でないが、その中の要素でないωは集合だ」
とか狂ったことを平然というようなもの（笑）
ωを集合として認めるなら、
ω∈V、Vω∈V not(Vω=V)
に決まってるだろう（笑）
（※要するに高卒 ◆yH25M02vWFhP は「無限公理を設定しない」を「無限集合は集合でない」と誤読した（笑））
971: 2025/09/12(金)08:32 ID:p6ddvfEi(1) AAS
アウディ本は宇宙どころかクラスすら扱ってないよｗｗｗ
そーゆーことはマクレーンを見てねって言われるだけ
setaはグロタンディーク宇宙が集合ってどこで学んだんだよｗｗｗ
972: 2025/09/12(金)09:52 ID:IXeoDG1Q(1) AAS
アウディの圏論
973(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/12(金)10:34 ID:9FLCxawf(1) AAS
>>966-972
長くなるから 下記の次スレでやろう
2chｽﾚ:math
974: 2025/09/12(金)12:55 ID:UcLlcTAD(1) AAS
>>973
閲覧注意
このスレはIUT応援と称するIUTカルト
のサティアンスレ。
>1は同値関係.実数論や|・|≠0などの線形代数が理解できずコピペ貼りで誤魔化すインチキが専門、
集合論 圏論 とは無縁！
975: 2025/09/12(金)18:03 ID:8+d34ikY(6/7) AAS
>>973
以下の書き込みで完全終了 実に短かい命だったな
御愁傷様
2chｽﾚ:math
976: 2025/09/12(金)18:10 ID:8+d34ikY(7/7) AAS
いかなるグロタンディーク宇宙も要素として持たない
最小（？）のグロタンディーク宇宙U0が存在する
そしてグロタンディーク宇宙U0を要素として持つもので
最小（？）のグロタンディーク宇宙U1が存在する
そしてグロタンディーク宇宙U1を要素として持つもので
最小（？）のグロタンディーク宇宙U2が存在する
・・・
この連鎖をすべて包含するような最小（？）の宇宙Vが
いわゆるZFCG(あるいはZFCU)の最小の宇宙かも・・・知らんけど
977: 2025/09/13(土)06:36 ID:kEVkV264(1/4) AAS
◆yH25M02vWFhP
グロタンディーク宇宙Ｕは
集合論の宇宙Ｖを包含するが集合だ
と謎の教えを唱えて即、自爆死
グロタンディーク宇宙は
集合論の宇宙Ｖに包含される集合だけど何か？
978(1): 2025/09/13(土)09:53 ID:kEVkV264(2/4) AAS
圏論と集合論 渕野昌
外部ﾘﾝｸ[pdf]:fuchino.ddo.jp
上記の文章で述べていること
ZFCにグロタンディーク宇宙の存在もしくはそれと同値だが
到達不能基数の存在の公理を追加すれば
小さい圏のみならず大きい圏についても
拡大された集合論の枠内で議論できる
しかし、このことは数学の基礎づけが集合論ではなく
圏論でできるということではない
むしろ圏論もまた集合論で基礎付けできたと考えられる
省10
979(1): 2025/09/13(土)15:59 ID:j+5wgKsK(1/2) AAS
>>978
圏論のほうが
基底を基礎づけるのには向いとるな。
980: 2025/09/13(土)16:06 ID:j+5wgKsK(2/2) AAS
基底の選び方と座標系の選び方は数学的には同一
981: 2025/09/13(土)16:17 ID:Y45HIvx6(1) AAS
またドワンゴのデマ番組あったわ
絵文字がああああ
ほんと捏造知恵遅れ
982(1): 2025/09/13(土)16:25 ID:kEVkV264(3/4) AAS
>>979 なんか面白そうなので具体的に示してくれる？
上下前次1-新書関写板覧索設栞歴
あと 20 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.226s*