現代数学の系譜11 ガロア理論を読む

1 名前：名無しさん [2012/01/31(火) 22:32:36.78 ID:LTM9xtnu] ベストアンサー：”が、ガロアの論文は解りにくいモノでした。現在の整理された数学書の書き方に慣れているためか、ガロアの論文を少し眺めてみて、弱気になってしまいました。”ですか？ detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1371534513 数学の歴史に興味ある方にお尋ねします。「現代数学の系譜11、アーベル、ガロア、...noranekokuma2004さん 質問日時： 2011/9/18 「現代数学の系譜11、アーベル、ガロア、群と代数方程式、守屋美賀雄訳」にチャレンジしております。 アーベル、ガロアとも、方程式の根の有理式を説明しています。 両者の説明とも、帰着するところは、根の有理式はいわゆるラグランジュの分解式のかたちをとるというところにあると、私は考えています。 ラグランジュは、３次方程式の根、α、β、γと1の3乗根によって u=α+βω+γω＾2 v=α+βω＾2+γω という式をつくることによって、3次方程式が解けることを示しました。 彼は、それを一般化し、素数次数の方程式の根と1の累乗根と組み合わせた、いわゆる、ラグランジュの分解式を提起しました。 皆さまの見解を伺いたいと思います。 ベストアンサーに選ばれた回答siolaglebaさん 回答日時：2011/9/21 ガロアの論文が、どんなものか知りたくて、私もこの本を読もうとしました。 高名な数学者さえ理解出来なかった論文とは、一体何がどのように書かれているのか興味があったからです。すでにガロア理論を知っていたので、軽く考えていました。 が、ガロアの論文は解りにくいモノでした。現在の整理された数学書の書き方に慣れているためか、ガロアの論文を少し眺めてみて、弱気になってしまいました。 自分には、読みたい数学は一杯あるし、ガロア理論も知っている。他の数学書に取りかかった方が良いと。諦めるのが早かったかもしれません。 ラグランジュの分解式は、方程式の可解性を議論するなかで、べき根拡大を考えるとき、使ったように記憶しています。 ラグランジュは、３次・４次方程式の解明に成功しましたが、５次方程式は失敗しました。が、ラグランジュの研究は無駄ではなかったことの証が、ラグランジュ分解式と思います。 357 名前：現代数学の系譜11 ガロア理論を読む [2012/02/26(日) 07:41:05.18 ] >>356 つづき 同様に 　H　　　 −−− αβγ βγα γαβ のガロア記法を、コーシーの記法で書き直すと (αβγ) (αβγ) (αβγ) (βγα) (αβγ) (γαβ) となる このガロア記法→コーシーの記法の解釈では、常に先頭は恒等置換ｅになる （つづき） 358 名前：現代数学の系譜11 ガロア理論を読む [2012/02/26(日) 07:56:18.56 ] >>375 つづき ガロア記法の原論文に忠実な説明は、P108 「ガロア流のガロア群」>>353が正確だ でも、簡略化して”ガロア記法では、コーシーの記法の上の順列が省略される”>>348と考えることで、ガロア記法が直感的に把握できて、ガロアの原論文の記述は十分理解できる えーと、いま中村先生の本を見ると、P110から111に殆ど同じ表現がある。 違いは、ガロアの原論文の記述 「一つの順列からそれぞれの順列に移る置換の集まりが、どの順列から始めても同じになる」（ここは、アーベル ガロア 群と代数方程式 (現代数学の系譜 11) >>2ガロアの原論文のP27に少し違う表現で記されているが） に中村先生は忠実に説明されている でも、簡単に言えば 　H　　　 −−− αβγ βγα γαβ のガロア記法を、コーシーの記法で書き直すと (αβγ) (αβγ) (αβγ) (βγα) (αβγ) (γαβ) ってことでOK 359 名前：現代数学の系譜11 ガロア理論を読む [2012/02/26(日) 08:16:13.65 ] >>358 補足 ガロアが「一つの順列からそれぞれの順列に移る置換の集まりが、どの順列から始めても同じになる」としているのは、 つづく「それゆえ、置換S,Tが同じ群に属すれば、置換STも確かにその群に属さねばならない」を言いたいためだったのだろう（＝ガロア群のガロア流の定義） ここ、置換の積STで閉じているという話は、中村先生の本でP211に詳しい説明がある でも我々が、ガロアの現論文を読むときは、群論の知識を前提としてガロア群は確立されたものとして、 ガロア記法→コーシーの記法の解釈を上記のようにすることで、現論文を直感的にできるねと中村先生の本で学んだ ここらは、>>59-60にも書いた。その応用編が>>53-58、>>75だ で、中村先生の本とあなたのおかげで、原論文でもやっとしていたところが、かなりスッキリした。ありがとう 360 名前：現代数学の系譜11 ガロア理論を読む [2012/02/26(日) 08:32:11.57 ] >>354 補足の補足 ”　H　　　　　H*S1 −−−　−−−− αβγ　　βαγ βγα　　αγβ γαβ　　γβα となる。ここで、H*S1の順列の中でβαγをαγβやγβαに変換する置換を考えてごらん。 βαγ→αγβ　は、具体的に書くと、β→α、α→γ、γ→βとなるから、（αγβ）に等しい。同様に、 βαγ→γβα　は、（αβγ）に等しい。 βαγ→βαγ　は、ｅに等しい。” これを”ガロア記法では、コーシーの記法の上の順列が省略される”との視点から見ると ”　H　　　　　H*S1 −−−　−−−− (αβγ)　　(βαγ) (αβγ)　　(βαγ) (αβγ)　　(βαγ) (βγα)　　(αγβ) (αβγ)　　(βαγ) (γαβ)　　(γβα) つまり、置換S1は、コーシーの記法の上の順列にも作用して、同じように置き換えをしていると見ることができる ここは置換群論の変換”S1*H*S1^{-1}”>>351を学ぶときの重要なポイントだ。S1の逆元が出てきてなにをやっていのか見えないが、コーシーの記法の上の順列もまとめて置き換えているんだと見る 361 名前：現代数学の系譜11 ガロア理論を読む [2012/02/26(日) 10:51:56.69 ] ところで、>>29の”３．ガロア分解式と置換群のガロア記法との対応”で少し補足をしておきたい >>325辺りでも使っているが、 ”f(α,β,γ)=（α−β）^2で、これを変えない置換は、（α,β）（＝α,βの互換）で変わらない式を作る Ｖ１＝ａα＋ｂβ＋ｃγ、Ｖ４＝ａβ＋ｂα＋ｃγ（Ｖ１に（α,β）を施してＶ４に） で、（ｘ−Ｖ１）（ｘ−Ｖ４）がそれ”と つまり、 Ｖ４＝ａβ＋ｂα＋ｃγ（Ｖ１に（α,β）を施してＶ４→式Ｖ４と（α,β）が対応しているという見方が重要だと ここは、ガロア論文の元の記述>>29では見えてこない 現論文>>3のP31の記述だが、ガロアは ガロア分解式（リゾルベント） 　V=Aa+Bb+Cc+・・・ 　a,b,c・・・は、（重根を持たない）で問題の方程式の根、A,B,C・・・は根の置換で異なる値をとる>>28 として、 ガロアは、根a,b,c・・・をVの有理式a=φV,b=φ1V,・・・・,am-1=φm-1V (am-1並べた最後の根でm番目の根、m-1は下付き添字) として、 （V）| φV,φ1V,・・・・,φm-1V, （V'）| φV',φ1V',・・・・,φm-1V', （V''）| φV'',φ1V'',・・・・,φm-1V'', ・・・・|･･････・・・・・・・・・・・・・・・・・ （V''*）| φV''*,φ1V''*,・・・・,φm-1V''*, 注)V''*は、Vにダッシュ'がn-1個ついたもの（アスキーでは添え字が表現できないので）>>29 とガロア群（＝根の置換の群）を表す でも、この表現だと、例えばV'に対応する置換φV',φ1V',・・・・,φm-1V',が具体的にどういう根の並びになっているか不明 でも、直感的には例えば、V1=Ab+Ba+Cc+・・・（互換(a,b)）なら、根の並びも b, a, c ・・・（互換(a,b)）が対応するんじゃないかと。それが自然な対応で、そういう自然な対応になっていないと、群の積を考えたときに困るだろうと ここは原論文では詳しく説明されていないが、倉田>>4P119の命題２（Vの有理式の群と根の置換の成す群が（反）同型）を考えればそうなる （つづく） 362 名前：現代数学の系譜11 ガロア理論を読む [2012/02/26(日) 11:06:48.57 ] >>361 つづき 例えば、 （V）| φV,φ1V,・・・・,φm-1V, （V=Aa+Bb+Cc+・・・　） の左右に、同じ置換σ（例えば互換（a,b））を施すことを考える これをV’と書いて V’＝Ab+Ba+Cc+・・・になるが φV,φ1V,・・・・,φm-1V,は、a,b,c・・・だが、これが互換（a,b）で, b,a,c・・・の並びに変わって、それは即ちφV',φ1V',・・・・,φm-1V',だと それが、倉田>>4P119の命題２の意味だと （我々凡人は、ここまで噛み砕いて言ってもらわないと、天才ガロアの論文は読みこなせない） 363 名前：１３２人目の素数さん mailto:sage [2012/02/26(日) 12:22:39.44 ] >>353 なるほど。了解。 364 名前：現代数学の系譜11 ガロア理論を読む [2012/02/26(日) 13:19:13.51 ] >>363 ありがとう 君に了解と行ってもらえると安心だ 365 名前：現代数学の系譜11 ガロア理論を読む [2012/02/26(日) 13:43:48.89 ] ネットサーフィンをしていると、こんなのが www.mypress.jp/v2_writers/hirosan/story/?story_id=1850669 五次方程式とガロア群論を理解するための“単純な”たとえ話(サイエンス＋数学) / ヒロさん日記 ：2009/8/10 （抜粋） 数学の進歩を100年早めたといわれるガロアの群論は、ときどき気になっている。とりわけ「5次以上の方程式は代数的な一般解が存在しない」という話は、せめて大まかな流れぐらいは理解できないものか。 もっとも薄手の本は133頁からなる『ガロアと群論』（リリアン・リーバー）。冒頭はとてもわかりやすく読めるが、50頁の「不変部分群（正規部分群）」と55頁の「可解群」は頭にスッ〜と入ってこない。結局は、 １つの方程式は、その群が、その方程式の係数を含む体に対して、可解群であるとき、かつ、そのときに限って、ベキ根によって、解くことができる（81頁） ということが理解できればいいらしいが、この１冊だけでは埒が開けそうにない。翻訳調でわかりにくいところもある。そこで次に求めたのが『群論への30講』（志賀浩二）。 これは実にわかりやすく読める。11講以降の記号だらけの証明は読み飛ばしたくなるが、各講の最後にあるTea Timeという休憩コラムがこれまた面白く、なんとか先に進める。 で、問題の5次以上方程式に関しては、 5次以上の方程式にはべき根による代数的解法は一般には存在しないことを示した根拠は、ｎ＞＝５のときに、交代群Ａnは単純群であるという事実であった。（129頁） 「可解群でない」＝「交代群が単純群になる」と因数分解してくれたので、１歩前進だ。 方程式の問題をどのように群論に置き換えているのか、という全体像はチャートでも描いてみないとわからない。私が探した範囲では＜こちらのページの最後にあるチャートマップ＞が全体像をもっともよく俯瞰しているように思える。 このマップを見て、ピンと来ない人はいったん下山したほうがよさそうだ。私もこの夏休みで山越えができると期待して軽装備で歩き回ってきたが、山の怖さを知っているので、ここでいったん引き返したい。 ガロアが証明したのは1820年なので、200周年の2020年までに何とかしよう（笑）。 366 名前：現代数学の系譜11 ガロア理論を読む [2012/02/26(日) 13:47:27.21 ] >>365 つづき www.mypress.jp/v2_writers/hirosan/story/?story_id=1850669 コメント抜粋 むむむ、侮れない 2009/8/10(月) 23:37 ピンちゃん ヒロさんが数学好きなひとであるのは知っていたけど、ここまで 本格的な興味をもっているとはおどろきました。 ただいま下山の最中です 2009/8/11(火) 01:21 Hiro-san★ブログ主 いえいえ、侮れないのは数学のほうです。整数、群論、関数、位相、集合・・・という山脈にうっかり迷い込んだら生きて帰って来れません。 でも五次方程式の山ぐらいは、アマチュア登山家のささやかな楽しみとして、体力をつけた上で登ってみたいのです。 ピンちゃんを昔いじめたのは、整数の女王さま？　ベクトルの剣？　三角関数の恋の病？　それとも微積分の羽交い締め？ ＜こちらのページの最後にあるチャートマップ＞（この[物理のかぎしっぽ]は、これ以外のページ（二十面体など）をかなり参考にさせてもらいました。） hooktail.sub.jp/algebra/GaloisTheory/ ガロア理論と代数方程式 367 名前：現代数学の系譜11 ガロア理論を読む [2012/02/26(日) 14:09:03.01 ] ネットサーフィンで、こんなのも Wolfram|Alphaってページは初めてだけど、無料登録もあるそうだ 一度は覗いてみる価値ありだね blog.livedoor.jp/dankogai/archives/51507410.html 2010年08月23日 22:30 群の叡智 - ガロア理論を知るための三作 （抜粋） 四次までなら、Wolfram|Alphaも知っている。次数が一つ上がるごとにとてつもなく難しくなっていくことがここからも伺えるだろう。 a_0x+a_1=0 - Wolfram|Alpha　www.wolframalpha.com/input/?i=a_0x%2Ba_1%3D0 a_0x^2+a_1x+a_2=0 - Wolfram|Alpha　www.wolframalpha.com/input/?i=a_0x%5E2%2Ba_1x%2Ba_2%3D0 a_0x^3+a_1x^2+a_2x+a_3=0 - Wolfram|Alpha　www.wolframalpha.com/input/?i=a_0x%5E3%2Ba_1x%5E2%2Ba_2x%2Ba_3%3D0 a_0x^4+a_1x^3+a_2x^2+a_3x+a_4=0 - Wolfram|Alpha　www.wolframalpha.com/input/?i=a_0x%5E4%2Ba_1x%5E3%2Ba_2x%5E2%2Ba_3x%2Ba_4%3D0 ところが、五次ともなるとお手上げなのだ。 a_0x^5+a_1x^4+a_2x^3+a_3x^2+a_4x+a_5=0 - Wolfram|Alpha　www.wolframalpha.com/input/?i=a_0x%5E5%2Ba_1x%5E4%2Ba_2x%5E3%2Ba_3x%5E2%2Ba_4x%2Ba_5%3D0 「天才ガロアの発想力」、「ガロアの群論」と読み継いだ人であれば、本書も落ちついて読めるはずだ。「決して難しくはない」という「ガロアの群論」の紹介は間違っていない。問題に回答集が付いているのも親切だ。 刊行の順番がこうだったらどれほどよかったか。しかし現実は逆である。ガロア理論に限らず。後にかかれた本ほど、難しかったことがやさしく書かれている。 天才とは、それを逆に進めることなのだ。坂を上るのは大変だが、下るのは楽なのに似て。 そして一旦坂を上り切ってしまえば、そこから同じ道を下る必要はない。裾野は四方八方に広がっている。 その裾野が広ければひろいほどすごいということになるが、群論の裾野の広さは群を抜いている。ルービックキューブから宇宙論まで、およそ対称性があるところには必ず顔を出す。 ルフィニもアーベルもこの点では頂上に一歩およばず、そしてガロアも眺望を楽しむ前につまらぬ、実につまらぬことで絶命してしまった。 368 名前：現代数学の系譜11 ガロア理論を読む [2012/02/26(日) 14:46:12.02 ] こんなのも wind.ap.teacup.com/skreduhs/253.html ガロア理論　なぜこの方程式は解けないか？ （さくら教育研究所） ■ガロア理論への旅　その１ ぼくは、数学科のときは代数を専攻したので、ガロア理論は必須の道具であり、一生懸命勉強したのだけど、最終的に「身体でわかった！」というところにたどり着くことができなかった。 おおざっぱには捉えることはできたんだけど、機微が掴めておらず、少なくとも「アタリマエ」になるほどには理解していなかったのである。（ そんなだから数学の道に挫折することになったのだけどね)。 ところが、最近になって急に視界が開け、「アタリマエ」とまではいわないけど、「よくできた自然な理論だなあ」というところまで理解できるようになってしまったのだ。 数学科で勉強していた頃から見れば、もう四半世紀も過ぎて達した境地というのもスゴイやら情けないやらである。 そして、わかってしまうと、結局は「2次方程式の解の公式」の中にすべての秘密が隠されていることに気がつかされるのである。（某大学の先生） ■ガロア、わが青春の砕けた夢 　いまでも数学というと陶然となる。もちろん高校までの受験数学や教養課程の数学ではない。今でも理解したくても出来ないのがガロア理論だ。 確かにガロアといえばその政治的人生と失恋、決闘による悲劇の最期の生涯ばかりが語られがちだ。これもやむを得ないことでガロア理論、現代数学の真のスタート、があまりに難解で読んでも聞いてもまず常人では理解不可能なしろものだからだ。 これは何もガロア理論に限らず近代から現代数学の諸天才になる数学理論の全てに妥当するがその象徴的、あらゆる意味で象徴的な存在がガロアである。 今はラインナップが整理されたようだが東京図書からは数多くの数学ジャンルの本が出版されていた。その中で「ガロア理論」を高三のとき購入し、読み始めたが余りの難しさに持っているだけの満足感を求めるしかなかった。 「ガロア、その真実の生涯」は数学自体は出てこないに等しいので誰にでも読める。だが、これでは何も理解したことにはならない。 カントールの「濃度の理論」の集合論は分かる。 だが抽象代数学は本当に難しい。 ガロアの群論からさらにリー群論となるとてんで一行も進まない。（某お医者さん） 369 名前：現代数学の系譜11 ガロア理論を読む [2012/02/26(日) 15:11:13.68 ] こんなのも。海城ね www.kaijo-academy.jp/press/2011/08/post_311.html 第二回数学科リレー講座「ガロア生誕２００年記念講習会」第六日目　2011.08.28. (海城PRESS) 抜粋 最終日の今日（２７日）は網谷先生が担当（写真１）。ガロア理論のアプローチの方法はいくつか考えられますが、昨日の授業を聞き、その「バトン」を受けて、アンカーはスタートされました。 中間地点にさしかかり、いよいよガロア理論の本題である，体の拡大とガロア群の縮小の関係が登場しました。 「解けていない」方程式を「解けた」方程式にするために，係数体にべき乗根を添加して拡大体の列をつくること。そのとき，各拡大体上のガロア群が縮小して部分群の列が対応すること。 そして，方程式の可解性がガロア群の可解条件で表せることが，見事に示されました。 ともあれ、偉大なガロア先生生誕200年に際し、このような試みができたことに担当者一同、感謝で一杯です。熱心に聴講してくれた受講生の皆さん、有難うございました。皆さんの今夏の思い出のひとつにしてもらえれば、こんな嬉しいことはありません。 【講義を終えて】（網谷先生） 最終日は、ガロアの定理の説明がテーマです。 この定理は、有理数体の拡大体と方程式のガロア群の部分群が対応するということをいうものですが、非常に難解な定理として知られています。 中高生に伝えるとなったとき、全く分からなかったとなると残念なことになるので、「数」の視点から、ガロア理論の意義のなるべく分かりやすい説明を最初に行いました。 結構真剣に聞いてくれている様子でうれしかったです。 そのあとの話の流れは、「方程式のガロア群」→「ガロアの定理」→「3次方程式」 となりました。「5次方程式」は、時間の関係で説明できませんでした。 3次方程式がなぜ平方根と3乗根を1回ずつ使って解けるのかということを伝えたかったのですが、途中でタイムアップ。 ガロア群を見れば、方程式が解けるかどうか、また解ける場合どういう風にべき根を取ればよいかが分かる。 このことが、定理の醍醐味で、ガロアの天才ぶりを表すものです。 プリントなどの準備には、いろいろ悩んだところもあったのですが、数学の奥深さや美しさ、何でもよいので興味をもって皆さんが勉強を進めてくれたら、これ以上の喜びはありません。 370 名前：現代数学の系譜11 ガロア理論を読む [2012/02/26(日) 15:20:11.71 ] >>369 網谷先生って、次の早稲田理工の網谷泰治先生かな？ 名前が珍しいから、検索してみた www.wnp7.waseda.jp/cgi-bin/kadai/KadaiShowDetails.cgi?LANG=JPN&ENV=REAL&DATA=5100&HS=&QS=LANG%3DJPN%26ENV%3DREAL%26END_YEAR%3D%26KADAI_NUMBER%3D%26KYOUIN_S%26next%3D5000 課題番号: 2007A-874 研究課題 高次数 Castelnuovo 多様体の構造に関する研究 研究者所属 資格 氏名 (代表者) 理工学術院 助手 網谷　泰治 371 名前：現代数学の系譜11 ガロア理論を読む [2012/02/26(日) 15:52:58.32 ] >>365-370 ネットサーフィンはこれくらいにして なかなかガロア理論を全体的かつ直感的に理解するのはむつかしいという声が多いので、ここまでのスレをまとめてみよう >方程式の問題をどのように群論に置き換えているのか、という全体像はチャートでも描いてみないとわからない。私が探した範囲では＜こちらのページの最後にあるチャートマップ＞が全体像をもっともよく俯瞰しているように思える。 >このマップを見て、ピンと来ない人はいったん下山したほうがよさそうだ。私もこの夏休みで山越えができると期待して軽装備で歩き回ってきたが、山の怖さを知っているので、ここでいったん引き返したい。 このマップは、現代ガロア理論のものなんだよね ガロアは体論はもって居なかった。持っていたのは、>>361-362の体論の代用となるV=Aa+Bb+Cc+・・・ ガロアリゾルベント（ガロア分解式）>>28と、Vと置換との同型対応（例えば（V'）| φV',φ1V',・・・・,φm-1V',） それを通して、ガロア（分解）方程式F(x)＝（x-V）（x-V'）（x-V''）・・・・（x-V''*）がどうなるかを見る>>33 これが、ガロア理論の足場>>198-200 そして、ラグランジュの定理というのが、ガロア理論の一つの補助線なんだ>>330 ラグランジュの定理は、>>314の定理3.3にあるが 定理3-3 有理式f(x1,x2,・・・,xn)を変えない置換で，有理式g(x1,x2,・・・,xn)を変え ないならば，有理式gはfの有理式になる。係数はx1,x2,・・・,xnの対称式である． （つづく） 372 名前：現代数学の系譜11 ガロア理論を読む [2012/02/26(日) 16:11:33.11 ] >>371 つづき １．V=Aa+Bb+Cc+・・・ ガロアリゾルベント（ガロア分解式）は、”a,b,c・・・は、（重根を持たない）で問題の方程式の根、A,B,C・・・は根の置換で異なる値をとる”ように定めた>>28 　　だから、Vを変えない置換は恒等置換eのみ ２．ここで代数的可解性の原則を認めて、元の方程式が解けるためには、根a,b,c・・・の有理式から補助方程式を作って、補助方程式の根を添加することで、方程式を解くことを考えてみよう ３．ラグランジュの定理を補助線として、Vを見ると、Vを変えない置換は恒等置換eのみだから、Vはどんな根の有理式を持ってきても、それは必ずVの有理式で表されるという構造になっているんだ（ここポイント） ４．で、>>343 　・ある根の有理式を持ってくる 　・その有理式で根a,b,c・・・の置換を行なって、値の異なるものを集める 　・そうして、最小定義多項式（＝補助方程式）を作る（補助方程式は根と係数の関係から、元の体の数になる） 　・最小定義多項式には、有理式の置換で異なる値（補助方程式の共役な根）が含まれる 　・補助方程式を全部添加して、ガロア（分解）方程式F(x)＝（x-V）（x-V'）（x-V''）・・・・（x-V''*）の因数分解（可約性）を見ると、因数分解できるときは補助方程式のガロア群をHとしてHがもとの方程式のガロア群Gの正規部分群になってしまうんだと 　ここは、上記の>>345-348だ つづく 373 名前：現代数学の系譜11 ガロア理論を読む [2012/02/26(日) 16:59:42.77 ] >>372 つづき ５．繰り返しになるが、Vを変えない置換は恒等置換eのみだから、Vはどんな根の有理式を持ってきても、それは必ずVの有理式で表されるという構造になっている 　　で、ガロア（分解）方程式F(x)＝（x-V）（x-V'）（x-V''）・・・・（x-V''*）で、代数的可解性の原則から根a,b,c・・・の有理式を持ってきても、全部Vとガロア（分解）方程式F(x)の土俵の上に乗っている 　　つまり、ガロアはVとF(x)で、根の有理式が全部乗る土俵を作った。代数的可解性の原則を認めれば、ここからこぼれるものはない ６．そして、根の有理式から補助方程式を作ってF(x)＝（x-V）（x-V'）（x-V''）・・・・（x-V''*の因数分解（可約性）を見るとガロア群Gの正規部分群になるように分解するしかない 　　つまり、ガロア群Gが正規部分群を持つという良い群としての性質を持っていないと、いくら補助方程式を作ろうと思っても、それは元々無理だと ７．これを具体例で見ると、>>323-342だ 　　>>280のように３次方程式の根の有理式(α-β)^2 を考える。根の置換を考えると、 　　補助方程式 g(x)={ x - (α-β)^2 } { x - (β-γ)^2 } { x - (γ-α)^2 } = 0ができる 　　ここで、有理式(α-β)^2 だけなら２次式で簡単だけど、置換をすると、共役な(β-γ)^2、 (γ-α)^2達が出現する 　　で、補助方程式は３次式で根は３つになる 　　この補助方程式の根全てを添加するとは、>>328補助方程式 g(x)のガロア分解式V’＝A’(α-β)^2＋B’(β-γ)^2＋C’ (γ-α)^2 を作って（係数A、B、Cは置換で値が異なるように取る） 　　V’を添加することと同じ 　　ところが、ガロア分解式V’は、根α、β、γの置換全てで異なる値を取り、６つの異なる値を取ることに ８．上記７を要約すると、簡単な有理式をとってきても、そこから補助方程式を作るときに、共役な仲間達が出てきて次数が上がる。 　　そして、ガロア分解式V’＝A’(α-β)^2＋B’(β-γ)^2＋C’ (γ-α)^2 を作ってその取る値を見ると、また次数が上がる場合がある。 　　この場合は、結局６次まで次数が上がってしまって、VとV’は同じ分解能力を持つってことになってしまった（つまり、方程式を解く視点からは役に立たないと） つづく 374 名前：現代数学の系譜11 ガロア理論を読む [2012/02/26(日) 17:10:50.91 ] >>373 つづき ９．ここで、一般の５次方程式のガロア群は、５つの根の全ての置換120個からなるS5（5次の対称群）で、S5の正規部分群はA5（位数60の5次の交代群）のみで、A5は単純群で非可解だということを認めよう １０．となると、上で述べたように、どんな有理式を作って補助方程式を作っても、元々の群がいい性質を持っていないから無理だよと １１．この事情を、上記にならってお話風に言えば、一般の５次方程式のガロア群は、置換の組み合わせが120、交代群で60もあって、根の有理式をよってたかって沢山値を作ってしまう 　　　沢山値を作ってしまう仕組みは、根の有利式の共役な仲間達と、その仲間達と作る補助方程式のガロア分解式V’の組み合わせの作用 　　　一口で言えば、置換の組み合わせが多すぎて、次数は下げられないよと 375 名前：現代数学の系譜11 ガロア理論を読む [2012/02/26(日) 17:21:32.82 ] >>374 補足 １．S5の正規部分群はA5（位数60の5次の交代群）のみは、５次以上ではそうなると証明できるそうだ 　　A5は、偶置換全体の成す群だと。残りが奇置換全体。 　　この事情は、根の全ての差積からなるΔ（＝判別式Dを√で開いたもの。というか、Δの自乗がDという方が正しいかも）を添加することで、ガロア分解方程式が120次から60次に下げられるということにつながる ２．根の全ての差積からなるΔは、全ての奇置換で値を変える（正負の符号が変わるだけ）。しかし、偶置換では値を変えないという性質がある。で、Δの自乗Dは、偶置換でも奇置換でも値は変わらないと 376 名前：現代数学の系譜11 ガロア理論を読む [2012/02/26(日) 17:31:21.27 ] >>372 代数的可解性の原則は、下記のP26などをご参照。倉田>>4なら、P154など homepage2.nifty.com/cakravala/historyofequation.pdf　>>321 方程式論の歴史（平成１４年） 377 名前：現代数学の系譜11 ガロア理論を読む [2012/02/26(日) 18:07:49.61 ] >>376 訂正 >>321 　↓ >>317 378 名前：１３２人目の素数さん [2012/02/26(日) 18:50:52.97 ] 俺の８６を賭けて決闘だーーーーーーーーーーーー！ 379 名前：現代数学の系譜11 ガロア理論を読む [2012/02/26(日) 19:27:17.28 ] >>375 > １．S5の正規部分群はA5（位数60の5次の交代群）のみは、５次以上ではそうなると証明できるそうだ えーと、この件は下記、URLの定理をご参照 定理4.15. n ? 5 ならば，交代群An は単純群である．すなわち，An 自身と{1} のほかに正規部分群をもたない． 定理7.3. n ? 5 のとき，交代群An は可解群ではない．また，対称群Sn も可解群ではない． mathematics-pdf.com/pdf/ PDF形式の数学ノート : MATHEMATICS.PDF mathematics-pdf.com/pdf/symmetric_grp.pdf 対称群(154KB) 380 名前：現代数学の系譜11 ガロア理論を読む [2012/02/26(日) 20:40:53.09 ] >>379 補足 お話風には、対称群や交代群は、次数が上がると、置換の絡み合いが増えて、正規部分群が減るってことなのだが 次の正多面体との関係も参考になる 交代群A5が、正２０面体群と同型で、楕円関数を使えば解けると（それくらい根の絡み合いが複雑になっていると） www.geocities.jp/ikuro_kotaro/koramu/450_20.htm ５次方程式・再訪 (07/02/07) クラインの見た正２０面体（正２０面体方程式） 381 名前：１３２人目の素数さん mailto:sage [2012/02/27(月) 09:35:00.25 ] 集合を分解して細かくしていく、という一つの過程の中で、 なかには特殊な性質の集合もありました。そして偶然にも ワレワレが昔から知っていたのはその特殊なモノだけだったのです。 382 名前：１３２人目の素数さん [2012/02/27(月) 16:09:36.39 ] 初学者を騙くらかすような表現が多くて怒りを覚える。 定性的な言い回しは禁欲的に。 383 名前：現代数学の系譜11 ガロア理論を読む [2012/02/27(月) 20:46:25.92 ] >>381 乙す まあ、そういう見方もあるね 低次元と高次元では性質が違うという見方もできるかも 384 名前：現代数学の系譜11 ガロア理論を読む [2012/02/27(月) 20:47:21.32 ] >>382 乙 そういうなら自分でも何か書いてみな 批判はそれからにしてくれ！ 385 名前：現代数学の系譜11 ガロア理論を読む [2012/02/27(月) 22:32:44.62 ] >>143-144 >さて、今日の本題は、「数学史 (数と方程式)」小杉肇 >このP118にLagrangeの方程式論が詳しく書かれている >日本語の文献としては、Lagrangeの方程式論がもっとも詳しく書かれていると思う 最近気付いたが、下記Jean-Pierre Tignolも詳しい というか、P156の定理10,7など、ガロア論文>>3のP39のラグランジュ分解式のn乗を扱っていることや補助方程式の次数が(n-2)!になることと、完全に一致している 一致という意味では小杉の方がお話風で読みやすいが ともかく、こういうラグランジュが到達していた地点を見ると、ほとんどガロアに近い というか、ガロアは完全にラグランジュを下敷きにしていると思う その痕跡をかなり消しているが ただし、方程式のガロア群とその分解を明確に意識して理論を展開したという点では、やはり天才ではあるのだが www.kyoritsu-pub.co.jp/shinkan/shin0503_03.html 代数方程式のガロアの理論 （ISBN4-320-01770-6） Jean-Pierre Tignol　著 新妻　弘　訳 A5，360頁，3200円 第10章　ラグランジュ 10.1　方程式の理論の成熟 10.2　既知の方法に対するラグランジュの考察 10.3　群論とガロア理論の最初の成果 386 名前：現代数学の系譜11 ガロア理論を読む [2012/02/27(月) 22:50:35.35 ] >>385 ガロアは、ラグランジュの理論も、ガウス理論（円分論）もアーベル理論（５次方程式の非可解とアーベル方程式）も見ていたのだろう そして、 ガロアリゾルベント V=Aa+Bb+Cc+・・・ 置換群のガロア記法>>28 a b c d・・・・k b c d・・・・k a ・・・・・・・・・・・ ガロアリゾルベントと置換群のガロア記法との対応>>29 （V）| φV,φ1V,・・・・,φm-1V, （V'）| φV',φ1V',・・・・,φm-1V', ・・・・|･･････・・・・・・・・・・・・・・・・・ ガロア（分解）方程式 F(x)＝（x-V）（x-V'）（x-V''）・・・・（x-V''*） を道具として、元の方程式の根の有理式を添加したときのガロア（分解）方程式の変化を、群論（正規部分群）として捉えた それは、やはりラグランジュや、ガウスやアーベルよりも高い地点に到達したということだろう 補助方程式の根を全て添加して、ガロア（分解）方程式が可約になるためには正規部分群の存在が必要なのだと そこから、べき根添加の場合にどうなるかをガロアは正しく把握した ラグランジュとガロアの差は、パラダイムシフトと見ることができるかも・・ ja.wikipedia.org/wiki/%E3%83%91%E3%83%A9%E3%83%80%E3%82%A4%E3%83%A0%E3%82%B7%E3%83%95%E3%83%88 パラダイムシフト（英: paradigm shift）とは、その時代や分野において当然のことと考えられていた認識や思想、社会全体の価値観などが革命的にもしくは劇的に変化することを言う。 387 名前：現代数学の系譜11 ガロア理論を読む [2012/02/27(月) 23:02:02.41 ] まあ、アインシュタインが特殊相対論を提唱したことに例えられるかも ポアンカレも「ローレンツ収縮」には到達したが、アインシュタインのように空間と時間が相対的に変化するというところへは、到達できなかった 「空間と時間が相対的」ということは、一種の物理における補助線だった この補助線で、物理の世界の見え方がすっかり変わってしまったのだった ja.wikipedia.org/wiki/%E7%89%B9%E6%AE%8A%E7%9B%B8%E5%AF%BE%E6%80%A7%E7%90%86%E8%AB%96 ローレンツは1900年に「マクスウェルの方程式から導かれる電磁気学の法則はローレンツ変換に対して不変である」（ローレンツ不変）ことを発見した。 力学の法則はガリレイ不変であるが、電磁気学の法則はローレンツ不変であるという矛盾に対し、数学者のアンリ・ポアンカレはローレンツ変換に対して不変とした力学の法則を提示した。 この力学では、光速に近い速度では物体の長さが減少するという「ローレンツ収縮」が導入されている 388 名前：１３２人目の素数さん [2012/02/27(月) 23:10:13.24 ] >>384 これらの文章を自分の責任で書き直すならば、書き足しはしない。ただただ大量に削る。 389 名前：現代数学の系譜11 ガロア理論を読む [2012/02/27(月) 23:18:51.15 ] >>384 補足 ここは２ちゃんねる。大学の講義と同じ内容を期待しているなら、期待はずれ というか、大学の講義と同じ内容なら、このスレの存在意義はないよ 初学者を騙くらかすだ？　初学者はいつまでも初学者じゃないだろうよ 入手可能な書籍およびネット上の情報は提示している。このスレをきっかけに自分で勉強するんだよ。このスレだけで完結すると考える方がなんだかへん 定性的な言い回しが良いんだよ。ここは、２ちゃんねる 難しい厳密な表現と証明は、世の中の数学書にあふれている それと同じ内容なら、このスレの存在意義はないよ 定性から厳密な定量へ（それは主に本の該当箇所の提示になるだろうが）、厳密な定量から定性へ この行ったり来たりがこのスレの存在意義だよ 定理の積み重ねで数学が出来上がっているというのは、数学の一面に過ぎない もっと自由に、もっと直感的に！>>199-203 >>76 ”「数学に直感を取り戻そう！」>>25 難しいことをやさしく、複雑なことを本質を抽出して単純化する>>26 複雑なことを図式化し、見える化する>>27 細部に立ち入る前に全体像を把握する これぞ数学の真髄（こころ）”ということ それがこのスレの存在意義 390 名前：現代数学の系譜11 ガロア理論を読む [2012/02/27(月) 23:24:13.26 ] >>388 評論家は世の中に沢山いるんだ 巷の野球評論家は、プロ野球選手と同じプレーはできなくとも、口先だけは一人前さ 391 名前：１３２人目の素数さん [2012/02/27(月) 23:58:47.55 ] ここは2chだと分かっているのにスルースキルは無し 392 名前：現代数学の系譜11 ガロア理論を読む [2012/02/28(火) 06:12:07.72 ] >>391 乙！ スマソ。荒らしをあおった、おいらがバカだったorz 393 名前：現代数学の系譜11 ガロア理論を読む [2012/02/29(水) 00:01:29.58 ] >>361 >でも、この表現だと、例えばV'に対応する置換φV',φ1V',・・・・,φm-1V',が具体的にどういう根の並びになっているか不明 >でも、直感的には例えば、V1=Ab+Ba+Cc+・・・（互換(a,b)）なら、根の並びも b, a, c ・・・（互換(a,b)）が対応するんじゃないかと。それが自然な対応で、そういう自然な対応になっていないと、群の積を考えたときに困るだろうと > >ここは原論文では詳しく説明されていないが、倉田>>4P119の命題２（Vの有理式の群と根の置換の成す群が（反）同型）を考えればそうなる これ少し考えて見たが 倉田>>4の７節「ラグランジュの定理」の証明に使う分母に微分が来る式があるんだが、その筋で直接照明できるね 時間があるときに書く 394 名前：現代数学の系譜11 ガロア理論を読む [2012/02/29(水) 00:13:22.55 ] >>386 >ラグランジュとガロアの差は、パラダイムシフトと見ることができるかも・・ ガロア第一論文の最後は、素数次数の既約方程式への応用で、位数n(n-1)の線形群のときに、累乗根で解けるとしている これも、ガロアリゾルベントを使って考えた方が、見やすいかも 後日、時間のあるときに 395 名前：１３２人目の素数さん mailto:sage [2012/02/29(水) 10:01:27.39 ] ↓のレスを見て思い当たった。このスレはお節介が過ぎるのだ。 141: 猫は馬鹿が憎い ◆MuKUnGPXAY [age] 2012/02/23(木) 00:19:38.13 >>139 ブルバキのスタイルは私は大好きですね。余計なお節介が一切ないので。 396 名前：現代数学の系譜11 ガロア理論を読む [2012/02/29(水) 21:49:08.54 ] >>395 乙 「お節介」の定理かね？ その定理を自分に当てはめてみたら？ 自分が余計な３行（正確には４行か）を書いたとは思わないのかね？ なに？ おいらのレスがお節介だと天の声！ 失礼しましたorz 397 名前：現代数学の系譜11 ガロア理論を読む [2012/02/29(水) 22:22:12.53 ] >>395 吉田輝義さんのガロア理論というのが落ちていた これでも読んで、感想文でも書いてくれ www.dpmms.cam.ac.uk/~ty245/2010_Galois_M24/2010_Galois_M24.pdf GALOIS THEORY MICHAELMAS 2010 (M.W.F. 11AM, MR3) TERUYOSHI YOSHIDA www004.upp.so-net.ne.jp/s_honma/algebra/GaloisbySH.htm 398 名前：現代数学の系譜11 ガロア理論を読む [2012/02/29(水) 22:35:37.51 ] Maximaを使っているこんなページもあった www.nasuinfo.or.jp/FreeSpace/kenji/sf/perm/glgrp.htm Galois 理論の数値実験 最後に 多くのGalois 理論の教科書は抽象的過ぎると考えます。人間の抽象化能力は具体的事実とのペアで働きます。具体例を伴わない抽象化は無意味です。論理だけでは抜けが入り込むからです。 399 名前：現代数学の系譜11 ガロア理論を読む [2012/02/29(水) 22:55:16.39 ] こんなのがあった repository.hyogo-u.ac.jp/dspace/handle/10132/1612 repository.hyogo-u.ac.jp/dspace/bitstream/10132/1612/1/ZD30301003.pdf 可解な5次方程式について 大迎規宏 兵庫教育大修士論文 2003 400 名前：１３２人目の素数さん mailto:sage [2012/02/29(水) 23:14:17.34 ] >>398 ＞多くのGalois 理論の教科書は抽象的過ぎると考えます。 細菌の教科書はバカ丁寧なほど実例が挙げられていると思うけど、 具体的にどのような本のことを言ってる？ 401 名前：１３２人目の素数さん mailto:sage [2012/02/29(水) 23:29:11.83 ] そういや昔クマーがガロア理論に方程式論は必ずしも必要はないっていうようなことを 言ってたと思うんだけど、俺もそれには同意だな。かなり叩かれてたけどｗ 方程式論までしか知らない人にはガロア理論はそれがすべてなんだろうけど、 いまはもっと広い意味で使われてるんですよ。 402 名前：１３２人目の素数さん mailto:sage [2012/02/29(水) 23:40:43.99 ] 昔なら読めるもんなら読んでみろって感じだったんでしょうか 今は読んでください丁寧に説明します、ですかね 403 名前：１３２人目の素数さん mailto:sage [2012/02/29(水) 23:57:49.12 ] 初学者にとってのモチベーションが失われるような意味もある もっと上のレベルの事を勉強してたら広い応用があることがわかるはずだ、 とか言ってたら、数学を既に知っている人しか教科書を読めなくなる 実際そういう本は多いけどね 404 名前：１３２人目の素数さん mailto:sage [2012/03/01(木) 00:01:59.43 ] 398の意図を読み損なったと思ったので、401のレスをしました。 今の教科書が不親切云々ではなく、体論に基づいたガロア理論が抽象的だという 話だったのかなと思ったので。 405 名前：１３２人目の素数さん mailto:sage [2012/03/01(木) 00:16:53.22 ] ガロア理論は多くの人が関心をもっているだけに、具体的でていねいな教科書が多いと思うけどね。 当然そうでないのもある。そういうのがだるいという人もいるので。 自分にあったのを選べば良いわけで、少なくともガロア理論はそれが可能なだけの数はあるんじゃない？ 406 名前：現代数学の系譜11 ガロア理論を読む [2012/03/01(木) 06:39:01.36 ] >>400 乙 >＞多くのGalois 理論の教科書は抽象的過ぎると考えます。 これは、引用元の人が言っていることだよ、おいらじゃなく だが、”自分で具体例を手を動かして計算しなさい”という意図だよ まあ、教科書はページ数の制約もあるから（それは出版社からの営業上の要請（ページ数と値段がほぼ比例）もあり）、ある程度ページ数は削らざるを得ない。だが、ネット上はそういう制約はなしだ >>401-405 視点が違う スレタイ”現代数学の系譜11 ガロア理論を読む”だ 現代ガロア理論ではなく、古典としてのガロア論文を読むことを主眼とするスレだよ、ここは！ 407 名前：現代数学の系譜11 ガロア理論を読む [2012/03/01(木) 07:43:10.97 ] >>393 >でも、この表現だと、例えばV'に対応する置換φV',φ1V',・・・・,φm-1V',が具体的にどういう根の並びになっているか不明 >でも、直感的には例えば、V1=Ab+Ba+Cc+・・・（互換(a,b)）なら、根の並びも b, a, c ・・・（互換(a,b)）が対応するんじゃないかと。それが自然な対応で、そういう自然な対応になっていないと、群の積を考えたときに困るだろうと >倉田>>4の７節「ラグランジュの定理」の証明に使う分母に微分が来る式があるんだが、その筋で直接照明できるね 今日はこれ。>>315>>317倉田>>4§７より （ラグランジュの定理） 体ｋ上のｎ（＞１）次の多項式の根α１、・・・、αｎは重根を持たないとする。 α１、・・・、αｎのｋ上の有理式 β＝φ（α１、・・・、αｎ）、γ＝ψ（α１、・・・、αｎ）において βを不変にするすべての（α１、・・・、αｎ）の置換によって、γが不変ならば、 γはβのｋ上の有理式で表される。 証明は、 デデキント、ラグランジュの論法を使う βを不変にするSn（ｎ次対象群）の部分群をHとし、 Sn＝H＋σ1H＋・・・＋σk-1H とする。 β1＝σ1β、β2＝σ2β、・・・、βk-1＝σk-1β とおけば、 β、β1、β2、・・・、βk-1は、Snの置換によって生じる量の全部である。 γから同様にγ1＝σ1γ、γ2＝σ2γ、・・・、γk-1＝σk-1γを作る。 このとき、γ、γ1、γ2、・・・、γk-1も、Snの置換によって生じる量の全部である。 但し、γ、γ1、γ2、・・・、γk-1の中に等しいものはあり得る。 F(ｘ)＝（ｘ−β）（ｘ−β1）・・・（ｘ−βk-1） を作ると、根と係数の関係から、F(ｘ)はｋ上の式。 F(ｘ)（γ／（ｘ−β）＋γ1／（ｘ−β1）・・・＋γk-1／（ｘ−βk-1））＝G(ｘ) を作ると、G(ｘ)もSnの置換によって不変だから、ｋ上の式。 これから、 γ＝G(β)／F’(β) 即ち、γはβのｋ上の有理式 F’(β)＝dF(ｘ)/dx (F(ｘ)の微分) 408 名前：現代数学の系譜11 ガロア理論を読む [2012/03/01(木) 08:04:07.16 ] >>407 このデデキント、ラグランジュの論法は、すこぶるエレガントなんだ 409 名前：現代数学の系譜11 ガロア理論を読む [2012/03/01(木) 22:20:46.91 ] >>407 補足 （γ／（ｘ−β）＋γ1／（ｘ−β1）・・・＋γk-1／（ｘ−βk-1））の式で、分母と分子が同じ置換で生じた値でペアになるようにしている これがミソ つまり、ある置換で分母分子がくっついて同じように動くから、式（γ／（ｘ−β）＋γ1／（ｘ−β1）・・・＋γk-1／（ｘ−βk-1））は置換で項の順序が入れ替わるだけで、和として値は同じ だから、式（γ／（ｘ−β）＋γ1／（ｘ−β1）・・・＋γk-1／（ｘ−βk-1））は、ｋ上の有理式だと このやり方は、「数III方式ガロアの理論」矢ケ部 巌>>198の P210-211にもある。 最初これを読んだとき、なにをしているのか、さっぱり分からなかった印象がある でも、今見るとエレガントだなと 410 名前：１３２人目の素数さん mailto:sage [2012/03/01(木) 22:35:09.47 ] 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_ 　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、 　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ 　　　　　/　　　／:::::／　　　　　　　　　　　＼ 　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 | 　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 | 　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ| 　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　 　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。 .　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。 　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。 　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて 　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。 　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は? 　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？ 　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼ .　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼ 　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 | 　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､ 　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣| 　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿| 　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/ 　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/ 411 名前：現代数学の系譜11 ガロア理論を読む [2012/03/01(木) 22:49:36.70 ] >>407 訂正 F’(β)＝dF(ｘ)/dx (F(ｘ)の微分) 　↓ F’( x )＝dF(ｘ)/dx (F(ｘ)の微分) >>409　つづき >>372 「１．V=Aa+Bb+Cc+・・・ ガロアリゾルベント（ガロア分解式）は、”a,b,c・・・は、（重根を持たない）で問題の方程式の根、A,B,C・・・は根の置換で異なる値をとる”ように定めた>>28 　　だから、Vを変えない置換は恒等置換eのみ」 「３．ラグランジュの定理を補助線として、Vを見ると、Vを変えない置換は恒等置換eのみだから、Vはどんな根の有理式を持ってきても、それは必ずVの有理式で表されるという構造になっているんだ（ここポイント）」 V=Aa+Bb+Cc+・・・ ガロアリゾルベントで、>>407にならって、Snの置換によって生じる量の全部 V、V1、V2、・・・、Vk-1　（k=n!） で、元の方程式の一つの根aがa＝φ(V)という有理式で表されたとして、上記同様Snの置換によって生じる量の全部を考え φ(V)、φ(V)1、φ(V)2、・・・、φ(V)k-1　（k=n!） ここで、この中には同じ値のものが存在する。例えば、一般５次方程式なら根は５つ(例 a,b,c,d,e)であるから、異なる値は５で２４づつ同じ値が存在する。 F(ｘ)＝（ｘ−V）（ｘ−V1）・・・（ｘ−Vk-1）として F(ｘ)（φ(V)／（ｘ−V）＋φ(V)1／（ｘ−V1）・・・＋φ(V)k-1／（ｘ−Vk-1））＝G(ｘ) φ(V)＝G(V)／F’(V) F’(x)＝dF(ｘ)/dx (F(ｘ)の微分) 412 名前：現代数学の系譜11 ガロア理論を読む [2012/03/01(木) 23:27:49.76 ] >>411　つづき で、分かりやすく一般５次方程式で根５つ a,b,c,d,eで考える。 １．ある置換σがあって、根aがbに置換されたとする そのとき、ガロアリゾルベントVの値が変わるがその式をVbと名づけよう Vb＝Ab＋・・・（後の・・・は根b以外の項） F(ｘ)（φ(V)／（ｘ−V）＋φ(V)1／（ｘ−V1）・・・＋φ(V)k-1／（ｘ−Vk-1））＝G(ｘ)　（k=5!） で、この式の両辺に置換σを施す この式全体は、ｋ上の有理式だから、左右両辺は全体としては変わらず等号は成り立つ ただ、（φ(V)／（ｘ−V）＋φ(V)1／（ｘ−V1）・・・＋φ(V)k-1／（ｘ−Vk-1））の並びが変わる φ(V)／（ｘ−V）は、φ(Vb)／（ｘ−Vb）に変わる φ(Vb)＝G(Vb)／F’(Vb) ところで、a=φ(V)だったからこの式の両辺に置換σを施すとb=φ(Vb) つまりb=φ(Vb)＝G(Vb)／F’(Vb) ２．逆にある置換σでaが不変なら、上記の論法でφ(Vb)＝G(Vb)／F’(Vb)は、aのまま ３．同じことが、aがc、ｄ、eに変わるときにも言える。つまり、ある置換σとそれに対応するガロアリゾルベントでのaの変化は完全に対応している ４．上記の論法（φ(Vb)＝G(Vb)／F’(Vb)）で、同じことは他の根（b,c,d,e）の全てに言えて、ある置換σにおける根の入れ替わりと、その置換に対応するガロアリゾルベントでの根の入れ替わりは同じ 413 名前：現代数学の系譜11 ガロア理論を読む [2012/03/01(木) 23:38:20.54 ] >>412 なので、>>325でしたように ”f(α,β,γ)=（α−β）^2で、これを変えない置換は、（α,β）（＝α,βの互換）で変わらない式を作る Ｖ１＝ａα＋ｂβ＋ｃγ、Ｖ４＝ａβ＋ｂα＋ｃγ（Ｖ１に（α,β）を施してＶ４に） で、（ｘ−Ｖ１）（ｘ−Ｖ４）がそれ” と、置換（α,β）（＝α,βの互換）を考えて、それをベースに素直に（ガロア論文にある根の有理式を経由しないで）ガロアリゾルベントで直接根の置換を考えて良いということになる そうなると、置換とガロアリゾルベントが直感的かつ自然に対応が取れて、見通しがよくなる（そうでないと、根の有理式を経由して考えようとすると見通し悪すぎ） ここは、前述>>361のように 倉田>>4は、P119の命題２（Vの有理式の群と根の置換の成す群が（反）同型）で扱っている >>409-412が証明になっているかどうか不明だが、分かりやすい説明にはなっているだろう 414 名前：現代数学の系譜11 ガロア理論を読む [2012/03/02(金) 07:15:34.96 ] >>412 補足 >ところで、a=φ(V)だったからこの式の両辺に置換σを施すとb=φ(Vb) >つまりb=φ(Vb)＝G(Vb)／F’(Vb) ここは、 φ(V)=aで、φ(V)／（ｘ−V）は、デデキント、ラグランジュの論法>>407のもともとの式の定義から、分母と分子は一つの置換で連動して動くことになっていたから>>409 分子aがbに置換されれば、分母のVの式中のaもbに置換されると そういう見方もできる >そうなると、置換とガロアリゾルベントが直感的かつ自然に対応が取れて、見通しがよくなる（そうでないと、根の有理式を経由して考えようとすると見通し悪すぎ） V=Aa+Bb+Cc+・・・ ガロアリゾルベントには、順列（a,b,c,・・・）が対応し V'=Aa'+Bb'+Cc'+・・・ ガロアリゾルベントには、順列（a',b',c',・・・）が対応し この順列と下記の置換が対応する （a,b,c,・・・） （a',b',c',・・・） （ここは、置換のコーシー記法で、上段と下段とを大きな括弧で括っていると見てください） V'=Aa'+Bb'+Cc'+・・・ ガロアリゾルベント 　↓ （a',b',c',・・・）順列 　↓ （a,b,c,・・・）置換 （a',b',c',・・・） という三点セットで、ガロアは置換群をガロアリゾルベントの集合として捉え、ガロアリゾルベントを体論の代用として使った これがガロアの見ていた原風景ではないだろうか 415 名前：現代数学の系譜11 ガロア理論を読む [2012/03/02(金) 07:43:29.83 ] >>414 ガロアリゾルベントを体論の代用として使うメリットもある 例えば、ガロア論文の最後の定理 「素数次の既約方程式が累乗根で解けるためには、（この方程式の）根の任意の二つがわかれば、他（の根）はそれから有利的に導かれることが必要十分である」と つまり、根の任意の二つがわかれば・・・は V=Aa+Bb+Cc+・・・ ガロアリゾルベントが、実は V=Aa+Bb　と二つの根で十分だと とすると、置換（a,b,c,・・・）でV=Aa+Bbの取る値の数は、n(n-1)となり、この場合のガロア群の位数が直ちにでるのだった 416 名前：現代数学の系譜11 ガロア理論を読む [2012/03/02(金) 21:29:40.88 ] >>415 とすると、置換（a,b,c,・・・）でV=Aa+Bbの取る値の数は、n(n-1)となり、この場合のガロア群の位数が直ちにでるのだった 補足 ガロア群Gの位数がn(n-1)として、nは素数 とすると、シローの定理(下記)により、ガロア群Gは素数n次の巡回群を部分群として含むことになり、Gは線形群が出るのだろう ja.wikipedia.org/wiki/%E3%82%B7%E3%83%AD%E3%83%BC%E3%81%AE%E5%AE%9A%E7%90%86 シローの定理 417 名前：１３２人目の素数さん mailto:sage [2012/03/03(土) 02:12:13.43 ] これだけ古典的数学に造詣をお持ちの方というとＴ氏なんでしょうか？ 418 名前：現代数学の系譜11 ガロア理論を読む [2012/03/03(土) 07:27:36.47 ] >>417 乙です Ｔ氏がどなたか存じ上げませんが、別人です 419 名前：１３２人目の素数さん [2012/03/03(土) 08:13:06.94 ] test 420 名前：現代数学の系譜11 ガロア理論を読む [2012/03/03(土) 09:32:06.95 ] >>415 補足 ガロア論文>>3の第VII節は、原文ままでは分かりにくい 倉田>>4 P164の解説がお勧め ガロアは、素数P次の既約方程式に対し G=H1＞H2＞・・・＞Hμ-1＞Hμ＝（e） （ここで＞などは、群論の含む記号のアスキー代用。また、Gは方程式のガロア群、（e）は単位元のみからなる群） という、べき根添加による正規拡大列を見ていた そして、（e）の直前のHμが素数P次の巡回群であることを述べ、Hμ-1が線形群になることを述べる 倉田P166（エドワーズ）の証明では、Hμ-1が素数P次の巡回群の正規拡大であることを使って、線形性を導いている 直感的でわかりやすい ガロアは時間が無かったのか、あるいは現在のように群論を表現する記法が十分発達していなかったのもあると思うが、お話し風に書いてあるので分かりにくい 一度、解説を読んで、それから原文を読むのが良い ガロアは間違いなく、倉田（エドワーズ）が示すような風景を見ていたことは確かだろう。だが、見ている風景を表現する記法は当時十分発達していなかったのだった なお、第VII節のP39の最後のラグランジュの分解式（正確にはそのn乗）を使う解法は、ラグランジュがすでに得ていたことは、 「数学史 (数と方程式)」小杉肇や「代数方程式のガロアの理論」Jean-Pierre Tignol>>385に記されている 倉田>>4は、P206「22. ラグランジュとガロア」で、両者の関係について詳しく述べている ２説あるという。一つは、ガロアがラグランジュ理論の完成者だと 上記の小杉肇やJean-Pierre Tignolを読むと、この説に近いかなと個人的には思う （倉田は、P208で当時ガロアが逮捕されていたときの釈放要求の新聞記事でガロア論文は 「ラグランジュの解釈できなかった困難を取り除くもの・・・」を引用している） ”記者がこれらのことに通じているとは考えられないから、これはガロア自身が語ったことだろう”と 421 名前：現代数学の系譜11 ガロア理論を読む [2012/03/03(土) 09:33:09.85 ] >>420 （さらに補足） しかし、そうだとしても、群論の創設は革命的であり、パラダイムシフトと見ることが出来る>>386 まあ、アインシュタインが特殊相対論を提唱したことに例えられるかも>>387 （特殊相対論によって物理学は、単なる数式でしかなかった「ローレンツ収縮」>>387 を大きく超えて発展したのだった） 422 名前：１３２人目の素数さん mailto:sage [2012/03/03(土) 13:51:48.78 ] >>421 群論（正確には置換群）はルフィニやアーベルも使ってるよ。 423 名前：現代数学の系譜11 ガロア理論を読む [2012/03/03(土) 21:03:55.60 ] >>422 >群論（正確には置換群）はルフィニやアーベルも使ってるよ。 なるほど、そういう意味で遡ると、群論の始祖はラグランジュだろうな 「代数方程式のガロアの理論」Jean-Pierre Tignol>>385 P146 「10.3 群論とガロア理論の最初の成果」に、 「・・・ラグランジュ・・・。実際、彼は根の置換に関する計算に着手しており、群論とガロア理論における最初の成果を得ている。」と認定している ところで、有名なペレルマンが、「ハミルトンのリッチ・フロー発見に対する評価が十分でないことなど、数学界の不公平さに異議があることをその主たるものとして」ミレニアム賞の受賞を断ったとか ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AA%E3%82%B4%E3%83%AA%E3%83%BC%E3%83%BB%E3%83%9A%E3%83%AC%E3%83%AB%E3%83%9E%E3%83%B3 2010年3月18日に、クレイ数学研究所は、ペレルマンがポアンカレ予想を解決したと認定して、ミレニアム賞（副賞として100万ドル）授賞を発表した。 彼は2010年6月8日の授賞式に姿を見せなかったが、クレイ数学研究所の所長は「選択を尊重する」と声明を発表し、賞金と賞品は保管されるという。 同年7月1日にロシアのインテルファクス通信がペレルマンの話として伝えたところによると、受賞を断った理由は複数あるが、ハミルトンのリッチ・フロー発見に対する評価が十分でないことなど、数学界の不公平さに異議があることをその主たるものとしてあげたという。 （引用おわり） つまり、「数学界では、大伽藍の最後のタイルを貼り付けて、証明を完成した者が評価される」という性癖があると言われる ペレルマンは、「自分はハミルトンという巨人の肩の上に登って、仕事をしたのだ」と言いたかったのかも さてガロアの例で言えば、ラグランジュは置換群論の始祖であって、彼が最初の成果を得たことは、Jean-Pierre Tignol>>385認定の通りだろう そして、おいらも「ガロアがラグランジュ理論の完成者だと」思う>>420 だが、数学界一般では、ガロアを群論の創始者とする人たちも多いみたい。それは、ガロアが大伽藍の最後のタイルを貼り付けて、目覚しい成果を数学界の人々に見せたからだろう ガロアが、ラグランジュという巨人の肩の上で仕事をしたことは確かだと思う だが、大伽藍の成果を目に見える形にしたのはガロアだ 424 名前：現代数学の系譜11 ガロア理論を読む [2012/03/03(土) 21:08:05.91 ] >>423 >ガロアが、ラグランジュという巨人の肩の上で仕事をしたことは確かだと思う >だが、大伽藍の成果を目に見える形にしたのはガロアだ 現代では、誰もが先達の巨人の肩の上にいる それを否定しては、何事も成り立たない 巨人の肩の上に乗っていいが、礼儀がある 先達のオリジナリティーを尊重し、きちんと引用を明確にすること この点、ガロアはラグランジュの引用が少なすぎると思う だが、彼は若かったし、時間がなかったのだろう。この点はスルーとしたい 425 名前：現代数学の系譜11 ガロア理論を読む [2012/03/03(土) 21:26:54.09 ] >>424 補足 巨人の肩という言い方は、ニュートンの言葉として有名だ（下記） ja.wikiquote.org/wiki/%E3%82%A2%E3%82%A4%E3%82%B6%E3%83%83%E3%82%AF%E3%83%BB%E3%83%8B%E3%83%A5%E3%83%BC%E3%83%88%E3%83%B3 私がさらに遠くを見ることができたとしたら、それはたんに私が巨人の肩に乗っていたからです。--ロバート・フック宛書簡、1675年2月5日（ユリウス暦、グレゴリオ暦では1676年2月15日） If I have been able to see further, it was only because I stood on the shoulders of giants.　 q.hatena.ne.jp/1209546713 ニュートンの有名な言葉「巨人の肩の上に〜」について、その典拠を調べています。 ライバルであるロバート・フックあての1676年2月5日付けの手紙だそうです。 ただし、この言葉はニュートンの独創というわけではなく、1159年にすでに引用の形で残っているとのこと。 426 名前：１３２人目の素数さん [2012/03/03(土) 21:32:30.52 ] >>423 単純に、有名な問題を解いたというだけで賞金を出す クレイの売名行為が嫌いだったんだろう。 グロタンディクが、軍から研究所への資金援助を嫌って 隠遁生活に入ったようなもんだ。 427 名前：１３２人目の素数さん mailto:sage [2012/03/03(土) 22:05:01.01 ] >>423 >なるほど、そういう意味で遡ると、群論の始祖はラグランジュだろうな もっと遡ると、いわゆる対称式の対称性を初めて認識した人ではないだろうか？ つまり、対称式ではどんな置換をしても式の形が違わないということに気付いた人だね。 428 名前：１３２人目の素数さん mailto:sage [2012/03/03(土) 22:13:18.70 ] 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_ 　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、 　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ 　　　　　/　　　／:::::／　　　　　　　　　　　＼ 　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 | 　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 | 　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ| 　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　 　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。 .　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。 　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。 　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて 　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。 　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は? 　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？ 　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼ .　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼ 　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 | 　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､ 　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣| 　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿| 　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/ 　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/ 429 名前：現代数学の系譜11 ガロア理論を読む [2012/03/03(土) 23:28:06.07 ] >>426 乙。そうかも >>427 対称式ね。そうなのか。根と係数の関係（基本対称式）はいつから意識されていたんだろうか？ そういえば、有名なニュートンも対称式を研究していたようだが？ >>428 乙！　いつもご苦労さまです！　できれば、”age”にしてもらえるとありがたい！ 430 名前：現代数学の系譜11 ガロア理論を読む [2012/03/03(土) 23:32:54.84 ] 正20 面体について検索していたら、こんなのが。メモ代わりに貼っておく www.math.chuo-u.ac.jp/ENCwMATH/ ENCOUNTERwithMATHEMATICS 第51回 正 20 面体にまつわる数学--その 2 -- 2009年10月2日(金), 3日(土) 431 名前：１３２人目の素数さん [2012/03/03(土) 23:39:52.75 ] 物理学や天文学の発展がなければ 数学上の重要な発見もどうなっていたか？ 432 名前：現代数学の系譜11 ガロア理論を読む [2012/03/03(土) 23:46:49.39 ] 同じく しかし、数学展望 IIの講義資料は、だれかタイプアップしてやれよ、おい＞学生、手分けして　（シラバスは同感） ocw.nagoya-u.jp/index.php?lang=ja&mode=c&id=55&page_type=materials 講義資料 | 数学展望 I | 理学部・理学研究科 | 名大の授業 (NU OCW) ocw.nagoya-u.jp/index.php?lang=ja&mode=c&id=70&page_type=materials 講義資料 | 数学展望 II | 理学部・理学研究科 | 名大の授業 (NU OCW) ocw.nagoya-u.jp/index.php?lang=ja&mode=c&id=70&page_type=syllabus シラバス | 数学展望 II | 理学部・理学研究科 | 名大の授業 (NU OCW) 歴史をひもといてみますと、数学と物理は互いに大きく影響をおよぼし合いながら発展してきたことが分かります。19 世紀以前ですと、ニュートン力学と微分積分や位相幾何学、電磁気学とベクトル解析などが代表的なものです。 20 世紀そして今世紀になると、その関係は更に深くなってきています。ですから、数学をより良く理解するためには、物理を全く無視する訳にはいきません。 本講義では、数学と物理の関わりについて、高校や共通教育ではやらない 20 世紀の物理（相対論や量子論）を題材に紹介します。 433 名前：現代数学の系譜11 ガロア理論を読む [2012/03/03(土) 23:49:21.40 ] >>431 うん、ちょうど>>432をアップしたところだ ”歴史をひもといてみますと、数学と物理は互いに大きく影響をおよぼし合いながら発展してきたことが分かります。”（粟田英資 准教授）だと 434 名前：１３２人目の素数さん [2012/03/04(日) 00:03:38.90 ] >>433 おお、ありがとう！！ 解析力学とかベクトル解析も数学として学ぶことも 出来るが矢張り、数学科でも物理的観点を教えるべき。 435 名前：現代数学の系譜11 ガロア理論を読む [2012/03/04(日) 08:01:14.76 ] >>430-432 A5（５次交代群）が、正20面体群に同型というのは有名だが、詳しい説明を探していたんだ 下記が良いね 図があるので、それを見ながら読んでください hooktail.sub.jp/algebra/PolyhedronGroup2/ 正多面体群２ [物理のかぎしっぽ] （抜粋） 正十二面体と正二十面体 正十二面体や正二十面体でも，(正四面体で先に示したように)頂点の動きに着目すれば，5次の交代群に同型だということが分かります． P(20)〜P(12)〜A5 （つづく） 436 名前：現代数学の系譜11 ガロア理論を読む [2012/03/04(日) 08:02:12.91 ] >>435　つづき hooktail.sub.jp/algebra/PolyhedronGroup2/ 正多面体群２ [物理のかぎしっぽ] （抜粋） 正十二面体が 次の交代群に対応することは，当初面倒なので結果しか示さなかったのですが，要望があったのでここに補足します． 正十二面体の面は正五角形をしていますので，星型に五本の対角線が引けます． この対角線の一つを一辺とする正六面体を正十二面体の中に内接させることができます．次図のように，これには五種類あります． 正十二面体はちょうど，正六面体の一つの面に切妻屋根を乗せたような形になっているわけですね． さて，上の図のうちの一つだけに注目しましょう．正十二面体群の元のうち，内接する正六面体を正六面体自身に移す変換は，もちろん正十二面体も正十二面体自身に移します． そこで，正十二面体群の元で，内接する正六面体をも保つものをまず考えます．左から四番目のものが見やすいと思います． まず正六面体の頂点を通る対角線を軸に，120度もしくは240度回す変換があります．対角線は4本ありますので，この種類の変換が計8個あります． 次に，正六面体の面の中心を通る軸の回りに180度回す変換があります(この軸は，切妻屋根の稜線の中心を通ります)．これが計3本あります． P(6)と違うのは，正六面体の各辺の中点を結んだ線を中心に回す変換が無いことです．このような回転は正十二面体の対称性を崩してしまうことがわかるでしょう． 結局，上記の二種類に恒等置換を加えて，正十二面体群のうち，正十二面体も内接する立方体も両方不変に保つものには8+3+1=12種類あることが分かりました． 24のちょうど半分ですから，位数からだけでもこれが交代群であることが証明できそうですが，念のため，頂点に番号を振って，ここで求めた変換が偶置換であることを示しましょう． 正十二面体に正六面体を内接させるさせ方には 種類ありましたから，次式が成り立ちます． P(12)〜5xA4=A5 437 名前：現代数学の系譜11 ガロア理論を読む [2012/03/04(日) 08:35:03.60 ] >>434 乙です そうそう でも、粟田英資 准教授 講義資料 | 数学展望 II ocw.nagoya-u.jp/index.php?lang=ja&mode=c&id=70&page_type=materials で、初回にもう少し全体像を話す時間を取った方が良いだろう シラバス ocw.nagoya-u.jp/index.php?lang=ja&mode=c&id=70&page_type=syllabus ”歴史をひもといてみますと、数学と物理は互いに大きく影響をおよぼし合いながら発展してきたことが分かります。19 世紀以前ですと、ニュートン力学と微分積分や位相幾何学、電磁気学とベクトル解析などが代表的なものです。 20 世紀そして今世紀になると、その関係は更に深くなってきています。ですから、数学をより良く理解するためには、物理を全く無視する訳にはいきません。 本講義では、数学と物理の関わりについて、高校や共通教育ではやらない 20 世紀の物理（相対論や量子論）を題材に紹介します。” の時間を、そしてそのレジュメを 初回で、数学と物理の関係の全体像をレビューする たとえば ニュートンが、天体力学の要請から微分積分を発展させた それから解析力学が出てきた（ハミルトニアン） 分数関数の積分の要請から、分母の因数分解が強く求められ、方程式論から群論に発展した 電磁気学が出てきた その刺激で、数学はベクトル解析やテンソル解析が発展した 微分方程式を解くための演算子法が出てきた （これは工学から） 熱伝導方程式を解くためにフーリエ変換が出てきた その下で、相対論が出た 量子論もハミルトニアンをベースに発展した 数学が多次元空間や無限次元空間を扱えるように発展した ディラックがデルタ関数の有用性を示した シュワルツが超関数を考えた 佐藤幹雄がhyperfuctionを考えた ワインバーグサラム理論（非可換ゲージ理論）が出た ja.wikipedia.org/wiki/%E5%A0%B4%E3%81%AE%E9%87%8F%E5%AD%90%E8%AB%96#.E9.87.8F.E5.AD.90.E8.89.B2.E5.8A.9B.E5.AD.A6.E3.83.BB.E3.83.AF.E3.82.A4.E3.83.B3.E3.83.90.E3.83.BC.E3.82.B0.E3.82.B5.E3.83.A9.E3.83.A0.E7.90.86.E8.AB.96 南部 陽一郎がstring theoryを考えた ja.wikipedia.org/wiki/%E5%BC%A6%E7%90%86%E8%AB%96 ウィッテンがこれを発展させて、どういうわけかフィールズ賞をもらった （つづく） 438 名前：現代数学の系譜11 ガロア理論を読む [2012/03/04(日) 09:36:53.84 ] >>437 つづき アインシュタインが、当時馬鹿にされながら統一理論を追求して、カルツァー・クライン理論になった それが、ウィッテンのM理論に ワインバーグサラム理論は、４次元位相空間の研究に使われたそうだ 量子力学のランダム行列理論とリーマン予想との不思議な関係 ゴレイ符号（デジタル通信に用いられる誤り訂正符号。名前の由来はスイスの数学者 Marcel J. E. Golay。）→リーチ格子→散在単純群→モンスター群→ムーンシャイン→頂点作用素代数によるボーチャn−ズの証明という流れもある ja.wikipedia.org/wiki/%E3%82%B4%E3%83%AC%E3%82%A4%E7%AC%A6%E5%8F%B7 ゴレイ符号（英: Golay code）は、数学の散在型単純群の理論に基づく符号の種類である。名前の由来はスイスの数学者 Marcel J. E. Golay。 en.wikipedia.org/wiki/Binary_Golay_code en.wikipedia.org/wiki/Leech_lattice ソリトンも落とせないかな フェルミ・パスタ・ウラムの問題→ソリトン→可積分系 ja.wikipedia.org/wiki/%E3%83%95%E3%82%A7%E3%83%AB%E3%83%9F%E3%83%BB%E3%83%91%E3%82%B9%E3%82%BF%E3%83%BB%E3%82%A6%E3%83%A9%E3%83%A0%E3%81%AE%E5%95%8F%E9%A1%8C 950年代にロスアラモス研究所で電子計算機を用いて、この問題に取り組んだ3人の物理学者エンリコ・フェルミ、ジョン・パスタ、スタニスワフ・ウラムに名に因む。 当初の予想では相互作用が非線形な系ではエルゴード性によって、長時間経過後に各モードにエネルギーが等分配された平衡状態に達するはずであったが、 計算機実験の結果はそれに反し、初期状態のモードに戻る再帰現象が観測された。後に、この再帰現象はKdV方程式の研究から可積分系におけるソリトンと関連した現象であることが明らかにされた。 en.wikipedia.org/wiki/Soliton In 1965 Norman Zabusky of Bell Labs and Martin Kruskal of Princeton University first demonstrated soliton behaviour in media subject to the Korteweg?de Vries equation (KdV equation) in a computational investigation using a finite difference approach. They also showed how this behavior explained the puzzling earlier work of Fermi, Pasta and Ulam.[3] （つづく） 439 名前：現代数学の系譜11 ガロア理論を読む [2012/03/04(日) 10:07:26.35 ] >>438 つづき ヴィラソロ代数→頂点作用素代数　みたいな流れもあると思うんだけど ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A3%E3%83%A9%E3%82%BD%E3%83%AD%E4%BB%A3%E6%95%B0 数学・物理学においてヴィラソロ代数（ヴィラソロだいすう、英語: Virasoro algebra）は円周上定義される複素多項式ベクトル場の中心拡大として与えられる無限次元複素リー環で、弦理論において広く用いられる。名称は物理学者のミグエル・ヴィラソロen に由来する。 www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/0867-09.pdf 頂点作用素代数入門 最近では、ペレルマンのポアンカレ予想の解決に、熱力学のエントロピーや熱浴の概念が用いられたという www15.ocn.ne.jp/~janpal/webdoc/HtmlDoc/materilist.html Grisha Perelman Ricci フローのエントロピー公式とその幾何学的応用 www15.ocn.ne.jp/~janpal/webdoc/PDF/gp1.pdf で、話はてんこ盛りになるけれど、全部は話せないので、話題を絞って話すと つまり、全体像→部分像という流れを押さえておくことが要点 それから、物理から数学、数学から物理の行ったり来たりの歴史も入れて 毎回読み切り：今日の講義を聞いて、まとまったなにか「なるほど」と思う要素を入れる こんなことに気をつけると面白いと思うよ 440 名前：現代数学の系譜11 ガロア理論を読む [2012/03/04(日) 10:49:23.43 ] >>436 話がそれたが、今日の本題は、正十二面体の中で、５次の線形群（位数 5・4=20）を考えてみようと >正十二面体の面は正五角形をしていますので，星型に五本の対角線が引けます． >この対角線の一つを一辺とする正六面体を正十二面体の中に内接させることができます．次図のように，これには五種類あります． >正十二面体はちょうど，正六面体の一つの面に切妻屋根を乗せたような形になっているわけですね． >まず正六面体の頂点を通る対角線を軸に，120度もしくは240度回す変換があります．対角線は4本ありますので，この種類の変換が計8個あります． >次に，正六面体の面の中心を通る軸の回りに180度回す変換があります(この軸は，切妻屋根の稜線の中心を通ります)．これが計3本あります． >P(12)〜5xA4=A5 P(12)〜5xA4=A5の中で、5は５次の巡回群＝”上記の内接正六面体、五種類で、これをそっくり入れ替える置換”で位数５ だから、位数 5・4=20のためには、A4の部分群で位数４のものを探すと・・・、”正六面体の面の中心を通る軸の回りに180度回す変換”計3本＋恒等置換で計４！　これかなと まとめると、 ５次の線形群（位数 5・4=20）は、（A5の部分群で）A4の部分群の”正六面体の面の中心を通る軸の回りに180度回す変換”の成す群（位数４）と、”内接正六面体、五種類で、これをそっくり入れ替える置換”の巡回置換群（位数５）の組み合わせからから成る群だと これ（>>435-436）で、A5（５次交代群）と正十二面体や正二十面体群との関係、部分群として５次の線形群（位数 5・4=20）の正十二面体の中での位置づけが見えたと思う で繰り返しになるが、５次の線形群（位数 5・4=20）までの特殊な５次方程式ならべき根拡大で解ける>>415-416 そのときは、”V=Aa+Bb+Cc+・・・ ガロアリゾルベントが、実はV=Aa+Bb　と二つの根で十分だ”>>415という特別な場合だ しかし、一般の５次方程式の場合は、ガロア群はS5になって、それはA5に落とるが、A5は図形的には正十二面体や正二十面体群で、これはべき根（＝巡回群）による正規拡大（＝巡回群による群の拡大列）では到達できない群になる これが、ガロア理論のお話し的な説明なのだ 441 名前：現代数学の系譜11 ガロア理論を読む [2012/03/04(日) 10:53:30.29 ] >>440　訂正スマソ ５次の線形群（位数 5・4=20）は、（A5の部分群で）A4の部分群の”正六面体の面の中心を通る軸の回りに180度回す変換”の成す群（位数４）と、”内接正六面体、五種類で、これをそっくり入れ替える置換”の巡回置換群（位数５）の組み合わせからから成る群だと 　↓ ・・・組み合わせから成る群だと しかし、一般の５次方程式の場合は、ガロア群はS5になって、それはA5に落とるが、 　↓ ・・・、それはA5に落とせるが、 442 名前：現代数学の系譜11 ガロア理論を読む [2012/03/04(日) 11:41:11.77 ] >>440 補足 >５次の線形群（位数 5・4=20）は、（A5の部分群で）A4の部分群の”正六面体の面の中心を通る軸の回りに180度回す変換”の成す群（位数４）と・・ A4の部分群の”正六面体の面の中心を通る軸の回りに180度回す変換”の成す群（位数４）で シローの定理>>416により、位数２の部分群が含まれ、位数２の部分群との組み合わせで、位数10の部分群があることがわかる（これが図形の中でどう見えるかまだ自分には見えていないが） ここらの事情は、エム・ポストニコフの『ガロアの理論』(1964年4月25日，東京図書出版発行)に詳しいが （エム・ポストニコフで、検索してたら、下記が・・・ d.hatena.ne.jp/nankai/20110805　 2011-08-05 ガロア理論 雑誌『現代思想』4月号が「ガロアの思考」を特集している．ガロア生誕200年を記念してのものである．そのなかで吉田輝義氏の「ガロア理論の基本定理」にいたく感動した． （抜粋） ガロア理論については思い出がある． エム・ポストニコフの『ガロアの理論』(1964年4月25日，東京図書出版発行)を高校3年生のときに買った． 大学に入ったらこの本を読もうと，それを励みに受験勉強した． ・・証明に感心した他はすらすら読める．・・ガロア対応の意義が書かれてはいるが，それを深くつかむことが出来ていなかった． そして思った．一体ガロアの理論とは何なんだ．何がそれまでの数学からの飛躍であり，何が新しいのだ．それがわからなかった．ガロア理論は理解出来た．しかし納得は出来なかった． 今回，吉田輝義氏の「ガロア理論の基本定理」を読んで，若いころの自分の思いを整理することが出来た．また論考の中の基本定理の証明にも，あのときこのようなことを自分でするべきだったという悔恨とともに，心を動かされた． 今から思えば，あのとき，19歳の夏にガロア理論を読んであのように思ったのなら，ガロア理論がどのような公理的前提のもとに示されるのかとか，5次方程式の根の公式の不存在の証明に何が用いられるのかとか，その根幹の定理は何かとか， 自分でガロア理論を再構成しなければならなかったのだ． それをしなかった，あるいはそのような問題意識は持ちえなかった．これらのことをいろいろ思い起こし考える機会となった若い吉田氏の論考に感謝する．） （つづく） 443 名前：現代数学の系譜11 ガロア理論を読む [2012/03/04(日) 12:08:18.53 ] >>442 横道にそれたが、雑誌『現代思想』4月号 吉田輝義氏の「ガロア理論の基本定理」にいたく感動ですか しかし、おそらく大半の人はそこまで行くまいが、読んでみたい気はする で、エム・ポストニコフは >>72 staff.aist.go.jp/f.motoyoshi/java/deg5.pdf 5次方程式の可解性の高速判定法　元吉文男 著 - FM Memo 19961017-01 で、元吉文男も引用している なぜか、これ書棚のこやしになっていたんだ いま読むと、なかなかいい本です ポストニコフP145から、５次の推移群として 位数５　C5巡回群 位数10 B5 半メタ巡回群 位数20 B'5 メタ巡回群 これらが、べき根で解かれる群だと >>399 repository.hyogo-u.ac.jp/dspace/bitstream/10132/1612/1/ZD30301003.pdf 可解な5次方程式について 大迎規宏 兵庫教育大修士論文 2003 大迎規宏くんは、ポストニコフを引用していないが、内容重複している部分があるよ それと、元吉文男も引用していないが、元吉文男を読んでいれば、ポストニコフには気付いたろう それはおいておくとして、我々はありがたく大迎規宏「可解な5次方程式について」を読ませていただければ なお、大迎規宏はジラードの標準型まで落としているが 元吉文男は４次項を落とすだけに止めて係数が有理数体から拡大することなく、可解性が高速判定できるように工夫しているのだった （これは、大迎規宏も4.2節で扱っているかな？） 444 名前：現代数学の系譜11 ガロア理論を読む [2012/03/04(日) 12:39:24.00 ] >>442 >雑誌『現代思想』4月号が「ガロアの思考」を特集している これだね www.seidosha.co.jp/index.php?back-pensee10-19 back-pensee10-19 - 「ユリイカ」「現代思想」の雑誌発行、人文諸科学の専門書の出版社「青土社」 2011/04　ガロアの思考　若き数学者の革命 www.seidosha.co.jp/index.php?%A5%AC%A5%ED%A5%A2%A4%CE%BB%D7%B9%CD 特集＝ガロアの思考　　若き数学者の革命 【ガロアの思考】 ガロアの考えたこと　／　上野健爾 ガロア理論体験記　／　砂田利一 ガロア理論の基本定理　／　吉田輝義 数学における抽象化とは何か　アーベルの具象とガロアの抽象を包むもの　／　高瀬正仁 【現代数学へ】 絶対ガロア理論　／　黒川信重 謎をもって謎に答える、或いは問題の解消　／　高瀬幸一 空間の 「形」 を知るための武器　位相空間のガロア理論　／　小島寛之 リーの理論と可積分性　解析学におけるガロアの影響　／　竹縄知之 【現代物理学へ】 存在から関係へ　現実の軽さ　／　佐藤文隆 ガロアは現代物理学の源流だ！　／　竹内薫 【現代哲学へ】 問い・身体・真理　カヴァイエスとドゥルーズの問題論　／　近藤和敬 ヴュイユマン 『代数学の哲学』 における哲学的方法論の探究 　フィヒテの哲学とラグランジュからガロアに至る代数方程式論の変遷　／　原田雅樹 445 名前：現代数学の系譜11 ガロア理論を読む [2012/03/04(日) 12:45:24.22 ] >>444 「現代思想」のパックナンバーにこんなのが。年に１回くらい理系の特集かな 「現代思想」は現代哲学系の雑誌だな。理系の読者もいるんだろうね www.seidosha.co.jp/index.php?back-pensee10-19 back-pensee10-19 - 「ユリイカ」「現代思想」の雑誌発行、人文諸科学の専門書の出版社「青土社」 2012/01　ニュートリノ／相対性理論　観測がひらく新世界 2010/09　現代数学の思考法　数学はいかにして世界を変えるか 446 名前：現代数学の系譜11 ガロア理論を読む [2012/03/04(日) 13:35:25.90 ] >>442 >雑誌『現代思想』4月号が「ガロアの思考」を特集している．ガロア生誕200年を記念してのものである．そのなかで吉田輝義氏の「ガロア理論の基本定理」にいたく感動した． ネット検索でこんなのが・・ sugakujuku.blog109.fc2.com/blog-category-2.html びっくり数学島 日記 （抜粋） 解説記事の紹介『現代数学のめざすもの』 2012-01-22 Sun 以前のブログで吉田輝義さんという方（と言いつつ実は，吉田さんは僕の大学院時代の同級生で，今もお付き合いをさせてもらっているのですが）の論説を紹介しました． 吉田さんが『現代数学のめざすもの』というタイトルで再び現代数学の解説を書いておられます．それを案内しようと思います．前回は雑誌の記事でしたが，今回は吉田さんのwebsiteから直接取ってこれます： ご本人のwebsite → 『現代数学のめざすもの』(PDFファイル, 12ページ)　www.dpmms.cam.ac.uk/~ty245/Yoshida_2011_Tsukukoma.pdf ご本人の高校での講演が基になっていて，高２ぐらいまでの数学（＝文系・理系共通範囲の数学）に慣れ親しんだ記憶のある方なら読み通せると思います． 目玉の一つは，２次・３次・４次方程式の解法を基にした，ガロア理論（と現代数学）の考え方の説明で，ここまでシンプルにまとまった解説はなかなか見たことがありません． 大学数学科の花形とも言われるガロア理論ですが，『ガロア理論は，方程式のもっている「形」，その本来の姿を人類史上初めて「見た」理論だった』（文中より）ということが，実にうまく説明されていると思います． 習うときはタンタンと 2011-09-26 Mon しばらく前に仲間に言われたこと． できあがった理論や，他人が研究で新しく編み出したテクニックを習得するときは，何てすごいアイディアなんだ！と驚嘆したり感動したりせず， 「フーン，そうやればいいのか．」と冷静に，当たり前のように受け止めたほうがよいらしい． なぜなら，それをスゴイ理論だと思うほど，自分には難しくて使いこなせないのでは，という心理的な壁ができてしまうから．うーんなるほど，そうだなぁと思った． （つづく） 447 名前：１３２人目の素数さん mailto:sage [2012/03/04(日) 13:38:16.96 ] 　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_ 　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、 　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ 　　　　　/　　　／:::::／　　　　　　　　　　　＼ 　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 | 　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 | 　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ| 　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　 　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。 .　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。それが必要条件よ。 　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに Ann.of Math に論文書けば十分条件にもなるわよ。 　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　一番嫌いなのは論文数を増やすためにくだらない論文を書いて 　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　　良い論文の出版を遅らせるお馬鹿な人。 　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　あなたの論文が Ann of Math に accept される確率は? 　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　それとも最近は Inv. Math. の方が上かしら？ 　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼ .　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼ 　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 | 　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､ 　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣| 　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿| 　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/ 　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/ 448 名前：現代数学の系譜11 ガロア理論を読む [2012/03/04(日) 13:40:34.55 ] >>446　つづき sugakujuku.blog109.fc2.com/blog-category-2.html びっくり数学島 日記 論説の紹介『ガロア理論の基本定理』 2011-06-04 Sat 分数の話の途中ですが，雑誌『現代思想』の４月号に掲載されている，吉田輝義さんの『ガロア理論の基本定理』という論説が読んで興味深かったので，簡単に紹介したいと思います． ガロア（Galois,1811-1832）というフランスの天才数学少年によって生み出された，ガロア理論という理論があります． これはその後の数学の流れを変えたほどの重要な"革命的"理論だったのですが，ガロア理論の抽象的な性格もあって，その意味を実感することは数学科の学生にとっても簡単でない（200年近くも経つというのに）のが現状です． アインシュタインの相対性理論は100年も経たないうちにＣＧとなり，テレビの科学番組で解説され，科学好きの中高生の心を掴んでいる--それと比べると数学者としてはちょっとクヤシイ． そんな中この論説は，ガロア理論の本質を損ねることなしに，ガロア理論とその意義を一般の読者向けに描き出そうと試みた野心作です． （引用おわり） 449 名前：現代数学の系譜11 ガロア理論を読む [2012/03/04(日) 14:06:02.63 ] >>250 ”正規部分群はどういう意味があるか”の著者がこんなことを書いているので紹介する wankora.blog31.fc2.com/blog-entry-1295.html Author:かずゆき 京都大学理学部を数学専攻で卒業 わんこら式数学の勉強法(受験生、小学生から中学生、高校生、大学生、社会人まで通用) これを参考に効率ではなく『拘りを捨てて出来ることをやる』を常に念じて自分にあわせてやってください。 問題を見てすぐに解答、解説を読みます。 英語なら英語を読んですぐに対応する日本語を読みます。 最初に30秒ぐらいで出来た範囲をすぐに7周ぐらい繰り返す感じでやります。 1,最初の周は問題も解答も意味わからんわ〜って感じで読むだけで超高速で終わらせます。 2,またその範囲を、意味や理解などすぐに拾えるものだけ拾って一周します。 3,またその範囲を、すぐに拾えるものだけ拾って一周します。 4,またその範囲を、すぐに拾えるものだけ拾って一周します。 5,またその範囲を、すぐに拾えるものだけ拾って一周します。 …こんな感じで7周ぐらいやってみてください。 これで、だんだん理解出来ていったり、処理が速くなったり、覚えられてきたら成功です。 拾えるものだけ拾うって言うのは ○こういう意味だから、こうなのか ○これとあれは似てる ○こういう計算になるから、こうなる ○語呂合わせ などです。 目安タイムは最初の1周目で 白チャートなら1例題10秒 シンプルな英単語帳の例文は1つ1秒 大学受験の数学の二次試験の過去問なら1問20〜40秒 数学の専門書なら1ページで10〜30秒 最初の周は意味わからないスピードにするのがポイントです(限界突破) 2周目からは、スピードを余り落とさないで意味を拾えるだけ拾っていきます。 ほんまに速すぎたり、めっちゃ難しいのは、何も拾えずに出来ないので注意して下さい。拾えるものを拾おうとしたり、計算を紙に書いて確認して結構時間かかっても大丈夫です。 繰り返すたびに整理していって、話を簡単にしていくようにします。 450 名前：現代数学の系譜11 ガロア理論を読む [2012/03/04(日) 14:28:31.48 ] >>449 補足 昔、糸川英夫先生が「数学は暗記科目」みたいなことを言ったが、それに似ているかも （因みに、小惑星が「イトカワ」（日本の探査機はやぶさは、この関連）の名前の由来。また、”はやぶさ”も、彼の設計した戦闘機にちなんだものかも） ja.wikipedia.org/wiki/%E7%B3%B8%E5%B7%9D%E8%8B%B1%E5%A4%AB しかし、両方要ると思うんだよね じっくり理解するところと、暗記してでも覚えることを優先するところと >>395 >ブルバキのスタイルは私は大好きですね。余計なお節介が一切ないので。 なにが、余計なお節介なのかどうか、人によると思うんだよね その人の置かれている事情にも それから、ブルバキのスタイルは結構だが、ブルバキで必要十分なら、世の中他の教科書は売れないか消えているわけで 世間一般の事情は、そうじゃないという証明なのではないかな ブルバキはそれなりに意義はあると思うが 一時ほど、ヨイショされなくなったような気がする じっくり理解するというところに戻ると、>>442 ”・・証明に感心した他はすらすら読める．・・ガロア対応の意義が書かれてはいるが，それを深くつかむことが出来ていなかった． そして思った．一体ガロアの理論とは何なんだ．何がそれまでの数学からの飛躍であり，何が新しいのだ．それがわからなかった．ガロア理論は理解出来た．しかし納得は出来なかった．” これ、結構共感できる。ガロアの理論あって、それぞれ立派。そして、書いていることは一つ一つは理解できるが、全体像が自分の中で細部まですっきり形成できなかった（自分でガロア理論を再構成しなければならなかったのだ．>>442） ”群盲象をなでる”という。個々の定理は、象の部分だ。うちわのような耳、ホースのような鼻、柱のような足・・・、それらの部分の記述を元に自らの心象風景として、象の姿を描くことができるか 現代ガロア理論（拡大体と群の対応）は、なんとなく出来た。しかし、ガロア原論文は理解できなかった A5が単純群で、べき根拡大では到達できないということはアタマでは分かった。しかし、なんとか目に見えるような形で納得できないかと考えていた （つづく） 451 名前：現代数学の系譜11 ガロア理論を読む [2012/03/04(日) 14:35:51.40 ] >>450 つづき >>1を見て、ベストアンサー： ”ガロアの論文が、どんなものか知りたくて、私もこの本を読もうとしました。 が、ガロアの論文は解りにくいモノでした。現在の整理された数学書の書き方に慣れているためか、ガロアの論文を少し眺めてみて、弱気になってしまいました。 自分には、読みたい数学は一杯あるし、ガロア理論も知っている。他の数学書に取りかかった方が良いと。諦めるのが早かったかもしれません。” ベストアンサー氏は、おそらく数学科の出身者だろう ならば、ブルーバックス　「ガロアの理論」　中村亨>>3で、なんとなくガロア理論が見えた気がしたので、いっちょうスレを立ててみるかと 452 名前：現代数学の系譜11 ガロア理論を読む [2012/03/04(日) 14:43:26.40 ] >>450 ブルバキの整理されたスタイルは、結局理論が出来上がった後の知恵なんだよね 理論が出来上がる進行形のときは、そうじゃない だから、ブルバキの整理されたスタイルでしか論文読めない書けないないようじゃ、そいつは使えないだろう よって両方あって良いんじゃないか そして、このスレで重視しているのは、全体的な理解、直感的な理解だ 全体から部分へ、部分から全体へ 直感から精密な論理へ、精密な論理から直感的理解へ 数式からお話へ、お話から数式へ この行ったり来たりが自由自在にできる それがベストだろう 453 名前：１３２人目の素数さん [2012/03/04(日) 14:56:22.42 ] >>405 ＞ガロア理論は多くの人が関心をもっている が、大抵は「なんで根の公式がないのか」という程度の関心だから 結局「なんかわからんが、根の公式があるとすると矛盾するらしい」 で終わる。素人は、公式は理解できても、公式がない理由は 理解できないし、ないならないで仕方ないと思うだけ。 454 名前：１３２人目の素数さん [2012/03/04(日) 14:58:27.45 ] ガロア理論の面白さを知るには、一度 「５次以上の方程式の解の公式は存在しない」 とかいうのを忘れる必要がある。 そこは今や本筋でもなんでもないから。 455 名前：１３２人目の素数さん [2012/03/04(日) 15:01:50.60 ] >>452 ＞ブルバキの整理されたスタイルでしか論文読めない書けないないようじゃ、 数学の論文を一度でも書いたことがあるなら、 ブルバキのスタイルでなんて書けないことは 当然わかるがな。 456 名前：１３２人目の素数さん [2012/03/04(日) 15:12:25.93 ] 何度追い詰められても復活する 探査機はやぶさの執念は凄いわ。 457 名前：１３２人目の素数さん [2012/03/04(日) 15:13:03.91 ] >アインシュタインの相対性理論は100年も経たないうちにＣＧとなり， >テレビの科学番組で解説され，科学好きの中高生の心を掴んでいる 双曲幾何はエッシャーの版画作品にもなったがね。 ガロア理論より双曲幾何のほうが分かりやすい。 理屈ぬきに、ポアンカレモデルで、２本の平行線も図示できる。 合同変換もＣＧで示せる。要するに計算できる。 素人に分かるのは計算の方法とその結果。 計算できないという結果を示す論理なんて理解しようがない。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef