23/11/24 07:23:25.84 P5Sgxlir.net
>>328
>ガウス流水道方式で、ガウスは本当はもっと高みから見ていたかもしれない
>つまり、彼はDAよりもっと高い地点に到達していたのだ
なんとかと煙は高いところに登りたがる
１行目の文章の「かもしれない」は不要
ガウスは当然、Qに１のｎ乗根を添加した体と巡回群の関係に気づいていた
でないと、１の１７乗根の表示に平方根しか出てこない、なんていえない
つまり、実質的にガロア理論にあたるものを使っていた
>現代の我々も、DAの表面づらだけ見ていては、本質を見誤るだろう
>我々も、いまのガロア理論の到達した地点からDAを見て、
>ようやくガウスの見ていた風景に近くなるのかもしれない
素人の君に云われるまでもなく皆そうしている
最後の行「のかもしれない」は不要
君こそガロア理論の群論という「表面づら」だけ見てると本質が見えないよ
どうせ交代群A5が単純群だとか交換子群[A5,A5]がA5自身とか
そういう知識だけで「ワカッター！」と吠えてるだけだろ？
君はいつでも上っ面で滑りまくってるだけだからな
努力が嫌いな人は本質まで届く杭を打つ退屈かつ困難な作業を厭う
だから決して本質を知ることなく・・・死ぬ
358:１３２人目の素数さん
23/11/24 07:32:14.69 P5Sgxlir.net
>>327
>>３✕３をサラスでごまかしたおかげで
> 意味わからん
じゃ、4✕4の行列式書いてみ
> 記憶では、線形代数の具体例は３✕３行列が多かった気がする
実に愚かな言い訳
君の中では行列は３✕３でおしまいかｗ
> 時代錯誤じゃね？
> いまどき、３✕３より大きな行列は、
> エクセルとかPythonとかそっちじゃね？
君、４✕４とか５✕５の行列の行列式求める問題で
時間切れになって落第する口だな
もちろん「公式」通りに計算してたら時間足りないに決まってる
裏技を使うんだよ 君が馬鹿にする「消去法」という裏技をな
大学で教わらなかった？ああ、君、大学行�
359:ﾁてなかったなｗ > 実際、実務では100とか1000とか百万とかの行列を扱うこともあるだろう でも君、計算プログラムをブラックボックスで使うだけだろ？ それ中身分かってることにならんから
360:１３２人目の素数さん
23/11/24 07:37:51.18 P5Sgxlir.net
人も叩けばその音で金属か石ころか分かる
分かってる人は金属の澄んだ音が響く
分かってない奴は石ころのカチッとした音しかしない
いくら録音した金属の音を再生させても意味ない
叩かれた当人から出る音は誤魔化せない
高いところに登りたがる奴はニュース速報＋板で
「ABC予想証明さる！」とか書いてろｗｗｗ
361:１３２人目の素数さん
23/11/24 07:47:11.21 P5Sgxlir.net
それにしてもニュー速＋って正真正銘のクソスレしかないな
ｽﾚﾘﾝｸ(newsplus板)
362:１３２人目の素数さん
23/11/24 07:59:38.87 wvKQF/9W.net
>>328 訂正
アーベルはカール・フリードリヒ・ガウスの文体について、「彼は尻尾で砂の上の自分の足跡を消し去るキツネのようなものである」と有名な言葉を述べた。
↓
アーベルはカール・フリードリヒ・ガウスの有名な文体について、「彼は尻尾で砂の上の自分の足跡を消し去るキツネのようなものである」と述べた。
かな
363:１３２人目の素数さん
23/11/24 11:36:16.20 3gaFaFxH.net
>>329
>「アーベル拡大のアーベル群を包含する
> 巡回群を見つけさえすれば問題解決」
>って思ってる？
スレ主です
・ようやく、ガロア理論の水道方式が分かって来たかな？
つまり、ガロア第一論文の視点からは、
「アーベル拡大のアーベル群を包含する巡回群を見つけことはできるか？」
が、第一歩です。これが出来ない例が、もしあれば それは反例になる
・「アーベル拡大のアーベル群を包含する巡回群を見つけことはできるか？」
の手がかりは、１）巡回群の構造に関する基本定理、２）有限アーベル群の構造に関する基本定理
この二つの要点を理解し押さえるべき要点
そして、有限群論の視点で、上記は実現できることが分かるだろう
・では、次のステップは
アーベル群→(有限次)アーベル拡大→(有限次)アーベル拡大を包含する円分体の存在（又は構成）
となるのです。
・これは、ガロアの逆問題だね。
URLﾘﾝｸ(ja.wikipedia.org)
（ガロアの逆問題：未解決問題である。部分的な結果 特殊な場合については多くのことが詳細に知られている
単純な例: 巡回群 略 任意の有限アーベル群は Q の円分拡大のガロア群の商として現れる
（クロネッカー・ウェーバーの定理はこれよりも深い結果）ので、この方法はそのような群にも適用できる。
楕円モジュラー関数を使った構成 略）
こうやって、ガロア理論の水道方式では
ガロア第一論文の視点から
あたかも水が自然に高いところから低いところに流れるごとく
ガウスDAや、クロネッカー・ウェーバーの定理が見通せるのです
それは、ラグランジュ分解式の視点よりも、はるかに高いところにあるのです
364:１３２人目の素数さん
23/11/24 11:40:17.85 3gaFaFxH.net
>>335 訂正
この二つの要点を理解し押さえるべき要点
↓
この二つの要点が理解し押さえるべき要点
だな
365:１３２人目の素数さん
23/11/24 14:45:22.50 kR/QbK64.net
>アーベル群を包含する巡回群
って何だよｗ
巡回群の部分群はすべて巡回群ですが。
ほんっと頭悪いね。かつ群論が分かってないね。
366:１３２人目の素数さん
23/11/24 16:12:08.31 P5Sgxlir.net
>>323
>「1 の（複素）n 乗根の全体は複素数の乗法に関して位数 n の巡回群を成す」ので、
>任意のアーベル拡大に対して、十分大きなnをとって、
>位数 n の巡回群の中にアーベル拡大によるアーベル群が実現できるか
>を調べるべし
>>329
>もしかして
>「アーベル拡大のアーベル群を包含する
> 巡回群を見つけさえすれば問題解決」
>って思ってる？
>>335
>ようやく、水道方式が分かって来たかな？
>つまり、第一論文の視点からは、
>「アーベル拡大のアーベル群を包含する巡回群を見つけことはできるか？」
>が、第一歩です。これが出来ない例が、もしあれば それは反例になる
じゃ、これ反例？
Z12_✕={1,5,7,11}
1*1=1 1*5=5 1*7=7 1*11=11
5*1=5 5*5=1 5*7=11 5*11=7
7*1=7 7*5=11 7*7=1 7*11=5
11*1=11 11*5=55 11*7=5 11*11=1
群としてはZ2✕Z2だけど、これを包含する巡回群ってある？
任意のnについて
Qに１のn乗根を添加した体のガロア群Zn_✕が
巡回群になる、と思ってた？
誰もそんなこと一言もいってないけどな
なんか水道管詰まってない？
367:１３２人目の素数さん
23/11/24 16:24:12.61 P5Sgxlir.net
いやー、円分体のガロア群自身が
いかなる位数 n の巡回群の部分群にもならない
「反例」が出てくるとはｗｗｗｗｗｗｗ
そりゃ、アーベル群を適当な部分群で割って
その商群が巡回群になるようには
368:できますよ それがアーベル群の基本定理ですよね？ でも、だからといって 「いかなるアーベル群も巡回群」だとか 「いかなるアーベル群も巡回群の部分群」だとか 一言も言ってませんけどね だいたい、Qに１のｎ乗根を添加した体のガロア群はZn_✕であって これはZnでもその部分群でもない（なぜなら演算が異なる）ので、 巡回群とは限らんのですがな 水源？高み？いやいや水が来てませんけどｗｗｗｗｗｗｗ そういえば、学生時代にやらかすよくある勘違いの例が 可解群の定義を見て、こういっちゃうこと 「え？可解群ってアーベル群なの？」 ID:3gaFaFxH のいう 「ガロア第一論文によるガロア理論の高み」 から見ると、以下がいえるようです 「可解群は巡回群の部分群である！」（ドヤぁ）
369:１３２人目の素数さん
23/11/24 16:35:09.85 P5Sgxlir.net
ネットの数学情報で「高み」に立って
他人を見下ろしていい気分になろうとする
ID:3gaFaFxHの目論見は完全に潰えました
Zn_✕とZnの区別もできてないどころか
Zn_✕がZnの部分群であると信じて疑うことすらしなかったんですね
部分群の定義、理解してますか？
「群 G の部分集合 H が G の部分群（英: subgroup）であるとは、
H が『 G の演算に関して』群になることである」
いやー、正規部分群の定義について
いかなる部分群も正規部分群になってしまう
誤解をしていたとは聞いたんですけどね、今度は
群のいかなる部分集合も部分群になり得る誤解ですか
ほんと、次から次へとやらかしてくれちゃいますね
いや、はっきり申し上げて、あなた、Zn_✕が分かってないなと
前々から思ってましたけど、ほんとに根本的かつ初歩から誤解してましたね
正方行列＝正則行列 っていっちゃう粗雑さだから
こういうポカを必ずやらかしちゃうんですね
文章を読むとき、条件を割愛する癖あるでしょ？
それ直さないと、数学だけじゃなくどんなことでも誤解するよ
いままでそれで散々失敗してきたと思いますけどね
こんな誤り、数学だけでしでかしてきたと思えないんでね
いやぁ、死海レベルの「低み」を見ちゃいました
370:１３２人目の素数さん
23/11/24 16:44:17.75 P5Sgxlir.net
「軽率な自惚れ屋」を倒すのに策はいりませんね
調子に乗ると必ず失言するので、それを指摘すればいい
はっきりいって自滅、オウンゴールです
今回も実に見事に決まりました
県知事はこの手の人物がよくなるようで、同様の自滅例が多々あります
選挙で選んだ人物がこのザマなので、人の見る目は当てになりません
もう読めもしない数学書は全部売り払ったほうがいいでしょう
Zn_✕がZnの「部分集合」で「群」だから「部分群」だ
と言っちゃうような人には数学なんて初歩から無理ですよ
余生は将棋でも囲碁でも好きにやってください
名人にはなれないでしょうが数学よりは簡単でしょうから
楽しむくらいはなんでもないでしょう
371:１３２人目の素数さん
23/11/24 17:13:53.24 3gaFaFxH.net
>>341
ありがとう
スレ主です
確かに、書き方が荒かったな
そういう赤ペンは歓迎ですよ
あなたのいうのは、
下記のクンマー拡大だね
ご苦労様です
（参考）
URLﾘﾝｸ(tsujimotter.)はてなブログ.com/entry/kronecker-weber-2
tsujimotterのノートブック
2017-10-29
クロネッカー・ウェーバーの定理と証明のあらすじ（その２）：クンマー拡大
今日の主役は クンマー拡大 です。クンマー拡大とは，「巡回拡大」が「ベキ根の添加」によってかけるような拡大のことです。このような拡大のときは，いろいろと都合がよい性質があるのです。
略
次回は「クンマー・ペアリング」という道具を用いて，ガロア群 Gal(F/Q)
の作用を具体的に調べる方法を紹介します。
372:１３２人目の素数さん
23/11/24 17:44:57.29 3gaFaFxH.net
>>342 追加
下記 加塩 朋和 代数学２（ガロア理論）
(クロネッカー・ウェーバーの定理).は、ガロア理論の中で扱われる
（これで、クロネッカー・ウェーバーの定理が尽くされているかどうかは、私には分っていませんが）
URLﾘﾝｸ(www.rs.tus.ac.jp)
東京理科大学創域理工学部数理科学科 加塩 朋和
URLﾘﾝｸ(www.rs.tus.ac.jp)
ガロア理論の授業のレジュメ (2022年度)
代数学２（ガロア理論）
担当教員 : 加塩 朋和
P92
定理 15.6. K/k をガロア拡大とする.
(1) K/k の中間体で k 上有限次ガロア拡大となるもの全体
{L: K/L/k | L/k : 有限次ガロア拡大 }
に, L ≤ M ⇔ L ⊂ M で順序を入れ, 制限写像
L ⊂ M ⇒ Gal(M/k) → Gal(L/k), σ 7→ σ|L
を考える. このとき自然な同型
Gal(K/k) → lim←－ L
Gal(L/k), σ → (σ|L)L
が定まる. この同型で同一視し, Gal(K/k) に位相を入れておく. ただし有限群
Gal(L/k) には離散位相が入る.
(2) 以下の一対一対応がある:
略
証明. (1) 逆写像が
(σL)L → [σ : K 3 α 7→ α の最小多項式の最小分解体 Lα をとり σ(α) := σLα
(α) ∈ Lα ⊂ K]
で定まる.
(2) 省略. TBA (追記予定)
例 15.8. Qab := Q({ζn | n ∈ N}) とおくとき
Gal(Qab/Q) = lim←－n∈N
Gal(Q(ζn)/Q)
例 12.3-(1) ∼= lim←－n∈N Z/nZ ×
となる.
※ Qab は “Q の最大アーベル拡大” となる (クロネッカー・ウェーバーの定理).
373:１３２人目の素数さん
23/11/24 17:45:37.55 P5Sgxlir.net
>>341
＞確かに、書き方が荒かったな
いつも荒いですよ ザラッザラ
あと、スレ主って自称、みっともないからやめよう
スレの深海魚とか自虐HNつけて謙虚に書けば
マジボケでも愛されるよ なんでそうしないの？
匿名なんだから自虐でボケたほうが勝ちだって（結構マジ）
374:１３２人目の素数さん
23/11/24 17:53:30.79 P5Sgxlir.net
>>343 深海魚君 Z/nZ と Z/nZ ✕ の違い、分かってる？ ほんとに分かってる？
375:１３２人目の素数さん
23/11/24 17:56:40.46 P5Sgxlir.net
ところで君の新しい名前をつけようと思うんだが
ヨミノアシロとシンカイクサウオ どっちがいい？
376:１３２人目の素数さん
23/11/24 18:46:05.90 P5Sgxlir.net
教訓 わからないことをわからないと気づくことがわかる道の第一歩
377:１３２人目の素数さん
23/11/24 19:54:26.77 P5Sgxlir.net
URLﾘﾝｸ(en.wikipedia.org)
巡回群でない(Z/nZ)✕は実に沢山ある
378:１３２人目の素数さん
23/11/24 21:02:35.86 wvKQF/9W.net
>>343
1853年, 29歳のクロネッカーは クロネッカーーヴエ一バーの定理（彼はSatzと呼んでいる）を提示した
しかし、年代的には クロネッカーはガロア理論をご存じ無かったと思われる
もし、ガロア理論をご存じならば、クロネッカーはどういう研究をしただろうか？
(参考)
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
三宅, 克哉. 類体論の源流 (数論とその応用). 数理解析研究所講究録1998, 1060: 185-209
§ 1源流クロネッカー(1823-1891)
類体論の直接の源流はクロネッカーである.彼は特にアーベルとクムマーの影響下で2種類の問題を提示した:「アーベル多項式の特徴付け」と,いわゆる「単項化定理」である.
1853年, 29歳のクロネッカーは短い論文[Kr-1853]で次の主張を提示した.
クロネッカーーヴエ一バーの定理:有理整数係数のアーベル方程式の根は必ず1の罵乗根の有理整数係数の有理関数として表される.
ただし,この時点では,クロネッカーはガロア群が巡回群であるような代数方程式を「アーベル方程式」と呼んでおり,
後に[Kr-1877]ではこれを[単純アーベル方程式またガロア群が可換群であるものを「アーベル方程式」と呼ぶことにした.
この論文で説明されているように,どちらの定義を取ってもこの定理の含むところは変わらない.
彼はこの定理をSatzと呼んでいるが,証明は結局はヴエ一バーの論文「We-1887]を待つことになる.
また[Kr-1853]では, Z[√-1]に係数を持つ7一ベル方程式の根はレムニスケートの等分によって同様に扱うことが出来る,と述べ,さらなる–般化をも示唆している.しかし,この時点で果たしてクロネッカーがどれほど踏み込んだ考察を行っていたかは不明である.しかし1857年になると,短いが1段と楕円関数に踏み込んだ論文[虚数乗法が生じる楕円関数について」 ([Kr-1857a])を著している.これと,この年にディリシュレに宛てた手紙[Kr-1857b]からみて,いわゆる「クロネッカ一の青春の夢」がこの頃に描かれたものと思われる.
379:１３２人目の素数さん
23/11/24 21:20:34.34 wvKQF/9W.net
クロネッカー・ヴェーバーの定理
類体論
ガロアの逆問題の一種と捉えることができる（ 三宅 克哉氏）
URLﾘﾝｸ(www2.tsuda.ac.jp)
ガロアの逆問題について
三宅 克哉(東京都立大学・理学研究科)
1. ガロアの逆問題の成立
例えば,有理数体に対して 「絶対ガロア群は如何なる (有限) 商群を持つか」という問題は
現今でも代数的数論における最も重要な問題の一つである.
ここで有理数体の絶対ガロア群とは有理数体の (複素数体における)代数的閉包の有理数体上のガロア群である.
このように大きなガロア群を表に出した表現は,特に類体論のイデールによる表現が成功を納めて以来のことであろうか.
類体論では,例えば,有限次代数的数体の最大アーベル拡大のガロア群が見事に記述できている.
このガロア群は有限次代数的数体の絶対ガロア群の最大アーベル商群, すなわち, その閉交換子群による剰余群である.
しかし当初はガロアの逆問題は素朴な形で提示されていた.
すなわち,ガロアの逆問題 : 与えられた有限群 G に対して,有理数体上のガロア拡大 KQであって、そのガロア群がGと同型なものが存在するか?
この問題の端緒は, 1892年のヒルベルトの既約性定理の論文 [Hi-1892] によって開かれた.
ヒルベルトはこの定理の応用として, 群Gが一般の対称群と交代群であるときは肯定的であることを示している.
ところが,こときは彼はまだ本格的には代数的数論には踏み込んでおらず, 1894年に初めて3本の代数的数論の論文を出版し、
さらに1896年に, いわゆる 「クロネッカー・ヴェーバーの定理: 有理数体上のアーベル拡大は,円分体,すなわち、1の羃乗根で与えられる」を証明した.
次いで 1897年にドイツ数学会から依頼された長大な 「報文」 が出版された.
さらに 1898年と1899年の2編の相対アーベル拡大についての論文によって彼の類体論の構想を提示し,
さらに,大論文である相対2次拡大論を出版した。
これによって一般の代数的数体において平方剰余の相互法則を示したのである.
19世紀冒頭からのガウスの問題提起に対するヒルベルトの答案であった。
380:１３２人目の素数さん
23/11/24 21:23:50.41 wvKQF/9W.net
>>350 追加
URLﾘﾝｸ(www2.tsuda.ac.jp)
数学史シンポジウム報告集
第15回数学史シンポジウム(2004.10.16〜17) 所報 26 2005
URLﾘﾝｸ(www2.tsuda.ac.jp)
第15回数学史シンポジウム
三宅克哉 ガロアの逆問題について
381:１３２人目の素数さん
23/11/25 06:07:09.03 zw7rHkp6.net
>>350
>有理数体に対して 「絶対ガロア群は如何なる (有限) 商群を持つか」
Q 有理数体
A 最大代数拡大体
M 中間体
A G(A/A)
∪ ∩
M G(A/M
382:) ∪ ∩ Q G(A/Q) 絶対ガロア群 G(A/M)がG(A/Q)の正規部分群 ⇔G(M/Q)が存在し、商群G(A/Q)/G(A/M)と等しい ガロア逆問題 任意の群Gに対してG=G(M/Q)となるMが存在するか？ クロネッカー・ウェーバーの定理 Q 有理数体 Cc 最大円分拡大体 M 中間体 Cc G(Cc/Cc) ∪ ∩ M G(Cc/M) ∪ ∩ Q G(Cc/Q) lim←－n∈N Z/nZ × MがQのアーベル拡大となるとき MはCcの部分体となる 全くの上っ面ですが
383:１３２人目の素数さん
23/11/25 06:14:28.40 zw7rHkp6.net
ガロア第一論文の素数p次可解方程式に関する定理
Q 有理数体
L 素数p次可解方程式の分解体
M 中間体
L G(L/L)
∪ ∩
M G(L/M) =Zp
∪ ∩
Q G(L/Q)
G(M/Q)=G(L/Q)/G(L/M)=Zp_✕
これまた上っ面ですが
384:１３２人目の素数さん
23/11/25 06:18:14.24 zw7rHkp6.net
>>353 追加修正
ガロア第一論文の素数p次可解方程式に関する定理
Q 有理数体
L 素数p次可解方程式の分解体
M 1のp乗根を添加した体
L G(L/L)
∪ ∩ クンマー拡大
M G(L/M) =Zp
∪ ∩ 円分拡大
Q G(L/Q)
G(M/Q)=G(L/Q)/G(L/M)=Zp_✕
これまた上っ面ですが
385:１３２人目の素数さん
23/11/25 06:23:32.35 zw7rHkp6.net
「上っ面」といってるのは、基本法則を鵜呑みにして
文字だけ当てはめれば形式的に記述できる、という意味
これが出来ただけで「分かる」と言い切る人もいるが
数学科ではそういう薄いレベルでは「分かる」とはみなさない
基本法則がなぜ成り立つか理解することが必要
386:１３２人目の素数さん
23/11/25 07:47:22.33 x8I8o+n6.net
これ面白いね
URLﾘﾝｸ(note.com)
「Paper Interpreter」を使って論文を読もう！
Daichi Konno / 紺野 大地
2023年11月23日
こんにちは、東京大学で医師かつ脳や人工知能の研究をしている紺野大地と申します。
2023年11月6日、OpenAI社から「自分専用のChatGPTを作れる機能」であるGPTs（ジーピーティーズ）が発表されました。
早速触ってみたところ、
「この技術を使えば、誰もが論文を読めるAIを作れる！」と確信し、論文解説AI「Paper Interpreter」を作って公開したところ、非常に大きな反響がありました！
（こちらのリンクから、今すぐ使えます。）URLﾘﾝｸ(chat.openai.com)
論文の内容を分かりやすく解説してくれる「Paper Interpreter」を公開しました！
使い方は簡単で、論文のPDFをアップロードするだけです。
テキストだけでなく、図やグラフについても説明してくれる点がポイントです！
完全に予想外でしたが、「最もアクセス数の多いGPTsランキング」で、なんと世界6位になりました！！
使っていただいた皆さん、本当にありがとうございます。
Paper Interpreterの使い方
Paper Interpreterを改めて説明すると、
「論文をアップロードするだけで、内容を日本語で分かりやすく説明してくれるAI」です。
使い方は非常に簡単で、こちらのページに「論文のPDFをアップロードする」だけです（デモ動画は以下）。
注意点
大きな注意点として、Paper InterpreterはChatGPTの有料ユーザーしか使えません（2023年11月時点）。
これは、OpenAI社がGPTsの利用を有料ユーザーのみに制限しているためです。
ですがいずれ全ユーザーに解放するとのことなので、ぜひお楽しみに！
387:１３２人目の素数さん
23/11/25 08:07:15.02 x8I8o+n6.net
>>351-355
ありがとう
スレ主です
ガロア理論の水道方式が分かってきたようですね
１）抽象化された高等数学では、部分が分からないと全体が分からない、全体が分からないと部分の理解が進まない
の循環になりがち
２）では、どうするか？
水道方式では、まず全体の大まかなマップ（ランドスケープ）を作って、どこを水源地にすれば良いかを判断する
水源地から、いろんな結果がイモヅル式に繋がる
３）そうして、全体の大まかなマップ（ランドスケープ）が手に入ったら
改めて
388:、全体を見回して、自分が理解出来ていない部分を補強すれば良い 「上っ面ですが」と言っているところが、大まかなマップ（ランドスケープ）に相当する これなくして、「数学に王道なし」「一歩一歩論理の積み重ね」をやると 一部の天才*は別として、普通は「いつまで経っても全体像が見えない」「だから、その部分の理解も進まない」 の悪循環になりがちで、挫折する （*天才は、一部を見ただけで、自分で全体像が見えるのです 例 ガウス、アーベル、ガロア） 「上っ面ですが」を進めて→改めて、全体を見回して、自分が理解出来ていない部分を補強する このサイクルを、何度も回す 習うより慣れろで このサイクルを、何度も回していると、だんだん理解が深まるのです この手法の利点は、サイクルを回した回数だけ必ず何かが残るのです 「数学に王道なし」「一歩一歩論理の積み重ね」をやると、挫折すると殆ど何も残らないのです
389:１３２人目の素数さん
23/11/25 08:17:07.09 zw7rHkp6.net
方程式の冪根での可解性
Q 有理数体
L 方程式の分解体
M 中間体
L G(L/L)={e}
∪ ∩
M G(L/M)
・・・
M' G(L/M')
∪ ∩
M'’ G(L/M’')
∪ ∩
Q G(L/Q)
G(M’'/Q)=G(L/Q)/G(L/M'’) 巡回群（冪根で解ける）
G(M'/M'')=G(L/M’')/G(L/M') 巡回群（冪根で解ける）
商群が巡回群となる中間体を次々見つけていって
最終的にG(L/M)自体が巡回群になれば冪根の反復使用で可解
全く上っ面ですが
390:１３２人目の素数さん
23/11/25 08:29:47.39 zw7rHkp6.net
>>357
>ガロア理論が分かってきたようですね
いえ、これは上っ面ですから、ガロア理論の本に書いてある式を
何も考えずに当てはめれば誰でも書けてしまいます
>抽象化された高等数学では、
>部分が分からないと全体が分からない、
>全体が分からないと部分の理解が進まない
>の循環になりがち
352-354はあらすじというか構想に過ぎないので
なぜこれがうまくいくか理解するには
各ステップを確認する必要があります
数学科では確実に必要となります
研究を行うのに不可欠ですから
>水道方式では、まず全体の大まかなマップ（ランドスケープ）を作って、
>どこを水源地にすれば良いかを判断する
>水源地から、いろんな結果がイモヅル式に繋がる
判断の必要はありませんよ すでに結果としての水源が示されてますから
ランドスケープは当然示されますが、それがなぜうまくいくかは
決して鵜呑みで誤魔化すことではありませんね、ええ
結果だけ頂けばいいというのは数学が嫌いな人の発想ですよ
＞そうして、全体の大まかなマップ（ランドスケープ）が手に入ったら
＞改めて、全体を見回して、自分が理解出来ていない部分を補強すれば良い
そういうあなた、自分が理解出来ていない部分を見つけて補強しましたか？
391:１３２人目の素数さん
23/11/25 08:30:32.76 x8I8o+n6.net
>>355
>これが出来ただけで「分かる」と言い切る人もいるが
>数学科ではそういう薄いレベルでは「分かる」とはみなさない
>基本法則がなぜ成り立つか理解することが必要
いくつかのポイントがある
１）数学科院試でも、100点満点だけが合格するわけではない
数学科修士でも、全てを完全に理解しているわけではない
２）何をもって、「分かる」「理解」というのか？
試験場では、テキストや参考書を見ずに解答することが求められる
しかし、それ以外の場所では、テキストや参考書を見て良いし
だれかに、教えて貰っても良い
そうして、自分なりに理解して、自分の抱えている問題が解決できれば良いのです
「数学に王道なし」「一歩一歩論理の積み重ね」をやると
多くの凡人は、抽象化された高等数学では、挫折して 何も残らない
そういう結果になりがちですよ
あなたは、それだった ふしがあるな
392:１３２人目の素数さん
23/11/25 08:39:55.87 zw7rHkp6.net
>>357
>「上っ面ですが」と言っているところが、
>大まかなマップ（ランドスケープ）に相当する
ええ
大まかなマップであるランドスケープはまさに「上っ面」です
>これなくして、
>「数学に王道なし」「一歩一歩論理の積み重ね」
>をやると一部の天才*は別として、普通は
>「いつまで経っても全体像が見えない」「だから、その部分の理解も進まない」
>の悪循環になりがちで、挫折する
すでに得られた結果を「急いで」学ぶには
そういう「泥縄」が早いでしょうね
実際大学の講義も教科書もそうなってる
そういう意味での「王道」があるのは
いわずもがなの常識ですね
ただ、実際は王道が王道であることに気づかない
学生が実に沢山いるので、そこは指導が必要です
また、ランドスケープだけ知って
ああ、全部分かったと誤解する迂闊な人も
これまた沢山いるので、そうではないことを
思い知らせるのも必要です
>「上っ面ですが」を進めて
>→改めて、全体を見回して、
>自分が理解出来ていない部分を補強する
>このサイクルを、何度も回す
あなたは回してますか？
例えば、なぜガロア群が巡回群だと冪根で解けるか説明できますか？
これはランドスケープの１ステップを実際に自分の足で歩けば分かりますが
目で見ただけで満足して、一度も自分の足で歩かないと絶対にできません
実際質問してみると、山道を一度でも歩いたか否かは確実にわかります
ゼミや口頭試問が有効な理由です
393:１３２人目の素数さん
23/11/25 08:43:11.44 zw7rHkp6.net
>>357
>*天才は、一部を見ただけで、自分で全体像が見えるのです
>例 ガウス、アーベル、ガロア
よくこういうことをいう人がいますが
実際研究をした人なら上記が嘘だとわかります
天才といえどもチラ見しただけで全体像が見えるわけではない
膨大な試行錯誤の結果として全体像が見えてくるのです
これは結果としての数学しか見たことがない人には
決してわからないことです
394:１３２人目の素数さん
23/11/25 08:52:42.98 zw7rHkp6.net
>>360
>数学科院試でも、100点満点だけが合格するわけではない
>数学科修士でも、全てを完全に理解しているわけではない
その通りです
試験は所詮試験です 点数にはさしたる意味がない
>何をもって、「分かる」「理解」というのか？
>試験場では、テキストや参考書を見ずに解答することが求められる
>しかし、それ以外の場所では、テキストや参考書を見て良いし
>だれかに、教えて貰っても良い
試験をパスすればいい、という発想は捨てましょう 意味ないですから
テキストに書いてあることをなぞればいい、というのは考えない人の発想です
あるいはchatGPTのようなAIの発想
>そうして、自分なりに理解して、自分の抱えている問題が解決できれば良いのです
「自分なりの理解」で満足したらそれで終わりですね
実際今のchatGPTはそれで終わってます
人間でもchatGPTみたいな分かり方しかしない人は沢山います
そういう人は「問題」に気づいていないししたがって「解決」もできない
ZpとZp✕の違いに無頓着な人は、✕の有無は文字一個分の些細なこと
と思ってるのでしょうが、残念ながら両者は根本的に違います
これは重大な問題ですが問題を認識しない人は解決すらできません
はっきり申し上げますが
ZpとZp✕の違いは初歩のレベルです
院試以前に学部の試験で落とされます
つまり単位が取れません
395:１３２人目の素数さん
23/11/25 08:59:22.43 zw7rHkp6.net
正１７角形が作図可能かどうか、は実は大した問題ではありません
ガウスは単に自分の結果の提示の方法としてこれを取り上げたに過ぎません
肝心なのは、Z^n-1の解のベキ根表示とZn_✕の繋がりです
そういう意味で、ガウスの発見は、ガロア理論の先駆けです
396:１３２人目の素数さん
23/11/25 09:13:30.99 zw7rHkp6.net
５次以上の一般の代数方程式が冪根で解けるか否か、
という「些末な動機」でガロア理論を学ぶのは不毛である、
というのが私の感想です
解を求めるだけなら、冪根にこだわる必要はない
逆に、任意のｎ次の円分方程式が冪根で解ける、というのは
けっしてつまらない結果ではなく、実に興味深い
単に三角関数使えば解が求まるからいいだろう、とかいうことではない
両者は決して矛盾しません
397:１３２人目の素数さん
23/11/25 09:20:51.47 x8I8o+n6.net
>>359
> 各ステップを確認する必要があります
> 数学科では確実に必要となります
> 研究を行うのに不可欠ですから
１）あなたは、数学科落ちこぼれさん
２）よって、数学研究とは無縁でしょ？ｗ
３）人が数学を学ぶのは、プロ数学者として数学研究するだけではないはず
物理学者が数学を学ぶのは、それを物理学役立てるためだ
おっさん、「（数学）研究を行うのに不可欠」と言いながら
挫折して、何にも残っていないじゃん？ｗｗｗ
398:１３２人目の素数さん
23/11/25 10:04:13.75 0wOAtG3c.net
>>366
>物理学者が数学を学ぶのは、
>それを物理学に役立てるためだ
あなた、物理学者じゃないでしょ
物理は数学以上に分かってないんじゃない
ここで物理の話聞いたことないけど
399:１３２人目の素数さん
23/11/25 13:43:00.10 NoJcDmS3.net
aの巾根を a^{1/n} として求められるとするのなら、
1のｎ乗根も巾根使って 1^{1/n} とすれば一発じゃん。
くだぐだとｆ項周期とか作ったりしなくてもいいだろ？
400:１３２人目の素数さん
23/11/25 15:08:13.47 zw7rHkp6.net
>>368
x^n-a=0のn個の根は、その1つをn√aで表し、
他のn-1個をそれと1の原始n乗根ζのｍ乗(ｍ=1～m-1)で表�
401:ｷ x^n-1=0のn個の根は、1と1の原始n乗根ζのｍ乗(ｍ=1～m-1)だが これでは堂々巡りとなるのはおわかりか？ 堂々巡りを打ち破るには1の原始n乗根ζをより根源的な数の冪根で表す必要がある
402:１３２人目の素数さん
23/11/25 18:30:31.84 x8I8o+n6.net
>>368-369
>aの巾根を a^{1/n} として求められるとするのなら、
>1のｎ乗根も巾根使って 1^{1/n} とすれば一発じゃん。
>くだぐだとｆ項周期とか作ったりしなくてもいいだろ？
>
>これでは堂々巡りとなるのはおわかりか？
>堂々巡りを打ち破るには1の原始n乗根ζをより根源的な数の冪根で表す必要がある
スレ主です
問いと回答が、噛み合っていないと思うのは、私だけかな？
１）いま、簡単にa>0（a 正）とする
実数の範囲では
関数 f(a)=a^{1/n} f：a→a^{1/n}
このグラフを数式処理で書かせるのは、簡単なことだ
ところが、a＝1のときは、f(a)=a^{1/n}＝1でしかない
２）では、関数 f(a)を複素数の範囲に広げると？
f(a)は、多価関数になる
従って、一価関数に落とすことを考える必要があるのです（多価のままでは、不都合）
３）そこで、「1の冪根」や「円分多項式」の理論が出てくる
あと、下記「円分多項式」にも書いてあるが、 1^{1/n} を解とする方程式 x^n＝1 から得られる x^n -1＝0 で、多項式 x^n -1 は既約ではない（可約）
なので、1のｎ乗根は、必ずn-1乗根以下で間に合うのです
（なお、円分多項式は、大学入試ネタでもある。相反多項式になることも、常識として知っておくべし）
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
1の冪根（root of unity）とは、数学において冪乗して 1 になる（冪単である）数のことである。すなわち、ある自然数 n が存在して
z^n = 1
となる z のことである。通常は複素数の範囲で考えるが、場合によっては p進数のような他の数の体系内で考える場合もある。以下では主として複素数の場合について述べる。
ド・モアブルの定理より、略
URLﾘﾝｸ(en.wikipedia.org)
URLﾘﾝｸ(ja.wikipedia.org)
円分多項式
URLﾘﾝｸ(manabitimes.jp)
高校数学の美しい物語 円分多項式とその性質 2021/03/07
URLﾘﾝｸ(ja.wikipedia.org)
相反多項式
例
他の例としては円分多項式やオイラー多項式を挙げることができる。
403:１３２人目の素数さん
23/11/25 18:44:57.44 x8I8o+n6.net
>>367
>>>366
>>物理学者が数学を学ぶのは、
>>それを物理学に役立てるためだ
> あなた、物理学者じゃないでしょ
> 物理は数学以上に分かってないんじゃない
> ここで物理の話聞いたことないけど
議論が噛み合ってないなｗ
１）”> 各ステップを確認する必要があります
> 数学科では確実に必要となります
> 研究を行うのに不可欠ですから”>>366
だった
２）それなら、（数学）研究を行うためでないのなら
各ステップを確認する必要は、必ずしもないよね
（数学科でない人も、いまどき多数の人が数学を学ぶよ）
３）その一例として、物理学者を挙げた
物理学者が、自分の研究 例えば 素粒子論にある数学を適用することを考えたとする
まず、チェックすべきは その使おうとする数学が素粒子論に使えるかどうか？だ
使えないなら、各ステップを確認する必要は、必ずしもない
かつ、使えるとしても、各ステップを確認する必要は、必ずしもない（∵数学研究でもなく、数学科でもないからｗ）
404:１３２人目の素数さん
23/11/25 18:48:33.53 x8I8o+n6.net
>>371
・落ちこぼれさんで、数学研究と無縁
・よって、数学研究成果なく
・一本の査読投稿掲載論文の無い人が
・いっちょ前の顔をして、数学研究を語る
滑稽だよ
405:１３２人目の素数さん
23/11/25 18:55:21.89 zw7rHkp6.net
>>370
これはこれは、スレの深淵に住むというシンカイクサウオ様
お加減はよろしいのでしょうか？
>いま、簡単にa>0（a 正）とする
>実数の範囲では
>関数 f(a)=a^{1/n} f：a→a^{1/n}
>このグラフを数式処理で書かせるのは、簡単なことだ
グラフなら数式処理ソフトなんか使わなくても、Excelでも書けますよ
>ところが、a＝1のときは、f(a)=a^{1/n}＝1でしかない
その通りですね したがって>>368の主張では、
他のｎ－１個の根は全く記述ができません
ガチっと噛み合ってますね
シンカイクサウオ様もここは認めるでしょう
ご自分がいっていることですから
>では、関数 f(a)を複素数の範囲に広げると？ f(a)は、多価関数になる
406:>従って、一価関数に落とすことを考える必要があるのです（多価のままでは、不都合） ここ、問いと回答が、噛み合っていないと思うのは、私だけでしょうか？ そもそも一価か多価かが問題なのではありませんね >そこで、「1の冪根」や「円分多項式」の理論が出てくる 「そこで」ではないでしょう そもそも１の冪根も円分多項式も最初から存在します >あと、 1^{1/n} を解とする方程式 x^n＝1 から得られる x^n -1＝0 で、多項式 x^n -1 は既約ではない（可約） その通りです >なので、1のｎ乗根は、必ずn-1乗根以下で間に合うのです だから、私の369の指摘がガチっと噛み合いますね おかしいのは、一価と多価のところだけ そんなおかしなこというのはシンカイクサウオ様が初めて したがって、370冒頭の 「問いと回答が、噛み合っていないと思うのは、私だけかな？」 の答えは以下の通り 「ええ、あなただけですよ」
407:１３２人目の素数さん
23/11/25 18:57:41.60 zw7rHkp6.net
>>371
シンカイクサウオ様が数学者でないことはよく分かっておりますが
物理学者でもない、ということでよろしかったでしょうか？
408:１３２人目の素数さん
23/11/25 19:02:35.00 zw7rHkp6.net
>>372
私の知り合いに
「10年間”ガロア理論”と名のつくスレッドを立てていた人が
ZnとZn✕を混同していたんだよね」
という話をいたしましたら、こういわれました
「縁なき衆生は度し難し」
409:１３２人目の素数さん
23/11/25 19:05:33.23 zw7rHkp6.net
そもそも「１の冪根を三角関数で表せばいい」という人には
円分体の理論もガロア理論も「馬の耳に念仏」でしょうな
410:１３２人目の素数さん
23/11/25 19:09:43.20 zw7rHkp6.net
ガウスの円分体の理論は、ヲタク的純粋数学の極致という点で素晴らしい
そういうものに興味を持たないのは
良く言えば一般人
悪く言えば俗人
411:１３２人目の素数さん
23/11/25 19:13:44.01 zw7rHkp6.net
「深淵の人」は根本的に俗人かと思います
つまり、使えることにしか価値を見出さない
円分体の理論が他に使えることがないかどうかは知りませんが
そもそも他に使うために考えられたものではない
そこが「純粋数学」として素晴らしい
ヲタクがハマる趣味は別に役にたつようなことではなく
単に自分が面白いからやっている
そこが「ヲタク」としてすばらしい
ヲタク心がない人は世間的には健全かもしれませんが
・・・つまりませんな
412:１３２人目の素数さん
23/11/25 19:14:44.27 x8I8o+n6.net
>>372
余談だが、共同研究がある
下記は、藤野 修先生の話で、橋詰健太氏との共同研究があがっている
また、BCHMと呼ばれる大論文があるそうだ
BCHMの頭文字の４人の論文
４人が隅々まで、事細かく理解しているよりも
４人それぞれが、得意の専門分野をもち
４人の知恵を寄せ合って、BCHMが成り立っている
そう理解すべきじゃないですか？
三人寄れば文殊の知恵というが、４人の知恵を寄せ合ったんだね
４人がチマチマと重箱の隅を突いたのではなく、得意の専門分野とアイデアを寄せ合った結果だろう
そう考えるべきでは？
数学研究成果なく
一本の査読投稿掲載論文の無い人が
いっちょ前の顔をして、数学研究を語る
「各ステップを確認する必要があります」という
最終的には、その通りだが
それは初期段階では ないだろう
(参考)
URLﾘﾝｸ(kaken.nii.ac.jp)
高次元代数多様体の双有理幾何学
研究代表者 藤野 修 京都大学
この2006年から2008年ぐらいにかけて実行した小平消滅定理の一般化と双有理幾何学への応用に対して日本数学会の代数学賞をいただくことが出来た。
大変光栄なことだと思う。
2021年度の前半は橋詰健太氏との共同研究で対数的標準中心についてのadjunctionとinversion of adjunctionを完全に解決することができた。
2021年度の後半は極小モデル理論の複素解析化を実行した。
代数多様体に対する極小モデル理論ではBCHMと呼ばれる大論文が存在するが、BCHMの結果をほぼ全て複素解析化することに成功した。すでにプレプリントは公表済みである。
2022年度の前半は極小モデル理論の複素解析化をさらにおし進める予定である。
413:１３２人目の素数さん
23/11/25 19:16:17.69 zw7rHkp6.net
数学者は物理には興味がありません
物理現象に興味がないのはもちろん
世の中の役に立つという考え方にも興味がない
数学
414:を学んできた人間が企業に就職したがらないのは 企業の仕事に面白みを感じないからでしょう
415:１３２人目の素数さん
23/11/25 19:18:35.26 zw7rHkp6.net
>>379
シンカイクサウオ氏はご自分の話をしたがりませんな
今までの人生で面白いことを一つも為し得なかった人のようだ
416:１３２人目の素数さん
23/11/25 19:19:16.39 zw7rHkp6.net
ネットでサーチするだけの人生・・・つまりませんなあ
417:１３２人目の素数さん
23/11/25 19:20:33.30 zw7rHkp6.net
Zn✕ に何の興味も持ち得ない人が
いったい何を面白がるのか
想像もつきませんが
418:１３２人目の素数さん
23/11/25 19:21:50.18 zw7rHkp6.net
下らぬことで他人にマウントし他人を論破する
そんな、ひろゆきやホリエモンのような人生は
つまりませんなあ
419:１３２人目の素数さん
23/11/25 19:24:51.87 zw7rHkp6.net
私は別にシンカイクサウオ氏にマウントしてるわけではない
何が数学として本当に面白いのか、お示ししているつもりです
「最前線」とか「頂点」とか「高み」とかいって
つまらぬことに狂いまくっている哀れな人に
そこらに咲いているタンポポの面白さを伝えてるわけです
420:１３２人目の素数さん
23/11/25 19:26:32.73 zw7rHkp6.net
試験の点数しか見えない人は
学問の意味がわからない
421:１３２人目の素数さん
23/11/25 19:32:47.12 x8I8o+n6.net
>>379 参考
>BCHMの頭文字の４人の論文
下記ですね
因みに、Birkar氏は、フィールズ賞で、フェセンコ氏のところのDR生だったそうな
(参考)
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
URLﾘﾝｸ(www.math.kyoto-u.ac.jp)
第52回代数学シンポジウム報告集 p141--153 (2007)
Recentdevelopments inthelog minimalmodelprogramII
対数的極小モデル理論の最近の発展についてII
名古屋大学大学院多元数理科学研究科藤野修∗
概要Birkar-Cascini-Hacon-McKernanの大結果について述べる。
数学的に厳密な話ではなく、個人的な感想、極小モデル理論の勉強方法などを中心に述べたい。
URLﾘﾝｸ(ja.wikipedia.org)
コーチェル・ビルカー FRS (Caucher Birkar, 1978年 - )
博士課程 イヴァン・フェセンコ
指導教員 ヴャチェスラフ・ショクロフ[3]
研究と経歴
パオロ・カッシーニ（イタリア語版）、クリストファー・ハコン、ジェームズ・マッカーナンと共に、ビルカーは対数一般型の多様体に対する対数フリップの存在、対数正則環の有限生成、極小モデルの存在を含む幾つもの予想を解決し、ヴャチェスラフ・ショクロフと、ハコン-マッカーナンの初期の仕事上に業績を構築していった[16]。
対数正則特異点の解決において、ビルカーは極小モデルとアバンダンス予想（英語版）の鍵となる場合とともに対数フリップの存在性を証明した[17]。(これはハコンとチェンヤン・シュー（英語版）により独立に証明された。)
異なる方向で、ビルカーは非負の小平次元の多様体上の多正則系により誘導される飯高ファイブレーションの有効性に対する飯高の昔からの問題を研究した。この問題は二つからなる。一つはフィブレーションの一般ファイバーに関連し、一つはフィブレーションの基底に関連する。
422:１３２人目の素数さん
23/11/25 19:34:19.54 zw7rHkp6.net
ああつまらん
423:１３２人目の素数さん
23/11/25 19:38:12.27 zw7rHkp6.net
わかりもせん話をコピペするとかつまらん
424:１３２人目の素数さん
23/11/25 19:38:41.86 zw7rHkp6.net
それで他人にドヤる●違いぶりもつまらん
425:とおりすがり
23/11/25 20:23:12.53 dB5XVzlh.net
素朴な疑問。
0426はIUT応援スレ1通称set Aのレスで数学.物理.科学と無縁
426:なトンデモの方です。 1と数学談義するプロの数学者はいるのですか？ 存在したら業界怪談数学編では 0426 １３２人目の素数さん 2023/10/29(日) 14:22:15.63 IUTは、ガリレオ天動説です だんだん、理解され受け入れられてきたよ
427:１３２人目の素数さん
23/11/25 20:33:41.13 dB5XVzlh.net
たとえば id:x8I8o+n6 は1
428:１３２人目の素数さん
23/11/25 20:39:48.71 zw7rHkp6.net
>>391-392
確かにシンカイクサウオ氏と数学談義はできませんなあ
シンカイクサウオ氏は数学の初歩からわかってませんし
わかる気すらありませんから
Zn✕をZnと誤解しつづけてきたことからも明らかです
429:１３２人目の素数さん
23/11/25 20:41:48.48 x8I8o+n6.net
>>380
>数学者は物理には興味がありません
>物理現象に興味がないのはもちろん
>世の中の役に立つという考え方にも興味がない
落ちこぼれが、したり顔で数学と物理を語る？
笑止千万、滑稽極まりない？
そもそも、根拠なく現実と真逆の説を唱えるとはｗ
信用を失う発言ですね
貴方の言うことは
今後、信用されないよｗ
１）ちょっと古いが
URLﾘﾝｸ(planck.exblog.jp)
大栗博司のブログ 2010年 08月 21日
フィールズ賞
１９９０年以来の過去５回のICMでは、フィールズ賞受賞者のおよそ４割が場の量子論や超弦理論に関係する分野で研究をされていたので、今回はどうなるのだろうかと思っていました。
今回の受賞者のひとりはスタニスラフ・スミルノフさんで、ある種の２次元の統計模型がスケール極限で共形対称性を持つことを示し、物理学者のジョン・カーディさんの予想していた公式に数学的証明を与えました。
もうひとりの受賞者のセドリック・ビラニさんへの授賞対象は気体分子の運動論で、非平衡の状態からどのように平衡状態への移行が起きるのかの理解を進められたのだそうです。
物理学の提起する問題は、依然として数学の新しい発展を触発し続けているようです
２）近年の例
URLﾘﾝｸ(ja.wikipedia.org)
フィールズ賞
2022年
ユーゴー・デュミニル＝コパン（Hugo Duminil-Copin, 1985年 - ）フランス
「 For solving longstanding problems in the probabilistic theory of phase transitions in statistical physics, especially in dimensions three and four.
2014年
マリアム・ミルザハニ（Maryam Mirzakhani, 1977年 - 2017年 ）イラン （女性初）
「 for her outstanding contributions to the dynamics and geometry of Riemann surfaces and their moduli spaces.
アルトゥル・アビラ（Artur Avila, 1979年 - ）ブラジル フランス
「 for his profound contributions to dynamical systems theory have changed the face of the field, using the powerful idea of renormalization as a unifying principle.
３）大数学者で物理に関係する仕事もした人
佐藤幹夫、ヘルマン・ワイル、ヒルベルト（一般相対性理論）、ガウス、フーリエ（熱伝導の研究からフーリエ級数フーリエ変換へ）、ニュートン（天体物理から微分積分学へ）
430:１３２人目の素数さん
23/11/25 20:42:40.16 zw7rHkp6.net
シンカイクサウオ氏は数学で他人にマウントしたいだけですな
数学に対する嫉妬と羨望に満ち溢れちゃってます
そのくせ数学の真に面白い点には全く興味がない
数学を誤解し、数学でないものに憧れてるんでしょう
哀れなもんです
431:１３２人目の素数さん
23/11/25 20:46:53.44 zw7rHkp6.net
>>394
数学的現象に対する興味を物理現象に対する興味と取り違えてますな
数学的興味という動機を実用性の追求という動機と取り違えてますな
ま、前者は完全に詭弁ですが（笑）、後者はそうではないですね
そういう意味でいうと物理学者も実は実用性とかどうでもよくて
面白いから研究してるんでしょうけどね（笑）
432:１３２人目の素数さん
23/11/25 20:49:05.12 zw7rHkp6.net
ガウスはもちろん物理に関わる数学の研究もしているが
やはりガウスの真骨頂は円分体の理論だろう
これほどヲタク的なものはない
ガウス本人もこんなのカネもらってやる仕事じゃないと思ってるだろう
本当に面白い成果は仕事じゃできないんだよ 遊びだよ遊びｗ
433:１３２人目の素数さん
23/11/25 20:50:19.27 zw7rHkp6.net
大学で良い研究ができにくいのは、
国家とかいう暴力団から金もらってる
疚しさがあるからだろう
434:１３２人目の素数さん
23/11/25 20:53:04.87 zw7rHkp6.net
シンカイクサウオ氏と遊ぶのも飽きてきた
Zn✕とZnを取り違える大ボケを越える笑いはとれないだろう
ここらでズラかるのが潮時だ
435:１３２人目の素数さん
23/11/25 20:53:18.64 zw7rHkp6.net
あばよ
436:１３２人目の素数さん
23/11/25 20:53:54.17 x8I8o+n6.net
数学＆物理の追加例
山下真由子
共著 Y. Tachikawa＝立川 裕二 理論物理学者
Proceedings QFT 量子場の理論です
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
山下真由子
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
論文
2.Remarks on mod-2 elliptic genus, with Y. Tachikawa and K. Yonekura. preprint. URLﾘﾝｸ(arxiv.org)
Proceedings
1.Invertible QFTs and differential Anderson duals (proceedings to Stringmath 2022). URLﾘﾝｸ(arxiv.org)
URLﾘﾝｸ(ja.wikipedia.org)
立川 裕二（たちかわ ゆうじ、1979年10月5日 - ）は、日本の理論物理学者。東京大学国際高等研究所カブリ数物連携宇宙研究機構教授。専門分野は素粒子物理学、特に超弦理論における場の理論や数理物理など[1]。大阪府富田林市出身。
経歴
1998年、灘高等学校卒業。灘中学校・高等学校在学中には、国際数学オリンピックの日本代表に2回選出された。1995年（日本予選：中学3年[2][3]、国際大会：高校1年）の第36回カナダ大会、1996年（日本予選：高校1年[2][3]、国際大会：高校2年）の第37回インド大会に連続出場し、共に銀メダルを獲得した[4]。
研究
超弦理論に関する重力理論、数理物理、及び超対称性のある4次元場の理論。AGT対応の発見者。
437:１３２人目の素数さん
23/11/25 23:08:23.27 x8I8o+n6.net
>>397
>ガウスはもちろん物理に関わる数学の研究もしているが
>やはりガウスの真骨頂は円分体の理論だろう
・ガウスDAは、1797年（19～20歳）にはほぼ原稿は完成していた
・高校在学中にはニュートンの著書「プリンシピア」（ニュートン力学体系の解説書）と出会って深く感動し、ニュートンへの尊敬の念をいだきそれを一生胸の奥にあたため続け�
438:ﾜした ・ゲッチンゲン大学天文台長へ。その後およそ５０年の研究 生活をその地で過ごす ということは、ガウスDAは20歳前の仕事であって 一方 ニュートンの著書「プリンシピア」（ニュートン力学体系の解説書）と出会って深く感動しニュートンへの尊敬の念をいだき、天文台長５０年 どう見ても、物理にも本気で取り組んでいますよね つーか、当時は物理と数学の垣根は、それほど高くなくて、普通に物理と数学の両方を研究しています 落ちこぼれさんが、知ったかぶり 滑稽です (参考) https://ja.wikipedia.org/wiki/Disquisitiones_Arithmeticae Disquisitiones Arithmeticae ラテン語で算術研究の意、以下 D. A. と略す 1801年、ガウス24歳のときに公刊された。その研究の端緒はガウス17歳の1795年にまでさかのぼり、1797年にはほぼ原稿は完成していた[1]。 https://www.px.tsukuba.ac.jp/~iarai/Courses-j.html 新井一郎の授業 筑波大 物理 https://www.px.tsukuba.ac.jp/~iarai/Doc/UG/Physics_BI/Personae.html 物理学を作った人々 https://www.px.tsukuba.ac.jp/~iarai/Doc/UG/Physics_BI/Gauss.html [13]ガウス -偉大な天才数学者- ドイツの数学者。１７７７年４月３０日、プロシャ北部ハノーバー近郊 ブラウンシュバイク生。数論の研究で輝かしい業績。純粋数学に留まら ず、現代天文学、測地学、電磁気学などの数学の実際的な応用において も活躍し、数学と隣接科学に大きな貢献。 高校在学中にはニュートンの著書「プリンシピア」と出会って深く感動し、ニュートンへの尊敬の念をいだきそれを一生胸の奥にあたため続けました。 ガウスの才能の流出を惜しんだフンボルトの 尽力により、ゲッチンゲン大学天文台長へ。その後およそ５０年の研究 生活をその地で過ごし、１８５５年２月２３日没。 https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E5%93%B2%E5%AD%A6%E3%81%AE%E6%95%B0%E5%AD%A6%E7%9A%84%E8%AB%B8%E5%8E%9F%E7%90%86 『自然哲学の数学的諸原理』（しぜんてつがくのすうがくてきしょげんり、羅: Philosophiæ Naturalis Principia Mathematica）は、アイザック・ニュートンの著書で、ニュートン力学体系の解説書である。1687年7月5日刊、全3巻。古典力学の基礎を築いた画期的なもので、近代科学における最も重要な著作の1つ。運動の法則を数学的に論じ、天体の運動や万有引力の法則を扱っている。Principia という略称でもよく知られている。日本語では『自然哲学の数学的原理』、『プリンキピア』、あるいは『プリンシピア』とも表記される（岡邦雄訳、春秋社、1930年や、中野猿人訳、講談社、1977年等） 18世紀にはラグランジュがニュートン力学以後の力学の研究成果を統合し『解析力学』（1788）にまとめることになった（解析力学。ラグランジュ力学）。
439:１３２人目の素数さん
23/11/26 08:13:57.93 EtUXTn+n.net
>>399-400
どうせ、すぐ舞い戻ると思うので書いておくが
１）妄想サイコパスのおサル>>6さん、自分の劣等感を他人に投影して
おまえは中卒だの、これが分かってない、あれが理解できてない
と喚く君
２)数学科で勉強したことだけが、心の支えかもしれないが
要するに落ちこぼれさんでしょ？
勉強法が間違っていた気がする
３）「数学に王道なし」「一歩一歩の積み重ね」「厳密に厳密に」「直感、直観ダメダメ」
これ、多分わんこらさんが 言っている間違った勉強法（下記）
正しいのは、遠山流水道方式を換骨奪胎して、自分の勉強法に取り入れることだ
４）そして、プロになろうという人は、直感、直観を鍛えること
プロ棋士の修行法と同じだ。レベルが低いから、ヘボ筋しか浮かばないのです
レベルが上がると、第一感の手が「棋力の高い人ほど正確・好手である確率が高くなる」のです（下記）
間違った勉強法だから
ガロア理論で挫折したんだねｗ
(参考)
URLﾘﾝｸ(www.youtube.com)
どうやってニートから立ち直ったのか？留年繰り返した末に大学院も全て落ちてニートへ
わんこらチャンネル 2020/09/15
URLﾘﾝｸ(www.youtube.com)
僕がたどり着いた数学の勉強の仕方…わんこら式数学の勉強法はこうやって生まれた
わんこらチャンネル 2020/05/30
留年繰り返して7年で大学卒業した後
ニートになった僕ですが
そんな僕が挫折を繰り返してきた歴史と、たどり着いた数学の勉強の仕方について動画にしました
この勉強法がわんこら式と呼ばれるようになりました
大学の数学の専門書、解析入門1を使って
数学の勉強法について話します
色々な人の参考になれば嬉しいです
URLﾘﾝｸ(xn--pet04dr1n5x9a.com)
【将棋用語】第一感
その局面をちょっと見て感じたこと。特に、局面を見て最初に感じた形勢や思い付いた手を言う場合に「深く読んでいないから間違っているかもしれないけど」という意味合いを持たせるために使われることが多い。「一目」と同様の使い方、及び、意味合いになる。
主に過去の経験に基づいた判断となっているため、棋力の高い人ほど正確・好手である確率が高くなる
440:１３２人目の素数さん
23/11/26 08:40:31.43 EtUXTn+n.net
>>398
>大学で良い研究ができにくいのは、
>国家とかいう暴力団から金もらってる
>疚しさがあるからだろう
・なんか、アカデミックポストを得られなかったサルが>>6、ほざいているとしか思えない
自分は、私大の数学科と言っていたのにね、笑える
（私大も補助金を多少もらっているのだが、国公立ほどではない）
・余談だが、グロタンディークが「IHÉSに軍からの資金援助があることを知ると、彼は即座にIHÉSを辞職」（下記）
とある
・別に、ノーベル賞の眞鍋 淑?ｶ氏は、「日本の縦割り行政が学術研究を阻害していることへの不満」でプロジェクトの長を辞任したという
こちらは、お金の問題ではないのだが
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
アレクサンドル・グロタンディーク
反戦運動と環境問題に熱心だったことから、1970年頃にIHÉSに軍からの資金援助があることを知ると、彼は即座にIHÉSを辞職。その後は、数学から距離を置いた隠遁生活を送るようになった
URLﾘﾝｸ(ja.wikipedia.org)
眞鍋 淑?ｶ（新字体：真鍋 淑郎、英語: Syukuro "Suki" Manabe、1931年（昭和6年）9月21日 - ）
日本へ一時帰国
1997年には日本へ帰国し、同国の宇宙開発事業団と海洋科学技術センターによる共同プロジェクト「地球フロンティア研究システム」の地球温暖化予測研究領域の領域長に就任した
しかし、2001年に辞任・再び渡米し、プリンストン大学研究員に転じた。当時のマスメディア報道では、地球シミュレータを利用しての他研究機関との共同研究が、所管元である日本の科学技術庁の官僚から難色を示されたことが辞任のきっかけとされ[26]、日本の縦割り行政が学術研究を阻害していることへの不満による「頭脳流出」であると報じられた[26][27][28]
441:１３２人目の素数さん
23/11/26 09:05:11.22 EtUXTn+n.net
>>404 補足
>>国家とかいう暴力団から金もらってる
>ノーベル賞の眞鍋 淑郞氏
>「地球フロンティア研究システム」の地球温暖化予測研究領域の領域長に就任
１）類似で、気象庁の天気予報システムがある(下記)
何年か周期で、システムのハードおよびソフトを更新している
２）もし、あなたがシステム更新のプロジェクトのメンバーあるいは長になったら？
やるべきことは、行列式の4ｘ4の勉強ではない！ｗｗｗ
３）全体像を把握すること
現状どうなっているか？ 今後どうすべきか？ 他の先進国のシステムはどうか？ など
４）数学で分からないことがあれば、どうする？
それが必須なら勉強するしかないが、大学・学校の勉強と違うのは
分かっている人に教えて貰うとか、分かっている人を雇ってくるとかはあり！
５）そうして、多くの人の協力を得て、システム更新を行うこと
これが、最終目標
”おい、おまえ何をやっているんだ？”（おサルの上司）
”基礎の線形代数の勉強で、4ｘ4の行列式の手計算をしています”（おサル>>6）
って
完全にアホでしょ？
大学・学校の試験を受けるんじゃないんだよね、社会人は！ｗｗｗ
(参考)
URLﾘﾝｸ(www.jma.go.jp)
気象に関する数値予報モデルの種類 気象庁
気象庁では、予報する目的に応じて幾つかの数値予報モデルを運用しています。下表に記載してあるのは、現在、天気・天候の予報に使用している主な数値予報モデルの概要です。目先数時間程度の大雨等の予想には2km格子の局地モデルを、数時間～1日先の大雨や暴風などの災害をもたらす現象の予報には5km格子のメソモデルとメソアンサンブル予報システムを、台風予報や1週間先までの天気予報には約13km格子の全球モデルと約27km格子の全球アンサンブル予報システムを使用しています。全球アンサンブル予報システムは、2週間先までの予報や1か月先までの予報にも使用されています。さらに、1か月を越える予報には、大気海洋結合モデルを用いた季節アンサンブル予報システムを使用しています
気象に関する数値予報モデルの概要
略
URLﾘﾝｸ(ja.wikipedia.org)
数値予報(天気予報)
気象庁における数値予報
気象庁では、1959年（昭和34年）に大型コンピュータIBM704を導入して、数値予報業務を開始した。
2019年12月現在[1]、主要な以下のモデルについて計算を行い、結果を外部に提供している。
脚注
URLﾘﾝｸ(www.jma.go.jp)
^ “数値予報研修テキスト 第52巻 付録A” (PDF). 気象庁 (2019年12月). 2020年8月8日閲覧。
442:１３２人目の素数さん
23/11/26 09:50:15.07 EtUXTn+n.net
>>405 補足
>”基礎の線形代数の勉強で、4ｘ4の行列式の手計算をしています”（おサル>>6）
・線形代数の勉強では、3ｘ3の行列が分かれば、あとはその類推で分かる
・行列式は特殊で、3ｘ3の行列の類推はきかないが、固有値と固有ベクトルが理解できれば、理論上は取りあえずは済む。対角化すれば、行列式は求まるから（下記）
（その後で、行列式の定義も覚えておけば良い）
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
対角化（diagonalization[1]）とは、正方行列を適当な線形変換によりもとの行列と相似な対角行列に変形することを言う。あるいは、ベクトル空間の線形写像に対し、空間の基底を取り替え、その作用が常にある方向（固有空間）へのスカラー倍（固有値）として現れるようにすること
443:。対角化により変換において本質的には無駄な計算を省くことで計算量を大幅に減らすことができる https://ja.wikipedia.org/wiki/%E5%9B%BA%E6%9C%89%E5%80%A4%E3%81%A8%E5%9B%BA%E6%9C%89%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB 固有値と固有ベクトル 線型変換の固有値（英: eigenvalue）とは、零ベクトルでないベクトルを線型変換によって写したときに、写された後のベクトルが写される前のベクトルのスカラー倍になっている場合の、そのスカラー量（拡大率）のことである。この零ベクトルでないベクトルを固有ベクトル（こゆうベクトル、英: eigenvector）という。この2つの用語を合わせて、固有対 (eigenpair) という。 固有値・固有ベクトルは線型変換の特徴を表す指標の一つである。 歴史 現在では、固有値の概念は行列論と絡めて導入されることが多いものの、歴史的には二次形式や微分方程式の研究から生じたものである。 18世紀初頭、ヨハン・ベルヌーイとダニエル・ベルヌーイ、ダランベールおよびオイラーらは、いくつかの質点がつけられた重さのない弦の運動を研究しているうちに固有値問題に突き当たった。18世紀後半に、ラプラスとラグランジュはこの問題をさらに研究し、弦の運動の安定性には固有値が関係していることを突き止めた。彼らはまた固有値問題を太陽系の研究にも適用している[1]。 つづく
444:１３２人目の素数さん
23/11/26 09:50:28.87 EtUXTn+n.net
つづき
オイラーはまた剛体の回転についても研究し、主軸の重要性に気づいた。ラグランジュがこの後発見したように、主軸は慣性行列の固有ベクトルである[2]。19世紀初頭には、コーシーがこの研究を二次曲面の分類に適用する方法を示し、その後一般化して任意次元の二次超曲面の分類を行った[3]。コーシーはまた "racine caractéristique"（特性根）という言葉も考案し、これが今日「固有値」と呼ばれているものである。彼の単語は「特性方程式 (英: characteristic equation)」という用語の中に生きている[4]。
フーリエは、1822年の有名な著書 ("Théorie analytique de la chaleur") の中で、変数分離による熱方程式の解法においてラプラスとラグランジュの結果を利用している[5]。スツルムはフーリエのアイデアをさらに発展させ、これにコーシーが気づくことになった。コーシーは彼自身のアイデアを加え、対称行列の全ての固有値は実数であるという事実を発見した[3]。この事実は、1855年にエルミートによって、今日エルミート行列と呼ばれる概念に対して拡張された[4]。ほぼ同時期にブリオスキは直交行列の固有値全てが単位円上に分布することを証明し[3]、クレープシュが歪対称行列に関して対応する結果を得ている[4]。最終的に、ワイエルシュトラスが、ラプラスの創始した安定論 (英: stability theory) の重要な側面を、不安定性の引き起こす不完全行列を構成することによって明らかにした[3]。
固有値や固有ベクトルの計算に対する数値的なアルゴリズムの最初のものは、ヤコビが対称行列の固有値固有ベクトルを求める手法として（ヤコビの提出したヤコビ法（電子計算機が発明されたときにフォンノイマンが発見したと思われたが実際はヤコビが既に述べていた）、ガウスによる行列の基本変形操作によるヘッセンベルグ形式への還元、などが知られていた）、1929年にフォン・ミーゼスが公表した冪乗法である。今日最もよく知られた手法の一つに、1961年に Francis と Kublanovskaya が独立に考案したQR法がある[12]
(引用終り)
以上
445:１３２人目の素数さん
23/11/26 10:43:40.04 EtUXTn+n.net
>>394 補足
>３）大数学者で物理に関係する仕事もした人
> 佐藤幹夫、ヘルマン・ワイル、ヒルベルト（一般相対性理論）、ガウス、フーリエ（熱伝導の研究からフーリエ級数フーリエ変換へ）、ニュートン（天体物理から微分積分学へ）
そういえば、小平 邦彦先生に年譜で
1938年 - 同学科卒業後[1]、同大学物理学科入学
1941年 - 同大学物理学科卒業[1]、同学科講師[1]
1944年 - 東京帝国大学理学部物理学科助教授[1]
1949年 - 東京大学より理学博士号[1]（論文：「Harmonic fields in Riemannian manifolds（リーマン空間に於ける調和場）」）、プリンストン高等研究所研究員[1]
となっています
物理学も、本格的です
Harmonic は、物理とも関係がある
そして、Weylの目にとまって、プリンストンに来ないかとなったようです
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
小平 邦彦（1915年3月16日[1] - 1997年7月26日[1]）は、日本の数学者。東京都出身。日本人初のフィールズ賞およびウルフ賞受賞者[1]。
年譜
1935年 - 東京帝国大学数学科入学
1938年 - 同学科卒業後[1]、同大学物理学科入学
1941年 - 同大学物理学科卒業[1]、同学科講師[1]
1942年 - 東京文理大学理学部数学科助教授[1]
1944年 - 東京帝国大学理学部物理学科助教授[1]
1949年 - 東京大学より理学博士号[1]（論文：「Harmonic fields in Riemannian manifolds（リーマン空間に於ける調和場）」）、プリンストン高等研究所研究員[1]
1952年 - プリンストン大学数学科准教授[1]
1954年 - 国際数学者会議[7]においてフィールズ賞受賞[1]
URLﾘﾝｸ(ja.wikipedia.org)
Hermann Klaus Hugo Weyl, 1885年11月9日 - 1955年12月8日
数論を含む純粋数学と理論物理学の双方の分野で顕著な業績を残した。20世紀において最も影響力のある数学者であるとともに、初期のプリンストン高等研究所の重要なメンバーであった
調和解析と解析的整数論
URLﾘﾝｸ(en.wikipedia.org)
Peter–Weyl theorem
In mathematics, the Peter–Weyl theorem is a basic result in the theory of harmonic analysis, applying to topological groups that are compact, but are not necessarily abelian. It was initially proved by Hermann Weyl, with his student Fritz Peter, in the setting of a compact topological group G (Peter & Weyl 1927).
URLﾘﾝｸ(en.wikipedia.org)
Harmonic
In physics, acoustics, and telecommunications, a harmonic is a sinusoidal wave with a frequency that is a positive integer multiple of the fundamental frequency of a periodic signal. The fundamental frequency is also called the 1st harmonic; the other harmonics are known as higher harmonics. As all harmonics are periodic at the fundamental frequency, the sum of harmonics is also periodic at that frequency. The set of harmonics forms a harmonic series.
URLﾘﾝｸ(en.wikipedia.org)
Harmonic analysis
446:１３２人目の素数さん
23/11/26 10:44:57.54 EtUXTn+n.net
>>408 タイポ訂正
そういえば、小平 邦彦先生に年譜で
↓
そういえば、小平 邦彦先生の年譜で
447:１３２人目の素数さん
23/11/26 11:14:02.36 EtUXTn+n.net
数学 vs. 物理学
URLﾘﾝｸ(www.saiensu.co.jp)
数学 vs. 物理学, あるいは数学と物理の共鳴 数理科学 NO.587, MAY 2012
伊東 恵一
以前は寺沢寛一先生の教科書で済んでいた数学の教科書に加藤敏夫先生のそれが加わり,今や Reed-Simon の4部作の教科書や A. Connes の非可換幾何のテキストは必要な基礎知識の一つになってしまった.
これに string 理論や, Anderson 局在,量子ホール効果といった現代物理が加わるとそれを統一して俯瞰し, 卓越した業績を残せる人はそれほど多くはない.
多くの数学者, 物理学者がその多くを彼(von Neumann)に負っている。
その意味で竹崎先生が寄稿された原稿の中で von Neumann, Connes から始められ, それを引き継
448:ぐ形で, 河東先生がV.F.R.Jones に触れられたのは極めて自然である https://www.saiensu.co.jp/search/?isbn=4910054690521&y=2012 数理科学 2012年5月号 Ｎｏ.587 解析学と物理学 響き合う数学的方法と物理的思考 内容詳細 物理現象と数学とのつながりを考えると，とりわけ，微分方程式やフーリエ解析，微分形式など解析学が必要かつ重大な役割を果たしています．物理学のより本質的な理解のために解析学を用いることで，しっかりとした物理学の“考え方”が身に付き，またそれまで曖昧で複雑に見えていたものがシンプルで美しいものに見えてくるのではないかと思います．本特集では解析学と物理学のつながりを通して自然法則をより深く理解することを目指していきます． 特集 数学 vs. 物理学，あるいは数学と物理の共鳴 伊東恵一 関数方程式のダイナミクスとスペクトル理論 千葉逸人 古典場とフーリエ解析 磯崎 洋 量子力学と関数解析 廣島文生 解析学で人工原子と光の物理に挑む！ 廣川真男 素粒子論と解析学 伊東恵一 統計力学と確率論 原 隆 電磁気学と代数解析 高崎金久 熱力学極限と漸近解析 ～ ヤング図形の limit shape をめぐる話 ～ 中津了勇 コラム Jhon von Neumann から Alain Connes へ ～ 冨田・竹崎理論を経て ～ 竹崎正道 von Neumann, Connes そして Jones 河東泰之
449:１３２人目の素数さん
23/11/26 11:52:06.96 EtUXTn+n.net
>>405 補足
>４）数学で分からないことがあれば、どうする？
> それが必須なら勉強するしかないが、大学・学校の勉強と違うのは
> 分かっている人に教えて貰うとか、分かっている人を雇ってくるとかはあり！
>５）そうして、多くの人の協力を得て、システム更新を行うこと
> これが、最終目標
>
>”おい、おまえ何をやっているんだ？”（おサルの上司）
>”基礎の線形代数の勉強で、4ｘ4の行列式の手計算をしています”（おサル>>6）
>って
>完全にアホでしょ？
>大学・学校の試験を受けるんじゃないんだよね、社会人は！ｗｗｗ
・4人いて、4人ともが
線形代数 4ｘ4の行列式の手計算できますと言う
・別に4人いて、一人が線形代数、一人が微分方程式、一人が代数学、一人が確率論の専門家
こちらの方が、チームとしては強いと思う、4人のチームワークがとれれば
・後者では、4人がコミュニケーションできるくらい、お互いのレベルと上げていないと行けないが
それは、追加勉強で補うことも可能だろう
・数学科で落ちこぼれて30年
4ｘ4の行列式の手計算を強調するアホさるがいる>>6
社会人の数学と
学生・院生の数学とは違うよ
450:１３２人目の素数さん
23/11/26 11:59:31.38 EtUXTn+n.net
>>411
>・数学科で落ちこぼれて30年
> 4ｘ4の行列式の手計算を強調するアホさるがいる>>6
Excelで、行列の転置・積・逆行列・行列式の計算がサポートされている（下記）
あと、数式処理システムもある
こういうのを、使いながら慣れていくのも、勉強法の一つの
習うより慣れろ だね
URLﾘﾝｸ(bellcurve.jp)
Social Survey Research Information Co., Ltd.
Excel関数による行列の転置・積・逆行列・行列式の計算方法
2017/12/20
Excel 関数による行列の転置・積・逆行列・行列式の計算方法を紹介します。
概要
Excel には行列の転置や積、逆行列の計算を行う関数が用意されています。行列の計算を行う関数は、引数と戻り値が配列（複数のセルからなる範囲）であり、配列数式と呼ばれます。
451:１３２人目の素数さん
23/11/26 12:04:54.51 EtUXTn+n.net
>>412
>Excelで、行列の転置・積・逆行列・行列式の計算がサポートされている（下記）
>あと、数式処理システムもある
>こういうのを、使いながら慣れていくのも、勉強法の一つの
>習うより慣れろ だね
Excelや数式処理システムが使えない時代と
それらが、普通に手元にあって使える時代と
線形代数の勉強法も違っていい
それが分からない 落ちこぼれおサル>>6が喚く
時代錯誤も いいところだ
452:１３２人目の素数さん
23/11/26 12:40:27.64 vZl+GOB+.net
いくら数式処理システムがあっても、数学科が
「中身の計算」を分からないというのはまずいんだよね。
453:１３２人目の素数さん
23/11/26 13:03:56.11 xXvlEitu.net
>>401
超弦理論や素粒子物理では物体の対称性を記述するのに
群の概念が必要になって群の概念を使うから、
群論の基礎が分からない人に超弦理論や素粒子物理は分からない
454:１３２人目の素数さん
23/11/26 13:14:57.33 EtUXTn+n.net
>>413 補足
テンソルを補足します
１）近年（21世紀）のAIキソとして、（情報の）テンソルが使われます。AIで使われている範囲では、おもに数字（データ）の配列です
なので、行列は2次元のテンソルと考えますが
２）一方、歴史的には、テンソルはコーシーが応力テンソルを考えたり
あるいは相対性理論では、4次元時空のテンソルが出てきます。この場合は
共変テンソル ， 反変テンソル など独特の演算が出てきます
３）さらに、「ベクトル」「行列」は、1880年代から20世紀初頭に
ギブスとヘビサイドにより現代ベクトル解析として創始されます
これ（項目３））が、今日学部で学ぶ「線形代数」です
ここらは、私も結構混乱させられましたので
メモ貼っておきます
(参考)
URLﾘﾝｸ(www.sbbit.jp)
2021/07/19 ビジネス＋IT 執筆：フリーライター 三津村直貴
「テンソル」「ベクトル」「行列」とは？ディープラーニングの情報整理のカラクリ
連載：図でわかる3分間AIキソ講座
URLﾘﾝｸ(dyna.geo.kyushu-u.ac.jp)
ベクトルとテンソル（吉田）v7.0 2017/03/27
目次
第1章ベクトル・テンソル解析 3
1.1ベクトルとテンソル.... 3
1.1.1ベクトルの概念に関する簡単な歴史... 3
1.1.1.1 18世紀まで...4
1.1.1.2ハミルトンの四元数... 4
1.1.1.3 19世紀前半～ハミルトンの同時代人.. 6
1.1.1.4グラスマンとコーシー...7
1.1.1.5 1860–70年代... . 9
1.1.1.6ギブスとヘビサイドによる現代ベクトル解析の創始～1880年代から20世紀初頭... 11
つづく
455:１３２人目の素数さん
23/11/26 13:15:11.38 EtUXTn+n.net
つづき
1.1.1.3 19世紀前半～ハミルトンの同時代人
これだけの人々がベクトル的なものを考えたということは、当時の時流としてベクトル的なものが発明される機運があったのだと言える。この中ではグラスマン(Grassmann)がとくに重要なので、グラスマンとそれに関連したコーシー(Cauchy)については、項を改めて述べる。
1.1.1.4グラスマンとコーシーグラスマン(HermannG¨unterGrassmann,1809–1877)は、後から見れば、ハミルトンに比肩するような業績を上げているのだが、同時代人にはあまり評価されず、後のベクトル解析への影響は歴史的にはあまりなかった。しかし、以下に見るように、グラスマンは、ほぼ現代のn次元ベクトル空間と同じものを作り上げている。
コーシー(AugustinCauchy,1789-1857)には、グラスマンは1847年に自著の『線型拡大の理論』を贈っている。その後の1853年にコーシーは「代数的な鍵について」という論文を出している。これはすでにグラスマンが書いていたアイディアに似ていて、外積を利用して代数方程式を解く方法であった。
URLﾘﾝｸ(ja.wikipedia.org)
応力テンソル
応力テンソルは、応力ベクトルの定め方の違いから、真応力テンソル・コーシー応力テンソル、公称応力テンソル・第1パイオラ・キルヒホッフ応力テンソル、第2パイオラ・キルヒホッフ応力テンソルの3種類が定義されておりいずれも（行列の形式で記述できる）2階のテンソルとなる。ただし、これらの応力テンソルに違いが生じるのは有限変形理論に基づいて物体の運動を記述した場合であり、材料力学や応用力学で多用されている微小変位・微小変形の仮定の下では、これらの応力テンソルはすべて真応力テンソルに一致する。
つづく
456:１３２人目の素数さん
23/11/26 13:15:40.10 EtUXTn+n.net
つづき
URLﾘﾝｸ(hooktail.org)
ベクトル解析 物理のかぎしっぽ
URLﾘﾝｸ(hooktail.sub.jp)
テンソルの概念 テンソル代数 物理のかぎしっぽ
ここまでにもテンソルという言葉はちょくちょく出てきましたが，いよいよテンソルの勉強を始めます．添字を使ったベクトルの扱いに慣れていれば，テンソルの計算そのものはそれほど難しくありません．
復習のため，まずスカラーから話を始めます．スカラーとは座標系によらない量ですから，例えば \alpha がスカラーだとすると，どの座標系から見ても \alpha は \alpha です． \alpha には添字も何も付きません．添字の数は 0 です．ふむふむφ（．．）
次にベクトルを思い出しましょう．ベクトルはある座標系の上で \bm{A}=(A^{1},A^{2},A^{3}) のように書けました． i=1,2,3 と略して， A^{i} と書くことができますので，添字の数は 1 です．ベクトルの成分は，座標系に応じて変化します．
最後に， 計量テンソル の記事に出てきた計量テンソル g_{ik} を考えてみます．計量テンソルは次式のようにベクトルをベクトルに変換するものとして定義されていましたが，名前の通りテンソルです．
添字の数が 2 なので，計量テンソルは 二階のテンソル という種類になります．実は スカラーは零階のテンソル ， ベクトルは一階のテンソル なのです．二階のテンソル成分もベクトル同様，座標系に応じて値が変化し，添字の上下によって 共変テンソル ， 反変テンソル などの違いがあります．さらに，上下の添字両方を含むものを 混合テンソル と呼びます．（詳しくは テンソルの一般的表現 を参照してください．）
(引用終り)
以上
457:１３２人目の素数さん
23/11/26 13:35:04.67 EtUXTn+n.net
>>414
>いくら数式処理システムがあっても、数学科が
>「中身の計算」を分からないというのはまずいんだよね。
それに反対はしませんが
１）「中身の計算」を分からないとまずいときに、そのときまでに分かれば良いって事ですね
つまり、数式処理システムで計算する前と後
計算する前に知っておくべき場合もあるだろうし
計算した後に知っておくべき場合もあるだろうし（例えば、のぞみの結果が得られた後で）
どちらでもなく、それはもっと後にして、先に進むもありでしょう
２）どの程度知るべきか？
原理なのか、もっと詳しくシステムの実装なのか？
３）なお、計算精度や検算のためならば
別のシステムを使って、どの程度合うかを見るのもありでしょう
458:１３２人目の素数さん
23/11/26 13:36:26.21 xXvlEitu.net
物理の基礎は、高校までの数学で出来るニュートン力学の
慣性の法則、ニュートンの運動の法則、作用反作用の法則にあるんで
ニュートン力学を微分方程式を中心とした数学で定式化する解析力学や、
ベクトル解析を使って記述する電磁気学などはその後の話
459:１３２人目の素数さん
23/11/26 14:39:49.84 EtUXTn+n.net
>>420
ありがとう
460:１３２人目の素数さん
23/11/26 14:40:14.12 EtUXTn+n.net
>>416
>URLﾘﾝｸ(dyna.geo.kyushu-u.ac.jp)
>ベクトルとテンソル（吉田）v7.0 2017/03/27
新版が出ているな
URLﾘﾝｸ(dyna.geo.kyushu-u.ac.jp)
吉田茂生
URLﾘﾝｸ(dyna.geo.kyushu-u.ac.jp)
地球惑星数理演習
URLﾘﾝｸ(dyna.geo.kyushu-u.ac.jp)
ベクトルとテンソル 2022 年度前期 講義ノート (pdf, 2021/8/10 バージョン)
461:１３２人目の素数さん
23/11/26 15:56:03.75 EtUXTn+n.net
>>420
(参考)
URLﾘﾝｸ(en.wikipedia.org)
Newton's laws of motion
Uniform circular motion
Main article: Circular motion
Harmonic motion
Main article: Harmonic oscillator
Thermodynamics and statistical physics
The Langevin equation is a special case of Newton's second law, adapted for the case of describing a small object bombarded stoch
462:astically by even smaller ones.[64]: 235 https://en.wikipedia.org/wiki/Langevin_equation Langevin equation In physics, a Langevin equation (named after Paul Langevin) is a stochastic differential equation describing how a system evolves when subjected to a combination of deterministic and fluctuating ("random") forces. The fast (microscopic) variables are responsible for the stochastic nature of the Langevin equation. One application is to Brownian motion, which models the fluctuating motion of a small particle in a fluid. Mathematical aspects If a multiplicative noise is intrinsic to the system, its definition is ambiguous, as it is equally valid to interpret it according to Stratonovich- or Ito- scheme (see Itō calculus). Recovering Boltzmann statistics Itô's lemma for the Itô drift-diffusion process {\displaystyle dX_{t}=\mu _{t}\,dt+\sigma _{t}\,dB_{t}} says that the differential of a twice-differentiable function f(t, x) is given by
463:１３２人目の素数さん
23/11/26 18:11:22.91 EtUXTn+n.net
>>396
>数学的現象に対する興味を物理現象に対する興味と取り違えてますな
>数学的興味という動機を実用性の追求という動機と取り違えてますな
確率微分方程式/Stochastic differential equation/Itô calculus
1905年にAlbert Einsteinのブラウン運動の論文が出た
'Langevin' equationsが出て、1940年代に Kiyosi ItôのItô calculusが出た
つまり、物理 Albert Einsteinのブラウン運動の論文に触発されて
確率微分方程式→1940年代に Kiyosi ItôのItô calculus
もろ、物理の影響で”1940年代に Kiyosi ItôのItô calculus”が出た
それが、株式の理論に使われた
これが厳然たる事実です！
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
確率微分方程式
URLﾘﾝｸ(en.wikipedia.org)
Stochastic differential equation
Background
Stochastic differential equations originated in the theory of Brownian motion, in the work of Albert Einstein and Marian Smoluchowski in 1905, although Louis Bachelier was the first person credited with modeling Brownian motion in 1900, giving a very early example of Stochastic Differential Equation now known as Bachelier model.
Some of these early examples were linear stochastic differential equations, also called 'Langevin' equations after French physicist Langevin, describing the motion of a harmonic oscillator subject to a random force. The mathematical theory of stochastic differential equations was developed in the 1940s through the groundbreaking work of Japanese mathematician Kiyosi Itô, who introduced the concept of stochastic integral and initiated the study of nonlinear stochastic differential equations. Another approach was later proposed by Russian physicist Stratonovich, leading to a calculus similar to ordinary calculus.
Terminology
Such a mathematical definition was first proposed by Kiyosi Itô in the 1940s, leading to what is known today as the Itô calculus.
The Itô integral and Stratonovich integral are related, but different, objects and the choice between them depends on the application considered. The Itô calculus is based on the concept of non-anticipativeness or causality, which is natural in applications where the variable is time.
464:１３２人目の素数さん
23/11/26 18:27:32.33 EtUXTn+n.net
>>401
>超弦理論や素粒子物理では物体の対称性を記述するのに
>群の概念が必要になって群の概念を使うから、
>群論の基礎が分からない人に超弦理論や素粒子物理は分からない
ありがとう
下記だね
しかし、「群論の基礎が分からない人に超弦理論や素粒子物理は分からない」
一面正しいが、もう一面は 使われている群は U(1) 、SO(32)、E8 × E8とか
限られているから、これを手がかりに、必要な群論を手っ取り早く勉強するのもありだ
実際、”U(1) 、SO(32)、E8 × E8”を見つけ出す最初の人は、相当苦労したらしい
（もちろん、その苦労に相当する賞賛も得られたらしい）
だが、出来上がった部分を勉強するのは、最初の人の苦労に比して、ずっと楽だよ
(参考)
URLﾘﾝｸ(en.wikipedia.org)
Superstring theory
Number of superstring theories
Type gauge group
Bosonic (open) U(1)
I SO(32)
HE E8 × E8
465:１３２人目の素数さん
23/11/26 18:30:07.96 EtUXTn+n.net
>>425 リンク訂正
>>401
↓
>>415
466:１３２人目の素数さん
23/11/26 19:29:03.76 EtUXTn+n.net
>>425 補足
URLﾘﾝｸ(eman-physics.net)
EMANの物理学 > 物理数学 > U(1) ゆっくりしていってね！
U(1) はこれだけ
U(1) は 1 次元のユニタリ行列の群だ.ユニタリ行列とは言っても 1 次元なのだから成分は一つしかなくて,行列というほどのものではない.ユニタリ行列はUU^{†}=1という条件を満たすわけだが,成分が 1 つなのだから転置しても何も変わらなくて,xx^{*}=1を満たす複素数であればいい.つまり,xは絶対値 1 の複素数.よって U(1) というのはθを実数パラメータとした,
数式 e^iθ
という形のものを集めたものである.なるほど確かに,掛け合わせても絶対値は 1 のままである.これは複素平面上の半径 1 の円の上に乗るので,2 次元回転群 SO(2) と全く同じ構造の群であることが直観的にも分かるだろう.
U(1) と SO(2) は同型である.
SU(1) は面白くない
では,行列式を 1 に制限した SU(1) というのはどんなものだろう？
実はこれを考えるのはほとんど意味が無い.1 次の行列の行列式というのはその成分そのものであり,それを 1 に制限するということは群の要素が 1 しかないということになる.これは単位元のみで構成される「自明な群」と呼ばれるものだ.
弁解
なぜこんな簡単な話をここまで取っておいたかというと,完全なる誤算だ.
この話を最初に持ってきたら単純すぎて意義が分からないだろうと思ったし,しかも複素数なので中途半端に抽象的だときている.
今回の話に絡めてもう少し幾つかの概念を話すつもりでいたが,ここまでの話で出て来てしまった.SU(2) や SO(3) の話が意外に長引いてしまったのも誤算だ.ここまで引っ張るつもりはまるでなかった.
467:１３２人目の素数さん
23/11/26 20:10:43.84 vZl+GOB+.net
>>415の不自由な文章は一見して「おっちゃん」だな。
二行目の
>群の概念が必要になって群の概念を使うから、
というのが不自由な文章の例だが、中身も分かってなさそう。
「物体の対称性を記述する」ために超弦理論や素粒子物理
で群論が必要になるというのは誤解だろう。
「物理法則自体が対称性を持つ」という要請から
群論による対称性の記述が本質的なわけ。
たとえば「物理法則は宇宙の何処でも同じはずである」
これはもっともらしい仮説である、と同時に正しい
とする根拠もまた不明だが、これ自体対称性である。
そしてこの仮説が成立しなければ、宇宙全体に物理学を
適用すること自体無意味となる。
468:１３２人目の素数さん
23/11/26 20:16:40.77 EtUXTn+n.net
>>425 補足
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
ヘテロティック弦理論（ヘテロティックげんりろん、英語: heterotic
469:string theory）とは、ボゾン的な弦理論と超弦理論を組み合わせて作られた理論である。弦理論では、弦の右巻きの自由度の励起と左巻きの自由度の励起はほとんど独立であるため、左巻きの自由度はボゾン弦の定義される26次元の時空に存在し、右巻きの自由度は超対称な弦の定義される10次元に存在すると考えて理論を構築することが出来る。 16次元分の差は、自己双対な偶格子（線形空間の離散部分群）による商空間としてコンパクト化されなければならない。16次元の自己双対な偶格子としては2つの可能性があり、それが2種類のヘテロティック弦理論となる。これらは10次元時空上の理論としては、ゲージ群が異なる。一つはSO(32)（HO弦）で、もう一つはE8×E8（HE弦）である。 10次元で N=1 の超重力理論と結合できるアノマリーのないゲージ群として許されるのは、この2つしかないこともわかる。 ヘテロティック超弦理論は、1985年にグロス、ハーヴィー、マーティネック、ローム（プリンストンストリングカルテットと呼ばれる[1]）によって最初に考え出され、第1次ストリング革命を刺激する仕事の一つとなった。翌年の1986年、ストロミンジャーは超対称性に関する必要十分条件であるストロミンジャー方程式を導出した。1990年代には、HO弦理論（摂動論の範囲では、閉じた弦のみの理論）の強結合極限がタイプI超弦理論（開弦を含む理論）となるが明らかにされた。この関係はS双対性と呼ばれる。一方、HE弦理論の強結合極限はM理論を線分（境界にホジャヴァ＝ウィッテンドメインウォールが存在）でコンパクト化した理論となる。
470:１３２人目の素数さん
23/11/26 20:17:52.93 vZl+GOB+.net
1さんも長々とコピペしても、まったく中身が
分かってなさそう。
物理が分かってないのは勿論として
確率微分方程式が「株式の理論に使われた」？
「株式の理論」って何ですかね？
正確には、株式のオプション価格を求める
ブラック-ショールズ方程式のことでしょう。
ここで重要なことは、「将来の株価」などは
まったく分からない、それどころか株価は
「ランダムウォークする」ということが前提に
なっていること。それにも関わらず、株式の
オプション価格は理論的に定まるというのが
大きな発見なわけ。知らなかったでしょ？
471:１３２人目の素数さん
23/11/26 20:48:32.64 EtUXTn+n.net
>>428
>>>415の不自由な文章は一見して「おっちゃん」だな。
そうか、>>415は おっちゃんか
お元気そうでなによりです。
472:１３２人目の素数さん
23/11/27 00:01:51.27 8V5RY9Fd.net
>>430
>正確には、株式のオプション価格を求める
>ブラック-ショールズ方程式のことでしょう。
>ここで重要なことは、「将来の株価」などは
>まったく分からない、それどころか株価は
>「ランダムウォークする」ということが前提に
>なっていること。それにも関わらず、株式の
>オプション価格は理論的に定まるというのが
>大きな発見なわけ。知らなかったでしょ？
おサルさん？ 早々とご帰還なね？ｗ
１）はっきり宣言しておくが、ブラック-ショールズ方程式と伊藤清氏は、旧ガロアすれで取り上げている
（面倒なので発掘しないけど）
２）その解説間違っている
i)ブラック–ショールズ方程式は、”様々なデリバティブに応用できる”だ。だから、「株式の理論に使われた」で良い
ii)"「将来の株価」などはまったく分からない"は、間違い。ある確率で予測できるという前提だ。しかし、従来は属人的だった
iii)”「ランダムウォークする」ということが前提になっている”ではなく、そもそも将来に対する予言というものは、確率で語るべきもの
iv)"株式のオプション価格は理論的に定まるというのが大きな発見なわけ"も間違い（下記の歴史的背景ご参照）
ポール・サミュエルソンも、ブラウン運動を用いたオプション価格式を導出したが、実用性に乏しいものであったのです
（因みに、サミュエルソンは、ノーベル経済学賞を受賞した知る人ぞ知る経済学の大家）
３）ブラック-ショールズ方程式は、下記の株価は以下の確率微分方程式 dS_{t}=σ S_{t}dW_{t}+μ S_{t}dt で
473:この確率微分方程式を解く手法が、伊藤氏によるものだったってことです (参考) https://ja.wikipedia.org/wiki/%E3%83%96%E3%83%A9%E3%83%83%E3%82%AF%E2%80%93%E3%82%B7%E3%83%A7%E3%83%BC%E3%83%AB%E3%82%BA%E6%96%B9%E7%A8%8B%E5%BC%8F ブラック–ショールズ方程式 ブラック–ショールズ方程式（Black–Scholes equation）とは、デリバティブの価格づけに現れる偏微分方程式（およびその境界値問題）のことである。様々なデリバティブに応用できるが、特にオプションに対しての適用が著名である。 歴史的背景 オプション価格の評価についての研究は長い歴史がある。ファイナンス研究において先駆的な業績を残したことで知られるルイ・バシュリエは1900年に発表された博士論文[5]の中でオプションの評価式を考察していた。しかし、彼の評価式は価格が負になることもありうるために非現実的であった。その後、1961年にCase Sprenkle[6]が、1965年にポール・サミュエルソン[7]が株価変動に幾何ブラウン運動を用いたオプション価格式を導出した。しかしながら、彼らの評価式はオプションの価格評価において、今日で言う所のリスクの市場価格を明示的に表現できなかった為に、実用性に乏しいものであった[8]。 つづく
474:１３２人目の素数さん
23/11/27 00:02:10.31 8V5RY9Fd.net
つづき
ブラックはこの方程式が熱伝導方程式の一種であることには気付かず、解を導出できずにいた。ただ、ブラックはこの方程式について考察を深める中で、株式の期待リターンにワラントの価値は依存しないこと、つまりワラントの価値を決定する上で重要なのは株式全体のリスク（ボラティリティ[注 4]）であることに気付いている[11]。
また、時を同じくして1969年ごろにマサチューセッツ工科大学（MIT）に所属していたマイロン・ショールズとブラックは知り合い、ショールズの紹介によりブラックはMITに職場を移した。そこからブラックとショールズの共同研究が始まり、ワラントの研究から転じたオプションの評価式についての研究は急速に進展した[11]。
同時期にオプション評価式の研究に取り組んでいたマートンとの議論はブラックとショールズの研究に大きな影響を与えている。両者の関係は共同関係であり、またライバル関係であったとブラックは述べている。そのような中でブラックとショールズは伊藤清らにより創始された確率微分方程式の理論とマートンとの議論によってもたらされた複製ポートフォリオの概念を用いて導出されたブラック–ショールズ方程式の解を見出すことに成功した。
マートンは無裁定価格理論の厳密な理論を展開した論文[4]を発表し、さらにブラックとショールズ自身によってブラック–ショールズ方程式の実用性、データに対する当てはまりの良さが検証されたことで、ブラック–ショールズ方程式は不動の地位を確立した[11]。
ブラック–ショールズモデル
時刻 t における株価を St 、債券価格を Bt とする。株価は以下の確率微分方程式に従うとする。
dS_{t}=σ S_{t}dW_{t}+μ S_{t}dt
ここで、Wt は標準ウィーナー過程であり、σ, μ は定数で、σ はボラティリティ、μ はドリフト（英語版）[注 5]である。よって株価は幾何ブラウン運動で表される。
(引用終り)
以上
475:１３２人目の素数さん
23/11/27 00:07:53.65 8V5RY9Fd.net
>>432 タイポ訂正
おサルさん？ 早々とご帰還なね？ｗ
↓
おサルさん？ 早々とご帰還かね？ｗ
476:１３２人目の素数さん
23/11/27 00:34:01.94 JsGS8nwE.net
>>432
>１）はっきり宣言しておくが、ブラック-ショールズ方程式と伊藤清氏は、旧ガロアすれで取り上げている
まったく無駄な宣言。「取り上げた=コピペした」
いくらコピペしても理解してないのなら無意味。
>>434
どうでもいい訂正をするのは「バカと思われたくない！」
という無駄な自意識の表れだが、バカと思われてるのは
そこじゃないから！ ということが分かってない。
477:１３２人目の素数さん
23/11/27 00:36:54.89 JsGS8nwE.net
>i)ブラック–ショールズ方程式は、”様々なデリバティブに応用できる”だ。だから、「株式の理論に使われた」で良い
デリバティブ≠株式。ここで言うデリバティブ≒オプション であって、先物ではありえない。
「株式の価格を予測できる」とか思ってるなら、根本的な誤り。
>ii)"「将来の株価」などはまったく分からない"は、間違い。ある確率で予測できるという前提だ。
「上がるか下がるかはまったく分からない」で正しい。
にも関わらずオプション価格は定まる。
そのことが分かってないなら、まったく分かってないということ。
方程式に「ボラティリティ�