- 227 名前：) (p-1)/p^(L-1)
P(1) 1/p^(L-1)
>>178
2017/06/24(土) 08:55:22.58ID:iGeIkE/m
有限列モデルでは
最後の箱以外の箱の中身を全て0とした
0…00
0…01
･･･
0…0（p-1）
のp個の列を同値類の代表元にとれます
その際、選択公理は不必要です
---
有限モデルで、決定番号が最大値Lをとるのは
「末尾の箱が同じ記号で、
その直前の箱が代表元と異なる記号の列」
です
つまり有限モデルでは同値類は
末尾の箱の記号でのみ分けることができます
そしてその前の箱の中身はなんでもよいのだから
0･･･0としてもよいことになります [] - [ここ壊れてます]
