关于非负函数勒贝格积分的注记.pdfVIP

2010年 6月 阴 山学 刊 Jun．2010 第24卷 第2期 YINSHANACADEMICJOURNAL v01．24 N0．2 关于非负函数勒贝格积分的注记 穆 勇 (长江大学 信息与数学学院，湖北 荆州434023) 摘 要：要给出一般非负函数勒贝格积分的两个等价定义，并对这两个定义的等价性进行严格的证明，以 此作为非负函数勒贝格积分的注记。 关键词：有界函数；测度有限；可测集；可测函数 ；非负函数；勒贝格积分 中图分类号：0172．2 文献标识码：A 文章编号：1004—1869(2010)02—0010—03 l 引言 关于勒贝格积分，许多读者可能都比较熟悉，但对于本文所要给出的两个等价定义，我个人猜测，也许很 多读者只对其中的一个定义掌握的比较好，而且运用的比较多，而对另外一个定义掌握的略差一些，而且运 用的略微要显得少一些．本文将给出这两个等价定义，并对这两个定义的等价性进行解释，在给出这两个等 价定义之前，先介绍有关的一些预备知识． 2 预备知识 本文是在利用积分区域有限，并且被积函数有界的情况下的勒贝格积分去定义一般的勒贝格积分，为此 要证明一般非负勒贝格积分定义的等价性，有必要将有关积分区域有限，并且被积函数有界的情况下的勒贝 格积分的命题介绍如下： 设E是 上的一个勒贝格可测集，它的测度记为mE．若厂()在E上勒贝格可积，记为J )dx 命题 1：设 )是Ec (P∈N)上的一个有界实函数，是 上的一个勒贝格可测集， 的勒贝格测 度有限(即mE+∞)，则 )在 上勒贝格可积的充要条件为 )在E上勒贝格可测． 命题2：设厂()是Ec (p∈N)上的一个有界实勒贝格可测函数，E是 上的一个勒贝格可测集， 的勒贝格测度有限(即mE+∞)，A和B都是E的可测子集，E=Au ，AnB= ，则I厂()dx=J，()dx +I )dx 丑 命题3：设 )和g(x)都是EcR (P∈N)上的有界实勒贝格可测函数，是 上的一个勒贝格可 测集，层的勒贝格测度有限(即mE+∞)，则 )+g(x)在E上勒贝格可积，且f[ )+g(x)]dx= I ) +lg() ． 命题4：设厂()和g(x)都是EcR叩(p∈N)上的有界实勒贝格可测函数，E是 上的一个勒贝格可 测集，的勒贝格测度有限(即mE+。o)，且 )≤g()则I )dx≤fg()dx． 命题 5：设 )是EcR呻(PEN)上的一个有界实勒贝格可测函数，E是 上的一个勒贝格可测集， 的勒贝格测度有限(即mE+∞)，则 l )l在层上勒贝格可积，且 lJ，()dxI≤JI，()Idx． 收稿 日期：2010—05—20 作者简介：穆勇(1973一)，男，湖北荆~tA-，讲师，研究方向：大学数学。 10 3 主要结论及其证明 下面就将本文所要给出的一般非负勒贝格积分的两个等价性定义介绍如下： 定义 1：设，()是Ec (P∈N)上的一个非负勒贝格可测函数，Vn∈N，E = n {(l，z，…， )IlI≤n，=1，2，n，p}，[戈)]=min{，()，n}，定义J)=~lim~rf()1．ax为 )在 上的勒贝格积分． 定义2：设 )是层上的一个非负勒贝格可测函数，Vn∈N ()是E 上的一个非负有界可测函数， lim E c 川． = E ，V戈 ∈E，序列 {()}(凡∈iv)单调上升， L()= )，定义 ) =