Lebesgue积分的另一种定义
第4章_第一节 Lesbesgue积分的定义及性质
0
1
定理4.1 设ϕ ( x )和ψ ( x )为可测集E上的非负简单函数,则有
(2) ∫ cϕ ( x )dx = c ∫ ϕ ( x )dx (c为非负实数);
E E
(1) 0 ≤ ∫ ϕ ( x )dx ≤ ∞;
E
(3) ∫ (ϕ ( x ) + ψ ( x )) dx = ∫ ϕ ( x )dx + ∫ ψ ( x )dx;
n →∞
limψ n ( x) = f ( x) ≥ ϕ m ( x), ∀m
n →∞
由引理 4.1可得
n →∞
lim ∫ ϕn ( x)dx ≥ ∫ ψ l ( x)dx, ∀l
n →∞ E E
lim ∫ ψ n ( x)dx ≥ ∫ ϕm ( x)dx, ∀m
再对 l , m分别取极限可得 lim ∫ ϕn ( x)dx = lim ∫ ψ n ( x)dx.
令 Ak = { x ∈ Ei | ψ k ( x) ≥ ci − ε } (ε > 0, k = 1, 2, ),
Байду номын сангаасEi
k →∞
Ei
由于{Ak }是递增的可测集列及 limψ k ( x) ≥ ϕ ( x) > ci − ε ( x ∈ Ei ).
k →∞ ∞
则有 mEi =m(∪ Ak )=m( lim Ak )= lim mAk ,
⒉ 一般可测函数积分的性质
⑴零测集上的任何函数的积分为0. ⑵ f(x)可积当且仅当|f(x)|可积（f(x)是可测函数）, 且 | ∫E f ( x )dx |≤ ∫E | f ( x ) |dx
f (x) = f
+
(x) − f
Riemann积分 Lebesgue积分
从Riemann 积分到Lebesgue 积摘 要 积分是整个分析数学中最基本的概念，黎曼积分与勒贝格积分是两种非常重要的积分，它们之间既有区别又有联系。
本文主要通过对黎曼积分和勒贝格积分定义的分析与比较，归纳总结出二者的区别与联系. 关键词 黎曼积分;勒贝格积分;区别;联系一、Lebesgue 积分的引入1、R 积分的定义 设()f x 是定义在[],a b 上的有界函数，任取区间的一个划分T012n a x x x x b =<<<<=将区间[],a b 分成n 部分，在每个小区间1,i i x x -⎡⎤⎣⎦上任取一点ζi ,i =1,2,3,….作和11(ζ)()ni i i i S f x x -==-∑令11max()i i i nr x x -≤≤=-，如果对任意的分发与ζi 的任意取法，当0r →时，S 趋于有限的极限，则称它为()f x 在[],a b 上的黎曼积分，记为()baI R f x dx=⎰如果设=sup{f(x):};=inf{f(x):}则有f （x ）在[a,b]上Riemann 可积1()lim n bi i ar i f x dx M x →=⇔=∆∑⎰=01lim ()nbi i ar i m x f x dx →=∆=∑⎰⇔对任意的ε,η>0,总存在一个划分T ，使得对任意的划分，只要比T 更精细，则有所有振幅≥ε的小区间的长度之和小于ε。
注：振幅为区间内任意两点距离的上确界。
2、Riemann 积分的局限性a 、从Riemann 可积的充分必要条件可看出, 可积性涉及到分割小区间（1,i i x x -⎡⎤⎣⎦）的长度以及函数在其上的振幅（）。
若要函数可积, 则在r 趋于0的过程中（）不能缩小的那些对应项子区间的长度必须是无穷小。
也就是说, Riemann 函数的不连续点可用长度为任意小的区间簇覆盖, 粗略地说, Riemann 可积函数必须是“ 基本上是连续的”b 、积分运算不完全是微分运算的逆运算（微积分基本定理的条件太严） 微积分基本定理在微积分理论中起的重要作用是不言而喻的。
Lebesgue积分与收敛定理
Lebesgue积分与收敛定理Lebesgue积分是数学分析中一种重要的积分方式，它由法国数学家Henri Lebesgue于20世纪初提出，并成为现代测度论的基础。
Lebesgue 积分理论相比于传统的黎曼积分理论更加广泛适用于各种函数，且具有更强的收敛性质。
Lebesgue积分的定义和计算方法相对复杂，但其背后的思想却非常直观。
Lebesgue积分是通过测量函数在定义域上的取值与所谓的测度之间的关系来定义的。
具体而言，给定一个定义在实数轴上的函数f(x)，我们可以将实数轴分割成许多维度无穷小的区间，并在每个区间上计算函数的取值与区间长度的乘积。
然后将所有这些乘积相加，即可得到Lebesgue积分。
与黎曼积分相比，Lebesgue积分的优势在于其更强的收敛定理。
在Lebesgue积分中，我们可以定义函数序列的极限，并通过极限的性质来研究函数的收敛行为。
其中最为重要的收敛定理包括单调收敛定理、Fatou引理、Lebesgue收敛定理和控制收敛定理等。
单调收敛定理是指如果一个递增（或递减）的函数序列在积分定义域上逐点收敛于某个函数，那么它的积分也收敛，并且其积分值等于极限函数的积分。
这一定理在研究一些特殊的函数序列，如三角函数序列和幂函数序列时特别有用。
Fatou引理和Lebesgue收敛定理则是用来研究函数序列的逐点收敛性质的定理。
Fatou引理是指对于任意一个非负的函数序列，其逐点极限的积分不能大于或小于其下极限（上极限）的积分。
Lebesgue收敛定理则是对一般函数序列加以推广的结果，它给出了函数序列逐点收敛的充要条件，并且得出了收敛函数的积分等于极限函数的积分。
控制收敛定理是通过额外的控制函数来研究函数序列的收敛性质。
具体而言，如果对于一个函数序列，存在一个可测函数g(x)和一个可积函数h(x)，使得对于所有的x，序列中的每个函数的绝对值都小于g(x)，并且序列中的每个函数与极限函数之间的差的绝对值都小于h(x)，那么这个序列就称为控制收敛的。
Lesbesgue积分的定义
+∞
）
注：当 ( L) ∫E f ( x)dx 有限时，称f(x)在E上 L可积
( 积分的几何意义： L) ∫E f ( x)dx = mG( E; f )
G ( E; f ) = {( x, y ) : x ∈ E ,0 ≤ y < f ( x)}
2.L积分与R积分的关系 Riemann积分 对定义域作分划
证明参照教材p-102
（2）Lesbesgue积分与Riemann积分的关系 (Lebesgue积分是对Riemann积分的推广)
定理：若f(x)在[a,b]上Riemann可积，则 f(x)在[a,b]上Lebesgue可积，且
( L) ∫
[ a ,b ]
f ( x)dx = ( R) ∫ f ( x)dx
从 而 ∑ m i ( x i −1 − x i ) ≤
i =1
n
∫
[ a ,b ]
f ( x ) dx ≤
∑M
i =1
n
i
( x i −1 − x i )
对上式左、右端关于一切分划各取 上、下确界，即得
∫
[ a ,b ]
f ( x)dx = ∫
b
a
f ( x)dx = ∫
b
a
f ( x)dx
xi-1 xi
例
Dirichlet函数不Riemann可积
D ( x) =
{
0
1
1 x∈[ 0 ,1]∩ Q 0 x∈[ 0 ,1]− Q
处处不连续
Riemann函数Riemann可积
R( x) =
{
1/ q 0
x = p / q∈( 0 ,1) ∩ Q x∈( 0 ,1) − Q
lebesgue积分收敛定理
Lebesgue积分收敛定理是关于Lebesgue积分的收敛性的一个重要定理，它在实分析、复变函数等领域有着广泛的应用。
Lebesgue积分是勒贝格提出的一种广义的积分概念，可以处理一些传统的黎曼积分难以处理的函数，它的收敛性定理对于理解积分的性质，以及在数学分析、概率论等领域的应用有着重要的意义。
Lebesgue积分收敛定理的表述比较复杂，但是在实际的应用中，它对于理解和解决一些重要的数学问题具有重要的意义。
这个定理在分析、概率论、调和分析等领域都有着重要的应用。
下面我们将对Lebesgue 积分收敛定理进行详细的介绍和解释。
一、Lebesgue积分的定义在介绍Lebesgue积分收敛定理之前，我们先来回顾一下Lebesgue积分的定义。
给定一个可测函数$f: \mathbb{R} \rightarrow\mathbb{R}$，我们可以定义其Lebesgue积分为：$$\int_{\mathbb{R}} f(x) d\mu (x)$$其中$\mu$是勒贝格测度，对于可积函数$f$，其Lebesgue积分可以通过分割区间，对每个小区间上的函数值进行积分求和的方式进行定义。
Lebesgue积分的引入和定义是为了克服黎曼积分在处理某些特殊情况下的局限性。
二、Lebesgue积分收敛定理的主要内容Lebesgue积分收敛定理是关于Lebesgue可积函数序列的收敛性的一个重要定理，它有助于我们理解Lebesgue积分的性质，并在数学分析、概率论、调和分析等领域有着重要的应用。
Lebesgue积分收敛定理的表述如下：设$\{f_n(x)\}$是一列在$\mathbb{R}$上的可测函数序列，并且存在一个可测函数$f(x)$，使得对几乎所有$x \in \mathbb{R}$，有：$$\lim_{n \to \infty} f_n(x) = f(x)$$并且存在一个可积函数$g(x)$，使得对几乎所有$x \in \mathbb{R}$，有：$$|f_n(x)| \leq g(x), \quad \forall n$$那么有：$$\lim_{n \to \infty} \int_{\mathbb{R}} f_n(x) d\mu (x) =\int_{\mathbb{R}} f(x) d\mu(x)$$这个定理的主要内容是对于Lebesgue可积函数序列的收敛性进行了严格的描述和证明，它表明了当一个可测函数序列在几乎处处收敛于一个可测函数时，其Lebesgue积分也会收敛于相同的值。
Lebesgue integral
由于对于足够大的n，几乎所有的x都位于B n内，我们便有
对于一个测度为0的系列成立。因此根据μ的可数可加性
。 由于这个结果对于任何正的ε成立，因此定理得证。 其它表达方式 关于勒贝格测度的积分也可以不通过使用整个测度理论引导出来。一个这样的方法是使用丹尼尔积分 。
使用泛函分析的方法也可以发展出积分的理论。任何定义在 （或一个固定的开子集）上的紧支撑连 续函数f都有黎曼积分。从这些积分开始，我们可以建立更一般的函数的积分。设C c 为 上所有实数 值紧支撑连续函数所构成的空间。定义C c的范数为
），很快就产生了对更加广义的求极限手段的要求来定义相应的积分运算。 在实分析和在其它许多数学领域中勒贝格积分拥有一席重要的地位。 勒贝格积分是以昂利·勒贝格命名的，他于1904年引入了这个积分定义。 今天勒贝格积分有狭义和广义两种意义。广义地说是勒贝格引入的在一个测度内的函数的积分理论。 狭义则是指相对于勒贝格测度在实直线的亚域中定义的函数的积分。 引入 在闭区间 a 和 b 之间对函数 f 的积分可以被看作是求 f 的函数图像下的面积。对于多项式这样比 较常见的函数来说这个定义简而易懂。但是对于更加稀奇古怪的函数来说它是什么意思呢？广义地来 说，对于什么样的函数“函数图像下的面积”这个概念有意义？这个问题的答案具有很大的理论性和 实际性意义。 19世纪里在数学中有把整个数学理论放到一个更加坚固的基础上的趋势。在这个过程中数学家也试图 给积分计算提供一个稳固的定义。波恩哈德·黎曼提出的黎曼积分成功地为积分运算提供了一个这样 的基础。黎曼积分的出发点是设立一系列容易计算的积分，这些积分最后收敛于给定的函数的积分。 这个定义很成功，为许多其它问题提供了有用的答案。 但是在求函数序列的极限的时候黎曼积分的效果不良，这使得这些极限过程难以分析。而这个分析比 如在研究傅里叶级数、傅里叶变换和其它问题时却是极其重要的。勒贝格积分能够更好地描述在什么 情况下积分有极限。勒贝格积分所使用的容易计算的积分与黎曼积分所使用的不同，这是勒贝格积分 更加成功的主要原因。勒贝格的定义也使得数学家能够计算更多种类的函数的积分。比如输入值为无 理数时输出值为1，其它情况下输出值为0的狄利克雷函数没有黎曼积分，但是有勒贝格积分。 推导 以下的介绍是遵循最常见的勒贝格积分的介绍进行的。在这个介绍中积分理论分两部分：
Lebesgue积分的定义及初等性质
f
)
≤
S(DA,
f
)
≤
A
f
( x)dx
+
ε 2
，
∫ ∫ B
f
( x)dx
−
ε 2
≤
s(DB ,
f
)
≤
S (DB ,
f
)
≤
B
f
( x)dx
+
ε 2
.
81
令 DE = DA ∪ DB ，则 DE 是 E 的分划，将上两式相加得
∫ ∫ f (x)dx + A
B
f (x)dx − ε
≤ s(DA, f ) + s(DB , f )
∫ ∫ 共同值为 f (x) 是 E 上的（L）积分，记为 E f (x)dx 或 E f (x)dm .
以上是 Rq 中测度有限可测集上有界函数的（L）积分定义.我们看到它在形式上同 R 积
77
分完全类似.除了“积分区域”更一般之外，主要不同之处在于采用的测度和分划的不同.
定理 5. 2. 2 设 f (x) 是 E ∈ Lq (mE < ∞) 上的有界函数，则 f (x) ∈ L(E) ⇔ 对
由 ε > 0 的任意性，故
−
∫ E f (x)dx − ∫ E f (x)dx = 0 −
−
∫ ∫ “ ⇒ ”设 E f (x)dx = E f (x)dx ，由上、下积分的定义，∀ ε > 0. ∃分划 D1 ，D2 使 −
∫ ∫ S(D1,
f
)
−
−
E
f
( x)dx
<
ε 2
，
−
E
Lebesgue积分思想简介.pdf
Lebesgue积分思想简介数学与信息工程系数学与应用数学 2012级吴茂岚指导老师柳彦军摘要：实变函数论的创立是为了克服牛顿和莱布尼茨所建立的微积分学存在的缺点，黎曼积分的积分对象是连续函数和“基本连续”函数。
而许多现实问题中遇到的函数并不具有这种特性。
另外，黎曼积分在处理积分与极限交换次序、重积分交换次序等问题时对条件的要求过于苛刻，一般来说是不容易被满足的，这就使得黎曼积分在解决具体问题时受到很大的限制。
虽然黎曼积分在微积分学领域的重大贡献是无可替代的，但摆脱各种条件的限制，使得运算变得灵活是数学家们一直以来追求的目标。
关键词：Riemann积分，实变函数，微积分Abstract：The foundation of the real variable function theory is to overcome the shortcomings of the Newton and Leibniz's calculus. The integral object of the Riemann integral is the continuous function and the "basic continuous" function. And many of the real problems encountered in the function does not have this feature. In addition, the Riemann integral in the process of integral and limit exchange order, the weight of the exchange sequence and other issues of the requirements of the conditions are too harsh, generally speaking, is not easy to be satisfied, which makes the Riemann points in solving the specific problem is very limited. Although the Riemann integral calculus in the field of major contribution is irreplaceable, but get rid of the limitation of various conditions, making the operation more flexible is mathematicians have been pursuing the goal of. Key word:Riemann integral, Real variable function,calculus一、引言Lebesgue在发表于1902年的经典论文《积分、长度与面积》与随后出版的两部论著《论三角函数》和《积分与原函数的研究》中第一次阐述了测度理论与积分思想。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
５ ６
高 等 数 学 研 究
２ １ 牟 ７月 ０Ｉ
Ｍ 一 ｓ ｐ － ｚ ： ∈ Ｅ ） ｕ ｛ （ ）Ｘ 厂 ， ｍ 一 ｉｆ， ） Ｘ ∈ Ｅ ） ｎ｛ （ ： ，
若令
Ｎ
Ｈ — Ｕ ， Ｅ
则 称
Ｍ ＝１ ＋ｍａ （ ： ｘ￣ ｋ一 ３４ …， ， ，， Ｎ｝
第 １ ４卷 第 ４期
２１ ０ １年 ７ 月
高 等 数 学 研 究
Ｓ ＴＵＤＩ Ｎ ＥＳ Ｉ Ｃ０ＬＬＥ ＧＥ Ｍ ＡＴＨ Ｅ ＡＴＩ Ｍ ＣＳ
Ｖｏ ． ４， ． １ １ Ｎｏ ４
Ｊ１ ｕ．，２ １ ０ １
Ｌ ｂ ｓ ｕ 积 分 的 另 一 种 定 义 ｅ ｅｇ ｅ
王 漱 石
函数 厂 且 ，
Ｐ（ ）≠ ． 厂
基金项 目； 国家 特 色 专业 建 设 点 “ 学 与 应 用 数学 ” 国家 精 品课 程 “ 数 ； 复 变 函数 ”浙 江 省 新 世 纪教 改 项 目（ Ｂ ７ Ｏ ，ｃ ９ ６） ｆ Ｙ ０ １９ Ｚ ００ ３． 作 者 简 介 ： 漱 石 （９ ０－） 男 ， 江 平 湖 人 ， 授 ， 要 从 事 算 子 理 王 １４ － ， 浙 教 主
． ．
｛ 一
）＜ — 二 １＋ ２
—
。
ｍ
Ｈ ・
再 令
Ｅ１一 Ｅ１ Ｅ２＝ Ｅ２ ， ，
并在 ３≤ ｋ≤ ＋ ２时令
Ｅ＾一 ｛ ∈ Ｈ ： ３≤ 厂（ ）＜ 卜２ Ｘ ｚ ），
ｏ 。＜ （ ） Ｓ 厂 ＜ ＋ 。 ． ， ≤ （） 。 （ ）一 Ｓ ， ， ， （ ）
而 （ ） ｚ 和 （ ） 是 Ｅ上 的 可测 函数 ， 厂 ｚ 也 在 ｚ都 故 （）
Ｅ上 可测 ．
Ｍ｛ 一 ｓ ｐ 厂 ） Ｘ ∈ Ｅ ） ， １ ） ｕ｛（ ： ｌ ，
ｍ ＝ ｉｆ， ） Ｘ∈ Ｅ ） 在 Ｅ 上 定 ｌ ｎ（ （ ： ｌ ． 义 函数 （ 和 （ ）如下 ： ） ｚ
那 么
∑ ｍ ∑ 矾 ≤ Ｅ ＋２
＾ ３ ＝ Ｎ＋ Ｉ
∑
， １ ｜ 一
＜ 。 ＋。，
一
× Ｈ ２ ｝＜号 号一 ． ｍ＋× 十 ｅ
故 ， ｚ 在 Ｅ上 （ （） Ｌ）可 积．
其中
ｊ 一 ｓ ｐ ｌ （ ）｛ｚ ∈ （ ｕ｛，ｚ ： ） ．
不妨设
ａ ｄｔｅｐ ｒｍｅｅｓｉ ｈ ｏ ｍｕａｓｔ ｆ （ ＋ ｎ ） ｍ ｎ ｈ ａａ ｔｒ ｔ ｅｆｒ ｌ ａｉ ｙ ｍｔ ｎ ｓ ｓ （ ｓ— ｎ）Ｉ ｍ ｓ．Ａ ｌｓ ｆｔ ｅｐ ｉ ｔ ｅ ｔ ｎｔ ２ ｃ ｓｏ ｈ ｒ ｉ ａ ｍｉ ｖ
Ｅｖ ｎ ｒａ ｇｅ ｒ ｂ ａｎ ｄ ｗｈ ｎ ｍ — ｓ ｋ，”一 ｋ一 １ — ｋ＋ １（ ａ ｓ ｉｎ ｌｓａ ｅｏ ｔ ｉ ｅ ｅ ｔ — ，ｔ 愚∈ Ｎ ＋，ｋ≥ ２ ｒ ｅ ｕｒ ｄ ）ａ ｅｒ ｑ ｉｅ
而对 任意 Ｐ≥ １ 令 ，
Ｅ 神２ ｐ ＝ Ⅳ ｐ ＋ ＋ ．
如 果 由此 可 得
则称 函数 ，在 Ｅ上 （ 可 积 ， 量 厂 和 Ｓ 厂 Ｌ） 称 （） （ ）的共
同值 为 ，在 Ｅ 上的 Ｌ ｂ ｓ ｕ 积分 ， ｅ ｅｇ ｅ 记作
ｒ
Ａ ＝ Ｅ女 ＝ ＝｛ ｝
∈ Ｐ（ ）， 厂
ｗｉｈ Ｃ ａ ｔ ｍ ｌｎｅ ｉ ｈａ ｈｅ ｔ ｅ ｄｇ ｓ ａ ｅ ｏｂ ａ ｎ ｄ ｂｙ ｔ ｉ ｔｖ ｅ ｏ ｒ ａ ｏ ｍｕ ａ， ｔ ｓ ｉｓ ｈｅ ｉ ｓ ｔ ｔｔ ｈｒ ｅ ｅ ｅ ｒ ｔ ｉ ｅ ｈｅ ｐｒｍｉｉ ｅ Ｈ ｒ ｎ ａ ｒ ｙ ｆ ｒ ｌ
若记
ｌ— ｉｆ ，（ ｎ ｛ ）：ｚ ∈ Ｅｋ ， ）
（ Ｉ，（ ）ｘ Ｌ） ｚｄ．
Ｊ 丘
舰 一 ｓ ｐ － ） ∈ Ｅ ） ｕ｛（ ： 厂 ＾， 则 有
０≤ ｓ（ 厂）一 （ ，）＝ △， △， ＝ ：
定理 １ 设 有 可测集 Ｅ Ｒ ， 其上 的一个 实 及
函数 厂， ，在 Ｅ上 （ 可 积 的充要 条 件是 厂为 Ｅ上 则 Ｌ） 的可测 函数且 Ｐ（ ） 空 ． 厂 非 证 明 充分 性． 厂 ｚ 在 Ｅ上可 测且 Ｐ（ ） 设 （） ， 非
ｎ篇 １
其 中每个 Ｅ 可测 ， 且
Ｂ — ｊ （ ｎＥ ２ 『 忌≠ ７ ， ｚ ）
收 穰 日期 ： ０ ９ ０ ２ ０ — ６— ２ ｌ 改 日期 ：０ １ ０ ８修 ２ １ — ６— ０ ． ５
的分法 的全 体所 成之 集 记为 Ｐ（ ） 厂． 定 义 ３ 设 有 可测 集 Ｅ Ｒ ， 及其 上 的一 个实
（ 州 师 范学 院 理 学 院 ，浙 江 湖 州 ３ ３ ０ ） 湖 １ ００
一
∞ Ｕ
Ｅ”
摘
要 用 可 数 分 法 代 替 有 限分 法 ， 去 掉 函数 有 界 和 定 义 域 测 度 有 限 的 限 制 ， 次 性 地 作 出 函 数 Ｌ ｂｓ ｕ 可 一 ｅｅｇ ｅ
可 积 的 定 义 并 得 出可 积 的 充 要 条 件 ．
些分法 都属 于 Ｐ（ ） 厂． 定义 ４ 设 Ｐ（ ） 空 ， ， 非 记
Ｓ， （ ）一 ｉｆＳ ａ， ） △ ∈ Ｐ（ ） ， ｎ（（ ， ： 厂 ） （ ）一 ｓ ｐ Ｓ（ ， ： ∈ Ｐ（ ） ， 厂 ｕ （ ￣， ） △ ， ｝ 则 有
一
ｍ ａｘ
１２…。 ， ” ，
关 键 词 可 数 分 法 ； 测 函 数 ； ｅ ｅｇ ｅ 分 可 Ｌ ｂ ｓｕ 积
中图 分 类 号 Ｏ１ ４ １ ７ ． 文 献标 识 码 Ａ 文 章编 号 １ ０ — ３ ９ ２ １ ） ４ ０ ５ — ３ ０ ８ １ ９ （ ０ １ ０ —０ ５ ０
关于 Ｌ ｂ ｓ ｕ 积 分 的定 义 ， 常分 三 步 ： ｅ ｅｇ ｅ 通 第一 步对 测度有 限 的可测 集 上 的有界 函数用 确界 式定义 （ Ｌ）积分 ， 在这 种 情 况 下 得 出 函数 （ 并 Ｌ）可 积 的充 要条 件为 函数 可测 ． 时对 函数 定 义 域 所 作 的 分法 这 为有 限分 法 ， 即把 函数 定 义域 表 示 为 有 限个 互 不相 交 的可测集 的并 ． 二 步考 虑非 负 可测 函数 ． 第 第三 步 是一 般可测 函数 ［ ］ １． ｑ 本文试 图对 这 一 方法 作 些 修 改 ， 可数 分 法代 用 替 有 限分法 ， 这样 可去 掉 函数 有 界 和 定 义 域 测 度有 限的 限制 ， 次 性 地作 出 函 数 （ 一 Ｌ）可 积 的定 义 并 得 出可积 的充 要条 件． 于 积分值 为 ＋ｏ 至 。或 一Ｃ 的情 × 。
论 的研 究 ． ｍａ ｙ ｎ ｏ ８ ｈ ｔ ｌ ｃ ｍ． Ｅ ｉｌ ａ ｂ ６ ＠ ｏ ｍａ ． ｏ ｌ １
ｏ ●ｏ ●ｏ ●ｏ ●ｏ ●ｏ ●ｏ ●ｏ ‘
对 于
Ａ一 （ ｝ Ｅ 不 妨 记 ∈ Ｐ（ ， 厂）
Ａ ｅ ｕｌ ｎ Ｅｖ ｎ ｏ ｅ Ｒ ｓ ｔｏ ａ ｓ Ｐｒ ｂｌ ｍ
Ｗ Ｕ Ｂｏ
（ ｎ Ｘｉ ｉ ｄ ｅ Ｓ ｈ ｏ ，Ｃｈ ｎ ｓ ｏ ０ ２ ９ Ｌｏ ｇ ｄ ｌ ｃ ｏ ｌ Ｍ ａ ｇ ｈ ｕ ４ １ ４ ，Ｐ ＲＣ）
Ａｂ ｔａ ｔ Ｂｙ ｔ ｅ ｈｏ ｆ ｅｅ ｎｔ ｒ ｍ ｂ ｒ ｔ ｏ ｙ，ｔ ｓ ｐａ ｒ ｓ ｕｄ ｅ ａ ｒ ｌ ｍ． ｓｒ ｃ ： ｈｅ ｍ ｔ ｄ ｏ ｌ ｍｅ ａ ｙ ｎｕ ｅ ｈｅ ｒ ｈｉ ｐｅ ｔ ｉ ｓ Ｅｖ ｎｓ ｐ ｏｂ ｅ
那 么
＝ ０ ， 一 ０， ＝＋ 。 ｏ，
使 得对 任意 ， 法 △ 比 △ 分 更 细 ， 而且
０≤ Ｓ（ ， ）一 ｊ＜ 二 ， △ － 厂
１
而且对 任意 ｋ≥ ３ 有 ，
０＜ Ｉ＜＋ 。 。， ０≤ ＾＜ ＋ ０ ｏ．
０ ≤卜 （ ， ＜吉， △， ｎ）
推 论 １ 设 厂为 测度 有 限 的可测集 Ｅ Ｒ 上 的
有 界 函数 ， ｆ在 Ｅ上 （ 可 积 的充要 条件 为 ｌ在 Ｅ 则 Ｌ） 厂
上 可 测
（ ）一 』
（ ）一 ｍｌ ｚ
（ ∈ Ｅ ） ｚ ｌ ，
必 要 性． － ｚ 在 Ｅ上 （ ） 设 厂 ） （ Ｌ 可积 ， 由定 义 ３ 则 可
知 Ｐ（ ） 空 ． 只要证 ，（ ） Ｅ上 可测． 厂 非 现 ｚ 在 取
｛ ） △ Ｐ（ ， ）
晟 ＝ ｛ ∈ Ｅ： （ 厂 ）一 ０ ， ）
￡ ＝ （ ∈ Ｅ：Ｉ （ ）Ｉ ｘ 一十 ０ ｝ ｆ ０，
和与下 和．
作［ Ｍ， 一 Ｍ］的分法 ：
一
若 △∈ 尸（ ） 则 比它 细的分 法 也属 于 Ｐ（ ） 显 ，， 厂． 然 当分 法加 细时 上和不 增 ， 和不减 ， 个上 和大 于 下 每
使 得
Ｍ — Ｙ０＜ Ｙｌ＜ … ＜ Ｙ 一 Ｍ ，
或等 于每个 下和 ， 即使对 应 于不 同的分法 ， 要求这 但
形 则另作 说 明． 定 义 １ 设有 可测 集 Ｅ Ｒ ， 如果
Ｅ
则称
△＝ ｛ ） Ｅ
是 Ｅ的一 个可 数 分法 ， 简称 分法 ．
设 Ｅ有另 一个 分 法
Ａ 一 ｛ ） ， Ｅ：
如果对任意 Ｅ ∈△ ， ： 都存在 Ｅ ∈△， 使得
Ｅ： Ｅ ， 则说 分法 △ 比 △ 细．
显然对 于 Ｅ 的任意 两个 分法 △ 和 △ ， 必存在 第 三 个分 法 比△ 和 △ 都 要细 ． 定 义 ２ 设有 可测 集 Ｅ Ｒ ， 以及定 义在 Ｅ上
的实 函数 ， 把 Ｅ的满 足条 件 ．
∑ ｓ ｛厂ｚ Ｉ ∈Ｅ） ｍ ＋。 ｕ Ｉ （） ： ｐ ｚ ・Ｅ ＜ 。