待分析命题
设 f ( x ) f\left( x \right) f(x)是 R \mathbb{R} R上的连续函数, g ( x ) g\left( x \right) g(x)是 E E E上的可测函数,则 f ( g ( x ) ) f\left( g\left( x \right) \right) f(g(x))是 E E E上的可测函数。
分析过程
由于 g ( x ) g\left( x \right) g(x)是 E E E上的可测函数,根据课本P63的定理3.6(可测函数的逼近定理),存在简单函数列 { φ k } \left\{ {
{\varphi }_{k}} \right\} {
φk}满足 ∣ φ k ( x ) ∣ ≤ ∣ g ( x ) ∣ \left| {
{\varphi }_{k}}\left( x \right) \right|\le \left| g\left( x \right) \right| ∣φk(x)∣≤∣g(x)∣,且使得
lim k → ∞ φ k ( x ) = g ( x ) , x ∈ E . \underset{k\to \infty }{\mathop{\lim }}\,{
{\varphi }_{k}}\left( x \right)=g\left( x \right),\text{ }x\in E. k→∞limφk(x)=g(x),