>>371 つづき

で、本題(^^
<おちこぼれ達のための補習講座10>
1.<おちこぼれ達のための補習講座9>にあるように、可算無限数列のしっぽによる同値類〜と代表との関係は、形式的冪級数環を、ある一つの形式的冪級数を代表として、そのしっぽ(指数の高い項の一致で)の同値類〜を考えることに同じ。

2.同じ同値類の形式的冪級数二つ
(第m+1項からしっぽが一致するとして)
f =a0+a1*X+a2*X^2+a3*X^3+・・・+am*X^m+ am+1*X^m+1 +・・・
f'=a'0+a'1*X+a'2*X^2+a'3*X^3+・・・+a'm*X^m+ am+1*X^m+1 +・・・

f-f'= (注:多項式になる)
(a0-a'0)+(a1-a'1)*X+(a2-a'2)*X^2+(a3-a'3)*X^3+・・・+(am-a'm)*X^m+ 0*X^m+1 +0*X^m+2 +・・・

なので、f-f'=ΔP(X) とおくと
f'=f−ΔP(X) と表わすことができる

3.fを出題された数列に対応する形式的冪級数、f'を代表に対応する形式的冪級数とすると、決定番号dは d=m+1 つまり、多項式ΔP(X)の次数m プラス1になる
4.素人衆が間違っているのは、各列の決定番号 d=m+1を直接選べるように勘違いしているところだよ。選べるのは、多項式ΔP(X)
5.多項式ΔP(X)を選ぶ場合、例えば任意の2次多項式を選ぶことは、(係数が3つなので)3次元空間の1点を選ぶが如し。
  つまり、任意の3次元空間の1点(a0,a1.a2)を選んだとき、確率1でa2≠0 であり、2次式が1次や0次に退化することはない(1次や0次は零集合)
6.同様に、m次の場合、m+1次元空間の1点を選ぶが如しで、確率1で、より低次元に退化することはない
7.さて、上記より、多項式環において多項式の次数の上限はないから、ある常数Dに対して、多項式環から選んだ100個の多項式の次数、d1,d2,・・・d100 がいずれもD以下になる確率は0

QED
(これは、”無限”が分っていないと、理解できないだろうな。思うに、プロの目から見れば、ここらがネックで、真っ当な数学と認められないのではと思う今日この頃(^^ )

以上