J=K+J¥K
なので可測なら
1=μ(J)=μ(K)+μ(J¥K)=2μ(K)
でも
I={0,1]から有限2進小数
φ(F(N))={φ(A):A∈F(N)}
除いたJの中に
補集合と同じ形の
μ(K)=1/2
なんて集合あるかしらん
外測度計算したら1にならんかな