17/06/03 02:30:44.36 YbwQeVvS.net
>>571-572
残念だけど選択公理を使って
無限列から決定番号への非可測関数を構築すれば
「箱入り無数目」解法による予測は避けられないよ
逆に
「X1，X2，X3，・・・がまるまる無限族として独立なら絶対に当てられない」
と言い切るなら、必然的に
「実数の全ての集合はルベーグ可測であり選択公理は成立しない」
といわざるを得なくなる
「X1，X2，X3，・・・がまるまる無限族として独立」の定義から
「実数の全ての集合はルベーグ可測であり選択公理は成立しない」が
証明できるのかい？
これはもう測度論じゃなく集合論の問題だな