数学徒「∞は数じゃない」ルベーグ積分「測度は∞」

>>419
>それはLが2^-nの平行移動（回転）で不変だからたぶん言える
X1={2x]（これは元々mod2）
と
Y=1 for x∈L, 0 otherwise
が独立なのは
P(X1=0,Y=1)
=∫[0≦x≦1/2, x∈L]dμ
=∫[1/2≦x≦1,x∈L(+)1/2]dμ
=∫[1/2≦x≦1,x∈L]dμ
=P(X1=1,Y=1)
だから
あとも全部同様