19/02/18 13:41:05.62 RUmep2sH.net
>>29
つづき
一致するしっぽは、Bn=(0,ε) | ε=1/(n-1) の中に入る。
開区間の族であり、同値類はε→∞ の極限を考える必要がある
ところで、{1/1,1/2,1/3,・・・,1/n,・・・→1/∞} ⊂ (0,1] と、数列は半開区間(0,1]の中に表現できる。
同値類でε→∞ の極限を考えるということは、
Bnはどんどん縮小し、
半開区間(0,1] の箱で、ほとんど当たらないということを意味する
あと、無限長数列のしっぽの同値類に近い概念が、函数の層の芽だと思う。
>>26-29をご参照
これを、別の視点で見ると
有限長の数列 s = (s1,s2,s3 ,・・・,sn),s'=(s'1, s'2, s'3,・・・,s'n )∈R^n
で考えると、この場合 sn=s'n であれば良いのだった。
ここで、可算無限長にするのに、s1より前に、箱を追加して無限長にすることを考える。
そうすると、しっぽの同値類は、そのまま不変で保って、可算無限長の数列を実現できる
こちらの方が、可算無限長の数列のしっぽの同値類を考えるには適していると思う
上記の開区間の族 Bnを使う場合でも同じだが、
同値類の決定は、しっぽの先の極一部さえ一致していれば良い
だから、しっぽの先の一致が分っても、それから後の胴体部分は、分りようが無い
また、最後の箱を一つ開けると、どの同値類に属するかが分る。
だが、それが分る全てだ。
どの同値類に属するかが分っても、箱の中の数で分るものが増えるわけでなない
それは、s = (s1,s2,s3 ,・・・),s'=(s'1, s'2, s'3,・・・ )∈R^Nでも同じで、
しっぽの箱を開けると、どの同値類に属するかが分る。
だが、それが分る全てだ。
どの同値類に属するかが分っても、箱の中の数で分るものが増えるわけでなないよと
なお、
この視点で考えると、決定番号の概念にも誤魔化しがあって、
例えば2列で大小比較をして確率計算ができるのか?と
そこに疑問符を付けた人がいた(下記)
つづく