[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む80 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
22(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/04(土)23:45 ID:MNiodNk0(19/21) AAS
>>21
つづき
３）
同値類内の
2つの形式的冪級数の差 Fp-Fp'を作ると、nから先が一致するから
Fp-Fp'＝(s1-s'1)x+(s2-s'2)x^2+(s3-s'3)x^3・・・+0X^n0+0X^(n0+1)+・・・
（シッポの「+0X^n0+0X^(n0+1)+・・・」の部分は、n0次以上の項から係数が0になる意味です。なお、それ以前の係数は0ではない）
省15
23(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/04(土)23:47 ID:MNiodNk0(20/21) AAS
>>22
つづき
５）
このシッポの先に残る係数で0にならない部分は、多項式環R[X] からはみ出す部分です
この多項式環R[X] からはみ出す部分があるから、同値類内の任意の形式的冪級数においては、”Fp'=Fp-p' not∈R[X] ”となります
この多項式環R[X] からはみ出すシッポの部分は、任意の同値類内の形式的冪級数Fp'=Fp-p'が、必ず持っているシッポです
この多項式環R[X] からはみ出すシッポの部分は、決して空集合にはなりえない。∵ 空集合なら、Fp∈R[X] で矛盾です
省14
25(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)00:01 ID:dWKXmW0r(1/27) AAS
>>22 タイポ訂正
2つの形式的冪級数の差 Fp-Fp'を作ると、nから先が一致するから
↓
2つの形式的冪級数の差 Fp-Fp'を作ると、n0から先が一致するから
27(2): 2020/01/05(日)08:37 ID:CpJpHnug(1/11) AAS
>>21-25
長々と解説してるけど…その解説は肝心の
「尻尾の同値類全体に共通する尻尾がある」
の証明にはならないね
証明できるわけない だってウソだからｗ
2chｽﾚ:math
同値類から取り出した有限個の列からは共通の尻尾がとれるが
省1
29(6): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/05(日)09:20 ID:dWKXmW0r(3/27) AAS
>>27
いいんじゃね？
>>21-25で言いたいことは
１．時枝の可算無限数列 は、それを係数とする形式的冪級数として捉えることができる
２．シッポの同値類で、同じ同値類に属する形式的冪級数FpとFp'の差を取って、
多項式 p'=Fp-Fp' で、p'∈R[X] （多項式環）で、n0-1次多項式 ができる
３．Fpを同値類の代表とする
省22
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.049s