22/12/20 23:28:44.64 uvZvHipH.net
>>954
>これは二項方程式の場合であって、
>ガロア群Gが位数 n の巡回群となるのは二項方程式に限る
>と思ってるなら全くの誤りである
当然思っていない！ｗ
そもそも（>>837）
>>371-372より
(引用開始)
可解な既約5次方程式の代数解法には
必ず5乗根が必要なことを示せ。
注意：5乗根の中身が基礎体に含まれるとは限らない。
例:
x^5 + 6 x^4 - 12 x^3 - 32 x^2 + 16 x + 32=0
はQ上可解な既約5次方程式だが
5乗根の中身は、Q(ζ_5)の数になる。
（ζ_5は、1の原始5乗根。）
(引用終り)
だったろ？ｗｗ
「必ず5乗根が必要なことを示せ」
の意味分かる？ｗｗ
そして、私の解答は>>381-382に示した通りだ
なお、下記も100回音読してねｗｗ！
(参考)>>616より再録
URLﾘﾝｸ(ja.wikipedia.org)
クンマー理論
クンマー理論は、充分に多くの1の根が存在するときは、巡回拡大は冪根をとるという操作によって理解できるという理論である。類体論における主要な難所は、1の余剰な根をなしで済ませる（つまり、より小さな体へと「降下」する）ことである。それはクンマー理論と比べて非常に難しい。
クンマー拡大
略
クンマー理論
クンマー理論(Kummer theory)は逆の命題をもたらす。K が n 個の異なる 1 の n 乗根を持っているとすると、exponent が n を割るような K の任意のアーベル拡大は、K の元の冪根をとることにより作られる。
(引用終り)
以上
1033:現代数学の彼岸
22/12/21 06:22:04.19 0lvZ2afE.net
>>956
>ラグランジュの分解式で、”m を +∞ にした極限”は、どこだ？ どこだ？
🐎🦌
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
離散フーリエ変換とは、複素関数f(x)を複素関数F(t)に写す写像であって、
次の式で定義されるものを言う。
F(t)=Σ[x=0～N-1] f(x)exp (-i2πtx/N) (t=0～N-1)
ここで、Nは任意の自然数、 eはネイピア数、
iは虚数単位 (i^2=-1)で、πは円周率である。
このとき、x=0,･･･,N-1を標本点という。
－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－
この式を見れば、
ｔ＝０の場合も含むｎ個のラグランジュの分解式は
まさに解の集合の離散フーリエ変換だと分かる
1034:現代数学の彼岸
22/12/21 06:34:05.67 0lvZ2afE.net
>>957
＞＞可解な既約5次方程式の代数解法には
＞＞必ず5乗根が必要なことを示せ。
＞「必ず5乗根が必要なことを示せ」の意味分かる？
もちろん
＞そして、私の解答は>>381に示した通りだ
「位数5の巡回群に対応するのが、5乗根の添加で
例えば x^5=aで ここから、1の5乗根が出る」
これじゃ全然ダメだね
正解は以下
「位数ｎの巡回置換の場合、ラグランジュの分解式を用いる
その際、１のｎ乗根を用い、さらに各分解式の値のｎ乗が
具体的に示されている解の巡回関数を利用して求められる
ラグランジュの分解式はｎ乗根として求められ、
さらにｎ個のラグランジュの分解式に
逆ヴァンデルモンド行列を掛けて
ｎ個の解が求まる
したがって解の表示にｎ乗根が必要
ただし、このことを以てｎ乗根自体が
解の最小分解体に含まれるとは言えない」
1035:現代数学の彼岸
22/12/21 07:03:46.47 0lvZ2afE.net
さて、雑談クンに、基本的質問
Q. 任意の２次方程式は巡回方程式であることを示せ
具体的には２次方程式の解をα、βで表したとして
β＝f(α)、α=f(β)となる、解の巡回関数fを
方程式の係数だけを用いて構成せよ
もうこんな楽勝問題ないな
1036:現代数学の系譜 雑談
22/12/21 08:15:01.69 VDcfjHep.net
>>958
>離散フーリエ変換とは、複素関数f(x)を複素関数F(t)に写す写像であって、
>次の式で定義されるものを言う。
それって、下記のwikipediaからもコピペでしょｗｗｗｗｗｗ
出典を示さないのは、数学徒としてのマナー違反です！！ｗｗｗｗｗ
URLﾘﾝｸ(ja.wikipedia.org)
離散フーリエ変換
離散フーリエ変換とは、複素関数f(x)を複素関数F(t)に写す写像であって、次の式で定義されるものを言う。
(引用終り)
>この式を見れば、
>ｔ＝０の場合も含むｎ個のラグランジュの分解式は
>まさに解の集合の離散フーリエ変換だと分かる
だから、聞いているのはその妄想の先だよ>>941
・意図は何だ？
・それで、どんな良いことがあるのか？
・特に、ガロア理論およびべき根表示との関係において、答えよｗｗｗｗｗ
1037:現代数学の系譜 雑談
22/12/21 08:17:48.09 VDcfjHep.net
>>961 タイポ訂正
それって、下記のwikipediaからもコピペでしょｗｗｗｗｗｗ
↓
それって、下記のwikipediaからのコピペでしょｗｗｗｗｗｗ
1038:１３２人目の素数さん
22/12/21 09:24:16.59 snBtApqa.net
>>961
960のQへの答えは？
1039:現代数学の系譜 雑談
22/12/21 10:10:07.03 bSguRV7y.net
>>963
くだらねぇ問題はここへ書け
ｽﾚﾘﾝｸ(math板)
1040:現代数学の系譜 雑談
22/12/21 11:17:53.44 bSguRV7y.net
>>958 追加
下記
URLﾘﾝｸ(ja.wikipedia.org)
離散フーリエ変換
離散フーリエ変換とは、複素関数f(x)を複素関数F(t)に写す写像であって、次の式で定義されるものを言う。
F(t)=Σ[x=0～N-1] f(x)exp (-i2πtx/N) (t=0～N-1)
(引用終り)
ここで、Nは分母側に来ている
さて、>>805より再録
”ラグランジュリゾルベントとは何か？というと
>>564に書いたように、根のべき根表示
(1) ξ=a_0+a_1α+ … +a_{n-1}α^{n-1}
において、「直交関係」を利用して
項別に値を取り出す計算式であり
(1)をフーリエ級数展開の類似物と見たとき
フーリエ積分に対応している。
これはオリジナルな論なので、反論があれば歓迎する”
ここでは、”a_{n-1}α^{n-1}”で
α^{n-1}のように、{n-1}は分子側
（>>564より α^k ⇔ 固有函数 exp(2πikx)とある）
離散フーリエ変換 Nは分母側
vs
妄想氏 α^k ⇔ 固有函数 exp(2πikx) kは分子側
分母側 vs 分子側の差
これも説明頼むよ
（なお、もともと妄想氏は”離散フーリエ変換”ではなく、”フーリエ級数展開の類似物”（上記）としているのは承知しているが）
1041:現代数学の系譜 雑談
22/12/21 12:18:00.76 bSguRV7y.net
>>965
>さて、>>805より再録
>”ラグランジュリゾルベントとは何か？というと
>>>564に書いたように、根のべき根表示
>(1) ξ=a_0+a_1α+ … +a_{n-1}α^{n-1}
>において、「直交関係」を利用して
>項別に値を取り出す計算式であり
１）ここの「直交関係」だけど
２）ガロア理論 体の拡大で使うのは
「n 個の元は一次独立」（下記）だけど
３）「直交関係」を利用して
本当に何か良いことがあるのかな？
４）具体的な計算例なり
理論的裏付け出せるのか？
疑問に思うのは、私だけか？
（参考）
URLﾘﾝｸ(enakai00.)<)ハテナブログ.com/entry/2018/08/07/230000
数学についていろいろ解説するブログ
2018-08-07
三角関数の直交性とフーリエ級数
三角関数の直交性とは
まずは以下の積分たちについて考えてみよう。ここでn,mは非負整数とする。
略
(引用終り)
以上
1042:１３２人目の素数さん
22/12/21 12:47:00.47 8NYQQgV0.net
F(t)=Σ[x=0～N-1] f(x)exp (-i2πtx/N) (t=0～N-1)
=f(0)+f(1)exp(-i2πt/N)+…+f(
1043:N-1)exp(-i2πt/N)^(N-1) がわかってないのか
1044:１３２人目の素数さん
22/12/21 13:03:20.70 Ums2Epty.net
>>965-966
明確な類似に妄想もクソもないわ、バ～カｗ
こんな類似は数学ではたくさん出てくる、貴方が知らないだけ
分母とか分子とかその程度のことしか言えないのかい？
αは基礎体の数のn乗根だから、ちゃんと分母にnが入ってますよ？
巡回群GとR/Zについてはだんまりかい？
有限群の中に「リー型の群」というのがあるのは、通常のリー群の有限類似ですよ？
>反論があれば歓迎する
とは言っても、自立した知性を有していない貴方の反論なんて求めてませんから。
数学の内容そのものではなく、「誰が言ってるか」「どこに書いてあるか」
でしか信用度が測れないバカですから。
1045:１３２人目の素数さん
22/12/21 13:09:27.21 c/dR3Pbk.net
アーベル群の指標が複素数体上は1次元表現であって、
フロベニウスの群指標の直交関係の特別な場合。
1046:１３２人目の素数さん
22/12/21 13:11:24.20 Ums2Epty.net
>「直交関係」を利用して
> 本当に何か良いことがあるのかな？
ξ=a_0+a_1α+ … +a_{n-1}α^{n-1}
（ここでξはn次巡回拡大L=K(ξ)/Kの数
αはあるクンマー拡大 L(ζ_n)/K(ζ_n)の数でK(ζ_n)の数のn乗根）
の右辺から、直交関係を利用してある項を取り出す
たとえばa_1αを取り出すと (a_1α)^n∈K(ζ_n) が言える。
これが直交関係と項別に取り出すことのご利益。
ていうか、あんた函数のフーリエ級数展開で
係数がもとの函数を含む積分で計算できるのも
直交関係のお陰だって知らないな？
それじゃ工学部でも落第だなｗ
1047:１３２人目の素数さん
22/12/21 13:35:42.25 viIdMf0e.net
>>969
「指標」「表現」という用語はあえて禁句にしていたｗ
1048:１３２人目の素数さん
22/12/21 13:42:03.23 viIdMf0e.net
ガウス和がラグランジュリゾルベントだと言ってる>>478
んだから、ガウス和で調べれば分かるはず。
URLﾘﾝｸ(ja.wikipedia.org)
ページの下の方にガウス和がガンマ函数の、ヤコビ和がベータ函数の
それぞれ類似とみなせるということも書いてあるが、これも「妄想」なのだろうか？ｗ
1049:１３２人目の素数さん
22/12/21 13:53:53.41 viIdMf0e.net
特殊な用語を使わなくても、現代数学の彼岸さんが、より広く使われている用語
「線形写像」「離散フーリエ変換」という用語で説明を与えたのは正直参考になった。
1050:１３２人目の素数さん
22/12/21 19:02:46.62 c/dR3Pbk.net
高速フーリエ変換の算法を最初に発見したのはガウスだろう。
調和解析はオイラーが弦の振動問題の解析
（1次元波動方程式＝双曲型偏微分方程式）でもって
解の表示法として既に考察しているわけだけれども。
フーリエ解析とかフーリエ変換は、数学者フーリエが
熱方程式（放物型偏微分方程式）の解析で
著書「熱の理論」で有名になったから彼の名前が
冠せられているのだけれども。
ガウスは、彗星の観測データーから軌道を求める計算のために
周期関数によるデーターの補間法として編み出した。
全集にラテン語で書かれた高速フーリエ変換の方法が載っている。
はたしてこの論文がどこに公表されたのか（たとえば紀要とか
天文関係の雑誌など）されなかったのか、あるいは天文学者の
間で私信で広められていたのか、没後に全集に収録されたときの
その論文の原稿の状態は手描きのままだったのか、あるいは活字に
組まれていたものであったのかなど、わからないことがある。
それが天文台の職を得るのに役にたった彗星の軌道計算用の計算法だった
のではないだろうかなど。
オイラー氏は彗星の軌道の計算で根を詰
1051:めた作業のために片眼を失明したが、 自分（ガウス）はうまい方法で計算の量を抑えて云々と誰かに書いて 送っていたようなことはなにかで読んで知っている。
1052:現代数学の彼岸
22/12/21 19:28:05.21 0lvZ2afE.net
>>961
>それって、下記のwikipediaからのコピペでしょ
リンク忘れた
>出典を示さないのは、数学徒としてのマナー違反です
ああ、つまらない つまらない
数学と全く無関係のおサルのマウントは心底つまらない
>>963 >960のQへの答えは？
>>964 >くだらねぇ問題はここへ書け
おサルさんは、自分が解けない問題は
全部「くだらねぇ問題」だという
だったら数学は全部くだらねぇ問題の筈なんだが
おサルさんって、なんかフシギ
>>965
>F(t)=Σ[x=0～N-1] f(x)exp (-i2πtx/N) (t=0～N-1)
>ここで、Nは分母側に来ている
当たり前ですな 1のN乗根なんですから
ζ=exp (2πi/N)
インデックスで動かすのはxですよ
N=3の場合
F(0)=f(0)+f(1)+f(2)
F(1)=f(0)+f(1)exp(-2πi/3)+f(2)exp(-4πi/3)
F(2)=f(0)+f(1)exp(-4πi/3)+f(2)exp(-8πi/3)
=f(0)+f(1)exp(-4πi/3)+f(2)exp(-2πi/3)
サボらず自分の手を動かして計算しましょうね
>離散フーリエ変換 Nは分母側
> vs
>α^k ⇔ 固有函数 exp(2πikx) kは分子側
>分母側 vs 分子側の差
>これも説明頼むよ
おサルの雑談クンが狽ﾌインデクスを早とちりしただけですね
他人にマウントすることで頭がいっぱいの♂ザルには困ったもんです
1053:現代数学の彼岸
22/12/21 19:48:36.31 0lvZ2afE.net
>>974
Gaussの数学については他の人に任せるとして
自分はGaussの子孫について語るとしよう
C.F.Gaussには少なくとも三人の息子がいた
一番上のCarl Joseph Gauss(1806-1873)は
ハノーバー軍に勤めて地図作成等に従事した後
ハノーバー鉄道の責任者になったらしい
URLﾘﾝｸ(de.wikipedia.org)
Eugene Gauss(1811-1896)と
Charles William Gauss(1813-1879)は
アメリカに渡った
Eugeneはセントルイスで靴のビジネスで成功したらしい
Eugeneの子孫
Charles Henry Gauss(1845-1913)
Matthew Johns Gauss Sr.(1887-1954)
Matthew Johns Gauss Jr.(1927-1969)
Charles Williamの子孫
John Bernard Gauss(1847-1886)
Philip William Gauss Sr.(1876-1954)
Philip William Gauss Jr.(1918-1987)
今も子孫がいるのかどうかは不明
まあ、いるんだろうなあ
1054:１３２人目の素数さん
22/12/21 19:54:03.04 9dGvpmCG.net
Eulerの子孫に名刺をもらったことがある
1055:現代数学の彼岸
22/12/21 20:01:11.60 0lvZ2afE.net
Eugen Gauss
URLﾘﾝｸ(de.wikipedia.org)
Wilhelm Gauss
URLﾘﾝｸ(de.wikipedia.org)
Gaussの子孫についてはよく研究されているようである
1056:現代数学の系譜 雑談
22/12/21 21:40:16.01 VDcfjHep.net
ふっ、ぐだぐだと
言い訳をつらねるねぇ～！ｗ
では聞く
>>417より
"種を明かすと>>372の方程式
x^5 + 6 x^4 - 12 x^3 - 32 x^2 + 16 x + 32=0
の左辺は
Π_{k=1}^{5}(x-1/cos(2kπ/11)).
方程式のガロア群は5次の巡回群であり、代数解法が可能。
その解法にはζ_5が必要だが
最小分解体にはζ_5は「含まれない」が正解。"
だったよね
１）どうぞ、お得意のフーリエ級数でもフーリエ変換でも離散フーリエ変換でも
どれでも良いぞｗ
２）それらのどれかを使って、
x^5 + 6 x^4 - 12 x^3 - 32 x^2 + 16 x + 32=0
の根の フーリエ級数か、フーリエ変換か、離散フーリエ変換か
どれかで、何か実際の例をしめして下さい
３）何でも良いよ。たしかに、「フーリエ ｘｘ だ」と分かる結果なら、なんでも可だ
但し、抽象論でなく、具体的な計算例でねｗｗｗ
それができるならば
あんたらの大言壮語を信じるよ！ｗｗｗ
1057:１３２人目の素数さん
22/12/21 22:06:44.55 d2Z4gYmn
1058:.net
1059:現代数学の系譜 雑談
22/12/21 23:55:27.60 VDcfjHep.net
>>980
だれでもいいよ
だれか、お得意のフーリエ級数でもフーリエ変換でも離散フーリエ変換でも
どれでも良い
それらのどれかを使って、
x^5 + 6 x^4 - 12 x^3 - 32 x^2 + 16 x + 32=0
の根の フーリエ級数か、フーリエ変換か、離散フーリエ変換か
どれかで、何か実際の例をしめして下さい
何でも良いよ。たしかに、「フーリエ ｘｘ だ」と分かる結果なら、なんでも可だ
但し、抽象論でなく、具体的な計算例でねｗｗｗ >>979
1060:１３２人目の素数さん
22/12/22 00:08:09.54 U2wpEVxC.net
円分体の数のべき根表示を計算するなら、最も効率的
（古典的によく研究されている）計算法はあります。
教えませんがｗ
これをフーリエ級数として解釈したところで
計算上は何も変わりません。
べき根表示=フーリエ級数展開
というのは理論的な話です。
1061:１３２人目の素数さん
22/12/22 00:11:25.46 U2wpEVxC.net
1=雑談にガロア理論は無理です。
貴方向けの課題を前に用意しておきましたよ。
まずは自分がそれをやってみましょう。
>>843
>3次方程式のカルダノの解法で得られる3つの根から
>加減乗除で3乗根の部分を取り出せないことを
>泥臭い計算で確かめること。
1062:現代数学の彼岸
22/12/22 06:27:52.23 CT6RQiGn.net
>>983
おサルさんへの課題
「3次方程式のカルダノの解法で得られる3つの根から
加減乗除で3乗根の部分を取り出せないことを
泥臭い計算で確かめること。」
”取り出せないこと”の理解は、おサルさんには無理じゃないかな
ω（１の３乗根）を使えば、取り出せるし、
それはおサルさんでも計算すればわかるけど
ここでいう”加減乗除”で認められる数の中に、
ωを含まないからそれはできないってことだよね
「方程式の根は実数だけど、3乗根の部分は実数でない」
という点から理解するのが一番早いよな
なんかおサルさんもそこは”納得”したかのコメントが見受けられるけど
理解じゃなく、多勢に無勢でしぶしぶ”納得”だから、ついつい
「でも、ほんとうはできる筈」とか諦められずにいっちゃうのかな
もしそうなら・・・哀れだね 彼も数学を諦めて涅槃に行けるといいね
え？数学を理解して涅槃に行く道はないのかって？
残念だけど、それはないな
だっておサルさんは数学書の文章も読めないし書いてある式も計算できないじゃん
それじゃ書いてあることの理解なんて無理よ
1063:１３２人目の素数さん
22/12/22 10:15:59.15 o2STx9rz.net
なぜ、ガウスの子孫が数学者とか物理学者とか言語学者などにならずに、
靴屋さんになったりしたのだろうか？ガウスの職は天文台長だったわけだが、
昼は寝て夜に観測してたのかな？
1064:１３２人目の素数さん
22/12/22 10:40:05.58 7+KwwHep.net
>>985
才能って遺伝しないもんなのね
1065:１３２人目の素数さん
22/12/22 10:50:03.53 7+KwwHep.net
>>981
>x^5 + 6 x^4 - 12 x^3 - 32 x^2 + 16 x + 32=0
>の根の フーリエ級数か、フーリエ変換か、離散フーリエ変換か
>どれかで、何か実際の例をしめして下さい
え？君、上の方程式のラグランジュの分解式の値の計算できないの？
それでガロアゲームクリアとかいってんの？
呆れた １面でゲームオーバーじゃん！
1066:現代数学の系譜 雑談
22/12/22 11:51:32.59 pIX7wrc1.net
>>982
>円分体の数のべき根表示を計算するなら、最も効率的
>（古典的によく研究されている）計算法はあります。
>教えませんがｗ
>これをフーリエ級数として解釈したところで
>計算上は何も変わりません。
ふっ、ぐだぐだと
言い訳をつらねるねぇ～！ｗ
下記のおっさんの
「これはオリジナルな論なので、反論があれば歓迎する」
は、”円分体の数のべき根表示を計算する”限定だったのかぁ～？！！ｗｗｗ
記
>>805より再録
(引用開始)
ラグランジュリゾルベントとは何か？というと
>>564に書いたように、根のべき根表示
(1) ξ=a_0+a_1α+ … +a_{n-1}α^{n-1}
において、「直交関係」を利用して
項別に値を取り出す計算式であり
(1)をフーリエ級数展開の類似物と見たとき
フーリエ積分に対応している。
これはオリジナルな論なので、反論があれば歓迎する。
(引用終り)
1067:１３２人目の素数さん
22/12/22 12:03:10.36 5XpbsjKj.net
>>988
>(これは)”円分体の数のべき根表示を計算する”限定だったのかぁ～？！！
巡回方程式限定ね
え？1はそんな基本的なこともわかってなかったの？
1068:１３２人目の素数さん
22/12/22 12:16:57.89 aC8lephT.net
>>985
よく誤解されているけど、決して能力や閃きが先にあって膨大な労力をする訳ではない
ガウスのような能力や閃きを得るには膨大な労力を要する
多分ガウスの場合もそうだろう
多分、ガウスの子孫は幼少期に膨大な努力が出来なくて現在のように靴屋になったのだろう
ま、ドイツでは靴屋もマイスター扱
1069:いじゃないか
1070:１３２人目の素数さん
22/12/22 12:59:36.06 5KL1nfbk.net
>>990
アメリカに行った、ガウスの二人の息子は
世間的には成功者なんだけどね
母親が病弱だったせいで、
いい子供時代を送れなかったようだけど
ガウスは息子を数学者にするつもりはなかったらしい
あとアメリカ行きにも反対したらしい
長男はかわいがったけど下の息子たちは
そうでもなかったらしい
全部wikipediaに書いてあったことだけどね
1071:現代数学の系譜 雑談
22/12/22 13:09:35.46 pIX7wrc1.net
>>988 追加
(引用開始)
>円分体の数のべき根表示を計算するなら、最も効率的
>（古典的によく研究されている）計算法はあります。
>教えませんがｗ
>これをフーリエ級数として解釈したところで
>計算上は何も変わりません。
ふっ、ぐだぐだと
言い訳をつらねるねぇ～！ｗ
下記のおっさんの
「これはオリジナルな論なので、反論があれば歓迎する」
は、”円分体の数のべき根表示を計算する”限定だったのかぁ～？！！ｗｗｗ
記
>>805より再録
(引用開始)
ラグランジュリゾルベントとは何か？というと
>>564に書いたように、根のべき根表示
(1) ξ=a_0+a_1α+ … +a_{n-1}α^{n-1}
において、「直交関係」を利用して
項別に値を取り出す計算式であり
(1)をフーリエ級数展開の類似物と見たとき
フーリエ積分に対応している。
(引用終り)
１）本来、数学では
”円分体の数のべき根表示を計算する、最も効率的方法が
フーリエ級数として解釈できる”と見抜いて
それを、円分体以外に拡張、一般化することがあるべき姿だろう？
２）ところが、彼は「ラグランジュリゾルベントとは・・
(1)をフーリエ級数展開の類似物と見たとき
フーリエ積分に対応している」として、それが
行き詰まると
「すでに、円分体の数のべき根表示を計算するなら、
最も効率的計算法」に逃げ込んでしまって
お茶を濁すｗ
なんだかなー
こいつの発言、「ラグランジュリゾルベントとは何か？というと・・
(1)をフーリエ級数展開の類似物と見たとき フーリエ積分に対応している」
で、何を言いたかったのかね？
竜頭蛇尾も、いいところだねｗ
1072:１３２人目の素数さん
22/12/22 13:21:11.10 5KL1nfbk.net
>>992
>数学ではそれ(円分体で成功した方法)を、
>円分体以外に拡張、一般化することが
>あるべき姿だろう？
とかなんとか言った後に
ガウスによるレムニスケートの等分による
モジュラー方程式の解法でも説明するなら
格好が付くんだが
なんだ阿呆の憎たれ口だけか、チッ
1073:現代数学の系譜 雑談
22/12/22 14:20:50.81 pIX7wrc1.net
>>991
>アメリカに行った、ガウスの二人の息子は
>世間的には成功者なんだけどね
>母親が病弱だったせいで、
>いい子供時代を送れなかったようだけど
>ガウスは息子を数学者にするつもりはなかったらしい
ありがとう
それ面白いね
1074:現代数学の系譜 雑談
22/12/22 14:25:20.88 pIX7wrc1.net
>>993
> ガウスによるレムニスケートの等分による
> モジュラー方程式の解法でも説明するなら
> 格好が付くんだが
ありがとう
次スレには、
余白は十分あるよ
1075:１３２人目の素数さん
22/12/22 14:32:53.61 U2wpEVxC.net
レムニスケート等分もアーベル方程式だから
原理的には同じだよ。アーベルがやってる。
ガロア理論で考えた方が見通しがいいだろう。
1076:１３２人目の素数さん
22/12/22 14:43:12.84 U2wpEVxC.net
巡回方程式のべき根解法=フーリエ級数展開の類似
は勿論、円分体限定の話じゃないよ。
ガロア群が巡回群であれば全く同じ。
σ(a^{1/n})=a^{1/n}ζ_n^k
と作用するのが
exp(2πi(x+y))=exp(2πix)exp(2πiy)
と作用する、さらに
σ∈G （Gはガロア群）とy∈R/Z
の類似を見ているわけ。多分、代数系の数学者に訊けば
「当たり前だよ」くらいに言われると思う。
ど素人ってそんなことも自明じゃないんだねｗｗ
1077:１３２人目の素数さん
22/12/22 14:57:15.14 U2wpEVxC.net
素人（ただしど素人除く）向けの課題
URLﾘﾝｸ(ja.wikipedia.org)
の下の方にある、ガウス和ヤコビ和とガンマ函数ベータ函数に
類似の公式が成立する理由をきっちり説明すること。
1078:現代数学の系譜 雑談
22/12/22 14:57:30.09 pIX7wrc1.net
>>997
>巡回方程式のべき根解法=フーリエ級数展開の類似
>は勿論、円分体限定の話じゃないよ。
>ガロア群が巡回群であれば全く同じ。
ありがとね
それなら、そういう説明すれば、良いよね
あと、「フーリエ級数展開の類似」と見るメリットの補足がほしいね
つまり、フーリエ級数展開にはこういう性質があって、その性質が使えるみたいな
1079:１３２人目の素数さん
22/12/22 15:22:20.76 U2wpEVxC.net
>「フーリエ級数展開の類似」と見るメリット
「べき根解法」が昔流行ったただのパズルではなく
数学的にも一定の意味があるということ
さらに、数学的に「自然なもの」とはどういうものか
を示している。
1080:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 143日 23時間 36分 55秒
1081:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています