>>29-30
補足

ここで、時枝の可算無限数列のしっぽの同値類と決定番号について
n→1/n変換とε近傍系の性質を補助的に使って
時枝の可算無限数列の箱を、確率変数と考えて
若干の簡単な定理を書いておく

定理１：（共通のしっぽの存在）
可算無限長の数列のしっぽの同値類で、一つの同値類内の元たちは、共通のしっぽを持つ
（証明）
1.時枝記事（>>26）より
　実数列の集合 R^Nで
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽがとき同値s 〜 s'とする
　念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.
　（ここまでは、時枝記事通り）
2.推移律成立より、s"'があってs"が2015<nなるnより先一致するなら、それはs,s'たちとも、nより先一致する
3.推移律成立より、”nより先一致する”は、同値類内のすべての元で成立する。よって、定理成立