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

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

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

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

資料としては、まずはこれ
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)

あと、テンプレ順次

つづく

>>944
>(数学で重要な本の読み方は，
>5行を10時間かけて読むような読み方で，
>500ページを2日で読むようなことをしても
>無意味です．)

1）
ふっふ、ほっほ
それ 河東さんの文だと思うけど
同一人物の 河東泰之 （下記）私はどうして数学者になったか 数理科学NO.544,OCTOBER 2008
で、矛盾したことを書いているね

2）
つまり 簡単な計算で、”5行を10時間かけて読む”として、1頁30行なら 60時間かかる計算で
500ページ なら 3万時間。一方 1年300日計算で1日10時間で、3000時間だから、10年かかるね
河東氏は、麻布中高6年間で 読めた数学書は 1冊500ページなら 終わらない計算になるよｗ ；ｐ）

3）
むしろ 彼は
興味の赴くまま どんどん読んでいったように思われるな

さて、キミ（ID:ZiEPpixA氏）に問う
キミが ”5行を10時間かけて”じっくり読み通した 数学書を
1冊で良いから挙げてくれるかな？ｗｗｗ ；ｐ）

(参考)
https://www.ms.u-tokyo.ac.jp/~yasuyuki/suri0810.pdf
数理科学NO.544,OCTOBER 2008
特集／私はどうして数学者になったか
河東泰之

麻布中学に入ることになった．中学入試が2月に終わったので，高等数学の代表と思っていた微分積分をぜひ勉強したいと思った．本屋に行って高校用の参考書を適当に選んで，当時数学IIBと呼ばれていた，多項式の微分積分を自分で勉強したところ，中学に入る前にすぐ終わってしまった．その参考書はかなり易しい内容のものだったのだが，どれが易しくてどれが難しいかもよくわからなかったのである．

これらの勉強も始めて，さらに同じ理由でベクトルや行列も飛ばしていたことも気づいたので，やはりこれらも同じ頃勉強した．そして中学1年の夏から秋にかけて，「大学への数学」と「数学セミナー」を見つけて読むようになった．とても熱心にはしからはしまでよく読んだと思う．数学は論理の積み重ねだから順番にきちんと一歩ずつ学んでいかなくてはいけない，などとよく言われるが，この頃は順番などまったく無視していた．「大学への数学」で受験問題を解いたり，「数学セミナー」を読んで「エレガントな解答を求む」をやったり，「解析概論」を読んだり，みな平行してやっていた
(「解析概論」が重要な本であるということは「数学セミナー」で知った．すぐに買ってきて読み始めた．)
さらに群論でも線形代数でも手当たり次第に読んだ．

下らないディベートもどきしてないで勉強したら？
君、未だ無限小数による実数の構成できてないよ

>>952
> 矛盾したことを書いているね
> …数学は論理の積み重ねだから順番にきちんと一歩ずつ学んでいかなくてはいけない，
> などとよく言われるが，この頃は順番などまったく無視していた．
>…「解析概論」を読んだり，…群論でも線形代数でも手当たり次第に読んだ．

中学高校時代の乱読を推奨してないので矛盾はない
そういうことが分からないからぬっしー１の雑読では数学が理解できない

> キミが ”5行を10時間かけて”じっくり読み通した 数学書を
> 1冊で良いから挙げてくれるかな？

　そんな馬鹿な質問をする暇があったら
　まず微積か線形代数の教科書を
　”5行を10時間かけて”
　じっくり読み通しなよ

　他人が読んだ話を聞いても自分の理解につながらないから
　自分で読む以外に自分の理解に至らないよ
　悔しがるのは時間の無駄　数学板に書く時間を全部数学書読む時間にあてれば
　ぬっしー１君も数学がわかるかもしれないよ　知らんけど

>>951
コピペってホント馬鹿のすることだって
実際やってみてよくわかったわ
今日は思う存分馬鹿ぬっしーになって
コピペしまくるわｗ

ガロア理論の基本定理
https://ja.wikipedia.org/wiki/%E3%82%AC%E3%83%AD%E3%82%A2%E7%90%86%E8%AB%96%E3%81%AE%E5%9F%BA%E6%9C%AC%E5%AE%9A%E7%90%86

体の有限次ガロア拡大 E/F が与えられると、その中間体とガロア群 Gal(E/F) の部分群の間に一対一対応が存在する

対応は次のような有益な性質を持っている。

包含関係を逆にする(inclusion-reversing)。
部分群の包含関係 H1 ⊆ H2 が成り立つことと体の包含関係 EH1 ⊇ EH2 が成り立つこととは同値。

拡大次数は包含関係を逆にするという性質と矛盾しない形で群の位数と関係する。
具体的には H が Gal(E/F) の部分群であれば |H| = [E : EH] であり |Gal(E/F)/H| = [EH : F] である。

体 EH は F の正規拡大（分離拡大の部分拡大は分離的だから、これはガロア拡大というのと同じ）であることと、
H が Gal(E/F) の正規部分群であることとは同値である。
このとき Gal(E/F) の元の EH への制限は、Gal(EH/F) と商群 Gal(E/F)/H の間の群同型を引き起こす。

ド・ラームコホモロジー
https://ja.wikipedia.org/wiki/%E3%83%89%E3%83%BB%E3%83%A9%E3%83%BC%E3%83%A0%E3%82%B3%E3%83%9B%E3%83%A2%E3%83%AD%E3%82%B8%E3%83%BC

ド・ラームコホモロジー（英: de Rham cohomology）とは可微分多様体のひとつの不変量で、
多様体上の微分形式を用いて定まるベクトル空間である。
多様体の位相不変量である特異コホモロジーと
ド・ラームコホモロジーは同型になるという
ド・ラームの定理がある。

>>958
多様体上の微分形式 ω が
dω = 0 となるとき閉形式、
ω = dη となる η が存在するとき完全形式
と呼ぶ。

ユークリッド空間においてはポアンカレの補題によれば、
閉形式はいつでも完全形式である。
つまり k 次微分形式 ω が dω = 0 なら
ある k − 1 次微分形式 η が存在してω = dη となる。

しかし円周において角測度に対応する 1 次微分形式 ω を考える。
円周は 1 次元の多様体であるから dω = 0 である、すなわち閉形式である。
一方で ω = df となるような円周上全体で定義された微分可能関数 f は存在しない。
なぜならそのような関数にたいし df を円周上で積分すると微積分学の基本定理から 0 になるが
ω を円周上で積分すると 2π になるからである。
このことから ω は閉形式であるが完全形式ではないことがわかる。

このように一般の多様体においては閉形式が完全形式であるとはかぎらない。
閉形式の空間と完全形式の空間の差をはかるのがド・ラームコホモロジーである。

ぬっしー１が大学１年の微積と線形代数の壁を乗り越えられなかったのと全く同様に
俺、●っきー３は大学３年の代数・幾何・解析のどの壁も乗り越えてねえわ

でも、一つだけ違うことがある
ぬっしーは自分が大学数学わかってないこと自覚してねえけど俺は完全に自覚してるからぁ！（どやぁｗ）

>>840

>完備ではない集合上での収束先って何？

完備化内では収束先は存在する

>>961
は？

完備化は完備

は？

完備空間内のコーシー列は収束列

だから？

完備化内では収束先は存在する

それで？

>>961
>>完備ではない集合上での収束先って何？
>完備化内では収束先は存在する

ご帰還そうそう、巡回ご苦労さまです
全く同意です

推理・ミステリー で、下記『刑事コロンボ』という人気の番組があった
日本版では、『古畑任三郎』

「こいつが犯人だ」と分っているが、コロンボは それを言わない
が、最後には 「あなたが犯人です！」という

同じことですね
コーシー列は、収束する。知る人ぞ知る。というか、皆知っているｗ

でも、まだ言わない。最後まで。外堀埋める。 四則演算や、絶対値を定義したのち、最後に「有理コーシー列は収束する」と宣言する
そうして『定義された 実数の任意コーシー列もまた 収束する。よって 集合実数 R は、完備なり！』と、コロンボが宣言する

めでたし めでたし！ ；ｐ）
結末は、みんな知っているのです（数学レトリックですね。推理・ミステリーと同じ）ｗｗ （＾＾

(参考)
https://ja.wikipedia.org/wiki/%E5%88%91%E4%BA%8B%E3%82%B3%E3%83%AD%E3%83%B3%E3%83%9C
『刑事コロンボ』（けいじコロンボ、原題: Columbo）は、アメリカ合衆国で制作・放映されたサスペンス・テレビ映画シリーズである。全69話。
日本においては、アメリカでの初放映が1968年から1978年までの45本は『刑事コロンボ（けいじコロンボ）』、アメリカでの初放映が1989年から2003年までの24本は『新・刑事コロンボ（しん・けいじコロンボ）』との邦題で放映された[注釈 1]。

作品の特徴
倒叙ミステリー
最初に完全犯罪を企む犯人の周到な犯行を視聴者に見せた後、一見して隙のない犯人が見落としたほんの僅かな手がかりを元にして、コロンボ警部が犯行を突き止める物語となっている。これはもともと「犯人が主役のクライムノベル」であったものを舞台化するにあたって、主人公の犯人と主人公を追い詰める探偵役の構図に再編した経緯による（上記#概要参照）。

これは、ミステリー小説では倒叙物と呼ばれる形式である。倒叙物はイギリスの作家オースティン・フリーマンが「読者が（作中の）犯罪を目撃し、推理に必要な事実を全て読者に提供しておくような探偵小説は書けるだろうか?」と提唱し、実際に執筆したことに始まる。レビンソンとリンクは共著『Stay Tuned: An inside Look at the Making of Prime Time Television』（1982年）で、フリーマンの影響を受けていたことを認めると共に、倒叙物の形式がテレビ番組に使えることをパイロット版制作を経て直観したと語っている[3]。

また、日本においては「倒叙物」の説明を行う際には、日本のテレビドラマ『古畑任三郎』と並んで代表作に挙げられ、「『刑事コロンボ』のような作品」と説明されることも多い[4][5]。

>>969
>『定義された 実数の任意コーシー列もまた 収束する。よって 集合実数 R は、完備なり！』
はい、構成された実数R内でコーシー列は収束します。そうでないなら実数の定義に反しますので。
しかし、Rが未構成なら有理コーシー列は収束しないので収束先なるものは存在しません。存在しないモノで何者も構成できません。

あれほど手取り足取り教えたのに未だに分からないのですか？　あなたはバカなんですか？

>>969
>「有理コーシー列は収束する」と宣言する　そうして
>『定義された 実数の任意コーシー列もまた 収束する。よって 集合実数 R は、完備なり！』
>とコロンボが宣言する

はい、ぬっしー１　×で０点　落第
「有理コーシー列は収束する」から始めた瞬間、×決定

まず、有理コーシー列そのものは、有理数の中では収束しません
次に、実数は有理コーシー列の同値類として定義されます
さらに、その中の有理数は、元の有理数そのものではなく
「すべての項が同じ有理数である有理コーシー列」として実現されます
その上で、「有理コーシー列の同値類」のコーシー列を作ることにより
「有理数を表す有理コーシー列の同値類」のコーシー列が
ある「有理コーシー列の同値類」に収束する、と初めていえるのです

この程度のことを正確に述べられないようでは、大学１年の微分積分は落第
残念でした、ぬっしー１は大学退学決定！！！

>>969
あなたの持論「有理コーシー列の収束先で実数を構成する」は、有理コーシー列が収束する空間すなわち実数の存在を暗に仮定しています。
その仮定は実数を構成するまでは真とは言えません。よってあなたの持論によると、実数を構成する前準備として実数を構成する必要がありますね。
さて問題です。実数はいつ構成し終わるでしょうか？

>>970
バカはあなたです

>>973
理由は？

>>973
利口なあなたなら>>972に答えられますよね？
どうぞ答えて下さい

>>974
胸に聞け

>>975
>利口なあなたなら>>972に答えられますよね？
利口でないので答えられない

>>977
利口でない、つまりバカということですか？
バカなあなたが他人をバカであると判断できるのは何故ですか？

>>976
人をバカ呼ばわりしといてその理由は答えられないと？
あなたは幼稚園児ですか？

>>978
>バカなあなたが他人をバカであると判断できるのは何故ですか？
バカでも他人をバカと判断することはできるし
バカ呼ばわりすることもできる

>>979
>あなたは幼稚園児ですか？
自分の胸に聞けと答えている

>>981
自分の胸があなたは幼稚園児だと答えますた

馬鹿は、広辞苑によると、古くは僧侶の隠語であったものとされており、
おそらく梵語（サンスクリット語）のmoha（「無知」という意味の語）
から転じた語だとされているが、その他にも様々な説がある

関東では「馬鹿」は罵りの感情を込めずに軽い意味で（時には愛情を込めて）用いられる事が多い
関西では「馬鹿」は強い罵りの感情を込めて用いられる事が多い。

とwikiに書いてあるが[要出典]と注意書がついていた

>>982
それで納得できればよろしい

バカアホ分布図は有名

役に立つ馬鹿（英: useful Idiot）は、政治用語で、
良い活動をしていると信じているが
実際にはそれと気付かずに悪事に荷担している者、
プロパガンダに利用されている者をさす言葉。

役に立つ馬鹿の類語

「買収された聖職者」とは、 19世紀半ばのアメリカの労働新聞で生まれた用語で、
近年ではノーム・チョムスキーのような知識人によって再び普及しました。
これは、テクノクラート、コラムニスト、評論家、大学教授、公共知識人、ビジネスロビイストなど、
政治の現状から利益を得て、自らの地位を利用して現状を守り、支持する集団を指します。

今度のローマ法王は？

>>989　そういうつまらない俗物には興味ない

俗物かどうかはこれからわかることだろう

そもそもカトリック教会とは日常的に非人道的行為が行われている所なり
そんな輩どもの最高権力者がどうしたと？

映画か何かで吹き込まれた？

「カナダの先住民寄宿学校」で検索

一神教は「最後の審判」で人を脅迫する悪魔の教えｗ

カトリック教徒どもが掲げる正義とは彼らにとっての独善正義である
カトリック教徒どもが掲げる自由・平等・博愛とは彼らに対する自由・平等・博愛であって、よそ者に対するものではない

仏教は輪廻からの解脱を目指すそうだが
そもそも輪廻がそんなに悪いこととも思えんｗ

荘子なら自然の道のままに、というだろう

19世紀北米先住民に対しカトリックが行ったことはホロコーストとまったく同じである
シレっと謝罪で済まそうとしてるけどな

以前のこと、わたし荘周は夢の中で胡蝶となった。喜々として胡蝶になりきっていた。
自分でも楽しくて心ゆくばかりにひらひらと舞っていた。荘周であることは全く念頭になかった。はっと目が覚めると、これはしたり、荘周ではないか。
ところで、荘周である私が夢の中で胡蝶となったのか、自分は実は胡蝶であって、いま夢を見て荘周となっているのか、いずれが本当か私にはわからない。
荘周と胡蝶とには確かに、形の上では区別があるはずだ。これが物化（区別すること）というものである。

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 22日 21時間 52分 43秒

5ちゃんねるの運営はUPLIFT会員の皆さまに支えられています。
運営にご協力お願いいたします。


───────────────────
《UPLIFT会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────

会員登録には個人情報は一切必要ありません。
4 USD/mon. から匿名でご購入いただけます。

▼ UPLIFT会員登録はこちら ▼
https://uplift.5ch.net/

▼ UPLIFTログインはこちら ▼
https://uplift.5ch.net/login