補題.(可測関数であるための条件)
関数 に対して次のそれぞれの条件は同値である.
(i)関数 は可測関数である.
(ii)任意の に対して,.
(ii)任意の に対して,.
(iv)任意の に対して,.
(v)任意の に対して,.
すぐ気がつくと思うが,不等号がどのように置き換わっても同値になるのである.
証明については,よく知られているこの話と同じようにすればよい.
例題.
開集合の無限個の共通部分は開集合とは限らないことを示せ.
(例題の証明)
次の開集合列を考える..
.(証明終)
この例題は可算無限個の開集合から閉集合を作り出す手がかりとなる.