[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 43 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
889: 2021/03/09(火)17:34 ID:3zWce7PK(7/15) AAS
>>876
直観的にこんな感じなんだけど間違ってるかな？
890(1): 2021/03/09(火)17:37 ID:3zWce7PK(8/15) AAS
おっと画像を張り損ねた
BEｱｲｺﾝ:1s5tq.png
891(1): 2021/03/09(火)17:58 ID:AcW1MNsR(28/35) AAS
＞マッパで職質受けるマン
アルキメデスね 職質は受けてないと思うｗ
＞ビューティフルマインドマン
ナッシュね
＞情緒ですマン
省5
892(1): 2021/03/09(火)18:08 ID:AcW1MNsR(29/35) AAS
>>890
どっちもまちがってますね
まずべきが１+εでε=0（つまりべきが1)の線より上にあるa,b,cの組は無限個あります
し・か・し、任意のε>0について、1+εの線より上のあるa,b,cの組は有限個
これが(弱い)ABC予想です
893(1): 2021/03/09(火)18:12 ID:AcW1MNsR(30/35) AAS
（強い）ABCはさらに（弱い）ABCを満たすようなｃの上限に関する不等式となります
894(1): 2021/03/09(火)18:19 ID:3zWce7PK(9/15) AAS
>>892-893
だからそういう風に描いたつもりなんだけど……？？
895(1): 2021/03/09(火)18:24 ID:AcW1MNsR(31/35) AAS
>>894
「つもり」ではダメ
そうよめなかったんだからしかたない
896: 2021/03/09(火)18:26 ID:3zWce7PK(10/15) AAS
>>895
図が下手だったのか
それは申し訳ない
897: 2021/03/09(火)18:26 ID:AcW1MNsR(32/35) AAS
そもそも
・εのようなものを図で表せると思ってる時点で理解を疑う
・横軸が不明
・強いABCのほうはどうみても間違ってる
898: 2021/03/09(火)18:50 ID:3zWce7PK(11/15) AAS
abc-tripleの分布次第で弱いabc予想が成り立たなくても強いabc予想が成り立つ可能性があるし
強いabc予想が成り立たなくても弱いabc予想が成り立つ可能性があるのではないかと言いたかった
899(1): 2021/03/09(火)19:03 ID:AcW1MNsR(33/35) AAS
そもそも強いabc予想誤解してるだろ
いいからステートメント書いてみ
即座に間違いを指摘してやるよ
900: 2021/03/09(火)19:07 ID:3zWce7PK(12/15) AAS
あとεじゃなくてq-1だな
一年近く前のことなのですっかり忘れてしまった
901(1): 2021/03/09(火)19:10 ID:3zWce7PK(13/15) AAS
>>899
Wikipediaより
「全ての abc-triple (a, b, c) に対して、c < rad(abc)^2 を満たすであろう」
かな？
902: 2021/03/09(火)19:28 ID:hQ2DO+95(2/2) AAS
>>891
はぇぇ…
アルキメデスもなんですか…
数学鬼才のありがちファッションですかねぇ…コレは…
…日本でも
kk先生ほぼ全裸徘徊事例が発生したそうですねぇ…
903: 2021/03/09(火)19:40 ID:c62oid1E(1) AAS
いつの間にか関連論文が9つに増えているな。
ちなみにIUTTの4論文の中に" rad "" radical"の文言は一切無い。
904: 2021/03/09(火)20:04 ID:N+ZaEaX4(1) AAS
そうは言ってもMはしごくまともなので裸で徘徊するようなことはしなさそう
他人を罵倒することもなさそう
しらんけど
905(2): 2021/03/09(火)20:23 ID:AcW1MNsR(34/35) AAS
>>901
それ実は正しくないね
c<K(ε)(abc)^(1-ε) を弱いABC予想としたとき
上記を満たした上でε=1のときK(ε)=1、というのが強いABC予想だから
906(1): 2021/03/09(火)20:35 ID:3zWce7PK(14/15) AAS
>>905
なるほど
強いabc予想は弱いabc予想を含んでいたのか
でもそれだと弱いabc予想が成り立っても強いabc予想が成り立つとは限らないということになるよね
907(1): 2021/03/09(火)21:03 ID:AcW1MNsR(35/35) AAS
>>906
そうだよ だからそういってるじゃん
弱いほうから強いほうは言えるけど
逆は言えないって
908: 2021/03/09(火)21:57 ID:3zWce7PK(15/15) AAS
>>907
納得しました
どうもありがとう
909: 2021/03/10(水)06:11 ID:7paJIwdn(1/40) AAS
>>905
誤 (1-ε）
正 (1+ε)
c<K(ε)(abc)^(1+ε) を弱いABC予想としたとき
上記を満たした上でε=1のときK(ε)=1、というのが強いABC予想だから
910: 2021/03/10(水)07:11 ID:7paJIwdn(2/40) AAS
rio2016.5ch.net/test/read.cgi/math/1615164505/43
「ショルツェ氏：IUTに対し、こういうモノドロミーを考えると矛盾が起きる（IUTの内側）
望月氏 ：そういうモノドロミーは、IUTでは起きない（IUTの外側）（SS文書への反論）。
∧と∨とを取り違えている、IUTは∧なのに、∨と見ている（出版記念の新論文の主張）」
「査読者は、ショルツェ氏の主張と望月氏の主張の両方を勘案した上で、査読している
二つの対立する主張のどちらを採用するか？ 実に単純な話です
さすがに、査読者がここを間違うはずがない」
省6
911: 2021/03/10(水)07:58 ID:zuSnVFfs(1) AAS
この予想はrad(abc)の１より任意の実数だけ大きい冪乗というところがある意味
無限を含んでいて、よく考えると気が遠くなるなぁ。
任意の実数というのは0.000000000....(=0ではない）ようなものを含んでいるわけだから。
912: 2021/03/10(水)12:59 ID:74QfiVU8(1) AAS
外部ﾘﾝｸ:ja.wikipedia.org
＞コンピューティングによる成果
＞2006年、オランダのライデン大学数学研究所は、さらなる abc-triple を発見しようと、
＞Kennislink科学協会と共に分散コンピューティングシステム「ABC@homeプロジェクト」を立ち上げた。
＞たとえ発見された例または反例が ABC予想を解決することができなくとも、
＞このプロジェクトによって発見される組み合わせが、予想と整数論についての洞察に繋がることが期待されている。
これ、その後どうなってるの？調査は進んでいないの？
913(1): 2021/03/10(水)13:33 ID:7paJIwdn(3/40) AAS
なんか向こうで、例のじゃのんの人が
「査読が正しいならばショルツが間違ってる
査読は正しい だからショルツは間違ってる」
とオレ様三段論法を振り回してますが 正しい三段論法は以下の通り
「査読が正しいならばショルツが間違っていても査読者が説明して誤りを正せる
しかし正せていない したがってショルツが正しいか査読が誤っている(※）」
（※ショルツが正しくしかも査読が誤ってる可能はもちろんある）
914: 2021/03/10(水)13:37 ID:7paJIwdn(4/40) AAS
ショルツの指摘にたいして望月以外の第三者が出てこない時点で
まともな査読者がいないと考えられる
ついでにいうと柏原は専門外だから査読はできないだろうし
玉川は査読していたとしても何のサポートもできてないから
やっぱりまともに理解できていないと言わざるを得ない
915(1): 2021/03/10(水)13:46 ID:7paJIwdn(5/40) AAS
蛇足
ID:EplnUdUQ
>複素解析厨とか話してて、一番まともだと思うんですけど。
∞圏の人が選択公理の何を嫌ってるのかわからんけど
∞圏っていいたいだけちゃうんか？とは思うｗ
916: 2021/03/10(水)15:10 ID:EplnUdUQ(1/35) AAS
>>915
>言いたいだけちゃうか
当たり前として認めていない馬鹿が多いから、いちいち主張せなあかんこっちの身にもなってくれ、って馬鹿にいうだけ無駄でした。
917: 2021/03/10(水)15:11 ID:EplnUdUQ(2/35) AAS
ほんと馬鹿で草ww
918: 2021/03/10(水)17:09 ID:7paJIwdn(6/40) AAS
じゃのんの人
＞一旦認めて、先に進むべし
理解できない素人は闇雲に認めるしか能がない
ニッポン、バンザイ！！！しかいえないって哀れだな
919(1): 2021/03/10(水)17:21 ID:7paJIwdn(7/40) AAS
じゃのんの人
＞＞説明責任があるのはショルツでなく望月です。
＞望月氏は、ショルツェ氏に対する説明責任はありません。
説明責任放棄するなら論文投稿するなってｗ
＞望月氏は、遠アーベルの専門家たちに理解できる証明を提供すべきで、
ＩＵＴ論文を認める人＝遠アーベルの専門家、という論点先取
しかも彼らが本当にＩＵＴ論文を理解してるかどうかわからん
省23
920(1): 2021/03/10(水)18:31 ID:E6r9/wkS(1) AAS
>>913
査読者は極秘事項なので表にでてショルツに説明する事は今後起こり得ない。
>>919
読まずに査読したってなぜ知ってるの？
921: 2021/03/10(水)19:18 ID:7paJIwdn(8/40) AAS
>>920
別に査読者だと名乗り出る必要はないが
誰も説明できないのでは
査読者も結局分かってないと認めたに等しい
922(1): 2021/03/10(水)19:24 ID:7paJIwdn(9/40) AAS
ID:EplnUdUQ
>ただの会社員ですよ。
>出身は、旧帝大のどれかです。
数学科ではなさそう
でも情報科学専攻とかでもなさそう
論理とか集合論とか全然知らなそう
じゃのん氏と同じく工学部かな
省4
923: 2021/03/10(水)19:33 ID:7paJIwdn(10/40) AAS
「旧帝大」っていう人は大体東大・京大以外なんだよね
だって東大や京大ならはっきりそういうからｗ
それ以外のTHKとかKSとかHKDとかOSKとかNGYとかの人が
「他の国立とは違うんです！」っていいたくてそういうんだけど、
結局東工大とかより下なんだよな
924(1): 2021/03/10(水)19:40 ID:EplnUdUQ(3/35) AAS
>>922
残念ながら工学部ではないですし、
東大か京大かのどちらかです。
日本のトップレベルであるはずの、RIMS の方に線形代数教わりましたが散々でしたよ。
925: 2021/03/10(水)19:42 ID:EplnUdUQ(4/35) AAS
日本の大学レベルが恥ずかしすぎて目も当てられないから嘆いているだけです。
926(1): 2021/03/10(水)19:42 ID:7paJIwdn(11/40) AAS
バナッハ・タルスキのパラドックスの原因が
選択公理だけにあると思ってるのは、
全然理解してない人だね
実際には階数２以上の自由群の逆説性による
非可測集合だって群の性質の問題
例えば実数Ｒの加法で不変となるような
全体を１とする測度は存在しえない
省3
927: 2021/03/10(水)19:45 ID:EplnUdUQ(5/35) AAS
なんかわけのわからないアルファベット三文字並べるのやめて貰えます？
学歴なんて気にしているのあなたぐらいでしょうし。
928(1): 2021/03/10(水)19:45 ID:7paJIwdn(12/40) AAS
>>924
で、残念ながら数学科ではないんでしょう？
＞RIMS の方に線形代数教わりましたが散々でしたよ。
京大でしたか
で、線型代数の何が理解できませんでしたか？
正直に教えていただけると幸いです
929(1): 2021/03/10(水)19:46 ID:EplnUdUQ(6/35) AAS
>>926
そんなこといつ言いました？
選択公理危険だよね、しか言ってませんが。
930: 2021/03/10(水)19:47 ID:EplnUdUQ(7/35) AAS
分野によって、仮定して合意形成されているところもあるみたいですが、
それは、ある特定の分野における決まりごとであって、数学というには、ちょっと早すぎませんかね？
931(1): 2021/03/10(水)19:48 ID:7paJIwdn(13/40) AAS
>>929
選択公理以前に線型代数が理解できなかったんでしょ？
何がどう理解できなかったんです？
932(1): 2021/03/10(水)19:52 ID:EplnUdUQ(8/35) AAS
>>928
動機づけをもう少し明確にしたほうがいいと思います。
有限群のからくりを先にやる、
特殊相対論と一緒にやる、
など。
動機づけの部分がしっかりできれば学生は興味を持ち
勝手に学びます。
省2
933(1): 2021/03/10(水)19:56 ID:EplnUdUQ(9/35) AAS
>>931
教科書を指定せず、
かんたんな誰でもできる行列計算を例に、
基本的な用語をさらえるだけの授業でしたので、寝てました。
線形代数を理解してるってあなた馬鹿なんですか？
934(1): 2021/03/10(水)19:57 ID:7paJIwdn(14/40) AAS
>>932
＞動機づけをもう少し明確にしたほうがいいと思います。
線型代数の？
＞有限群のからくりを先にやる
もしかして、行列群の定義で置換と符号が出てきて頓挫した？
＞特殊相対論と一緒にやる
もしかして、ローレンツ群が行列群だって知らなかった？
省3
935(1): 2021/03/10(水)20:00 ID:7paJIwdn(15/40) AAS
>>933
もしかして、正則行列の定義を知らない？
正則行列とは逆行列が存在する行列のことね
同値な条件を最低３つは言えないと
線型代数が分かってるとはいわないな
さて、何と何と何？ｗ
936(1): 2021/03/10(水)20:02 ID:EplnUdUQ(10/35) AAS
>>934
符号が出てきて頓挫などしてません。
このRIMS の方は理解していないので、
授業を聞いても無駄だと感じました。
符号の話など、「鏡」という言葉一言で片付く話です。
教育と研究の話をごちゃまぜにしてませんかね。
937(1): 2021/03/10(水)20:03 ID:X/E2zEmn(1) AAS
またマウントとりたがりの承認欲求の強い数学者になれなかった学歴コンプが暴れ回ってんの？懲りないねえ！
938: 2021/03/10(水)20:05 ID:7paJIwdn(16/40) AAS
>>936
＞符号の話など、「鏡」という言葉一言で片付く話です。
鏡という言葉を持ち出しても
なぜ、偶置換と奇置換に類別できるかは
言えないと思うよ
で、正則行列となるための同値な３条件は？
何と、何と、何？
939(1): 2021/03/10(水)20:07 ID:7paJIwdn(17/40) AAS
>>937
いやいやマウントとりたがってるのは
京大受かったくせに大学１年の線型代数でザセツして
そのカタキを∞圏でとろうとしてるヘタレ会社員君でしょｗ
940(1): 2021/03/10(水)20:11 ID:EplnUdUQ(11/35) AAS
>>935
核が0 でない
非退化
ランクが行数と同じ
これらっていちいち言い換える必要あるんですか？本質同じこと言ってますよね？
941: 2021/03/10(水)20:11 ID:EplnUdUQ(12/35) AAS
>>939
∞圏の定義言ってもらえます？
942: 2021/03/10(水)20:12 ID:EplnUdUQ(13/35) AAS
本質同じことをダラダラと、
バカみたいに教える必要ってないですよね？
943: 2021/03/10(水)20:13 ID:EplnUdUQ(14/35) AAS
どうらいけんの定義一般的に
３種類の方法で言ってもらっていいですか？
944: 2021/03/10(水)20:15 ID:7paJIwdn(18/40) AAS
>>940
核は０じゃね？ｗ
核が０じゃなかったら退化してるじゃんｗ
「ランクが行数と同じ」はいいとしよう
で、あと２つは？（ニヤニヤ）
945(1): 2021/03/10(水)20:16 ID:EplnUdUQ(15/35) AAS
ごめん、核はゼロ。
946(2): 2021/03/10(水)20:17 ID:EplnUdUQ(16/35) AAS
対角化可能
947(1): 2021/03/10(水)20:18 ID:7paJIwdn(19/40) AAS
>>945
ｗｗｗ
あのね、分かってる人はそんなところで決して間違えないよ
で、ランク以外の2条件は？
ヒント：ランクは消去法 で、連立線型方程式系を解くもう一つの方法は？
948: 2021/03/10(水)20:18 ID:EplnUdUQ(17/35) AAS
さ、どうらいけんの定義全部言ってもらおうか。
949(1): 2021/03/10(水)20:20 ID:7paJIwdn(20/40) AAS
>>946
なんかダメそうだなｗ
もう２つは
・行列式が０でない
・行列の行ベクトル（そして同じことだが列ベクトル）が線型独立
950: 2021/03/10(水)20:22 ID:EplnUdUQ(18/35) AAS
>>947
当たり前過ぎて、
しぼむことがないを
普段からホモロジーでも触ってない限り、
書き損じることはあるでしょう。
突然全く別分野の話が飛んできてるのわかりますか？
Group object の定義言ってもらっていいですか？
951: 2021/03/10(水)20:23 ID:EplnUdUQ(19/35) AAS
>>949
wwwww
お前それで３つ言った気になってるの？www
952: 2021/03/10(水)20:23 ID:EplnUdUQ(20/35) AAS
草なんだけどwww
953(1): 2021/03/10(水)20:24 ID:7paJIwdn(21/40) AAS
ランクでも、行列式でも、行ベクトルの線型独立性は言える
ｎ×ｎ行列のｎ個の行ベクトルが線型独立でなければ、
ランクがｎになる前に全部０の行ベクトルができてしまう
一方行列式が０になるのは、
ｎ本の行ベクトルが線型従属関係にあるときそのときに限る
954: 2021/03/10(水)20:26 ID:7paJIwdn(22/40) AAS
消去法と行列式は異なる思想だから
両者の関係は自明というほどではない
これを自明と言い切るのは単に何も考えてない人
そういう人は数学を学ぶ意味がないｗ
955: 2021/03/10(水)20:27 ID:EplnUdUQ(21/35) AAS
>>953
さ、早くどうらいけんの定義をだな。
956(1): 2021/03/10(水)20:28 ID:EplnUdUQ(22/35) AAS
行列式は、ただの自明な自然変換だ。
特別たいしたものでもない。
957: 2021/03/10(水)20:28 ID:7paJIwdn(23/40) AAS
いやいや、線型代数が分かってない人に
どうらいけんもクソもないからｗｗｗ
958(1): 2021/03/10(水)20:32 ID:7paJIwdn(24/40) AAS
>>956
＞行列式は、ただの自明な自然変換だ。
こんな大層な口利く人に限って
「行列式計算して」
っていうと定義式そのまま当てはめて計算するんだよな
あのな今時そんなやり方じゃ行列がちょっと大きくなったら
もう計算機でも計算できないっつーのｗ
省1
959: 2021/03/10(水)20:33 ID:EplnUdUQ(23/35) AAS
>>958
えっだからどうらいけんどこいったの？
960: 2021/03/10(水)20:33 ID:EplnUdUQ(24/35) AAS
まさかそんだけ偉そうに言ってて、
一個も言えないんじゃ。
961: 2021/03/10(水)20:34 ID:EplnUdUQ(25/35) AAS
偉そうに言っててわかってないのお前だからwww
自然変換のしの字もでてこんんけだろwww
962(1): 2021/03/10(水)20:36 ID:7paJIwdn(25/40) AAS
のっけから正則な線型変換は「核が０”でない”」とか
ボケ倒す正真正銘の馬鹿に∞圏とか導来圏とか
口にしてほしくないなあｗｗｗｗｗｗｗ
963(1): 2021/03/10(水)20:36 ID:EplnUdUQ(26/35) AAS
ただ length とったら0 でないとか、
バカでもわかるでしょう。
そこまで理解しているなら
もっと本質的な、
同値な定義
与えてくれる？
あと３つ。
964(1): 2021/03/10(水)20:37 ID:EplnUdUQ(27/35) AAS
>>962
まあ、書き損じや。
線形代数理解しているなら、
教えてくれるか、あと３つ。
965(1): 2021/03/10(水)20:40 ID:7paJIwdn(26/40) AAS
>>963
> length とったら0 でないとか、
なんかまたトンチンカンなこといいだしたよ
阪大の次は京大か
なんか関西は🐎🦌しかいないな
966: 2021/03/10(水)20:41 ID:7paJIwdn(27/40) AAS
>>964
ランクと行列式による性質が同じとかいう粗雑な人には数学は無理だよｗ
967(1): 2021/03/10(水)20:42 ID:EplnUdUQ(28/35) AAS
>>965
トンチンカン言うてるお前がトンチンカン。
行列のDet とリストのlength
が圏では同じことなのわかる？
968: 2021/03/10(水)20:43 ID:7paJIwdn(28/40) AAS
阪大の落ちこぼれ「任意の正方行列に逆行列が存在する」
京大の落ちこぼれ「任意の正則行列の核は０でない」
をひをひ勘弁してくれよ
箱根より東ではこんな馬鹿は東大どころか東工大もうかりゃしないｗｗｗ
969(1): 2021/03/10(水)20:44 ID:X21Cgi/l(1) AAS
数学の耳年増ってホント滑稽なんだよな
上下前次1-新書関写板覧索設栞歴
あと 33 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s