17/08/03 15:41:58.44 bz3XB80i.net
>>21
>前から思っているんだが、あんた、現代確率論の内側に入れないね～。まあ、ルベーグ積分が分かってないんだね
>おーい、おっちゃんよ、聞こえているか？ 「ルベーグ測度を用いるのに、非可算選択公理は必要ない」だって～（＾＾
>
>これ、どう思う？
おっちゃんです。
ZFの公理系が矛盾しない(以下この命題を P(ZF系) と略記)ということと、実数直線Rの任意の部分集合がルベーグ可測である
(以下この命題を P(ルベーグ可測) と略記)ということの両方が共に正しい(以下この命題を単にPと略記)ことを仮定すれば、
R上の非可測集合Sにもルベーグ測度を入れる操作が数学的に正しくなる。つまり、数学的にはSに確率測度を入れる操作が正しくなる。
P(ZF系) が正しいことだけを仮定する。P(ルベーグ可測) が数学的に正しいとするには、Rの非可測集合Sの存在性が必要になる。
Sの存在性を示すには非可算選択公理に矛盾がないとしてそれが必要になる。
その一方で、P(ルベーグ可測) が正しいことだけを仮定する。そうしても、やはり非可測集合Sの存在性が暗に仮定されていて、
非可算選択公理に矛盾がないとして暗にそれが仮定されている。
だから、P(ZF系) と P(ルベーグ可測) なることの両方が正しい(つまり命題Pが正しい)と主張することは、
ZFCの公理系に矛盾がないとしてそれを仮定して、非可測集合Sもルベーグ可測なることが数学的に正しい
と主張することになる。だが、一般には非可測集合Sはルベーグ可測でない。
ここで、最初の主張には数学的な矛盾が生じることになる。
非可測集合Sにもルベーグ測度による確率測度を入れる操作が数学的に正しいといいながら、
Sはルベーグ可測でないといっていることになる。数学的に確率を考えるには確率空間とその上で定義された確率測度が必要になる。
確率空間は可測集合に確率測度を入れた空間だから、2つの命題 P(ZF系) 、P(ルベーグ可測) が両方正しいとして、
命題Pが数学的に正しいと主張することにはムリがある。命題Pが数学的に正しいとすると数学的な矛盾が生じる。