20/01/10 18:25:09.81 jmw8DMZb.net
まず測度空間はwell defined。
意外に難しいけど学部で習うレベル。
利用した≡やCやr(C)なども標本空間上の関数として選択公理を仮定する限り存在する。
選択公理でできた関数は使ってはいかないみたいな意見があるがそんなはずはない。
あるのは選択公理下では否定できない。
では何がダメか。
それはそれらの関数が単なる標本空間上のデタラメな関数ではダメでそれが可測関数にならないといけない事を無視しているから。
そもそも確率論において
P(xxx|yyy)
のxxx,yyyのとこには何を書いてもいいわけではなくそこにはそれらをみたす標本空間上のなす集合が可測集合になるようなものしか許されない。
したがって今回で言えばd(x)のようなものが可測関数として定義できているかが第一の問題。