>>474
>まず、{O，1}^Nの測度どうやるの？ｗ
>多分、実数区間[0,1]の2進小数展開と対応づけるのは可能だろうが
>実数区間[0,1]の2進小数展開としてなら、ルベーグ測度は入る
>その後は？ｗ

まず二箇所にｗを入れてますが、これやめましょう
ちっとも笑えないですから

{O，1}^Nを実数区間[0,1]の2進小数展開と対応づけるのはいいアイデアです
まあ、誰でも思いつくことですが、あなたが思いつけたのは喜ばしいことです

で、実は差が有限小数という同値関係を入れることができて
その場合、同値類の代表元の全体が、ヴィタリ型の非可測集合になります
ヴィタリの非可測集合とその非可測性の証明を理解していれば
「差が有理数」のところを「差が有限小数」に置き換えられると気づきます

ほら、全然笑うところじゃないでしょ