定義
設 和 是兩個可測空間, 是 的映射(簡記為: )。如果對於一切 ,有 ,則稱 是 可測映射。
註:有些地方用 表示集類 ,用 表示 可測映射。
相關定義:
設
是實數域,,和分別表示及上的 Borel代數,令是一可測空間,是的映射。如果,則稱是 Borel 可測函式,簡稱可測函式。若進一步只取實數,則稱為實值可測函式。設為複數域,則稱為復值可測函式。性質
性質1
設 和 是兩個可測空間, 為生成 代數的一集類。若 是 的映射,使得 成立,則f為可測映射 。
性質2
設 為可測空間 上的一個數值函式,即取值於 ,則下列條件等價:
(1) 為可測函式
(2)
(3)
(4)
(5)
性質3
上實值(復值)可測函式全體構成實域(復域)上的一向量空間 。
性質4
設 都為 上的可測函式:
(1) 為可測函式
(2) 若 處處有意義,則 為可測函式
(3)若 處處有意義,則 為可測函式