[過去ログ]
現代数学の系譜11 ガロア理論を読む18 [無断転載禁止]©2ch.net (718レス)
現代数学の系譜11 ガロア理論を読む18 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1452860378/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
285: 132人目の素数さん [sage] 2016/02/28(日) 23:44:46.52 ID:TRx0RPe2 与えられた方程式はh(x)=x^3-6x^2+11x-6=0である。 根をa=1,b=2,c=3とし、一次式V=2a+3b+5cを考える。 [根と係数の関係] 与えられた方程式の左辺は(x-a)で割り切れることから x^3-6x^2+11x-6 = (x-a)(x^2-(6-a)x+(a^2-6a+11))と書ける。 根と係数の関係からb+c=6-a, bc=a^2-6a+11と書けることに注意する。 [Vの方程式Π{V-ψ(a,b,c)}=0] >>170のΠ{V-ψ(a,b,c)}=0において、aを固定し、b,cについて置換を取ったものをF(V,a)とする。 このとき(置換を取っているので)b,cについては対称式で表せる。 したがって根と係数の関係を用いれば、Vの多項式F(V,a)の係数はaのみで表せることが分かる。 実際、 F(V,a)={V-(2a+3b+5c)}{V-(2a+3c+5b)}=(V-2a)^2-8(b+c)(V-2a)+15(b+c)^2+4bc =(V-2a)^2-8(6-a)(V-2a)+15(6-a)^2+4(a^2-6a+11) =V^2+4aV-48V+7a^2-108a+584 =7a^2+(4V-108)a+V^2-48V+584 とaのみで書ける。 ここでaをxに置き換えれば、F(V,x)=0はaを根にもつxの方程式とみなせる。 [a=f(V)なるfを求める] Vの置換がすべて異なることから、F(V,x)と与えられた方程式は唯1つの給、通根aをもつ。 したがってh(x)とF(V,x)に互除法を適用すれば最後にはxの一次式で割ることになる。 この一次式からa=f(V)なるfが求まる。実際、h(x)をF(V,x)で割ると余りは (4V^3+x(9V^2-360V+3579)-258V^2+5504V-38838)/49 となる。これが求める1次式であり、xについて解けば x=-(4V^3-258V^2+5504V-38838)/(9V^2-360V+3579)≡f(V)であり、a=f(V)を満たす。 [Vの置換を代入する] >>279の{V1,V2,V3,V4,V5,V6}={23,21,22,18,19,17}に対して、 {f(V1),f(V2),f(V3),f(V4),f(V5),f(V6)}={a,a,b,b,c,c} となることは容易に確かめられる。 以上 -------- 当然ではあるが、V1,V2,V3,V4,V5,V6は Vの可約方程式Π{V-ψ(a,b,c)}=(V-V1)(V-V2)(V-V3)(V-V4)(V-V5)(V-V6)の根である。 各々の既約多項式は当然ながら唯1つの根をもち、他の根をもたない。 しかしV=V1の置換V’に対してf(V')は与えられた方程式の根となるのである。 http://rio2016.5ch.net/test/read.cgi/math/1452860378/285
287: 全然お利口になってない素人 [] 2016/02/29(月) 10:12:17.91 ID:5IZF6azm >>285 だからお前がやった計算結果が>>280だ。 aの値は二つ出てくる。ガロアが補題3で、 与えられた方程式との共通根を探せばいい、と言っているのはそういう意味だ。 a=1となるのは○○−××の場合だ。 だからこれにV1〜V6の値を代入すれば他の根がすべて出てくるはずだが、 実際には出て来ないのである。 V4を代入すれば2が出て来るが、V5とV6を代入しても3は出て来ない。 だから補題4が成り立つのはVを根とする方程式が 既約方程式である場合だけである。 共役根を持つ既約方程式の場合だけ成り立つのである。 ただし二次方程式の場合だけは共役根がなくても成り立つ。 なぜなら文字を置換した式がたった一つしかないからである。 ガロアの原論文を見ても、 Vを根とする方程式が共役根を持つ既約方程式となるならば、 という仮定的ニュアンスで書かれている。 そうでない場合は補題4は成り立たないのである。 ただし二次方程式の場合だけは、共役根がなくても成り立つのである。 それは有理式Vの文字(根)を置換した式がたった一つしかないからである。 http://rio2016.5ch.net/test/read.cgi/math/1452860378/287
291: 132人目の素数さん [sage] 2016/02/29(月) 21:26:11.10 ID:NxOiTMEa >>287 > だからお前がやった計算結果が>>280だ 阿呆。>>285とは全然違う。 考え方も方法も結果も違う。 何もかも違う。 >>284 > しかしVの値が有理数ならVを根とする既約方程式はV−q=0だけで、 > 他の根を表わすf(V)は作れない。 というお前のお気に入りの主張が>>285で明確に否定されたんだぞ? 少しは反省しろよ。猿以下かお前は。 >>285であれだけ細かく書いてやってもなーんにも理解できないんだなお前は。 わざわざ内容を補足しながら書いてやったのに全く無駄になったじゃないかw 全く馬鹿らしい。 >>287 > V1とV2でaとVの関係式を導くと、a=○○±××という式が出てくる。 こんなことをやってる時点で>>285とは全然違うということが分かる。 ガロアのやりたいことがなーんにも分かってない。 読めば誤解だらけ、書けば間違いだらけ。人の話も聞けない読めない。もう打つ手なし。 http://rio2016.5ch.net/test/read.cgi/math/1452860378/291
297: 132人目の素数さん [sage] 2016/02/29(月) 23:32:06.67 ID:NxOiTMEa >>295 > それはこちらの台詞だ(笑 > お前が作った式の計算結果を書いてみろ。 > そうすれば>>280と同じような結果が出る(笑 > ・・・ > だから代入して確かめてみろ(笑 > 明日読んでやる(笑 お前は単純計算すらできないのか? お前の計算値を書いてみろ。 なんだったら第三者に確認してもらうか? > > つまりa=f(V)のVにV´を代入せよ、という意味ではなく、 > ここが本質なのにお前はまったく分かっていないw > > 勿体ぶった物の言い方をせずに単刀直入に書いてみろ。 真剣に理解するつもりがあるなら教えてやる。 まずは上の単純計算の答え合わせをしろ。それぐらいお前にもできるだろう? そして>>285の主張が正しいことを確認し、>>284が間違っていたことを認めろ。 http://rio2016.5ch.net/test/read.cgi/math/1452860378/297
304: maximaが何だか知らない素人 [] 2016/03/01(火) 13:06:35.03 ID:NP/L6z5q さて>>285を再読して、この男の書いている意味が分った。 つまり与えられた方程式x^3-6x^2+11x-6=0と 7a^2+(4V-108)a+V^2-48V+584=0 の共通解が この方法で求められるということか。 それには気付かなかった。なるほど、一本取られた。 と素直に認めておこう(笑 http://rio2016.5ch.net/test/read.cgi/math/1452860378/304
311: 132人目の素数さん [sage] 2016/03/01(火) 23:00:27.95 ID:5xrj7S94 >>309 > ここで、bはaに等しいかもしれないが(群と代数方程式) > bは(aと同じでもよいが)(ガロアの数学) 難しく考える必要はない。 『置換を考えよう。その置換はaをbに変えるものでもいいし、aをaのままとするものでもよい』 という意味だ。 たとえばa=f(V)と書けたとする。 3次方程式を例にとり、以下の置換をV', V''とする。 V':(a,b,c)->(b,a,c) V'':(a,b,c)->(a,c,b) V'はaをbに置換しているのでb=f(V')が成り立つ。 V''はaのままなので、a=f(V'')が成り立つ。 >>285のV1〜V6を使って確かめるとよい。 これはf(V)にV'やV''を代入したといってもよいし、 a=f(V)の両辺の根を一斉に置換したといってもよい。 http://rio2016.5ch.net/test/read.cgi/math/1452860378/311
448: 哀れな素人 [] 2016/04/16(土) 11:27:22.88 ID:gRuviROo 図書館で「天才ガロアの発想力」を予約してきた。 ところで、初歩的な質問をするが、>>285で、aを表わす有理式が、 (Vの3次式)/(Vの2次式)という形になっている。 この式は何次式になるのか。これを1次式だと言ってはいけないのか。 命題2の2°のF(V)とは、このようなVの分数式になるはずなのである。 http://rio2016.5ch.net/test/read.cgi/math/1452860378/448
451: 現代数学の系譜11 ガロア理論を読む [] 2016/04/16(土) 19:56:33.04 ID:J0MVKVI5 >>448 どうも。スレ主です。 >ところで、初歩的な質問をするが、>>285で、aを表わす有理式が、 >(Vの3次式)/(Vの2次式)という形になっている。 >この式は何次式になるのか。これを1次式だと言ってはいけないのか。 それは結構本質をついた良い質問かもね そこらは、>>432で紹介した矢ケ部 数III方式ガロアの理論のP356「代数的可解性の原則」にあるが ”整式”というキーワードが出てくる >>285は、3次方程式で代数的に可解だから、”整式”となるのかも ここは、しっかり詰めたわけではないが、ご参考まで。矢ヶ部を見て下さい。 http://www.ac.auone-net.jp/~oknehira/Galois.htm 数V方式 ガロアの理論 アイデアの変遷を追って− 矢ヶ部巌 著 第19章 代数的量を解析する 第20章 不可能の証明を完成する http://rio2016.5ch.net/test/read.cgi/math/1452860378/451
454: 哀れな素人 [] 2016/04/16(土) 23:43:01.96 ID:gRuviROo >>450 補題3はa=ψ1V、b=ψ2V、c=ψ3Vと表わせるという命題である。 そして、これらのVはたぶん>>285のようなVの分数式になるのである。 命題2の2° さきに、Vの値はすべて相互に有理式であることを知った。 これはどういうことかというと、たぶん、あるV、たとえばV´は V´=Aψ1V+Bψ2V+Cψ3V と表わせるという意味だろう。これが命題2の2°のF(V)で、 F(V)も結局>>285のようなVの分数式になるはずである。 http://rio2016.5ch.net/test/read.cgi/math/1452860378/454
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.024s