Interｰuniversal geometryとABC予想(応用スレ)51

[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

912: complete idiot ◆OHIXyLapqc 2021/02/20(土)07:07 ID:c8yOLip1(1/65) AAS
ど~も~、週末限定で書き込む「完全なる白痴」で~す
それはそうと、昨日はなんか盛り上がったみたいですね

とくにID:eUBy2XOTさん、
最初はただのトンデモ反選択公理野郎かと思ったけど
なんかやたら圏論に入れ込んでるみたいで面白そう　じゅるる

>>729
>適切な具体例は、無限圏だ。
省4

913: complete idiot ◆OHIXyLapqc 2021/02/20(土)07:14 ID:c8yOLip1(2/65) AAS
>>801
>もっと本質的な無限圏の幾何

また、でてきましたね　これが２回目

そのムゲンケンの何がどう幾何なんですかね？
聞きかじっただけで中身知らないっていうんなら
「とりあえず、これ読んどけ」みたいなテキスト教えて

914: 2021/02/20(土)07:20 ID:c8yOLip1(3/65) AAS
>>855
＞1. Quillen のモデル理論
＞2. Neeman の三角圏

ムゲンケンの次はサンカクケンですか
なにかどうサンカクなんですかね？
これまた説明と、テキスト　オナシャス

915: complete idiot ◆OHIXyLapqc 2021/02/20(土)07:26 ID:c8yOLip1(4/65) AAS
>>851
＞∞圏は、物事の本質を捉えている。
>>873
＞ホモロジーの知識があれば、∞圏は理解できる。

∞圏＝無限圏＝ムゲンケンですかね？
なんか、アニメの登場人物の名前にしたらカッコよさそうｗ

916(1): complete idiot ◆OHIXyLapqc 2021/02/20(土)07:48 ID:c8yOLip1(5/65) AAS
無限圏と三角圏で検索したら導来圏とかいう第三の言葉が見つかったｗ
でさらに導来圏で検索したらこんなもん発見

外部ﾘﾝｸ[pdf]:www.ipmu.jp

「導来圏の考え方は、実はかなり普遍的であり、
　研究の対象がアーベル圏をなす場合にあっては
　常に、他の多くの数学理論に応用される。
　しかし研究者にとって、導来圏を学ぶことには
省17

917(1): 2021/02/20(土)08:06 ID:c8yOLip1(6/65) AAS
>>916
「代数幾何学では、代数多様体などの対象は、
　「社会的振る舞い」という点では、代数と似ている。
　彼らはアーベル圏を構成しない。
　したがって、もしホモロジー代数を用いたいのなら、
　加群の圏に相当するものを探さなくてはならない。
　これが代数多様体上の「連接層」の圏である。」
省25

918: complete idiot ◆OHIXyLapqc 2021/02/20(土)08:25 ID:c8yOLip1(7/65) AAS
>>917
「導来圏の正確な定義には、
　少なくとも19世紀のイギリスの数学者アーサー・ケイリー（Arthur Cayley）と
　ドイツの偉大なダヴィッド・ヒルベルト（David Hilbert）に遡る
　「シジギー」（syzygy、現代の用語で「分解（resolution）」）
　という古い考え方が使われている。」

syzygy…

919: 2021/02/20(土)08:38 ID:c8yOLip1(8/65) AAS
Linear relation
外部ﾘﾝｸ:en.wikipedia.org

なんかいきなり具体的（concrete）なもんがでてきたぞ

920: complete idiot ◆OHIXyLapqc 2021/02/20(土)08:42 ID:c8yOLip1(9/65) AAS
syzygy
〔天文〕朔望(さくぼう)《太陽・地球・他の天体(月など)が一直線に並ぶ配置となること》.
〔古典韻律〕複詩脚.(通例反対のもので)対をなす2つのもの.
〔動〕(原生動物胞子虫類の有性的な生殖における)連接.

…え？
もしかして連接層の連接（coherent）の起源って、ケイリーとヒルベルト？

はよ、いわんかい！ワレ！ｗ

921(1): complete idiot ◆OHIXyLapqc 2021/02/20(土)08:57 ID:c8yOLip1(10/65) AAS
今はじめて可換環論に興味を持ち始めたｗ

922: 2021/02/20(土)10:30 ID:c8yOLip1(11/65) AAS
次スレが立ってしまったので

923: 2021/02/20(土)10:31 ID:c8yOLip1(12/65) AAS
埋めさせていただきます

924: 2021/02/20(土)10:31 ID:c8yOLip1(13/65) AAS
それにしても

925: 2021/02/20(土)10:32 ID:c8yOLip1(14/65) AAS
なんでIUTが正しい、といいはるんでしょうね？

926: 2021/02/20(土)10:32 ID:c8yOLip1(15/65) AAS
日本人は素晴らしい、と自慢したがる理由がわからん

927: 2021/02/20(土)10:33 ID:c8yOLip1(16/65) AAS
だって、日本人とかいったって結局他人じゃないですか

928: 2021/02/20(土)10:33 ID:c8yOLip1(17/65) AAS
他人ならどこの国の人でも同じですよ

929: 2021/02/20(土)10:34 ID:c8yOLip1(18/65) AAS
例えばABC予想を解決したと主張したのが外国人だとして・・・

930: 2021/02/20(土)10:35 ID:c8yOLip1(19/65) AAS
やっぱり同業者から理解されてなかったら、同じように疑いますよ

932: 2021/02/20(土)10:36 ID:c8yOLip1(20/65) AAS
支持しない理由は国籍と無関係なんで

933: 2021/02/20(土)10:36 ID:c8yOLip1(21/65) AAS
逆に自国民だから支持するとか変態ですよね？

934: 2021/02/20(土)10:37 ID:c8yOLip1(22/65) AAS
なんで彼はそんなに必死なんでしょうね？

935: 2021/02/20(土)10:37 ID:c8yOLip1(23/65) AAS
数学の初歩もわかってないのに

936: 2021/02/20(土)10:38 ID:c8yOLip1(24/65) AAS
a,bが集合なら、a∈b⇔a⊂b　とか言ってたの聞いて、呆れましたよ

937: 2021/02/20(土)10:39 ID:c8yOLip1(25/65) AAS
∈すら誤解するとか、数学に興味ないよなって・・・

938: 2021/02/20(土)10:40 ID:c8yOLip1(26/65) AAS
「正方行列の群」発言も酷かった

939: 2021/02/20(土)10:40 ID:c8yOLip1(27/65) AAS
「条件を付けるとわかりにくくなる」
って言ったのが実に馬鹿っぽかった

940: 2021/02/20(土)10:41 ID:c8yOLip1(28/65) AAS
必要な条件つけなかったら意味ない、って思わないのが野蛮

941: 2021/02/20(土)10:43 ID:c8yOLip1(29/65) AAS
任意の１次方程式ａｘ＋ｂ＝０は解ける！解はｘ＝−ｂ／ａだ！っていうくらい野蛮ｗ

942: 2021/02/20(土)10:43 ID:c8yOLip1(30/65) AAS
ａ＝０だったらダメじゃん

944: 2021/02/20(土)10:45 ID:c8yOLip1(31/65) AAS
ま、公式があればＯＫ、で大学入試を乗り切っちゃったんだろうな

945: 2021/02/20(土)10:46 ID:c8yOLip1(32/65) AAS
東大でもそういう人少なくないんだろうな

946: 2021/02/20(土)10:47 ID:c8yOLip1(33/65) AAS
で、大学一年の微積分と線型代数で、ついていけんとなって工学部に行く、と

947: 2021/02/20(土)10:48 ID:c8yOLip1(34/65) AAS
数学＝計算、っていう理解だと、落ちこぼれるよな

948: 2021/02/20(土)10:49 ID:c8yOLip1(35/65) AAS
陰関数定理もそもそもそれ以前の
線型連立方程式の場合の定理すら
分かってないかもしれん

949: 2021/02/20(土)10:49 ID:c8yOLip1(36/65) AAS
で、εδも分かってなかったら二重にダメダメだよな

950: 2021/02/20(土)10:50 ID:c8yOLip1(37/65) AAS
そんな人が数学の何に興味もったんだかワケワカラン

953: complete idiot ◆OHIXyLapqc 2021/02/20(土)11:00 ID:c8yOLip1(38/65) AAS
>>951
ボクはもういい御歳ですよ　全然若くない
大学出たのは昭和時代だしｗ

955: 2021/02/20(土)11:04 ID:c8yOLip1(39/65) AAS
複素解析はニガテだったなｗ

チャーン類が切断の障害類、とかいうのは
野口廣のトポロジーの啓蒙書に書いてあった話
別に大したことじゃないよ

956: 2021/02/20(土)11:08 ID:c8yOLip1(40/65) AAS
>>951
＞コンピュータサイエンスと密接に結びついた数学では、
＞プレスバーガー算術をもちいるが、

決定可能だからね　限量子消去法を用いるとか
具体的な方法は勉強してないから知らないけど

957: 2021/02/20(土)11:11 ID:c8yOLip1(41/65) AAS
>>951
＞（プレスバーガー算術は）掛け算をすべて足し算に置きな変え計算するようなものだ。

正しくは掛け算が定義できない
だから、例えばｎｘはｘ＋…（ｎ回）…＋ｘと書けるけどｘ＾２は書けない

これ指摘すると、「え？」といったまま固まる人がいるけど
要するに文章を目で追っただけで考えてないんだな
一回でも考えたら必ず気づくんだけどね

958: 2021/02/20(土)11:13 ID:c8yOLip1(42/65) AAS
ゲーデルコーディングでは掛け算（というかベキの使用）は必須だから
プレスバーガー算術では無理　その時点で興味なしｗ

959: 2021/02/20(土)11:15 ID:c8yOLip1(43/65) AAS
実閉体や代数的閉体の理論も決定可能
つまり、逆に言うと上記の理論では自然数論は展開できない

これも、分かってない人多いね
実閉体の理論は実数論じゃないし
代数的閉体の理論は複素数論じゃないんだけどね

960: 2021/02/20(土)11:20 ID:c8yOLip1(44/65) AAS
>>952
望月のやってること自体は否定しない
アイデアというのは大体荒唐無稽なものだから

望月に問題があったとすれば
・自分の論文を編集長特権で掲載させようとした疑惑
・他人（ショルツ）の指摘に真摯に向き合わなかった態度

ま、人はみな自惚れ屋で自己中心的ですがね
省1

961(1): 2021/02/20(土)11:22 ID:c8yOLip1(45/65) AAS
>>952
＞選択公理の虚をついた仕事なんじゃないのか。

いまだに「選択公理」を排除したがる態度の理由が分からない

選択関数が構築できないなら意味がない、といいたいようだが
それは「具体的に計算できないものは無矛盾であっても無意味」
ということかい？

962(1): 2021/02/20(土)11:23 ID:c8yOLip1(46/65) AAS
グロタンディークは別に構成主義者ではないと思うんだが

964(1): 2021/02/20(土)11:28 ID:c8yOLip1(47/65) AAS
+Wu9Px2F氏は
「自然数から自然数への関数には必ず最小値がある」
という定理は受け入れられない？

上記は、自然数の整列性を利用するが、
どのｘでｆ（ｘ）が最小値になってその値がいくつか
をもとめるアルゴリズムは存在しない

966(1): 2021/02/20(土)11:33 ID:c8yOLip1(48/65) AAS
>>963
＞選択公理は、人類の営みとして高々有限的にしか扱えないというタプーを超えている。
＞パラドクスがおきるのは必然。

パラドクスおきてる？

非可測集合の存在もバナッハ・タルスキの定理も
パラドックスではないよね

だいたい、双曲平面では選択公理なしで
省4

968(1): 2021/02/20(土)11:35 ID:c8yOLip1(49/65) AAS
>>965
＞人間が紙面上でしたことは機械でも証明できる。
そうだね
でもそれは構成主義とは関係ないよ
つまり古典論理を用いようが無限公理や置換公理や選択公理を用いようが構わない

971(1): 2021/02/20(土)11:37 ID:c8yOLip1(50/65) AAS
>>967
もし、受け入れるとすれば、別に選択公理を排除する必要はないと思うけど

972(1): 2021/02/20(土)11:38 ID:c8yOLip1(51/65) AAS
>>969
すり替えはない
むしろ、あなたがわかってないんじゃない？
>>970
あなたが考えたほうがいいよ

975(1): 2021/02/20(土)11:41 ID:c8yOLip1(52/65) AAS
「自然数から自然数への関数には必ず最小値がある」

これ、構成主義者にとっては認めたくない定理だよね

「自然数から自然数への関数に最小値がないとすると矛盾する」

ここまではいいけど、そこから「二重否定」は取り除けない
なぜなら、具体的に「このｘで最小値ｙをとる」って示せないから

977(1): 2021/02/20(土)11:45 ID:c8yOLip1(53/65) AAS
>>974
ま、そう発●しないでｗ

「自然数から自然数への関数には必ず最小値がある」

これ、ヒルベルトが基底定理の証明に使ったんだよね
で、そのとき、基底を具体的に構成しなかった
これが、排中律論争の幕開けなんだよね

980(1): 2021/02/20(土)12:13 ID:c8yOLip1(54/65) AAS
>>979
論理だて？考えればわかるけど
もし、自然数から自然数への関数に最小値が存在しないとすると
任意のｘについて　ｘ＜ｙとなるｙが存在して、ｆ（ｘ）＞ｆ（ｙ）となる
したがって、ｆ（０）からの無限降下列が存在する

しかし、自然数は整列集合であるから
いかなるｎについてもｎから０への降下列は有限長
省4

983: complete idiot ◆OHIXyLapqc 2021/02/20(土)12:19 ID:c8yOLip1(55/65) AAS
ちなみにヒルベルトの基底定理で具体的に基底を計算する方法については
例えばグレブナー基底に関するブッフバーガーアルゴリズムを参照されたし

とはいえ「自然数から自然数への関数の最小値」を求めるアルゴリズムは
まだ聞いたことないし、おそらくないだろう（ほんまけ？ｗ）

985(1): complete idiot ◆OHIXyLapqc 2021/02/20(土)12:20 ID:c8yOLip1(56/65) AAS
＞ID:+Wu9Px2Fは用語をこねくり回してるだけのド素人

わかってるって　ま、ボクも同類ですから（をひ！！！）

987(1): complete idiot ◆OHIXyLapqc 2021/02/20(土)12:22 ID:c8yOLip1(57/65) AAS
>>984
誤植があるの？対角線論法のところ？
探すのメンドクサイから教えてｗ

989(1): 2021/02/20(土)12:25 ID:c8yOLip1(58/65) AAS
>>986
え？誤植じゃないの？じゃ>>984はウソ？

で、どこがどうおかしいの？教えてｗ

＃蛇足ですがID:+Wu9Px2Fを「伊達クン」と呼ぶことにしようかと思う
＃由来？そりゃ安達センセイにつづく有限主義者だから
＃「あ」のつぎは「い」でしょ（伊達を「いたち」と読むと思ってるｗ）

992: complete idiot ◆OHIXyLapqc 2021/02/20(土)12:29 ID:c8yOLip1(59/65) AAS
>>990
ふーん・・・忘れた・・・ま、そういうことにしといてあげるよ

ところで伊達さん
・大学はどこ？
・専攻は何？
・齢いくつ？
この３点セットに回答４６４９

995: 2021/02/20(土)12:38 ID:c8yOLip1(60/65) AAS
>>993
ふーん専修・・・理系学部あったっけ？
あっネットワーク情報学部なんてあるんだ
きっとここだなｗ

996: 2021/02/20(土)12:41 ID:c8yOLip1(61/65) AAS
今S大のN情報学部の教員見てみたけど
外部ﾘﾝｸ:kjs.acc.senshu-u.ac.jp

・・・知ってる人が一人もいないやｗ

997(1): complete idiot ◆OHIXyLapqc 2021/02/20(土)12:43 ID:c8yOLip1(62/65) AAS
ToKyo大学Ri学部JoHo科学科にしといてくださいｗ
ソンケーするH谷M己センセイがいるんでｗ

998: 2021/02/20(土)12:46 ID:c8yOLip1(63/65) AAS
>>997　ただ、会ったことないんだよねｗ

999: 2021/02/20(土)12:50 ID:c8yOLip1(64/65) AAS
S大合格者出身高校
外部ﾘﾝｸ:www.minkou.jp

ファー

1000: 2021/02/20(土)12:51 ID:c8yOLip1(65/65) AAS
あげ

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.047s