>>514
一方[0,1]×[0,1]内のo(r)<o(s),o(r)=o(s),o(r)>o(s)を満たす各集合は共通集合を持たず
o(r)=o(s)(r=s)は、対角線集合だから測度0、
o(r)<o(s)とo(r)>o(s)は対角線で反転させる保測変換で移りあうので測度1/2
これも確率の議論である
(つづき)