0421132人目の素数さん
2017/05/30(火) 20:25:55.41ID:B7sfy61+> 非可測集合を用いても良いということが、明確になるような議論がありがたいね。
> 「xxだから、非可測集合を用いても良い!」という明言がないのさびしいね
出題者が任意の無限数列を出題することが可能という仮定に含まれる
出題者は非可測集合を用いないと無限数列を一つ指定できない
(数列のシッポの情報がなければ2つの無限数列を区別できない)
サイコロの場合は{1, 2, 3, 4, 5, 6}^N/〜の代表元を用いないと無限数列を一つ指定できない
有理数バージョンの場合は既約分数(互いに素な自然数2つ)を指定すれば良い