定理3(非负可测函数积分的几何意义)
设 f ( x ) f ( x ) f(x) 为可测集 E ⊂ R n E \subset \mathbf { R } ^ { n } E⊂Rn 上的非负函数,则
(1) f ( x ) f ( x ) f(x) 是 E E E 上的可测函数的充要条件是 G ( E , f ) G ( E , f ) G(E,f) 是 R n + 1 \mathbf { R } ^ { n + 1 } Rn+1 中的可测集;
(2)当 f ( x ) f ( x ) f(x) 在 E E E 上可测时, ∫ E f ( x ) d x = m G ( E , f ) . \int _ { E } f ( x ) \mathrm { d } x = m G ( E , f ) . ∫Ef(x)dx=mG(E,f).
证明
设 ⩾ 0 , \geqslant 0 , ⩾0, f ( x ) = c ( 带数 ) ⩾ 0 , f ( x ) = c ( 带 数 ) \geqslant 0 , f(x)=c(带数)⩾0, 则
G ( E , f ) = { E × [ 0 , c ) , c > 0 , ∅ ,