TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
RIMS京都大学数理解析研究所
♂♂♂♂♂♂♂♂♂♂♂   生物実験 14
有理数であることも無理数であることも証明できない実数
Inter-universal geometry と ABC予想 53
現代数学の系譜 工学物理雑談 古典ガロア理論も読む57
数学の本 第90巻
軍事機密にされた私が日本数学会事務局宛てに書いた素数の式。
Inter-universal geometry と ABC予想 26
分からない問題はここに書いてね456
分からない問題はここに書いてね444
22 :
>>21
つづき

3)
同値類内の
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ではない)
つまり、p'=Fp-Fp' で、p'∈R[X] (多項式環)で、n0-1次多項式です
上記の式を変形して、Fpと同じ同値類の任意の元Fp'は
Fp'=Fp-p' と書ける
つまり、任意のFp'は、Fpから多項式 p'を引いたものになる
多項式 p'は、下記のwikipedia 多項式環の定義の通り
”多項式には項が有限個しかないこと -つまり十分大きな k(ここでは k > m)に関する係数 pk がすべて零である”です
(なお、R[X] は環だから、任意の和と積の2項演算で閉じているので、R[X]に含まれる多項式の次数nには、上限は無いことを注意しておこう)
そして、p'がR[X] の全てを渡ることで、Fpの同値類が尽くされることにも、注意しておこう

4)
いま、簡単のために、Fpの係数、即ち数列 s = (s1,s2,s3 ,・・・)の各数snたちはどれも0ではないとする。こうしても、一般性は失わなれない
つまり、Fp not∈R[X] かつ Fp ∈R[[X]] ということです
これで、上記の多項式p'が多項式環R[X] の全てを渡っても
必ず Fp'=Fp-p' ≠0 (つまり、Fp'の係数が全て0になることはないということ)
もっと言えば、シッポの先に、係数で0にならない部分が、必ず残るということ

つづく

暗黒通信団 02
現代数学の系譜 工学物理雑談 古典ガロア理論も読む57
座標系の選び方や基底の選び方に依存しないこと
【生保・損保】アクチュアリー資格試験スレ【年金】
現代数学の系譜 古典ガロア理論を読む38
現代数学の系譜 工学物理雑談 古典ガロア理論も読む42
【数学検定】数学検定(数検)総合スレッド Part.13
統計学の分かりやすい本教えろください
現代数学の系譜11 ガロア理論を読む26
経済学は数学を誤用している
--------------------
【禁荒し】大型二輪免許中高年コース(ワッチョイ)【38】
新型肺炎ワクチンまだか?
韓国旅客船事故は日本のせい94
どこのクロッキー会がいいですか?
【まさかの】Syamu_Game第479回オフ会0人【お気持ち表面】
【悲報】自民党、またLGBTで炎上。谷川とむ「同性婚は『趣味』だから法整備は不要」
【ペーパーレス政府】#森法務大臣「決裁は口頭でもOK」 安倍政権、ついに紙すら不要に ★4
【出しゃばりアホオサーン】何処誰【遅すぎる沖縄ブーム】
【日本の恥】脱税野郎ばっかりの野球
HPが魔法の@ランドのバンドは厨房バンドww
SATV 静岡朝日テレビアナウンサー
緋想天スレ
[楽天] VoIP / FUSION & Viber 総合No.5 [電話]
ハゲイケメン
【よさこい】高知県パチンコ店情報21【まちBBS】
箱根駅伝予選会2
ダークソウルVアイテム交換・プロファイル移行スレ
綾子88kg♪です☆バレンタインデーをなくそう運動実施中!!
iPodのほうが音質が良いのにウォークマンを使う理由
シャーロット・ケイト・フォックス12−2
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼