题目:P78,5
已知函数 f f f在 E E E上有定义,且 ∣ f ∣ 2 { {\left| f \right|}^{2}} ∣f∣2在 E E E上可测,试问 f f f在 E E E可测吗?又若还知道 E ( f > 0 ) E\left( f>0 \right) E(f>0)可测,那么 f f f可测吗?
解答
-
不一定。下面举一个反例。
由课本P55的定理2.9,对任意 n n n, R n { {\mathbb{R}}^{n}} Rn中存在不可测集。而我们又发现全集 R n { {\mathbb{R}}^{n}} Rn本身是一个可测集,测度为 m R n = ∞ m{ {\mathbb{R}}^{n}}=\infty mRn=∞。我们不妨记 R n { {\mathbb{R}}^{n}} Rn中存在的这个不可测集为 E 0 { {E}_{0}} E0,规定定义在 R n { {\mathbb{R}}^{n}} Rn上的函数 f ( x ) f\left( x \right) f(x)为
f ( x ) = { 1 , x ∈ E 0 , − 1 , x ∈ R n \ E 0 . f\left( x \right)=\left\{ \begin{aligned} & 1,\text{ }x\in { {E}_{0}}, \\ & -1,\text{ }x\in { {\mathbb{R}}^{n}}\backslash { {E}_{0}}. \\ \end{aligned} \right. f(x)={ 1, x∈E0,−1, x∈Rn\E0.
此时我们有
∣ f ( x ) ∣ 2 = 1 , ∀ x ∈ R n . { {\left| f\left( x \right) \right|}^{2}}=1,\text{ }\forall x\in { {\mathbb{R}}^{n}}. ∣f(x)∣2=1, ∀x∈Rn.
任取实数 a a a,由于
{ x ∈ R n : ∣ f (