可测函数的充要条件.docxVIP

可测函数的充要条件 摘要 本文从集E(m)的对测性以及用简单函数与连续函数逼近，给HIT nJ 测函数的等价条件，揭示了可测函数的结构。 关键词可测函数；简单函数；连续函数 可测函数是实变函数论屮的一个重要概念，是建立勒贝格积分的基础。对于可 测函数，我们给出了如下的定义： 定义1设f(x)是可测集E定义的实函数(其值可取±8),如果对于任意实 数a,玖Qa)恒为可测集，则称f(x)为E上的可测函数。 首先，我们利用集的可测性给出函数可测性条件。 定理1设f (x)是可测集E定义的实函数，下列任一条件都是f (x)在E上的 可测的充要条件： 对于任意实数a, E(f^a)都可测; 对于任意实数a, E(fa)都可测； 对于任意实数a, E(fWa)都可测。 证明 E(f2a)与E(fva)对于E是互余的，同样E(fWa)与E(fa)对于E也是互 余的，故在三个条件中，只许证(1)的充要性。事实上，易知 8 1 8 1 E(fa) = \jE(fa + ~) 由第一式一列可测集的交仍为可测集知f (x)可测吋条件(1)成立，由第二 式一列可测集的并仍为可测集知条件(1)成立时f (x)可测。 英次，我们利用简单函数逼近的方法给出函数可测性条件。为此,先给出简单函 数的定义： 定义2设f(x)是定义在可测集上的实函数。如果E可分解为有限个互不相 交的可测集El, E2,…，的并,并