たち悪いな
Rは
(と言うより<<で整列させているんだからω1は
か)
非可算集合だから
A={(x,y)|x<<y}⊂R^2
に含まれる可測集合の基底
I×J
でIは有限集合Jは非可算集合
A⊃I×J
から
I⊂[0,x)
J⊂{x,∞)
となるので
P([0,x)×[x,∞))=P([0,x)]P([x,∞))=0・1=0
その可算和でAを近似しようとしても
Iの可算和は可算集合にしかできないから
A全体を表すことは無理
よってAをI×Jを使って表す場合
非可算個のIが必要