19/02/18 15:58:51.99 RUmep2sH.net
>>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より先一致する