20/02/16 11:47:01.67 3HCL8TTE.net
>>607
(引用開始)
>>580
> もっと単純化すれば(いわばgame3)
> 箱が可算無限個あって有限数列全体の集合をAとする
> 有限数列を1つAからえらんで可算無限個の箱の先頭から順に入れていく
> 時枝戦略で空の箱を当てる
この設定を与えたのだけれどね
(引用終り)
それ、実質Sergiu Hart氏 (>>574)の game2と同じでしょ
game2 の有理数で、循環節部分を、全部空=実質的には全部0 としても同じ
つまり、xiの”i”を十分大きく取れって、i+1 以降の数を知って、それらが全て空(又は0)ならば、xiは空(又は0)と推測できて
次に、xiより先頭側のi-1 以前の数を知れば、確かに、xiは空(又は0)と確信が持てる
でも、それって、同値類とか関係ないよね
単なる算数問題
だから、時枝さんの戦略は、同値類を使ったトリックなのです