Inter-universal geometry と ABC予想 (応援スレ) 74 (976ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
966(1): 09/12(金)07:47 ID:8+d34ikY(1/7) AAS
>>960
>>スライドp4「集合の宇宙」
>>・集合すべてからなる集まりを（集合論の）宇宙と呼び、Vで表す
>>・Vは集合ではない（つまり、固有クラス）
>だから、そこは Von Neumann universe Vの話だよ
Vが「集合すべてからなる固有クラス」だと認めるね
じゃ、その設定、絶対忘れるなよ
省29
967(1): 09/12(金)07:55 ID:8+d34ikY(2/7) AAS
>>966のつづき
>まず、Von Neumann universe V は集合ではないとしたが
然り
それはVを「集合の全体からなる集まり」としたから
もし集合だとすると、カントールのパラドックスにより矛盾する
>グロタンディーク宇宙Uとの対比で Uは到達不能基数
>V内は 全て 到達可能基数
省29
968: 09/12(金)08:01 ID:8+d34ikY(3/7) AAS
>>967のつづき
さて総括
>それにしても、この
>Von Neumann universe V は集合ではないが
>V ⊂ Uの Uが集合だ
>というのは、相当混乱させられる議論ではあります
混乱するのは間違ってるから（笑）
省20
969: 09/12(金)08:05 ID:8+d34ikY(4/7) AAS
>>964
>>「圏論を囓った」って嘘じゃないなら何の本を読んだんだか言ってみろよ
>アウディ本
>圏論を理解できたかは あやしいが 一応 ”囓った”＆”嘗めた”
じゃ、質問
外部ﾘﾝｸ[html]:www.kyoritsu-pub.co.jp
アウディの圏論で
省3
970: 09/12(金)08:14 ID:8+d34ikY(5/7) AAS
高卒 ◆yH25M02vWFhP の珍議論は さしずめ
無限公理を設定しない集合論の宇宙VがVωだと決めつけた上で
さらに無限公理による集合ωの存在を認めようとしたため
「Vωは集合でないが、その中の要素でないωは集合だ」
とか狂ったことを平然というようなもの（笑）
ωを集合として認めるなら、
ω∈V、Vω∈V not(Vω=V)
省2
975: 09/12(金)18:03 ID:8+d34ikY(6/7) AAS
>>973
以下の書き込みで完全終了 実に短かい命だったな
御愁傷様
2chｽﾚ:math
976: 09/12(金)18:10 ID:8+d34ikY(7/7) AAS
いかなるグロタンディーク宇宙も要素として持たない
最小（？）のグロタンディーク宇宙U0が存在する
そしてグロタンディーク宇宙U0を要素として持つもので
最小（？）のグロタンディーク宇宙U1が存在する
そしてグロタンディーク宇宙U1を要素として持つもので
最小（？）のグロタンディーク宇宙U2が存在する
・・・
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s