非负可测函数l积分的定义及其等价性 the definitions of lebesgue integral of non-negative measurable functions and their equivalence.pdfVIP

第20卷第3期 纺织高校基础科学学报 V01．20。No．3 BAsIc uNIVERsITIEs 2007年9月 ScIENcEsJouRNALOFTExTILE Sept．，2007 文章编号：1006—834l(2007)03一0241一05 非负可测函数L积分的定义及其等价性 张永锋 (威阳师范学院数学系．陕西藏阳712000) 摘要：勒贝格积分理论是实变函数的核m．关于勒贝格积分有不止一种的定义方法，研究勒贝格 积分的定义方法，证明勒贝格积分不同定义的等价性，对于简化和统一勒贝格积分定义，从不同 角度理解和掌握勒贝格积分概念以及灵活运用勒贝格积分具有重要意义．采用分割函数定叉域 和分割函数值域以反用简单函数列逼近等方法。研究了非负可测函数勒贝格积分的定叉，给出了 非负可测函数勒贝格积分的4种定义，并且仅从所给定义出发，比较初等地证明了它们的等价 性． 关键词：非负可测函数f勒贝格积分}定义{等价性 中国分类号：O174．1 文献标识码：A O 引 言 育改革发展的必然．关于L积分理论的研究，特别是关于L积分定义的研究，研究新的定义方法以简化L 积分的定义，证明各种定义的等价性以统一L积分的定义，引起了国内外专家学者的广泛关注，并进行了 上的L积分；文献[2]利用非负递增简单函数列积分的极限定义了非负可测函数的L积分；文献[3]给出 了L积分的一种统一定义，文献[4—6]分别证明了测度有限集上有界函数或可测函数L积分几种定义的等 价性． 由于通常将一般可测函数的L积分定义为它的正部与负部两个非负可测函数L积分的差(要求其中 至少一个积分值有限)【7]．因此研究非负可测函数L积分的定义具有重要意义．本文将研究非负可测函数 L积分的定义方法，给出4种定义，并且仅从所给定义出发，比较初等地证明它们的等价性．文中可测集与 可测函数均指L可测集与L可测函数，且文中未说明的符号与概念见文献[7]． 1 非负可测函数L积分的定义 定义1 (1)设E是Ⅳ中测度有限的可测集，，(z)是E上的有界函数．对E的任一可测分划D= {蜀}(其中E 2；Ul E，各E为互不相交的非空可测集)，令Bt。罂矿‘z)，6i2避，(z)，记 “ 一 _ ^ Ei}· J。，(曲如=‘nf{圣B朋日)，丛‘z)如2sup(蚤6，m J￡ “ (2)设E是即中的可测集，，(z)是E上的非负可测函数．记 收稿日期：2007-01—12 万方数据万方数据万方数据 242 纺织高校基础科学学报 第20卷 K。， K．={(zl，z2，…，工。)|I而I≤”，f=1，2，…，q)，E。=En ，_(z)=min{，(-r)，n}- 则定义L积分为J／(z)如2姆JE，^(z)如· 定义2设E是R一中的可测集，，(z)是E上的非负可测函数． (1)若E为有界集，对[o。+o。)上任一分剖 H：O=曲，l…弘…，冀一+。。， 为当^(H．)一。时，；(Ht·力与!(H．，力的共同极限4(此处o≤口≤+。。)． r r JE 一∞J￡。 注 于分割列(H。}的选取而惟一确定