まあ
円周Cのルベーグ測度をμ(C)=1としたとき
これは確率測度を考えていると見なせるから
あながち外してはないのかもね
いずれにせよ
L⊂C
が
θ=2πr for r:有限2進小数
の回転で不変
もっと限定すると
θ=π/2^n for n∈N
の回転で不変のとき
μ(L)=0または1
であることを示せたら>>395
>Kが非可測だと言えることになる