24/02/15 18:15:23.06 /+tDeogO.net
>>358-359
xの第n+1項以降の元が分かれば、
第1項から第n項まで0とし第n+1項以降がxと同じであるような列yを構成できる
∀x∈R^N,n∈N,∃y∈R^N,∀i∈N( ((i<=n)⇒y[i]=0)∧((i>n)⇒y[i]=x[i]) )
もちろん、xとyは同値である
したがって列xの同値類の代表をr(x)と表すと、r(y)=r(x)である
そして列xの決定番号をd(x)と表すとき
n>=d(x)であるなら、x[n]=r(x)[n]である
100個の列に関する決定番号をd(x1)~d(x100)
自列以外の99列の決定番号最大値をD(x1)~D(x100)
と表す
このとき D(xi)＜d(xi)となるiはたかだか１つである