- 496 名前：ることはできないことを意味する（後述）
3）（かなりの部分>>361より再録）
・ある人が問題の数列を作った
調べると、箱の数は(a0,a1,・・an・・)で、調べると
ある超越関数τ(x)の原点0での級数展開の係数と一致した
即ち τ(x)＝a0+a1x+・・anx^n・・ と書ける
・形式的べき級数>>168のしっぽの同値類分類で、
τ(x)と同じ同値類に属する関数をτ’(x)とする
差を作ると τ(x)-τ’(x)＝f(x) と書ける
τ’(x)＝τ(x)-f(x) となる
・しっぽの部分の各項が一致しているからf(x)は多項式だ
この多項式をｎ次式とする。このとき、決定番号はn+1となる （これは、作為（詳細は>>361をご参照））
・ところで、同値類はこのような多項式を全て集めたものだから、多項式環>>189を成す
多項式環を線形空間と考えると、無限次元になる>>189
・さて、出題が、τ’’(x)＝τ(x)+g(x)だったとする
g(x)は、多項式環 無限次元線形空間の元だから、いくらでも大きく取れる
代表元をτ’(x)＝τ(x)+f(x) とする
τ’’(x)-τ’(x)＝g(x)-f(x) となる。この式の次数+1が決定番号だ
上記2）項で示したように、g(x)-f(x) の次数は 出題のg(x)の次数以下に下げることは、基本的にはできない
・だから、決定番号d1,・・d100を全て有限に選ぶことは無作為にはできない
（∵ g(x)の次数は、いくらでも大きく取ることができ、無限次元線形空間の点なのだから、基本は無限大）
次数を下げることは、作為があれば可能だが、それはもう確率論ではない！
・ここらが、時枝記事のトリックですね
以上 [] - [ここ壊れてます]
|
 |
