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

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

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

256: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/06/08(土) 16:38:34.12 ID:e2T0R87W

>>193追加
＜時枝の箱の列→形式的べき級数について＞
１）
（過去スレ19にも書いたことだが）
時枝の箱の列→形式的べき級数 と考えることができる
可算無限個の箱→形式的冪級数の係数 各 ai (i = 0, 1, 2, …) (下記)
とできる
２）
同値類は、例えば
exp(x)=e^x=1+x/(1!)+x^2/(2!)+・・・+x^n/(n!)+・・・という形式的べき級数を考えると
e^xに任意のn次多項式
f(x)=a0+a1x+a2x^2+・・・+anx^n を加える
e^x+f(x)＝(1+a0)+(a2+1/(1!)x+(a2+1/(2!))x^2+・・・+(an+1/(n!))x^n+・・・
なので、e^xとe^x+f(x)は、”ある番号から先のしっぽが一致する”
３）
一方、”ある番号から先のしっぽが一致する”同値類の任意の二つの元、
g(x)とf(x)を取ると、
差g(x)-f(x)は多項式
（∵”ある番号から先のしっぽが一致する”から、しっぽの部分が消えるので。）
４）
よって例えば、e^xによる問題の同値類は、{e^x}＋K[x]と表すことができる。
（ここに、K[x]は下記の多項式環から借用した）
５）
よって、”ある番号から先のしっぽが一致する”同値類の分類は、
実数R に係数を持つ形式的冪級数全体からなる集合 R[[X]] の多項式環R[x]による商集合と見ることができる
（ここでK[x]→R[x]と書き換えた）
６）
同値類の代表は、例えば、e^xで、多項式環R[x]から一つの多項式p(x)を選び、e^x＋p(x)とすることと同値である
７）
決定番号dとは、問題の数列がe^x+p'(x)に相当するとして、
多項式p'(x)の次数をm’、
多項式p(x)の次数をmとして
一般に
d＝1+max(m,m')
となる
ここで、m≠m'と仮定している
（二つの多項式の次数が一致する確率は０として無視する）
つまり、1+max(m,m')より次数の大きな項は、e^xの項そのものなので、二つは一致する

つづく

http://rio2016.5ch.net/test/read.cgi/math/1559830271/256

257: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/06/08(土) 16:40:40.86 ID:e2T0R87W

>>256
つづき

８）
以準備で、時枝の可算無限個の箱→形式的冪級数の係数の対応ができた
（含 同値類及び代表と決定番号）
ここで、もし>>192の”抽象化された時枝解法”が成立つとすると
ある有限の数Dがあって
形式的冪級数
F(x)Σ(n=0～∞) anX^n = a0+a1x+a2x^2+・・・+anx^n +・・・
において
D+1より次数の高い係数たちの情報から
D次の係数 aDが、確率1-εで決められてしまうことになる
これは明らかに矛盾である
よって、形式的冪級数の中に抽象化された時枝解法の反例が構成できた
QED
（＾＾

（参考）
https://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%9A%84%E5%86%AA%E7%B4%9A%E6%95%B0
形式的冪級数
(抜粋)
A を可換とは限らない環とする。A に係数をもち X を変数（不定元）とする（一変数）形式的冪級数 (formal power series) とは、各 ai (i = 0, 1, 2, …) を A の元として、
Σ(n=0～∞) anX^n = a0+a1x+a2x^2+・・・+anx^n +・・・
の形をしたものである。ある m が存在して n >= m のとき an = 0 となるようなものは多項式と見なすことができる。
形式的冪級数全体からなる集合 A[[X]] に和と積を定義して環の構造を与えることができ、これを形式的冪級数環という。

https://ja.wikipedia.org/wiki/%E5%A4%9A%E9%A0%85%E5%BC%8F%E7%92%B0
(抜粋)
体上の一変数多項式環 K[X]
注意すべき点として、多項式には項が有限個しかないこと ?つまり十分大きな k（ここでは k > m）に関する係数 pk がすべて零であるということ? は、暗黙の了解である。多項式の次数とは X k の係数が零でないような最大の k のことである。
体 K に係数を持つ多項式全体の成す集合は可換環を成し、K[X] で表して、K 上の多項式環 (ring of polynomials over K) と呼ぶ。
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1559830271/257

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

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

ぬこの手ぬこTOP 0.035s