16/05/07 10:24:35.13 7RaU0W0K.net
>>9 つづき
ここからは、前スレで書か無かったことだが
上記Ａ）を使って、
列の長さNの数列を類別するとき、同様に、n'0＝ N とする類別で、>>4の時枝の類別が構成できる
１．>>4の実数列の集合 R^Nで、N=3000とする。
２．つまり、列の長さ3000の数列を類別するとき、同様に、n'0＝ 3000 とする類別で、>>4の時枝の類別が構成できる
３．この場合、最後尾の3000の箱の数の一致をもって、同値類を考えていることになる
４．集合 R^Nを考えて、N=3000の類別を作った。あらゆる実数Rの長さ3000の数列を考えているから、sとs'が1962番目から先が一致する、あるいはs'とs"が2015番目から先一致するなど、s,s', s"のような元が、この類別内に存在することは明らか。
５．s,s', s"は、最後尾の3000の箱の数が一致しているから、同じ同値類に属する。
６．さて、>>4にあるように、sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致するならば、最後尾の3000の箱の数が一致することは明白。
重ねていうが、時枝の>>4の同値類と、上記”列の長さNの数列を類別するとき、同様に、n'0＝ N とする類別”は、同値。
そして、時枝の例示の1962番目、2015番目の推移律に合致する集合 R^Nは、例えばN=3000の有限の長さの数列で実現できる