[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
597(1): 2021/02/17(水)07:22 ID:9fTMgvJq(3/7) AAS
>>596
むしろ、トポスじゃね？
「選択公理が成り立たないような集合論のモデルもある景の上の層の圏として実現できる。こうして構成される集合論のモデルのうちには排中律が成り立たないような数学的直観主義的モデルも自然に現れる。」
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
トポス (数学)
トポス（topos）とは、位相空間上の層のなす圏を一般化した概念である。アレクサンドル・グロタンディークによるヴェイユ予想解決に向けた代数幾何学の変革の中で、数論的な図形（スキーム）の上で有意義なホモトピー・コホモロジー的量が定義できる細かい「位相」を考えるために導入された。 その後数理論理学者たちによる更なる公理化を経て、集合論のモデルを与える枠組みとしても認識されるようになった。
目次
1 定義
2 グロタンディーク・トポス
省6
598: 2021/02/17(水)07:31 ID:mkFOjzrY(1/23) AAS
>>591
集合Aも辻なんちゃらも
身の丈に合わない数学の学習なんて
やめればいいのに
なにがしたいんだか
599: 2021/02/17(水)07:32 ID:mkFOjzrY(2/23) AAS
集合Aは「ぱんつのさんすう」で喜んでなさいｗ
600: 2021/02/17(水)07:35 ID:mkFOjzrY(3/23) AAS
>>596
∈の意味も分からん人に、選択公理からの
ツォルンの補題や整列定理の証明が
理解できるとは到底思えん
お経を唱えて「ボクちゃん、悟った！」と陶酔するのは馬鹿
601: 2021/02/17(水)07:38 ID:mkFOjzrY(4/23) AAS
>>597
直観主義論理のハイティング代数が位相構造と同じってことも
知らんような素人がトポスとかいくらいっても空しいだけ
集合Aにとっての「トポス」はもうなくなったよｗ
外部ﾘﾝｸ:ja.wikipedia.org
602: 2021/02/17(水)07:39 ID:mkFOjzrY(5/23) AAS
パンツのさんすうの問題を解くのに
具体的なパンツの形を考える必要はないんだな
パンツを以下のパーツからなるグラフに置き換えてよい
〇 白丸
● 黒丸
ー 棒
「白丸から３本の棒がでて黒丸につながる」
これでパンツ完成ｗ
パンツの縫い合わせは
「黒丸同士を合わせて１つにする」
省2
603: 2021/02/17(水)07:41 ID:mkFOjzrY(6/23) AAS
パンツ（白丸）がｍ着あれば、
パンツの縁（黒丸）は３ｍ箇所ある
穴がｎ箇所ということは、縁は（３ｍ−ｎ）／２箇所となる
つまり縁が０になるなら、縫い合わせは（３／２）ｍ箇所
604: 2021/02/17(水)07:42 ID:mkFOjzrY(7/23) AAS
また、パンツの縫い合わせでできたグラフにサイクルがない場合
縫い合わせれてない縁の数ｎとパンツの数ｍは以下の関係にある
ｎ＝ｍ＋２
そしてサイクルの数をｇとすれば
それは上記のグラフで２ｇ箇所の縁を縫い合わせて
できるものだから以下の関係が成り立つ
ｎ＝ｍ＋２−２ｇ
605: 2021/02/17(水)07:44 ID:mkFOjzrY(8/23) AAS
つまり、サイクルがｇで縫い合わされない縁（接続する棒が１本の黒丸）がｎ個
のグラフにおけるパンツ（白丸）の数は
ｍ＝２ｇ−２＋ｎ
縫い合わせの箇所は
（３ｍ−ｎ）／２
＝（３（２ｇ−２＋ｎ）−ｎ）／２
＝（（６ｇ−６＋３ｎ）−ｎ）／２
＝（６ｇ−６＋２ｎ）／２
＝３ｇ−３＋ｎ
606: 2021/02/17(水)07:45 ID:mkFOjzrY(9/23) AAS
つまり、集合A君が「わかった！」とドヤ顔する
曲面の種数ｇと穴ｎと”パンツ”ｍの数の関係は
グラフのサイクルｇと末端の黒丸ｎと白丸ｍの関係に
置き換えられるから 数論幾何でも複素解析でもなく
初等的なグラフ理論の問題になる！！！
607(1): 2021/02/17(水)07:45 ID:mkFOjzrY(10/23) AAS
>>６０２-６０６
これが「ぱんつのさんすう」だよ 万年小学生の集合A君ｗｗｗ
608(4): 2021/02/17(水)07:49 ID:9fTMgvJq(4/7) AAS
>>545 追加
(引用開始)
>理解できないときに、理解しないままで本をうつしたりすることを繰り返したりせずに、
>かっこ悪く延々とじたばたし続けた方がいいです。
蒲谷祐一(>>526)、中村博昭（>>467）、河澄響矢（>>401）、作間 誠（>>393）
各先生が書いていることは、
おれがいくらジタバタしても、百年ジタバタしても、思いつかないだろう
いまなら、キーワードが分かれば
ジタバタと検索すれば良いｗ
なお、各先生だって、
省8
609: 2021/02/17(水)07:55 ID:9fTMgvJq(5/7) AAS
>>607
自称”complete idiot”（>>67）とは、よくぞ言ったものだｗ
ぴったりだよｗｗ
維新さんｗｗｗ
毎日、アホなカキコ、ご苦労さんｗｗｗｗ
610(2): 2021/02/17(水)09:16 ID:VPEtuyHj(1) AAS
>>608
・ショルツェ氏のように、ドツボに嵌まって、ドボンになる場合もある。視点を変えると分かるとか。人に聞いたり調べたりがあって良いよね。
そうだね、だからショルツは正直にCor3.12のロジックが追えないと述べた
にも関わらず、何故か自称理解者たちがその証明を詳述するようなペーパーを一切出さない
611(2): 2021/02/17(水)12:09 ID:530kLp8E(1/4) AAS
>>610
>>・ショルツェ氏のように、ドツボに嵌まって、ドボンになる場合もある。視点を変えると分かるとか。人に聞いたり調べたりがあって良いよね。
>そうだね、だからショルツは正直にCor3.12のロジックが追えないと述べた
>にも関わらず、何故か自称理解者たちがその証明を詳述するようなペーパーを一切出さない
１．あんた気付いていないみたいだが、論点変わっているんだよ
最初は、「ショルツは正直にCor3.12のロジックが追えないと述べた」のです
だが、SS文書で指摘したことは、「IUTは、オレサマのモノドロミーと矛盾している」ってこと。だから、「IUTは、どうやってもダメ」というのが、ショルツェ氏の主張
（ここは、woitブログのDupuy氏との論争の最後のショルツェ氏の捨て台詞になっているよ）
２．SS文書のあと、望月氏はCor3.12の証明を何度か追加したりで書き直して、分量は増えた。でも、それをショルツェ氏は読む気ないみたい
もう、「Cor3.12のロジックが追えない」って論点から、「IUTは、オレサマのモノドロミーと矛盾しているのでダメダメ」という論点に変わっている
省11
612(3): 2021/02/17(水)12:25 ID:EwzGmCo7(1) AAS
>>611
もちろん、ショルツ自身がそんなこと把握している
つまり、Cor 3.12の証明が証明になっておらず、その上で、Cor 3.12は成り立たないだろうという説明をしているだけ
ウルフ賞数学部門など受賞のピーター・サルナックが圏論は不等式に対しては不便だと説明しているのと全く同じで、もしかしたらCor 3.12は正しいかもしれないが、そうは思えないと言ってるに過ぎない
だから理解者がCor 3.12を証明しさえすれば「ああ、自分が間違っていたよ」で納得する
613: 2021/02/17(水)13:08 ID:mkFOjzrY(11/23) AAS
>>608
>キーワードが分かればジタバタと検索すれば良い
>>545の繰り返し？ 能が無いな
検索ってキーワード入力してクリックするだけでしょ
サルでもできる 全然ジタバタしてない
>先生が書いていることは、
>おれがいくらジタバタしても、
>百年ジタバタしても、
>思いつかないだろう
誤 思いつかない
省21
614: 2021/02/17(水)13:12 ID:mkFOjzrY(12/23) AAS
>>608
>数学のプロになるために、
>難しい証明を読み理解する訓練を否定しない。
数学のプロじゃないから
証明は読まなくていいし理解しなくていい
って、自分のサボりを肯定しようとしてる？
それダメね
そんな怠惰なありさまだから
εδも行列の正則性も理解できずに
大学１年で落ちこぼれる
省19
615: 2021/02/17(水)13:15 ID:mkFOjzrY(13/23) AAS
>>608
>ショルツェ氏のように、
>ドツボに嵌まって、
>ドボンになる場合もある。
自分と同じ「日本人」である望月新一を礼賛したいために
どうしても非日本人であるショルツを
ドツボに嵌めてドボンさせたいみたいだね
世界の数論幾何学者は
望月よりショルツェのほうが
筋が通ってると思ってる
省8
616(1): 2021/02/17(水)13:16 ID:mkFOjzrY(14/23) AAS
>>610
>ショルツは正直にCor3.12のロジックが追えないと述べた
もうちょっと踏み込んだけどね
「モノドロミ―考えたら、望月の不等式は出ないんじゃね？」
>にも関わらず、何故か自称理解者たちが
>その証明を詳述するようなペーパーを一切出さない
☆はその場にいたけど、ダンマリだった
その後も、何も言「え」なかった
Goはその場にすらいなかった
その後も、何も言「え」なかった
省5
上下前次1-新書関写板覧索設栞歴
あと 386 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.013s