Inter-universal geometry と ABC予想 (応援スレ) 74 (963ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
920: 09/11(木)06:00 ID:KfYwoBCP(1/11) AAS
>>909
>グロタンディークは圏論を展開するため
>ノイマン宇宙Vは狭いと考えて
>Vを拡張して 強引に宇宙の公理を使って
>全てを集合として 圏論を展開することにした
大嘘（笑）
グロタンディークはクラスを無くした、
省10
921: 09/11(木)06:11 ID:KfYwoBCP(2/11) AAS
>グロタンディーク宇宙Uは 何者か？
>クラスか？ ノイマン宇宙Vのクラスを集合として含むから クラスとも呼べないだろう
ノイマン宇宙Vではノイマン宇宙自身は固有クラスだが
それより大きいグロタンディーク宇宙Uでは、Vはただの集合
しかし、グロタンディーク宇宙Uでも、U自身は固有クラス
Uより小さい宇宙が集合として入ってるだけ
クラスと呼べない、は大嘘
省19
923(1): 09/11(木)06:28 ID:KfYwoBCP(3/11) AAS
>>915
>だから、宇宙は ”集合ではない”！
まず、これが嘘
宇宙だから集合でない、のではない
「集合論における集合の全体」は集合にならない
そういうこと
>ゲーデルの Constructible universe L
省32
924: 09/11(木)06:30 ID:KfYwoBCP(4/11) AAS
>>923のつづき
>と 同様に グロタンディーク宇宙Uは 何者よ と考えたとき
>「集合すべてからなる集まりを（集合論の）宇宙でVは（普通の）集合ではない」
>ってことだが
(普通の）なんて抜きで、
Ｖが全体ならＶは集合でないし、
Ｕが全体ならＵは集合ではない
省12
925: 09/11(木)06:40 ID:KfYwoBCP(5/11) AAS
>>917-919
Uが、以下のHPで定義された集合とするなら、確かに君のいう通りで、
V⊂Uとかいう言い方はそもそもおかしい
グロタンディーク宇宙
外部ﾘﾝｸ:ja.wikipedia.org
一方で、どうやら高卒馬鹿は勝手に、{}とVω以外のグロタンディーク宇宙が存在する集合論の集合全体をUと呼んでいるらしい
その場合、Uは確かに最小のノイマン宇宙Vを集合として持ち、V∈Uかつ、V⊂Uである
省8
926(1): 09/11(木)06:45 ID:KfYwoBCP(6/11) AAS
◆yH25M02vWFhPの誤り
１．集合論にどんな公理を追加しようが、集合の全体は、集合にならない
２．したがって、集合であるグロタンディーク宇宙が存在する集合論でも、集合全体からなる最大宇宙は、集合でないからグロタンディーク宇宙ではない
ギャハハハハハハ！！！
こんな初歩が分からんようじゃ、大学１年の数学は全滅だわな（嘲）
928: 09/11(木)06:51 ID:KfYwoBCP(7/11) AAS
>>926
この書き方じゃおかしいか
１．◆yH25M02vWFhPは、グロタンディークの追加公理によって集合全体からなる宇宙が、固有クラスではなく集合になったと思い込んだ
２．◆yH25M02vWFhPは、グロタンディークの追加公理によって集合全体からなる宇宙が、グロタンディーク宇宙になったと思い込んだ
もちろん、どっちも嘘ってこと
１はカントールのパラドックスに抵触する
２についてはグロタンディーク宇宙の中に「集合論における集合の全体」は入らない
949: 09/11(木)12:44 ID:KfYwoBCP(8/11) AAS
>>948
なんだこの●違い 統失か？
950: 09/11(木)12:46 ID:KfYwoBCP(9/11) AAS
●違いの特徴
「自分は生まれてから今まで一度も間違ったことがない、と思ってる」
「間違ったら●ぬ、と思ってる」
●ね●ね●ね●ね●ーね●ね（嘲）
957(2): 09/11(木)21:57 ID:KfYwoBCP(10/11) AAS
>>955
＞薄葉 季路氏の用語”宇宙”は、
＞ある公理系によって生成される 集合全体で
＞基本はクラス（クラスの親玉）
高卒 ◆yH25M02vWFhP は正確な引用もできない
スライドp4「集合の宇宙」
・集合すべてからなる集まりを（集合論の）宇宙と呼び、Vで表す
省10
958(1): 09/11(木)22:05 ID:KfYwoBCP(11/11) AAS
グロタンディーク宇宙Uが複数存在する場合
U0∈U1∈U2∈・・・
ということになってるが、これは
U∈U
とはもちろん異なる
望月新一はこのことは理解した上で
U0∈U1∈U2∈・・・
省4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s