現代数学の系譜工学物理雑談古典ガロア理論も読む60

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む60 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

1: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/02/03(日) 17:27:33.23 ID:BnDtX2yP

この伝統あるガロアすれは、皆さまのご尽力で、
過去、数学板での勢いランキングで、常に上位です。

このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで宜しければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜（＾＾
最近、AIと数学の関係が気になって、その関係の記事を集めています〜（＾＾
いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。

スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。

スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。
興味のある方は、過去ログを（＾＾

なお、
小学レベルとバカプロ固定
サイコパスのピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」）
（参考）http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
（なお、サイコの発言集「実際に人を真っ二つに斬れたら 爽快極まりないだろう」、「狂犬」、「イヌコロ」、「君子豹変」については後述（＾＾； ）
High level people
低脳幼稚園児のAAお絵かき
上記は、お断り！
小学生がいますので、18金（禁）よろしくね！（＾＾

（旧スレが512KBオーバー（又は間近）で、新スレを立てた）

http://rio2016.5ch.net/test/read.cgi/math/1549182453/1

2: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/02/03(日) 17:29:08.53 ID:BnDtX2yP

＜過去スレ＞ （そのままクリックで過去ログが読める。また、ネット検索でも過去ログ結構読めます）
（数学セミナー時枝記事は、過去スレ39 で終わりました。
39は、別名「数学セミナー時枝記事の墓」と名付けます。
High level people は自分達で勝手に立てたスレ28へどうぞ！sage進行推奨（＾＾；
また、スレ43は、私が立てたスレではないので、私は行きません。そこでは、私はスレ主では無くなりますからね。このスレに不満な人は、そちらへ。 http://rio2016.2ch.net/test/read.cgi/math/1506152332/
“時枝記事成立”を支持する立場からのカキコや質問は、基本はスルーします。それはコピペで流します。気が向いたら、忘れたころに取り上げます。）
（が、最近関数論の芽茎層の理論との親和性に気付いたので、後でテンプレに入れます。（＾＾ ）
過去スレリンク集
59 https://rio2016.5ch.net/test/read.cgi/math/1548454512/
58 https://rio2016.5ch.net/test/read.cgi/math/1547388554/
57 https://rio2016.5ch.net/test/read.cgi/math/1546308968/
56 https://rio2016.5ch.net/test/read.cgi/math/1544924705/
55 https://rio2016.5ch.net/test/read.cgi/math/1543319499/
54 https://rio2016.5ch.net/test/read.cgi/math/1540684573/
53 https://rio2016.5ch.net/test/read.cgi/math/1537363981/
52 https://rio2016.5ch.net/test/read.cgi/math/1526384086/
51 https://rio2016.5ch.net/test/read.cgi/math/1518094687/
50 https://rio2016.5ch.net/test/read.cgi/math/1516499937/
49 https://rio2016.5ch.net/test/read.cgi/math/1514376850/
48 https://rio2016.5ch.net/test/read.cgi/math/1513201859/
47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/
46 https://rio2016.5ch.net/test/read.cgi/math/1510442940/ ＜スレ46の422に書いた定理“系1.8 有理数の点で不連続, 無理数の点で微分可能となるf : R → R は存在しない”＞
45 https://rio2016.5ch.net/test/read.cgi/math/1508931882/
44 http://rio2016.2ch.net/test/read.cgi/math/1506848694/
43 http://rio2016.2ch.net/test/read.cgi/math/1506152332/ （だれかが立ててスレ。私は行きません。このスレに不満な人は、そちらへ）

以下次へ

http://rio2016.5ch.net/test/read.cgi/math/1549182453/2

22: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/02/03(日) 17:38:38.68 ID:BnDtX2yP

さてさて、
時枝問題（数学セミナー201511月号の記事）まとめについては
スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/11-67 ご参照！
（ 特に時枝記事アスキー版 スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/18-25 ）

スレ54 https://rio2016.5ch.net/test/read.cgi/math/1540684573/94
94 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2018/11/01(木)  ID:ypCHJLQo
>>89
>「どの同値類が来ても、それに対応する(有限値の)決定番号を準備出来ますよ」
>ということです
>だから決定番号が有限に収まる確率は1になる

突然で、話が見えない人も多いだろうから、簡単に書くと
数学セミナー 2015年11月号 箱入り無数目 時枝 正（下記参考）で

話の前提は、こうだったね
１）可算無限個の箱の列（まあ自然数で１番〜n番までの箱で、n→∞を実現したよと）
２）箱に任意の数を入れる（実数でもなんでも良し。重複も許す）
３）この数列を、列のしっぽの同値類で分類する
４）二つの数列において、ある番号mから先の数列しっぽが一致するとき、mを決定番号と呼ぶ

で、その流儀の説明倣えば
ａ）決定番号が１になる確率（２列の全ての、しっぽの対応する箱の数が、一致する場合の確率）は、０（∵しっぽが可算無限個の箱の列だから）
b）決定番号が２になる確率（２列の２番目以降の全ての、しっぽの対応する箱の数が、一致する場合の確率）は、０（∵しっぽが可算無限個の箱の列だから）
c）以下同様に、決定番号がｋになる確率（２列のｋ番目以降の全ての、しっぽの対応する箱の数が、一致する場合の確率）は、０（∵しっぽが可算無限個の箱の列だから）
d）よって、どの有限な決定番号を考えても、それ以降の全ての、しっぽの対応する可算無限個の箱の数が、一致する場合の確率は、０になります ！！（＾＾ （∵しっぽが可算無限個の箱の列だから）
（参考）
https://www.nippyo.co.jp/shop/magazine/6987.html
数学セミナー 　2015年11月号
　箱入り無数目───────────────時枝 正　36
(引用終り)

ほぼほぼ、時枝は、「ぷふ」さんのおかげで完全終了です！ ＼（＾＾）／

http://rio2016.5ch.net/test/read.cgi/math/1549182453/22

41: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/02/03(日) 17:53:47.28 ID:BnDtX2yP

つづき

（相手の発言）
前スレ58 https://rio2016.5ch.net/test/read.cgi/math/1547388554/650
650 名前：１３２人目の素数さん[sage] 投稿日：2019/01/23(水) 17:52:40.04 ID:69vKfGyL [49/50]
>>648の続きになるが、そういえば君、最初からずっと
こちらの書き込みについて誤読がつづいてたね
途中で「君子豹変」とか言って主張を変えてみたりしながら。
君のクセは大体わかってきたよ
ロクに今までの流れを把握することもなく、その貧弱な読解力で
表面的に他人のレスを1回だけ読んでみて、それで発言の意図や
書き込みの意味が分からなかったら「こいつはバカだ」と言って
相手を批判するというわけだ。君の誤読の中でも最高にヤバイのは

＞全ての箱に同じ数をいれるかどうかは固定とは無関係

これだね。バカじゃないのｗ　一体だれが
「ぜんぶ同じ実数でなければ固定ではない」
なんて言ったんだよｗ「箱の中で転がり続けるサイコロ」というバカな発想を
封印するための最も簡単な手段が「全部π」なのであって、そういう意図で
>>506が書かれていることは>>506周辺の流れを見れば一目瞭然だろうが。
「全部π」と「固定」を機械的に結び付けるからそういう誤読になるんだよ

（相手の発言）
前スレ58 https://rio2016.5ch.net/test/read.cgi/math/1547388554/653
653 名前：１３２人目の素数さん[sage] 投稿日：2019/01/23(水) 18:08:43.45 ID:69vKfGyL [50/50]
>>652
＞おまえみたいな池沼に数学板は無理　もう書き込むな

いやあ、「君子豹変」とか言って途中で
主張を変えてしまうような池沼の発言は一味違うね
君のクセは大体分かってきたと既に書いた
まとめると、君はAI読みしかできず、相手の発言もその前後の文脈もまともに読まず、
それで発言の意図や書き込みの意味が分からなかったら「こいつはバカだ」と言って
相手を批判し、後になって気が変わると堂々と「君子豹変」とか言って
自分の主張を変えるクズだということ
こういう唯我独尊な感じ、アホ主の高圧的な態度にそっくりだね
さすがに君への興味は薄れたというか、「お里が知れた」ので、
もう君の相手は十分かな
(引用終り)

以上

http://rio2016.5ch.net/test/read.cgi/math/1549182453/41

114: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/02/04(月) 23:45:17.02 ID:/k6m2Duw

これ（下記）、考えてみると、深いね〜（＾＾；
円分体から、ずっと先へ、高木、谷山志村、ラングランズとかへ繋がっていくね
大学１、２年は、この問題をしっかり解いておくと、役に立つと思うよ
で、ちょっと書いておくよ（＾＾

＜再録＞
前スレ 58より https://rio2016.5ch.net/test/read.cgi/math/1547388554/795
795 名前：１３２人目の素数さん[sage] 投稿日：2019/01/25(金) 20:04:22.96 ID:9ZTI/ojo [3/3]
おっちゃん（とスレ主）への練習問題
Qを有理数体とする。
Q(a)はQにaを添加して得られる体を表す。
nは3以上の奇数とする。
問1
cos(π/n)∈Q(sin(π/n))　を示せ。
（高校数学の範囲で解ける。多少工夫は必要。）
問2
sin(π/n)はQ(cos(π/n))には含まれないことを示せ。
cos(π/n)=√(1-{sin(π/n)}^2), sin(π/n)=√(1-{cos(π/n)}^2)
という関係があるので、最初のルートは外れるが、2番目のルートは外れないことになる。
（但し、ルートを外すという方向で考えても解けない。）
(引用終り)

カンニングしました(下記)（＾＾；
おっちゃん、やる気ないみたいだから、ちょっと書いておきます
問題紹介ありがとう

＜解答もありますが、その引用は、省いています（＾＾；＞
http://fjmttty.hatenablog.com/entry/2017/08/05/202216
数学雑記
2017-08-05
体論の期末試験(再現)
(抜粋)
問1
(1) Q(2cos2π/7)/QがGalois拡大であることを示し、そのGalois群を求めよ
(2) 2cos2π/7のQ上最小多項式を求めよ
問2 pを奇素数とする。
(1)Q(cos2π/p)/QがGalois拡大であることを示し、その拡大次数を求めよ。
(2)sin2π/p=cos{2π(4-p)}/4pであることを利用し、[Q(sin2π/p):Q]を求めよ。
(引用終り)

つづく

http://rio2016.5ch.net/test/read.cgi/math/1549182453/114

130: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/02/05(火) 07:05:37.45 ID:YkzLfObS

下記引用の時枝で
1　,2　,3　,・・・,n　,・・・→∞
　↓（単位分数に変換します）
1/1,1/2,1/3,・・・,1/n,・・・→1/∞

これで、Bn=(0,ε) | ε=1/(n-1) のε近傍系の概念が使える
ここで、もし、nが具体的な”固定”された自然数に止まるならば、ε近傍系として機能しないことはあきらか
”∀nを考えるべし”だ

つまりは、アキレスと亀と同じで、ある具体的なn1があったとしても、
それに止まらずn1 ＜ n2なるn2を考えなければ、ε近傍系は機能しない

これが、時枝記事の決定番号の正体ですよ〜（＾＾

ある具体的なn1よりも、n1 ＜ n2なるn2の方が、常に出現頻度が高いのだよと
そういう状況で、決定番号の大小比較で確率計算ができるのか？ 確率空間をちゃんと書いて見ろよ、おい！ ｗ（＾＾

スレ59 https://rio2016.5ch.net/test/read.cgi/math/1548454512/837-838
(抜粋)
時枝を考えるのに
1　,2　,3　,・・・,n　,・・・→∞
　↓（単位分数に変換します）
1/1,1/2,1/3,・・・,1/n,・・・→1/∞
が結構気に入っているんだが（＾＾

下記のε近傍系にならって、開区間の族 Bn=(0,ε) | ε=1/(n-1) を考える
スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/19 時枝記事より
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
(引用終り)

https://ja.wikipedia.org/wiki/%E8%BF%91%E5%82%8D%E7%B3%BB
近傍系
例
距離空間の任意の点 x に対して、x を中心とする半径 1/n の開球体の列
{B}(x)={B_{1/n}(x);n∈ {N} ^{*}
は可算な基本近傍系をなす。ゆえに、任意の距離空間は第一可算である。
(引用終り)

一致するしっぽは、Bn=(0,ε) | ε=1/(n-1) の中に入る。
開区間の族であり、同値類はε→∞ の極限を考える必要がある
ところで、{1/1,1/2,1/3,・・・,1/n,・・・→1/∞} ⊂ (0,1] と、数列は半開区間(0,1]の中に表現できる。

同値類でε→∞ の極限を考えるということは、
Bnはどんどん縮小し、
半開区間(0,1] の箱で、ほとんど当たらないということを意味する
(引用終り)

http://rio2016.5ch.net/test/read.cgi/math/1549182453/130

147: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/02/05(火) 11:50:17.17 ID:T/njRROM

>>134 追加

スレ59 https://rio2016.5ch.net/test/read.cgi/math/1548454512/760-761
を、ご参照

数学雑記さん（>>114）http://fjmttty.hatenablog.com/entry/2017/08/05/202216
が、解答の中でやっているのが

ヒント、”sin2π/p ＝（cos{2π/p-π/2}) ＝cos{2π(4-p)}/4p” に注意してなんだけど
ζ4p^(4-p)+ζ4p^-(4-p)で、”sin2π/p=cos{2π(4-p)}/4p”を使っているのですね
分かりやすく書くと
ζ4p^(4-p)+1/ζ4p^(4-p) = 2cos{2π(4-p)}/4p=2sin2π/p
ってことなのですが

で、左辺の{ζ4p^(4-p)+1/ζ4p^(4-p)}を使って、
Q(sin2π/p)を考えようというのが
数学雑記さんの解答で書かれていることですね

gcd(4p,k)=1とか、gcd(4p,4-p)=1とかは、
{ζ4p^(4-p)+1/ζ4p^(4-p)}を使って拡大体を構成するときの、注意点だったと思った

拡大体を、ベクトル空間とみて、基底を定める。そのときに、原始元がすぐ見つかるといい
{ζ4p^(4-p)+1/ζ4p^(4-p)}が、原始元であれば、うれしいと（＾＾
（下記をご参照）

細かいところが、再現できないのが、残念ですが（＾＾
（もうちょっと、カンニングすれば、思い出せそうですが・・）
院試でも受けようという人は、ここは再現できないといけませんよね（＾＾；

http://hooktail.sub.jp/algebra/ExtensionField/
物理のかぎしっぽ
拡大体
(抜粋)
体 F の拡大体 E は， F 上のベクトル空間になっています．

https://ja.wikipedia.org/wiki/%E6%9C%89%E9%99%90%E6%8B%A1%E5%A4%A7
有限拡大
(抜粋)
数学、より正確にはガロワ理論に際して代数学において、有限拡大 (仏: extension finie) は次数有限の体の拡大である、すなわち、体 K の拡大可換体であって、K-ベクトル空間として次元が有限のものである。そのような拡大はつねに代数的である。

動機付け
線型代数学と同様、ガロワ理論は有限次元の方が無限次元よりもはるかに簡単である。原始元の定理は例えばすべての代数体、すなわち有理数体 Q のすべての有限拡大は単拡大であることを保証する。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1549182453/147

160: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/02/05(火) 22:06:47.90 ID:YkzLfObS

>>152　タイポ訂正の訂正

ζ4p^(4-p)+1/ζ4p^(4-p) = 2cos{2π(4-p)}/4p=2sin2π/p
　↓
ζ4p^(4-p)+1/ζ4p^(4-p) = 2cos{2π(4-p)}/4p=2sin2π/4p=2sinπ/2p

Q(sin2π/p)を考えようというのが
　↓
Q(sinπ/p)を考えようというのが

これもとい。訂正の方が間違っていた（＾＾；

いやー、おっちゃんのこと言えんな〜（＾＾；
下記と混同していたな
スレ59 https://rio2016.5ch.net/test/read.cgi/math/1548454512/801
(抜粋)
Q(cos2π/p)とQ(sin2π/p)と問題で
sin2π/p=cos{2π/p-π/2}=cos{2π(4-p)}/4pであることを利用
　↓
この類推で
原問のQ(cosπ/p)とQ(sinπ/p)では
sinπ/p=cos{2π/2p-π/2}=cos{2π(2-p)}/4pであることを利用

とでもして、
ζ4p^(2-p) + 1/ζ4p^(2-p)＝2cos{2π(2-p)}/4p＝2sinπ/p
なので
ζ4p^(2-p)k + 1/ζ4p^(2-p)k
を作って、
OG(sinπ/p)
を作るのでしょうか？

だからOG(sinπ/p)の元を調べて、
2sinπ/p = ζ4p^(2-p) + 1/ζ4p^(2-p)
は、OG(cosπ/p) の外だと言えればいい
(引用終り)

と、自分で書いたのに、ボケとるよなー、おれって・・（＾＾；

で、ζ4p^(2-p)k + 1/ζ4p^(2-p)kが、拡大Q（sinπ/p）の原始元になっていれば、嬉しい
で、繰り返しになるが
数学雑記さん（>>114）http://fjmttty.hatenablog.com/entry/2017/08/05/202216
が、解答の中でやっているように

ζ4p + 1/ζ4p を作ることができれば、これは2cos 2π/(4p)=2cosπ/(2p)
なので、倍角公式で、cosπ/p が出せる

gcd(4p,k)=1とか、gcd(4p,4-p)=1とかに似た話しはどっかで読んだ気がするのだが
{ζ4p^(2-p)k + 1/ζ4p^(2-p)k}を何度も掛けていく（べき乗を作る）と思った・・（＾＾；
ここらの式変形はガウスのDAにあったかもね・・。もし、あったらガウスはほんと天才やね（＾＾
（彼は、19歳でDAをほとんど書き上げたというからね・・）
まあ、もうちょっと、調べてみましょう

確かに、ここらは（円分体は）、いろんな数論の出発点やね・・
知っといて損はない。というか、知っておく方が絶対良いよね

http://rio2016.5ch.net/test/read.cgi/math/1549182453/160

173: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/02/06(水) 07:53:14.46 ID:C0V9I9pS

>>171
円分体は、やっといた方がいいみたい（＾＾；
http://ikagawashii-hitorigoto.blogspot.com/2017/
い加川しいhitorigoto 加川貴章
(抜粋)
20171212
ノイキルヒの本を読むゼミ。円分体での素数の分解がよくわかったところで、次は平方剰余の相互法則を円分体を用いて証明する、という話。うん、円分体に持ち込むと上下がひっくり返せる理由がよくわかる。で来週から局所化の話で、1次元スキームとか出てくるところ。ここは小生苦手にしているので、じっくり勉強させてもらいたい所

2017125
ノイキルヒのゼミから。円分体で素数がどう素イデアル分解されるかなど。わざわざ Z[ζ] が整数環だから、任意の素数の分解は円周等分多項式の分解でわかる、ということでその道筋で示していた。
そんなもん不分岐なのの分解だったらフロベニウス置換の性質を用いれば一発じゃないか、と思ったんだが、代数体でなく一般のデデキント整域で議論を進めているから、(分解群)/(惰性群)が巡回群であることが使えない。
だから円周等分多項式で見なくてはいけない。そうするとえらく難しい。でそこで予習切れ。うーん、ノイキルヒの本は難しいな

20171114
ノイキルヒのゼミ。で今は Q(ζn) の整数環が Z[ζn] であることの証明だったが、n が素数の冪の場合で沈没したらしく、「一般の場合は来週にします」とのことだった。
で40分くらいで終了。円分体の整数環の決定って、何でこんなに難しいんだろう？そもそも [Q(ζn)：Q]＝φ(n) であることも、一般の場合は実に難しい。ちゃんと証明読んでない人も多いんではないかと想像するが、いかがだろうか？
小生？ちゃんと読みましたよ、何種類か。でもその中で特に腑に落ちる証明があったわけではない。これからも学生に色々本を読ませながら、腑に落ちる証明探しの旅を続けよう。

2017117
ノイキルヒの本を読むゼミ。相変わらず進まない。まあヒルベルト理論は難しいし、仕方ないのだ。来週は円分体の話なんで、いくらか分かりやすくなるんじゃないだろうか。ちょっと期待

つづく

http://rio2016.5ch.net/test/read.cgi/math/1549182453/173

210: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/02/07(木) 11:20:18.70 ID:fQeIm3x1

>>203
ここは、小学生も来るので、へんなことを書かないように

>C(α)が有限群のとき

C(α)の定義がない

>C(α)が有限群のとき
>それはcos(απ)+i*sin(απ)が1のべき根であることを意味する。

意味わからん。α∈R（実数）のとき、
「cos(απ)+i*sin(απ)が1のべき根」は、無条件で成立するよね
下記より、任意の複素数でも、OKでしょ？（＾＾
https://ja.wikipedia.org/wiki/%E3%83%94%E3%82%BF%E3%82%B4%E3%83%A9%E3%82%B9%E3%81%AE%E5%AE%9A%E7%90%86
ピタゴラスの定理
(抜粋)
オイラーの公式を用いた証明
三角関数と指数関数は冪級数によって定義されているものとする。（指数法則やオイラーの公式の証明に本定理が使用されない定義であればよい。）まず sin2 θ + cos2 θ = 1 が任意の複素数 θ に対して成り立つことを（3通りの方法で）示す。
(引用終わり)

>a/c+ib/cはガウス数体Q(i)の数だが
>「Q(i)に含まれる1のべき根は1,-1,i,-i の4つしか存在しない」
>ことより、a/c+ib/cは適合しない。

意味わからん
z=a/c+ib/cとして、共役複素数 z~=a/c-ib/c
とすると
zz~=(a/c)^2+(b/c)^2 =1
これを満たすピタゴラス数の組み合わせは、無数に存在するよ
（上記のwikipediaピタゴラスの定理とかどこにでも書いてある通り）
「Q(i)に含まれる1のべき根は1,-1,i,-i の4つしか存在しない」は、不成立だろ？ｗ（＾＾

>C(α)は無限群であり、αは無理数である

これも、C(α)の定義がないから、意味わからんが
拡大体のガロア群の話なら、超越拡大でしょ？　「αは超越数である」とかじゃないの？

以上、繰り返すが、なんか試しているんだろうが
ここは、小学生も来るので、間違ったことを書かないように
うそつきサイコパスになっちゃうよ、あんたも

http://rio2016.5ch.net/test/read.cgi/math/1549182453/210

286: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/02/09(土) 09:01:44.91 ID:c3aU14PB

>>248 補足
>ところで、円分体の理論より、ζ2nは代数拡大であり、Q(i)の元ではない

>>248の証明では、「Q(i)に含まれる1のべき根は±1,±iの4つだけ」は使っていませんよ！！（＾＾

ここは、下記の円分多項式の体Q(i)内での既約性を認めてしまえば、
（円分多項式は、下記永野哲也先生ご参照）
難しい議論は不要

証明の荒筋だけ書くと
円分多項式で、f(x) =Φn(x)
と見慣れた記号に直して

例えば、f(ζn)=0とします (ζnは円分体の根)
もし、ζn∈Q(i)なら
f(x) ＝(x-ζn)g(x) と因数分解できて
（ここに、g(x)＝f(x) /(x-ζn) なる多項式です）
Φn(x)の既約性に反する。

多項式で
f(ζn)=0 → f(x) ＝(x-ζn)g(x) と書けることは、どこにでもある基本事項です
（高校の範囲で、証明もどこにでもありそうですが、省略します）

別に、難しいことは何もない
「円分体のガロア群を計算する」なんて必要はありませんよ（＾＾

http://sun.ac.jp/prof/hnagano/
永野　哲也研 長崎県立大
http://sun.ac.jp/prof/hnagano/houkoku/h26ensyu2-16.html#1602
第16回
(抜粋)
２．円分多項式
　Φn(x)：　１の原始n乗根のみを根にもつ多項式を円分多項式（または円周等分多項式）という。

定義より以下が正しい。
http://sun.ac.jp/prof/hnagano/image/h26ensyu2-16-5.jpg

http://sun.ac.jp/prof/hnagano/image/h26ensyu2-16-6.jpg
１の8乗根を単位円周上に図示すると以下のような z1、z2、z3、z4、z5、z6、z7、z8 である。

http://sun.ac.jp/prof/hnagano/image/h26ensyu2-16-7.jpg
z1、z3、z5、z7　が１の原始8乗根である。
z4　は原始2乗根、z2、z6　は原始4乗根、z8　はもちろん原始1乗根である。
(引用終り)

http://rio2016.5ch.net/test/read.cgi/math/1549182453/286

456: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/02/10(日) 07:03:20.59 ID:6AF3LOKJ

>>441 補足

１．High level peopleのID:ja5oO2W3は、数学は素人らしく、どうも文系で数学が趣味で数学セミナーの時枝記事を読んで、成り立つと盲信しているみたなんだ
　で、過去に確率論の専門家と私が呼ぶ人が来て、このスレに書いていったが、「時枝記事にある非可測集合を使う確率論が問題だ」という指摘を回避するために
　「固定」なる珍妙なことを言い出した。それは、過去スレ28（>>4にリンクがある）で、論じている通り。
　あと、時枝の記事後半に、”独立な確率変数の族を箱に入れる”と当たらないという記述を指摘すると
　”変数は箱に入れられない”とか言い出してね。多分、「固定」なる概念と関連しているようだが、「固定」で一度確定した数字になった数を入れると言っているらしい
　らしいというのは、彼らはきちんと定義を書かないからだがね
　まあ、全く数学の議論にならんよね

２．ID:CxrVcydz は、キチガイだよ、完全にね。数学に落ちこぼれて、性格ゆがんだかな。まあ、言っても無駄
　すぐ、サイコパスと診断がついた。サイコパスについては、>>1に参考URLをアップしておいた
　まあ、自分より下を見つけて叩きたい。叩いて、不遇な落ちこぼ数学科出身という身分のストレス発散をしたいというのだろうね（＾＾
　だが、飛びついた話が、不成立の時枝記事だったから、まさにピエロ。自分がバカ踊りしていることに気付かないのだ
　かつ、どうも選択公理を勘違いして理解しているようで、「時枝記事が成り立たないなら、選択公理が否定される」と初期から喚いていた
　選択公理は、数列のしっぽの同値類の代表を選ぶときのみに使われて、時枝記事は同値類と代表を選ぶ単純な構造で、現代確率論や確率過程論とは無関係というトンデモを語るサイコ野郎なのだ
　時枝記事不成立を、理解するときがいずれ来るのかも知れないが、そのときにどんな顔をするか、見てみたいよ（＾＾；

まあ、共闘で参加してもらうのは結構だが、せめて>>454な
それで、きちんと時枝記事を読んで上で、現代数学の確率過程論と比較対照して時枝を論じるくらいでないと、面白くない
それなら、議論になる余地はある。繰返すが、参加するなら>>454をよろしくね

参加しないなら、キチガイを取締る役代表として
キチガイ取締パトロールをよろしくね

http://rio2016.5ch.net/test/read.cgi/math/1549182453/456

533: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/02/11(月) 08:42:25.02 ID:qyW7buAe

>>523
>あと残っているのは
>”Q(sinπ/p) ＝ Q(ζ4p)∩ R ”が成り立つはずなのだが・・、
>まだ示せていない（＾＾；

やはり、>>520の数学雑記さんが、解答の中でやっているスジか
下記、1の冪根で、sin π/p をζ4p達の中の原始冪根ξpで表現できると
そのときに、下記「n と互いに素な自然数 m に対して ξnm は 1 の原始 n 乗根であり、逆に 1 の原始 n 乗根はこの形に表せる。」
そのことを、gcdで表現している
ようやく思い出した（＾＾

https://ja.wikipedia.org/wiki/1%E3%81%AE%E5%86%AA%E6%A0%B9
1の冪根
(抜粋)
1の冪根、または1の累乗根は、数学において、冪乗して 1 になる（冪単である）ような数のことである。すなわち、ある自然数 n が存在して
z^n = 1
となる z のことである。通常は複素数の範囲で考えるが、場合によっては p 進数のような他の数の体系内で考える場合もある。以下では主として複素数の場合について述べる。
自然数 n に対し、m (< n) 乗しても決して 1 にならず、n 乗して初めて 1 になるような 1 の冪根は n 乗根として原始的 (primitive) であるという。自然数 n を固定せず、1 の原始 n 冪根あるいは 1 の原始 n 乗根として得られる数を総称し、1の原始冪根（いちのげんしべきこん）、または1の原始累乗根（いちのげんしるいじょうこん）という。

1の原始冪根
複素数の範囲では、1 の原始 n 乗根は n ? 3 のとき2つ以上存在する。ド・モアブルの定理より、1 の原始 n 乗根の一つは
ζ n=cos  2π/n + i sin  2π/n
で与えられることが分かる。この時、ζn の共役複素数 ζn も 1 の原始 n 乗根である。n と互いに素な自然数 m に対して ξnm は 1 の原始 n 乗根であり、逆に 1 の原始 n 乗根はこの形に表せる。すなわち、1の原始 n 乗根は、オイラーのφ関数を用いて、ちょうど φ(n) 個存在する。
方程式 x^n = 1 を考える。この方程式の根は、ド・モアブルの定理より、
x=cos  2π k/n+isin  2π k/n (0 <= k <= n-1)
であるが、1 の原始 n 乗根 ξn を一つ選べば、
x=ξn^k (0 <= k <= n-1)
と書くことができる。
根号を用いて表示できること、つまり方程式が代数的にも可解であることはガウスにより証明された。
(引用終り)

http://rio2016.5ch.net/test/read.cgi/math/1549182453/533

710: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/02/12(火) 23:37:47.36 ID:qDZIWDd7

>>709
>＞１．それは、固定の説明であって、数学的な定義になってないわな（＾＾
>何の定義が要ると？
>必要なことは時枝記事にすべて書かれているよ。
>スレ主が読めてないだけ。

笑えるよ
前スレで、「固定」論争があったよね
>>40-41 だよ
テメエの論争した「固定」ってなんだ？ 定義しろよ、低脳
時枝には、「固定」なんて書いてないぞ！

(引用開始)
(ピエロ発言)
＞「君子豹変」
ええ、イヌにはできないことを人間様としてやって差し上げました
そもそもディーラーを持ち出すことに違和感があったのですが
それは「プレイヤーが勝手にやってることをディーラーが知る」
という点にあったと気づいたので、それを明確にしました
あなたは「全部の箱にπを入れる」ことにまだ固執してるようですが
それはあなたが「固定」の意味を誤解したままそれすら認めないから
でしょう　あなたは君子ではない　人ですらない　イヌコロですｗ

（相手の発言）
前スレ58 https://rio2016.5ch.net/test/read.cgi/math/1547388554/650
＞全ての箱に同じ数をいれるかどうかは固定とは無関係
これだね。バカじゃないのｗ　一体だれが
「ぜんぶ同じ実数でなければ固定ではない」
なんて言ったんだよｗ「箱の中で転がり続けるサイコロ」というバカな発想を
封印するための最も簡単な手段が「全部π」なのであって、そういう意図で
>>506が書かれていることは>>506周辺の流れを見れば一目瞭然だろうが。
「全部π」と「固定」を機械的に結び付けるからそういう誤読になるんだよ

＞おまえみたいな池沼に数学板は無理　もう書き込むな
いやあ、「君子豹変」とか言って途中で
主張を変えてしまうような池沼の発言は一味違うね
君のクセは大体分かってきたと既に書いた
まとめると、君はAI読みしかできず、相手の発言もその前後の文脈もまともに読まず、
それで発言の意図や書き込みの意味が分からなかったら「こいつはバカだ」と言って
相手を批判し、後になって気が変わると堂々と「君子豹変」とか言って
自分の主張を変えるクズだということ
(引用終り)

http://rio2016.5ch.net/test/read.cgi/math/1549182453/710

738: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/02/13(水) 13:12:39.01 ID:B03yN3rM

>>737 補足
>字面の”変数”だけで、”定数”だからとか、”変数は箱に入れられない”と論じるから、噴飯ものの議論になるってことよ
>確率過程論の”確率変数の族”の定義読めよ

時枝問題（数学セミナー201511月号の記事）より
スレ35 http://rio2016.2ch.net/test/read.cgi/math/1497848835/12-18
(引用開始)
　私たちのやろうとすることはQのコーシー列の集合を同値関係で類別してRを構成するやりかた(の冒頭)に似ている.
但しもっときびしい同値関係を使う.
実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
〜は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
(引用終わり)

こう文字式を使って書いたとき
s = (s1，s2，s3 ，・・・)
は、数学においては、変数でもあり、定数でもあるのです
数学のコンテキストによって、これ自在に視点を変えることができるのです

例えば、卑近な例で
下記「高校数学.net 文字係数を含む3次関数の最大最小 入試問題にチャレンジ」ご参照

”aは定数である”と書かれているけど、
これ、「aは固定」！ とか言っても解けませんよｗ（＾＾
解答にあるけど、aも変数とみて、場合分けします

つまり、”aを固定しながら、aを動かします”と
まあ、数学ができない女子高生に、

”aを固定しながら、aを動かします”と言っても、
「はぁ？」でしょうね（＾＾

中高一貫校になると、”それ常識でしょ”かな
まあ、「確率変数の族」も、似たようなところがありますです、はい（＾＾；

https://xn--48s96ub7b0z5f.net/3jikansuu-max-min-2/
高校数学.net
文字係数を含む3次関数の最大最小
(抜粋)
入試問題にチャレンジ
区間 0 <= x <= 1において、関数f(x) = -x^3 + 3axの最大値と最小値を求めよ。
ただしaは定数である。
(引用終わり)
（解答もあるが省略しますね）

http://rio2016.5ch.net/test/read.cgi/math/1549182453/738

802: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/02/14(木) 10:44:44.06 ID:qQ2MSV+Q

>>796 追加
>これで、確率1/5です
>これが、確率過程論の結論です
>時枝では、99/100ですか？　それ矛盾ですね（反例です）

確率過程論の
独立同分布 i.i.d. (independent,identically distributed)
を使えば、もっと明白に反例を示せます！（＾＾

スレ59 https://rio2016.5ch.net/test/read.cgi/math/1548454512/612 より
「確率変数X1,X2, ...,Xn が互いに独立で同分布に従う場合はi.i.d. (independent,
identically distributed) と呼ばれ、良く使われる。」
（逆瀬川 P27 重川なら P21）
(引用終わり)

スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/22
数学セミナー201511月号P37 時枝記事より
確率の中心的対象は，独立な確率変数の無限族
X1，X2，X3，…である.
確率変数の無限族は，任意の有限部分族が独立のとき，独立，と定義される
(引用終わり)

ここで、時枝のX1，X2，X3，… を、独立同分布 i.i.d. (independent,identically distributed)
とします。つまり、この”任意の有限部分族がi.i.d. ”です。

一例として、サイコロのランダムな数を、X1，X2，X3，… に入れたとします
どのXiをとっても、数当ての的中確率は1/6です。決して、99/100とはなりません

独立同分布 i.i.d.とは、分かりやすく言えば、来る日も来る日も、昨日も今日も明日も
ずっと、同じようにサイコロを振ると。サイコロは摩耗などの変化はしない

つまり、添え字”ｉ”を、時間という視点で見た時に、ずっと均一で、特異な日はない
ところが、時枝ではあるｉ＝Ｄという日のXiの的中確率が99/100になるという

これは、明らかに確率過程論の結論（時間に対する均一性）に反します
よって、時枝記事のふしぎな戦略に対する反例が、確率過程論のi.i.d.で構成されました
QED

（参考）
http://www.f.waseda.jp/sakas/stochastics/stochastics.pdf/aspText.pdf
「確率過程とその応用」テキスト 逆瀬川浩孝 早稲田大学
https://www.math.kyoto-u.ac.jp/~ichiro/lectures/2013bpr.pdf
2013年度前期 確率論基礎 講義ノート 重川一郎 京大

http://rio2016.5ch.net/test/read.cgi/math/1549182453/802

上下前次 1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.079s