この確率空間で決定番号nである実数の集合とは
Fn={(sm)::sm=0 for all m≧n}
En=Fn\Fn-1
であるEnと
代表元の全体Vについて
(Vは(0,0,…)の代表元を除く)
V+En={v+e mod 1::v∈V,e∈E}
に対応する集合Xnのことで
Xn=X0+Dn mod 1(DnはEnに対応する有限2進小数の集合)
となる(X0はVに対応する集合)
X=[0,1]\D
D=ΣDn(直和)={有限2進小数}

X=ΣXn(直和)
かつ
ボレル測度は平行移動で不変なので
X0(Vに対応する集合)
が可測なら
Dnが有限集合かつ
V+En=Σ{V+e::e∈En}(直和)
なので
Xn=X0+Dn
も可測で
P(Xn)=|Dn|P(X0)
よって
1=P(X)=ΣP(Xn)=Σ|Dn|P(X0)=|D|P(X0)
のはずだが
|D|=∞
なのでP(X0)は定義できないすなわち
X0は非可測集合