非负可测函数L积分的定义及其等价性.pdfVIP

维普资讯 第 2O卷第 3期 纺 织 高 校 基 础 科 学 学 报 Vo1．2O，No．3 2007年 9月 BASICSCIENCESJOURNALOFTEXTILEUNIVERSITIES Sept．，2007 文章编号：1006-8341(2OO7)O3一O241一O5 非负可测函数 L积分的定义及其等价性 张永锋 (咸阳师范学院数学系，陕西 咸阳712000) 摘要：勒贝格积分理论是实变函数的核心．关于勒 贝格积分有不止一种的定义方法，研究勒贝格 积分的定义方法，证明勒 贝格积分不同定义的等价性 ，对于简化和统一勒贝格积分定义 ，从不同 角度理解和掌握勒贝格积分概念以及灵活运用勒贝格积分具有重要意义．采用分割函数定义域 和分割函数值域以及用简单函数列逼近等方法，研究了非负可测函数勒贝格积分的定义，给出了 非负可测函数勒贝格积分的4种定义，并且仅从所给定义出发，比较初等地证 明了它们的等价 性． 关键词：非负可测函数；勒贝格积分；定义；等价性 中图分类号 ：O174．1 文献标识码 ：A 0 引 言 Lebesgue积分(以下简称 L积分)是实变函数论的中心论题，L积分取代Riemann积分是大学数学教 育改革发展的必然．关于L积分理论的研究，特别是关于L积分定义的研究，研究新的定义方法 以简化 L 积分的定义，证明各种定义的等价性以统一L积分的定义，引起了国内外专家学者的广泛关注，并进行了 许多深人的研究[1_引．文献Ell利用非负可测函数在Elf≤ ]上积分的极限定义了厂(z)在有界可测集E 上的L积分；文献[2]利用非负递增简单函数列积分的极限定义了非负可测函数的L积分；文献[3]给出 了L积分的一种统一定义；文献[4—6]分别证明了测度有限集上有界函数或可测函数L积分几种定义的等 价性． 由于通常将一般可测函数的L积分定义为它的正部与负部两个非负可测函数L积分的差(要求其中 至少一个积分值有限)[7]．因此研究非负可测函数 L积分的定义具有重要意义．本文将研究非负可测函数 L积分的定义方法，给出4种定义，并且仅从所给定义出发，比较初等地证 明它们的等价性．文中可测集与 可测函数均指L可测集与L可测函数，且文中未说明的符号与概念见文献[7]． 1 非负可测函数L积分的定义 定义 l (1)设E是 中测度有限的可测集，厂(z)是E上的有界函数．对E的任一可测分划D 一 {E) (其中E—UEi，各Ei为互不相交的非空可测集)，令 B — supf(x)，b一 inff(x)，记 一‘1 ∈E ‘ z∈Ei 洲z—inf{BtmE )dx—sup{ mE}． 7一 r 如果If(x)dx—lf(x)dx，则称厂(z)在E上L可积，且定义厂(z)在E上的L积分为此共同值． JE _J巨 (2)设E是R 中的可测集 ，，(z)是E上的非负可测函数，记 收稿 日期：2007—01—12 作者简介：张永锋(1957一)，男，陕西省淳化县人，咸阳师范学院副教授．E-mail：zhangyongfeng_2006@163．corn 维普资讯 242 纺 织 高 校 基 础 科 学 学 报 第 20卷 K 一 {(z1，X2，…，X)IIX I≤ ，z，i一 1，2，…，q)，E 一EnK ， (z)一min{厂(z)，，z)． 则定义L积分为If(x)dx—limI厂(