和非负可测函数的全体分别记为M(X,)和M(X,) R f(x) E {x:f(x)<a}=E1∪E2 注1设(X,)为一可测空间,E是一个可测集.容易知道 E={A:A∈E,A∈界}是一个一代数因此(E,E)是一个可测空间.显然∫是E 上的可测函数当且仅当∫是可测空间(E,E)上的可测函数因此在讨论一般可测函数 的性质时,不妨只讨论定义在全空间上的可测函数 特别地,若可测空间(X,)取为是R”上的 Lebesgue可测空间(R",M(R"),E 是R”中的 Lebesgue可测集,则E上的可测函数称为 Lebesgue可测函数类似地,若可测 空间(x,)取为是R”上的Borl可空间(R”,B(R"),E是R”中的 Borel可测集,则 E上的可测函数称为 Borel可测函数.因此按定义,∫是E上的 Lebesgue可测函数(或者 Borel可测函数,若对任意实数a, {x∈E:f(x) 是 Lebesgue可测集(相应地, Borel可测集)以后 Lebesgue可测函数可以简称为L可测函 数.显然每个 borel可测函数是 Lebesgue可测函数 一般地,设牙和2是X上的两个σ一代数并且c52,则由可测函数的定义知 道,每个5-可测函数都是52-可测函数 例1设(X,)是一可测空间,f(x)≡c是X上的常数函数则∫是(x,)上的可 测函数这是因为对任意实数a a>c {x:f(x)<a}= ②若74 和非负可测函数的全体分别记为 M (X , F ) 和 M ( X , F ). + 图 1 1 注 1 设 (X , F ) 为一可测空间 , E 是一个可测集 . 容易知道 F = {A : A ⊂ E, A∈F } E 是一个σ − 代数. 因此( , ) E FE 是一个可测空间. 显然 f 是 E 上的可测函数当且仅当 f 是可测空间 ( , ) E FE 上的可测函数. 因此在讨论一般可测函数 的性质时, 不妨只讨论定义在全空间上的可测函数. 特别地, 若可测空间(X , F ) 取为是 n R 上的 Lebesgue 可测空间( , ( )) n n R M R , E 是 n R 中的 Lebesgue 可测集, 则 E 上的可测函数称为 Lebesgue 可测函数. 类似地, 若可测 空间(X , F ) 取为是 n R 上的 Borel 可空间( , ( )) n n R B R , E 是 n R 中的 Borel 可测集, 则 E 上的可测函数称为 Borel 可测函数. 因此按定义, f 是 E 上的 Lebesgue 可测函数(或者 Borel 可测函数), 若对任意实数 a, {x ∈ E : f (x) < a} 是 Lebesgue 可测集(相应地, Borel 可测集). 以后 Lebesgue 可测函数可以简称为 L 可测函 数. 显然每个 Borel 可测函数是 Lebesgue 可测函数. 一般地, 设F1 和F2 是 X 上的两个σ − 代数并且F1 ⊂ F2 , 则由可测函数的定义知 道, 每个F1 -可测函数都是F2 -可测函数. 例 1 设(X , F ) 是一可测空间, f (x) ≡ c 是 X 上的常数函数. 则 f 是(X , F ) 上的可 测函数. 这是因为对任意实数a,    ∅ ≤ > < = . { : ( ) } a c X a c x f x a 若 若 X 1 R f (x) a E1 1 2 {x : f (x) < a} = E ∪ E E2 1 4 23 142 3