[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む16 [転載禁止]©2ch.net (683ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
672(1): 現代数学の系譜11 ガロア理論を読む [] 2015/11/28(土) 09:31:12.83 ID:novsUjda(2/6) AAS
>>660-661 &>>663
>ある問題（証明問題、計算問題、（あるならば、その他の問題）に関わらず）に解法が存在する事は、実際にその問題を解くことによって示せますが
>もし解法が存在しない場合、"解法が存在しない"という事はどのように証明されるのでしょうか。
確かに、ガロア理論はそうだけど
解法＝べき根と四則による解
に限定したときに、「解けない」ということを、示すのがガロア理論
で、解法の範囲を、「べき根と四則による解」を超えて、どうなんだ？と
べき根を取る操作を一種の関数と見たときに、超越関数などを考えたら解けるんじゃないかと考えたのが、エルミートだったかな？
楕円関数だったっけ
https://ja.wikipedia.org/wiki/%E4%BB%A3%E6%95%B0%E6%96%B9%E7%A8%8B%E5%BC%8F
ガロアが楕円モジュラー関数を用いる超越的方法では一般的解法が存在することを予言し、その遺書に書き残している。ガロアの死後、エルミートは、楕円モジュラー関数による五次方程式の解の公式を導いた。
なお、アーベルもモジュラー方程式の研究を行っていたことから、彼にも解の公式のアイディアがあったであろうと考えられている。エルミートから現在まで、5 次より高次の方程式の解の公式は様々に提案されている。
工学的見地からは、これらの解の公式に拠る解法は計算量的な実用性があまりないため、3 次より高次の方程式は数値計算による解法が一般的である。中には、固有値問題へ帰着して行列の固有値計算のアルゴリズムが用いられることもある。
679: 現代数学の系譜11 ガロア理論を読む [] 2015/11/28(土) 10:04:47.00 ID:novsUjda(4/6) AAS
>>672 つづき
で、本来のスレタイの「現代数学の系譜11 ガロア理論を読む」が想定しているのは、ここまで
現代数学から見たときに、「ガロア理論の核心は、”数体の拡大と、その自己同型群との対応だ”」ととらえ直したんだね
これが、デデキント〜アルティン流で、いまの学部数学の主流だ
さらに、グロタン先生は、「ガロア理論の圏論化だ〜！」と言ったらしい（＾＾；
https://ja.wikipedia.org/wiki/%E3%82%AC%E3%83%AD%E3%82%A2%E7%90%86%E8%AB%96
X への作用の推移性を外すことは K の分離拡大体の代わりに K 上のエタール代数を考えることに対応し、こうして K 上のエタール代数のなす圏と GK が連続に作用する離散有限空間のなす圏との間の圏同値が得られる。これを出発点としてアレクサンドル・グロタンディークによるガロア理論の圏論的定式化が得られる。
グロタンディークのガロア理論において古典的なガロア理論は次のように理解される。K上のエタール代数はアフィンスキーム・・・
略
エタール代数も圏論もわかりません（＾＾；
まあ、スレタイの外ですが、それもかまわんよ。ここなんでもありだから（＾＾；
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s