定義.(ほとんどすべて a.e.)
に対する命題が,ある零集合の点を除いては成立するとき
命題はほとんどすべて(almost everywhere)のに対して成り立つ,といい
a.e.
と表す.□
注意.
考える集合が明らかな場合,は省略可能である.□
稠密でかつ零集合であるものも存在していることは前に述べたとおりである.(例えば,有理数全体の集合はかつ)
これぐらい「ぎっちり」と集合に詰まっている点で成り立たなくても,a.e.という言葉を付け加えて成立するとみなそうというわけである.
まさに零集合の魔術というほかない.
簡単だが重要な補題を示す.
補題.
は可測関数とする. a.e. ならば も可測関数である.□
(証明)
a.e. よりある零集合が存在して, in となる.
任意のと任意のに対して
最後の等号はが可測関数であることを用いた.(証明終)
途中零集合を差し引きしている.
これはからによる.