スレタイ箱入り無数目を語る部屋33(あほ二人の”アナグマの姿焼き"Part7ｗ)

>>656
全単射 f:R→[0,1] が存在。
R上の確率測度Pをルベーグ測度μで
P(x):=μ(f(x))（ただしxはR上のルベーグ可測集合族の元）
と定義。このときP(R)=1。