24/02/12 08:32:34.32 aIPiDkR2.net
次に>>182でわかることを述べる
任意の無限列s∈R^Nに対して、その尻尾同値類r(s)及び決定番号d(s)が存在し
n>=d(s)を満たすnについて、sのn番目の項をs[n]、r(s)のn番目の項をr(s)[n]と表すと
s[n]=r(s)[n]となる
そして、>>183でわかることを述べる
無限個の箱を100列に並べて時点で
列s1,…,s100と、その決定番号d(s1),…,d(s100)が定まる
そして、選ばれる箱は
D=max(d(s1),…,d(s100))
d=max(d(s1),…,d(s100)) ※ただし引数からD=d(sk)となるd(sk)は除く
としたとき
s1[D],…,sk-1[D],sk[d],sk+1[D],…,s100[D]
の100個である
そして、箱の中身と代表の対応する項の中身が一致しないのは
sk[d]と、r(sk)[d] (但しd<Dの場合に限る、d=Dならば一致ｂｷる)
しかない
そして上記100個の箱が選ばれる確率はみな1/100であり
それ以外の箱が選ばれる確率は0である