- 883 名前：１３２人目の素数さん mailto:sage [04/03/05 15:45]
- (A)については
(1)のAは確かに可測でない場合がある。
m(A)=0というのは、
Aが可測であってさらにm(A)=0だといってるんだと思う。
これが成立すればf(x)は可測関数でもある
(2)のほうが普通の定義だと思うね
(2)が成立してもf(x)が可測関数とはいえないから、弱い定義。
P(x) a.e.の意味を普通は
m({x:P(x)でない})=0
ではなくて
∃A:可測集合 m(A)=0かつx∈AでないときP(x)が成立
と定義するのと同じこと
