ガロア第一論文と乗数イデアル他関連資料スレ18

前スレが1000近く又は1000超えになったので、新スレを立てる

https://rio2016.5ch.net/test/read.cgi/math/1746597368/
前スレ ガロア第一論文と乗数イデアル他関連資料スレ17

このスレは、ガロア第一論文と乗数イデアル他関連資料スレです
関連は、だいたい何でもありです（現代ガロア理論＆乗数イデアル関連他文学論・囲碁将棋まであります）

資料としては、まずはこれ
https://sites.google.com/site/galois1811to1832/
ガロアの第一論文を読む
渡部 一己 著 （2018.1.28）
PDF
https://sites.google.com/site/galois1811to1832/galois-1.pdf?attredirects=0

＜乗数イデアル関連＞
ガロア第一論文及びその関連の資料スレ
https://rio2016.5ch.net/test/read.cgi/math/1615510393/785 以降ご参照
https://en.wikipedia.org/wiki/Multiplier_ideal Multiplier ideal
https://mathoverflow.net/questions/142937/motivation-for-multiplier-ideal-sheaves motivation for multiplier ideal sheaves asked Sep 23, 2013 Koushik

＜層について＞
https://ja.wikipedia.org/wiki/%E5%B1%A4_(%E6%95%B0%E5%AD%A6)
層 (数学)
https://en.wikipedia.org/wiki/Sheaf_(mathematics)
Sheaf (mathematics)
https://fr.wikipedia.org/wiki/Faisceau_(math%C3%A9matiques)
Faisceau (mathématiques)

あと、テンプレ順次

つづく

何故か小文字になっている

>>713の冒頭について訂正：
任意の実数aに対して、最小のaより大きい正の整数Mが存在して、
→ 任意の実数aに対して、最小の |a| より大きい正の整数Mが存在して、

任意の a＞−1 なる実数だけなく、任意の a≦−1 なる実数aも含めて
実数 γ_n＝1＋1/2＋…＋1/n−log(n＋a) を定義することは出来る

>>715の後半の下半分について：
任意の a＞−1 なる実数だけなく、任意の a≦−1 なる実数aも含めて
→ 任意の a＞−1 なる実数「a」だけなく、任意の a≦−1 なる実数aも含めて

１５℃
晴れ

１７℃
晴れ

>>709
じゃ書き込むな

>>711
じゃ見るな

>>712
>交代群の話で私は重要な指摘をした覚えがあるが
妄想だろう

>>712
>人にはそれぞれ専門というものがあるのだから
ない人もいる　君がそう

>>712
>私はどうも興味が湧かないので、
>突っ込まれる前においとまする。
数学に興味のない人は
永遠に御暇するのが利口

>>713
こんな書き込みするのは利口でない

>>721
5次以上の交代群は全ての元が共役だから、自明でない正規部分群は存在しないという、ガバガバな発言をしていたと思うけど。

>>722
これは認めよう。
年齢も1ミリくらいは考慮してほしいね。
あと10年勉強したら、何か専門らしいものも出来るかもしれない。

>>725
君が？

批判されるのなら私も対抗するが、御大に無欲と無力は似て非なるものと指摘されていたが、正直私もそう思っていた。
院で専攻を変えたのが食べていけることを考慮してのことなら別に納得するが、そうでないのなら何故変えたのとは言いたくなる。

>>727
貴方が言ったはず。
私は書き込み方法を変更したから、過去ログが探しにくくなっている。
探し出せたら報告しても良いよ。
ただね、私は基本的に平和主義者だから、批判されない限り、こちらから批判することは極力したくないからね。
板の住人の目を汚したくも無いし。

>>721
これに関しては貴方からガバガバな論理を聞いて、私は時間をかけて理解しますと言った覚えがある。
過去ログが探せるのなら、自分で探してみると良い。

私は不用意に他人の意見を否定はしない。
私だって勘違いするときなんて、いくらでもあるのだから…。

悪いことは言わないから、無数目に集中して下さい。
1さんのスレによって、日常生活に支障が出るのは嫌なんですよ。

>>725
「3次の巡回置換が全て共役だから」と発言していたかな。

>>709
じゃ去れば？　用無いんでしょ？　なんで去らないの？

そういうこと書くからじゃん。
上の書き込みは前に書いたことだからね。
1さんのスレで本当に絡むのを辞めてくれ。

あぼーん

>>724
任意に実数aを取ったとき、
|a|より大きい最小の正の整数Mが存在して、
任意の n≧M なる正の整数nに対して第n項 a_n を
a_n＝1＋1/2＋…＋1/n−log(n＋a) と定義すれば、
オイラーの定数γは収束する片側無限列 (a_n)_{n≧M} の極限として
γ＝lim_{n→+∞}(a_n)＝lim_{n→+∞}(1＋1/2＋…＋1/n−log(n＋a))
と表されるから、>>713に書いたような単純な式や文章で済む訳がなかろう
例えば、a≦−3 のときは log(n＋a) を定義する正の整数nは n≧4 を満たすから
>>713に書いたようなことは通用しない

a＞−1 なる任意の実数aだけではなく、a≦−1 なる任意の実数aについても
n＞|a| のとき第n項 a_n＝1＋1/2＋…＋1/n−log(n＋a) を考えることは出来る

>>712
>1さんのスレでは基礎論に傾倒している方が多いように思えるが、私はどうも興味が湧かない
基礎論に基礎付けされない数学は砂上の楼閣。それどころか重要な発見が基礎論からもたらされることもある。IUTが今やってるLean検証も基礎論の一分野である証明論の応用
ま、何に興味持つかはまったく自由だから押し付ける気なんてサラサラ無いけど

>>735
そういうことも何も、用が無いと言ったのは君自身

>>738
貴方にだって、これはどうも性に合わないって分野が、少なくとも一つくらいはあるだろう？
出されたものは何でも食べられる人って、そんなにたくさんいるとは思えないよ。

>>713
じゃ実際の証明を書けば？　実際じゃない証明をわざわざ投稿する意味はなに？

絡まれなければ書き込まないよ。
上の人は丁度いま、私の書き込みにきづいたから、黙っていられなかったんだろう。
それ以上は、私が書いた批判は見当たらないと思うよ。

>>740
だから押し付けてないよ自由だよって言ってるのになんでキレるの？

キレてはないよ。
偏食家の人は結構多いんじゃないのって言いたかっただけだよ。

名前欄を消すのを忘れてた。

>>739
証明全体をAIで検証する訳ではなく、
証明の一部を切り取ってAIで熱心に
検証する人がいるので注意書きしただけ

まあ、とにかく無数目に結論を付けてよ。
漫画は分かりやすく書かれたんだろうから、あまり悪く言ってあげないでよ。
1ミリも分かんないのに、意見するのはおこがましいけどね。

>>728
人生相談は他所でやってくれる？

>>744
多いから何？
君はいつも重要なことを言わず無意味なことばかり言う

>>741
証明が長いから、ここには書かない

>>748
絡まれるから、何か批判せなアカンやん。
批判材料にケチつけられたら、どうしようもないでしょw

>>729
じゃ数学板去れば？　基本批判合戦だよ　馴れ合いたければ馴れ合い板へ

>>749
必修のところをきちんとやっていれば、専門は自由でしょってことを言いたい。
やることやってたら、自由も認められるでしょ。

>>750
じゃ中途半端に語らず黙れ

>>752
それを把握するのに時間が掛かったということ。
良心的な住人も中には居るんじゃないの？
穏やかに議論できる人を掘り出してみたいものだがねぇ。

>>754
だから、絡まれなければ黙るんだってw
前に消えにくかったのは、貴方が執拗に絡んでくるからだよ。
実際に黙ってる期間がある訳だから、私はきちんと約束を守っているよ。

>>732
支障あるなら去ったら？

うん、だから消えてる最中。
無数目に集中しなよ。
結論出るのにすごく時間がかかりそうだけど。

>>746
証明全体をAIで検証すればいいだけでは？　何が不満なの？

>>747
結論なんて10年以上前に出てる
ヒト語の通じないサルがキーキー吠えてるだけ

>>751
いみふで草

>>753
誰が自由を奪ってると？　仮に奪う輩がいたとして無視すればよいだけでは？
言ってることがさっぱり分からん

>>760
話が全く分かんないから、誰が貴方に反対しているのかさえ分からないんだよ。
挙句の果てに漫画批判始まってるしw
数学科の人が相手なら、正しいことを言えば言いくるめられるでしょ。
こんな専門も無いような訳分かんない奴の相手なんかしてないで、とりあえず基礎論には精通していそうな人と議論しなよ。

>>755
どうぞ
君ってお気持ち表明ばっかだね

良いじゃん、天皇みたいでw

>>756
用が無いは嘘で有るってこと？　何が言いたいのやら

>>754
まあ、恐らくここにオイラーの定数γの有理性の証明
をすべて書いても理解出来る人はここにはいないだろう

>>758
消える君が指図しなくてよくね？

>>763
分らないなら黙ろう　無駄口は慎もう

>>768
それはごもっとも。
とにかく、今ごろ私の批判に気づかれたから、時間差で反論されたということ。
もう私が書いた批判はどこにもないよ。
私は批判されなければ、何も言わないから大丈夫だよ。

>>767
そう思うなら黙れば？

>>770
なんでここに居るの？

>>769
それもごもっとも。
今の無数目の流れでは、私はまともに話せないから必然的に用済みということ。
院試を解く取り組みが廃止されたら、私がスレにつけ入る隙は無いってこと。

>>729
>貴方が言ったはず
それも妄想

>>772
前と同じやり取りをしないでねw
私の話題が挙がらなければ、書き込む必要も無くなる。
そういうこと。

>>773
そう思うなら去れば？

>>774
妄想しながら消えますw

>>733
妄想

>>775
去ればいいだけ　話題が挙がったかすら認知できない

>>776
貴方とコントをするつもりは無いよw
誰か無数目の話を書いてくれよ。

>>780
なんで分からない無数目が気になるの？　まったく不可解
結局>>772に答えてないし

>>779
さすがにしばらくは気になるじゃん？
現に今朝、話題が挙がったのだからしょうがない。

>>759
>>771
AIの使用法を間違えて証明検証がいるので注意書きしただけ
AIに尋ねたことはあるが、AIが出す回答には
現実とは違った内容や事実を書いて
回答することが比較的多くあった
やはりAIは当てにならないモノだな

>>782
君って、自由を奪うなとか言っておきながら、他人の発言を規制したがるね　だぶすたじゃね？

シン応援スレばかり見て、ガロアスレを見ていなかったんじゃないの？
だから今ごろ、私の批判に気づいたんだよ。
重ねて言うが、新たな批判は攻撃されない限り書くつもりはない。
私は争いが勘弁なんだよ。

>>783
AIの使用法を間違えて証明検証がいる
→ AIの使用法を間違えて証明検証している人がいる

>>784
匿名性にかこつけてという部分が、さすがに看過できないところがある。
そのあたりがもう少しマイルドになれば、完全に自由にやれば良いと思う。

>>783
君が質問をちゃんと書けてないか回答を理解できないかのいずれかまたは両方じゃね？　いまどきのAIは賢いよ　少なくとも君よりは

>>785
>>752

>>787
誰も君に警察役を期待してないことが分からない？　それ病気

>>788
或る人物の所属する機関や組織を
明らかに間違えて回答していることがあった
これに限らず、AIに問い詰めて間違っているのではないかと指摘しつつ
再度更に尋ねたら、正確な回答を出すということが多々あった

>>790
10数年くらいやってるのか知らないけど、私抜きならそんな役が不要なのは分かるよ。
日常生活に支障が出ると言ったが、実は明日かなり重要な用事があって、今日の内に色々と準備しておきたいんだ。
物理的にそろそろレスがしにくくなってしまうから、明日の夕方までは5chは無理かもしれないから宜しく。

>>791
>再度更に尋ねたら、正確な回答を出すということが多々あった
じゃいいじゃん　何も不満無いじゃん

>>792
断る必要無い　別に君がいなくても誰も何も困らない

>>793
AIの回答の精度の良さはそんなモンだよ

>>795
で、君の「実際の証明」は認められたの？

>>796
ここでそんなことを聞いてもムダだと思うぞ

なんで答えないの？　不都合な質問だから？

>>798
実際の証明が認められたらどうなるか位、
私に聞かなくても想像出来るだろう

>>798
下らん会話をする位なら、黙々と物事に取り組んだ方がはやい

>>799
つまり間違いって言われたってこと？
じゃ実際じゃない証明をここに投稿した目的はなに？

>>801
>つまり間違いって言われたってこと？
これから実際の証明を投稿するか誰かに見せるんだよ

つまり間違ってるのはAIの方だと言われたいってこと？

>>803
AIなど信用してない
AIに何故オイラーの定数γは無理数で
更には超越鄒であろうと予想されているのか
を尋ねたときのAIの回答がπやeなどが超越数であるのに
γだけが巨大な分数を持つ有理数であるとは、
数学的な調和を満たすことになって考えにくい状況である云々、
とかいったような根拠の薄い回答をしているのを見たときは、
やはりAIは信用するに値しないと思った

君の専門である数理論理はオイラーの定数γとは関係が薄いような分野だ

>>804
＞AIなど信用してない
君の証明も信用できんけどね

不等式の向きを間違えるとか、高校生か

>>804
根拠が無いことを予想と云う　無根拠な答えが返ってくるのは当たり前　そんなことも分らない君が馬鹿なだけ

>>805
ここに書く証明と紙に書く証明とは別である
まだ、ギックリ腰が治ってなくて
腰が思うように動かないので、
これ以上ムダな話やレスは書かせないでくれ

>>806
AIの回答の詳細なことなど知らん

>>805
AIは誤答おじさんより巨大基数倍信用できる
AIが数学で間違うのはたいてい質問が悪い場合　AIは相手を貶さないので「おまえの質問がわりーんだよ」とは言わない

>>809
AIを使う位なら、AIの作り方を学んだ方がよい

君は服の作り方学んだの？　服着ないの？　素っ裸かい？

>>811
簡単な裁縫は小中学校の家庭科の実習でやる筈だが

じゃ君が使ってるパソコンは？　飲んでる薬は？　乗る電車は？
そういうのを減らず口と言う　おまえは上祐かｗ