§45 lebesgue可积函数的逼近
lebesgue函数

lebesgue函数引言:在数学领域中,Lebesgue函数是一种特殊的函数,它在测度论和实分析中有着重要的应用。
Lebesgue函数的特殊性质使得它在许多数学分支中都有着重要的应用,下面我们将详细介绍Lebesgue函数的定义、性质和应用。
一、Lebesgue函数的定义Lebesgue函数是一种在实数集上的函数,它的定义形式为:$$f(x)=\sum_{n=1}^\infty \frac{\chi_{I_n}(x)}{2^n}$$其中,$I_n$表示实数集上的一个区间,$\chi_{I_n}(x)$是$I_n$的特征函数,即在$I_n$内为1,在$I_n$外为0的函数。
二、Lebesgue函数的性质1. Lebesgue函数的连续性Lebesgue函数在实数集上是一个连续的函数。
这个性质可以通过以下的推导得到:对于任意的$x\in \mathbb{R}$和$\epsilon>0$,我们可以找到一个正整数$N$,使得$\sum_{n=N+1}^\infty \frac{1}{2^n}<\frac{\epsilon}{2}$。
因此,当$|y-x|<\frac{1}{2^N}$时,有:$$|f(y)-f(x)|\leq \sum_{n=1}^N \frac{1}{2^n}+\sum_{n=N+1}^\infty\frac{1}{2^n}<\epsilon$$因此,当$|y-x|<\frac{1}{2^N}$时,有$|f(y)-f(x)|<\epsilon$,即Lebesgue 函数在$x$处连续。
2. Lebesgue函数的可积性Lebesgue函数在实数集上是一个可积的函数。
这个性质可以通过以下的推导得到:对于任意的$\epsilon>0$,我们可以找到一个正整数$N$,使得$\sum_{n=N+1}^\infty \frac{1}{2^n}<\frac{\epsilon}{2}$。
lebesgue可积的一些常用结论

Lebesgue可积性是实分析中的一个重要概念,它允许我们定义在更广泛的函数类上的积分。
以下是一些关于Lebesgue可积性的常用结论:1. **Lebesgue可积性是Riemann可积性的推广**:如果一个函数在某个区间上Riemann可积,那么它在这个区间上也是Lebesgue可积的,并且两者的积分值是相等的。
2. **Lebesgue可积性具有稳定性**:如果函数序列在某个区间上Lebesgue可积,并且逐点收敛于另一个函数,那么这个极限函数也是Lebesgue可积的,并且其积分值等于函数序列积分值的极限。
3. **Lebesgue可积性具有单调性**:如果函数序列在某个区间上单调增加(或单调减少),并且每个函数都是Lebesgue可积的,那么函数序列的极限也是Lebesgue可积的。
4. **Lebesgue可积性具有保号性**:如果函数序列在某个区间上保号(即不改变符号),并且每个函数都是Lebesgue可积的,那么函数序列的极限也是Lebesgue可积的。
5. **Lebesgue可积性具有可数可加性**:如果函数序列在某个区间上可数可加,并且每个函数都是Lebesgue可积的,那么函数序列的极限也是Lebesgue可积的。
6. **Lebesgue可积性具有连续可积性**:如果函数序列在某个区间上连续,并且每个函数都是Lebesgue可积的,那么函数序列的极限也是Lebesgue可积的。
7. **Lebesgue可积性具有紧致性**:如果函数序列在某个区间上紧致,并且每个函数都是Lebesgue可积的,那么函数序列的极限也是Lebesgue可积的。
8. **Lebesgue可积性具有可积性**:如果函数序列在某个区间上可积,并且每个函数都是Lebesgue可积的,那么函数序列的极限也是Lebesgue可积的。
9. **Lebesgue可积性具有绝对可积性**:如果函数序列在某个区间上绝对可积,并且每个函数都是Lebesgue可积的,那么函数序列的极限也是Lebesgue可积的。
§ 45 可积函数的逼近性质 - 精品课程网

Rn
f ( x + t ) - g ( x + t ) dx + ò g ( x) - f ( x) dx < 3 .
Rn
g ( x + t ) - g ( x) dx
+ò
Rn
因此(4.52)式成立. ■ 例 2 (Riemann-Lebesgue 引理) 设 f Î L [a, b]. 则
E p
E
f - g dx £ ò f - dx + ò - g dx < + = . E E 2 2
■
上述结果可以更一般化. 设 E Ì R n 是可测集, p > 0. 若 f 是 E 上的可测函
dx < ¥ , 则称 f 在 E 上是 p 方可积的 . E 上的 p 方可积函数的全
ò
证明
E
f - g dx < .
(4.44)
由推论 3.1, 存在一个简单函数列 { f k } 使得 { f k } 在 E 上处处收敛于
f - fk £ f + fk £ 2 f .
f , 并且 f k £ f (k ³ 1). 于是
对函数列 { f - f k } 应用控制收敛定理得到
k ¥
6M
.
并且 sup h( x) £ M . 我们有
xÎR n
ò
E
- h dx = ò
E ( h¹ )
- h dx £ 2MmE (h ¹ ) < .
3
(4.47)
上式表明 h - Î L( E ), 于是 h = (h - ) + Î L( E ). 利用引理 3.3, 容易知道对每 个正整数 k , 存在 R n 上的连续函数 hk ( x), 使得 hk
Lebesgue积分与函数逼近

Lebesgue积分与函数逼近Lebesgue积分是实分析中重要的概念,它是对实值函数进行积分的一种方法。
Lebesgue积分通过对函数在定义域上的分割,将函数值与定义域的测度关联起来,从而得到积分结果。
Lebesgue积分的引入解决了Riemann积分的一些固有问题,并且在函数逼近中也起到了重要的作用。
一、Lebesgue积分的引入Lebesgue积分是由法国数学家Henri Lebesgue在20世纪初期引入的,它是对实函数进行积分的一种新的定义与方法。
Riemann积分的定义是将定义域分割成n个小区间,然后在每个小区间内求和。
但是在某些情况下,Riemann积分的定义不够灵活,无法处理一些非常规的函数。
为了解决这个问题,Lebesgue引入了测度的概念,并将函数值与测度关联起来,从而定义了Lebesgue积分。
二、Lebesgue积分的定义Lebesgue积分的定义是通过将函数在定义域上的取值与定义域的测度相乘,然后求和得到的。
具体来说,给定一个实值函数f(x),定义域为E,我们将定义域E分割成许多小区间,然后对每个小区间求函数f(x)在该区间上的值乘以该区间的测度,最后对所有小区间的积分结果求和,即可得到Lebesgue积分。
三、函数逼近与Lebesgue积分函数逼近是数学中一个重要的研究方向,它通过寻找一系列简单的函数来逼近复杂的函数。
在函数逼近的过程中,Lebesgue积分可以作为一个强大的工具,它可以帮助我们对复杂的函数进行分解和理解。
通过Lebesgue积分,我们可以将一个复杂的函数分解成一系列简单函数的线性组合,从而更容易理解函数的性质和特点。
这种分解可以用于研究函数的连续性、一致收敛性等重要性质。
此外,Lebesgue积分还可以用于证明许多重要的数学定理,如傅里叶级数的收敛性等。
四、Lebesgue积分的应用Lebesgue积分在实际问题中的应用非常广泛。
它可以用于概率论、偏微分方程、调和分析等领域。
可积函数与函数逼近

可积函数与函数逼近一、介绍可积函数可积函数指的是在某个区间上的函数,其面积可以被定义和计算。
在实际应用中,可积函数在数学分析、物理学、经济学等领域中起到重要作用。
可积函数具有一些特殊的性质,例如在Riemann积分中,可积函数的定义是基于划分区间、选取样本点和求和的方法。
二、可积函数的性质1. 可积函数的积分是有界的:对于可积函数f(x),存在一个常数M,使得在定义区间上的积分满足|∫f(x)dx| ≤ M。
2. 可积函数的积分是线性的:对于可积函数f(x)和g(x),以及任意实数a和b,有∫(af(x)+bg(x))dx = a∫f(x)dx + b∫g(x)dx。
3. 可积函数的积分与区间划分无关:对于可积函数f(x)和在某个区间[a,b]上的划分P和Q,如果两个划分的上、下和相等,则∫f(x)dx在两个划分上的积分结果相等。
三、可积函数与函数逼近函数逼近是数学中的一个重要概念,它指的是用一系列函数来逼近一个目标函数。
可积函数在函数逼近中起到关键作用,因为它们具有良好的性质和逼近能力。
1. 泰勒级数逼近泰勒级数逼近是一种常见的近似函数的方法。
对于一个光滑的函数,可以使用泰勒级数展开来逼近目标函数。
泰勒级数逼近的优点是在逼近点附近具有较高的精度,但是在较远离逼近点的位置,逼近效果可能会变差。
2. 傅里叶级数逼近傅里叶级数逼近是一种将函数展开为正弦和余弦函数的线性组合的方法。
它是基于傅里叶级数的理论,可以将任意周期函数逼近为一系列正弦和余弦函数的和。
傅里叶级数逼近的优点是可以逼近周期函数,并且在频域上提供了一种很好的分析工具。
3. 插值逼近插值逼近是一种使用已知数据点来构建逼近函数的方法。
通过将函数逼近为与已知点相等的函数形式,可以在给定数据点上得到一个逼近函数。
插值逼近的优点是可以通过已知数据点精确地逼近目标函数,但是在离数据点较远的位置,逼近效果可能会变差。
四、结论可积函数与函数逼近是数学中重要的概念和工具。
勒贝格可积的充要条件

勒贝格可积的充要条件拉勒贝格可积性是条件函数理论的重要概念,它的充要条件是:不等式条件函数的可积性条件和其他函数函数积分可积性条件,以及该函数的局部可积性条件。
首先,不等式函数的可积性条件。
若一个函数在区间[a,b]内有限次可积,则其可积性条件是:函数f(x)在闭区间[a,b]中任意取n个不同的值x0,x1,x2,...,x(n-1),则必须有f(x0)+f'(x0)(x1-x0)+f'(x1)(x2-x1)+...+f'(x(n-1))(xn-x(n-1))=f(xn)其次,函数函数积分可积性条件。
若在闭区间[a,b]内,存在连续可导函数h(x),函数f(x)受约束f(x)<=h(x),且该约束满足任意取n个不同的值x0,x1,x2,...,x(n-1)时,方程h(x0)*h(x1)*...*h(x(n-1))>=f(x0)*f(x1)*...*f(x(n-1))必须成立,其可积性条件是,对于任意取n个不同的值x0,x1,x2,...,x(n-1),必须有f(x0)*h(x1)*h(x2)*...*h(x(n-1))+f(x1)*h(x0)*h(x2)*...*h(x(n-1))+f(x2)*h(x0)*h(x1)*...*h(x(n-1))+...+f(x(n-1))*h(x0)*h(x1)*...*h(x(n-2))<=h(x0)*h(x1)*...*h(x(n-1))最后,该函数的局部可积性条件,该函数必须具有足够多的可导分量,从而使闭区间[a,b]内函数在某点存在极限。
通过以上三种可积性条件,就可判断函数是否满足拉勒贝格可积的要求。
拉勒贝格可积的一般化理论是积分变换的重要基础,可以广泛应用于科学技术、经济、数学分析等领域。
§4.5 Lebesgue可积函数的逼近

113
∫
b a
f − g dx ≤ ∫
1
( A−U )∪(U − A )
I A − IU dx = m( A −U ) + m(U − A) < ε.
1
■
定理 4 设 f ∈ L(R ). 则对任意 ε > 0, 存在 R 上的一个具有紧支集的阶梯函数 g , 使得
∫
R1
f − g dx < ε .
零. 则 g 是为 R 上的具有紧支集的阶梯函数. 我们得到
∫
R1
f − g dx ≤ ∫
R1
f − ϕ dx + ∫ 1 ϕ − g dx
R k
= m( A) − m( Ak0 ) + ∫ ϕ − g dx < + = ε . −k 2 2
ε
ε
■
下面是两个关于可积函数的逼近性质应用的例子. 例 1 (Riemann-Lebesgue 引理)设 f ∈ L[a, b]. 则
§4.5 Lebesgue 可积函数的逼近
教学目的 本节考虑可积函数的逼近问题. 本节要证明几个关于积分的 逼近定理.主要是关于 Lebesgue 积分的逼近定理. 教学要点 Lebesgue 可积函数可以用比较简单的函数,特别是用连续函数 逼近. 由于连续函数具有较好的性质, 因此 L 可积函数的逼近性质在处理有 些问题时是很有用的.应通过例题和习题掌握这种方法.
n n
上具有紧支集的连续函数 g , 使得
∫
E
f − g dx < ε .
证明 设 f ∈ L( E ). 先设设 f = I A 是特征函数,其中 A ⊂ E 并且 m( A) < +∞. 对任
黎曼勒贝格定理

黎曼勒贝格定理
在数学分析中,勒贝格定理,或称黎曼-勒贝格定理是一个傅里叶分析方面的结果。
这个定理有两种形式,分别是关于周期函数(傅里叶理论中关于傅里叶级数的方面)和关于在一般实数域R上定义的函数(傅里叶变换的方面)。
在任一种形式下,定理都说明了可积函数在傅里叶变换后的结果在无穷远处趋于0。
这个结果也可以适用于局部紧致的阿贝尔群。
维数论中的Lebesgue定理:对于任意,n维立方体具有重数的有限闭覆盖,同时又存在一个,使得此n维立方体的任意有限闭覆盖的重数都。
这个结论后来导致一个基本的维数不变量的定义,即正规拓扑空间X的Lebesgue维数dim X。
绝对连续函数的一个充分条件

绝对连续函数的一个充分条件田宗林;吴加勇【摘要】在闭区间上,连续函数和它的差值函数若都是有限分段单调函数,则证明了该函数一定是绝对连续函数.特别地,闭区间上有限分段凸或凹的连续函数必是绝对连续函数.作为应用,给出几个绝对连续函数实例.【期刊名称】《大学数学》【年(卷),期】2018(034)006【总页数】5页(P118-122)【关键词】绝对连续函数;连续函数;单调函数;凸函数;凹函数【作者】田宗林;吴加勇【作者单位】上海海事大学文理学院数学系,上海201306;上海海事大学文理学院数学系,上海201306【正文语种】中文【中图分类】O174.11 引言在函数理论中,绝对连续函数可以刻画Lebesgue积分意义下的Newton-Leibnitz公式和分部积分公式,因此它是分析理论中非常重要的一类函数. 绝对连续函数的定义如下:定义1[1-2] 设f(x)是区间I上的实值函数,对任给的ε>0,存在δ>0,使得对I中任何有限个两两不相交的开区间列{(ak,bk)}1≤k≤n,只要就有则称f(x)为I上的绝对连续函数.判定某个函数是否为绝对连续函数是一个非常有趣的课题. 显然,闭区间上满足Lipschitz条件的函数是绝对连续函数[2]. 然而也存在许多不满足Lipschitz条件的绝对连续函数. 众所周知,闭区间上Lebesgue可积函数的不定积分是绝对连续函数[1-2]. 这是判断绝对连续函数的一个常用方法. 例如:函数在闭区间[0,1]上Lebesgue可积,其不定积分为函数根据上述性质立得:在[0,1]上绝对连续. 但判断函数在[0,1]上Lebesgue可积并不容易. 另外,若函数在闭区间上可微,其导函数在该区间上Lebesgue可积,则该函数也是绝对连续的[1]. 此命题需要函数可导作为前提,然而此前提对很多绝对连续函数并不满足. 对于严格单增的绝对连续函数来说,若它的导数等于零的集合测度为零,则其反函数也是绝对连续函数[3]. 用此命题来判断反函数是否为绝对连续需要对原函数有很强的限制要求. 此外,若函数是某个弱等度绝对连续函数列的极限,则该函数也是绝对连续的[4]. 此性质揭示了弱等度绝对连续与绝对连续的关系,但此法需要找到恰当的弱等度绝对连续函数列. 著名的Banach-Zarecki定理则说明:函数在闭区间上绝对连续当且仅当函数在闭区间上连续、有界变差,且该函数把零测集映为零测集[5-6]. 此命题是绝对连续函数的一个等价刻画,揭示了与有界变差函数的具体差别. 但用它来甄别绝对连续函数操作性不强,因为验证函数是否为有界变差函数比较麻烦;同时验证“函数把零测集映为零测集”这个条件也十分困难. 值得注意的是,绝对连续函数与Lebesgue积分意义下的Newton-Leibnitz公式等价[7]. 此命题在某种意义下反映了引入绝对连续函数的目的,也可判别某个函数是否为绝对连续函数. 但在实际操作过程中较为繁琐,甚至不如利用定义判别来得方便.上述各种充分条件或等价条件,对绝对连续函数都给出了很好的刻画,其方法各有优劣. 总体来看,这些方法都显得不够直截了当. 事实上,从定义1上看:绝对连续函数必是连续函数,但反之未必. 自然要问:连续函数何时是绝对连续的?文[8]中给出了部分解答:闭区间上的连续函数,若除去有限个点外处处可导,且它的导函数黎曼可积,则该函数在闭区间上绝对连续. 本文针对这个问题,得到了一个更为简单的充分条件,不涉及到任何导函数.2 主要结果定理1 设f(x)在闭区间[a,b]上是连续函数. 若f(x)在[a,b]上是有限分段单调,其差值函数Hσ(x)∶=f(x+σ)-f(x),其中σ为任一正常数,在[a,b]上也是有限分段单调,则f(x)在[a,b]上是绝对连续函数.注1 函数f(x)在[a,b]上称为有限分段单调是指存在[a,b]上的一个有限网X={xk}1≤k≤n+1,其中a=x1<x2<…<xn+1=b,使得f(x)在每一个小闭区间[xk,xk+1](1≤k≤n)上都单调. 值得注意的是,在定理1中,函数f(x)和Hσ(x)在[a,b]上的有限分段网不需要相同.注2 在定理1中,差值函数Hσ(x)的有限分段单调性条件不可缺少. 例如:[0,1]上的Cantor连续函数[9],虽是单增函数,但不是绝对连续函数,也不满足其差值函数的有限分段单调性性质.注3 由定理1的证明可知: 若闭区间[a,b]改成开区间(a,b)或半开半闭区间[a,b)(或(a,b]),同时要求函数f(x)在这些区间上: 一致连续,有限分段单调,其差值函数Hσ(x)有限分段单调,则f(x)在这些区间上也是绝对连续函数.闭区间上的有限分段凸或凹函数(或凸凹函数混合)满足定理1的条件,故有下面的推论. 它在很多情形下对判断绝对连续函数非常有效,而且方法简单实用. 具体的实例参见本文第4节.推论1 设f(x)是闭区间[a,b]上的连续函数. 若f(x)在[a,b]上是有限分段凸或凹函数(或凸凹函数混合),则f(x)在[a,b]是绝对连续函数.3 定理证明为证明定理1,需要下面一个重要引理.引理1 设f(x)在闭区间I上是连续函数,若f(x)在I上单调,其差值函数Hσ(x)在I 上也单调,则f(x)在I上是绝对连续函数.证仅考虑f(x)在I上单调递减,Hσ(x)单调递减或者单调递增这两种情形. 其余情形均可转化为这两种情形. 事实上,若f(x)在I上单调递增,则可考虑递减函数-f(x)即可.假设{(xk,yk)}1≤k≤n是闭区间I中任意有限个互不相交的子区间集合,并且满足xk<xk+1. 记σk∶=yk-xk>0,Hσk(x)∶=f(x+σk)-f(x).情形1 当f(x)在闭区间I上单调递减,Hσ(x)单调递减时. 在I上,显然Hσk(x)≤0,此时|Hσk(x)|=f(x)-f(x+σk)单调递增. 于是有令则有注意到f(x)在I上单调递减,故|f(zk+1)-f(zk)|=f(zk)-f(zk+1). 所以上式变为(1)因为f(x)在闭区间I上连续,所以f(x)在I上一致连续,即对∀ε>0,∃δ>0,使得对∀s,t∈I,只要|s-t|<δ,就有|f(s)-f(t)|<ε. 注意到故当即|zn+1-z1|<δ,由f(x)在I上的一致连续性可得|f(zn+1)-f(z1)|<ε. 结合该式和(1)可得这就证明了f(x)在闭区间I上绝对连续.情形2 当f(x)在闭区间I上单调递减,而Hσ(x)单调递增时. 在I上,Hσk(x)≤0,此时|Hσk(x)|=f(x)-f(x+σk)单调递减. 于是令则有类似于情形1后部分的证明,同样可得:f(x)在闭区间I上绝对连续.定理1的证明因为f(x)和Hσ(x)都是[a,b]上的有限分段单调函数,所以一定存在[a,b]上一个足够细密的有限网X={ci}1≤i≤m+1,其中a=c1<c2<…<cm+1=b,使得f(x)和Hσ(x)同时在每个小闭区间[ci,ci+1](1≤i≤m)上都单调. 由引理1可知:f(x)在[ci,ci+1](1≤i≤m)上绝对连续,即对任意的ε>0,存在δi>0,使得对[ci,ci+1](1≤i≤m)中任意有限个两两不相交的开区间列只要就有(2)取则显然有δ<δi≤ci+1-ci,1≤i≤m.对于[a,b]中任何有限个两两不相交的开区间列{(ak,bk)}1≤k≤n,当有所以,每一个开区间(ak,bk)至多含一个点ci,1≤i≤m+1. 若开区间(ak,bk)含点ci,则将开区间(ak,bk)拆分成两个开区间(ak,ci)和(ci,bk),重新标记,得到新的开区间列这样每个新的开区间都落在某个闭区间[ci,ci+1]中,且有同时注意到:若开区间(ak,bk)含点ci,由三角不等式,则有|f(bk)-f(ak)|≤|f(bk)-f(ci)|+|f(ci)-f(ak)|.因此(3)把新的开区间列落在闭区间[ci,ci+1](1≤i≤m)中的那些子区间集合记为其中显然有又因为f(x)在每个小闭间[ci,ci+1](1≤i≤m)上绝对连续,根据(2)可得合并m块闭区间[ci,ci+1](1≤i≤m),同时结合上式可得(4)最后结合(3)和(4)得即证明了f(x)在[a,b]上绝对连续.下面利用定理1给出推论1的证明.推论1的证明设f(x)是[a,b]上的有限分段凸函数,则一定存在[a,b]上的一个有限网X={ci}1≤i≤m+1,其中a=c1<c2<…<cm+1=b,使得f(x)在每个小闭区间[ci,ci+1](1≤i≤m)上都是单调凸函数. 令Hσ(x)是f(x)的差值函数. 由定理1,要证明推论1,只要说明Hσ(x)在[a,b]上是有限分段单调函数即可. 由于f(x)在每个小闭区间[ci,ci+1]上都是凸函数,即对任意两点p,q∈[ci,ci+1],∀λ∈[0,1],有凸性不等式λf(p)+(1-λ)f(q)≥f(λp+(1-λ)q).令或则上述凸性不等式变成如下两种形式结合上面两个不等式可得f(x+σ)-f(x)≤f(y+σ)-f(y), x<y.即Hσ(x)在[ci,ci+1]上单调. 故Hσ(x)在[a,b]上有限分段单调. 其余情形证明类似,推论1得证.4 应用例1 函数在[0,1]上是绝对连续函数. 事实上,因为在[0,1]上是连续的凹函数,由推论1可知在[0,1]上绝对连续.例2 函数都在[-1,1]上绝对连续. 事实上,因为f(x)在[-1,1]上连续,且是分段凸函数(但不是凸函数[10]),由推论1可知f(x)在[-1,1]上绝对连续. 函数g(x)在[-1,1]上连续,在[-1,0)是凹函数,在[0,1]上是凸函数,由推论1和注3可知g(x)在[-1,1]上绝对连续.[参考文献]【相关文献】[1] 周性伟,孙文昌. 实变函数[M].3版. 北京:科学出版社,2014:108-112.[2] 周民强. 实变函数论[M].2版. 北京:北京大学出版社,2008:260-270.[3] 张玲. 关于严格单增绝对连续函数的反函数的绝对连续性[J]. 南开大学学报,2003,36(1):124-125.[4] 丁天彪. 绝对连续函数的两个充要条件[J]. 信阳师范学院学报(自然科学版),1984,4(1):42-45.[5] Hewitt E,Stromberg K. Real and Abstract Analysis[M]. New York:Springer-Verlag,1965:272-303.[6] Bruckner A,Bruckner J,Thomson B. Real Analysis[M]. New Jersey:Prentice-Hall,1997:465-470.[7] 夏道行,吴卓人,严绍宗,舒五昌. 实变函数与泛函分析:上册[M].2版修订本. 北京:高等教育出版社,2010:305-310.[8] 仇惠玲. 函数的绝对连续性[J]. 江苏教育学院学报(自然科学版),2006,23(1):10-12.[9] 李翠香,石凌,刘丽霞. Cantor集的性质及应用[J]. 大学数学,2011,27(2):156-158.[10] 廖俊俊,吴洁. 关于凸性的一些探讨[J]. 大学数学,2016,32(6):91-95.。
勒贝格积分的概念

勒贝格积分的概念勒贝格积分是数学中的一个重要概念,它是对函数在某个区间上的积分进行定义和计算的一种方法。
勒贝格积分是由法国数学家亨利·勒贝格(Henri Lebesgue)在20世纪初提出的,它是对黎曼积分的一种推广和拓展,能够更好地处理一些复杂的函数和集合。
一、勒贝格可积函数的定义在介绍勒贝格积分之前,首先需要了解什么样的函数是勒贝格可积的。
给定一个定义在闭区间[a, b]上的函数f(x),如果存在一个数I,对于任意给定的ε > 0,都存在一个分割P = {x0, x1, ..., xn},使得当这个分割的任意一种选取方式下,对应的上下和满足:S*(f, P) - S(f, P) < ε其中S*(f, P)和S(f, P)分别表示上和下达尔差分和。
如果这个数I存在且唯一,那么称函数f(x)在闭区间[a, b]上是勒贝格可积的,此时这个数I就是函数f(x)在[a, b]上的勒贝格积分,记作∫[a,b]f(x)dx。
二、勒贝格积分的性质勒贝格积分具有许多优良的性质,使得它在数学分析和实际问题中得到广泛应用。
以下是一些勒贝格积分的重要性质:1. 可积函数的有界性:勒贝格可积函数在定义区间上是有界的,即存在一个常数M,使得|f(x)| ≤ M对于所有x∈[a, b]成立。
2. 线性性质:勒贝格积分具有线性性质,即对于任意可积函数f(x)和g(x),以及任意实数α、β,有∫[a, b](αf(x) +βg(x))dx = α∫[a, b]f(x)dx + β∫[a, b]g(x)dx。
3. 单调性质:如果在闭区间[a, b]上有f(x) ≤ g(x),则∫[a,b]f(x)dx ≤ ∫[a, b]g(x)dx。
4. 加法性质:如果函数f(x)在闭区间[a, b]上可积,且在点c∈[a, b]上连续,则有∫[a, b]f(x)dx = ∫[a, c]f(x)dx + ∫[c,b]f(x)dx。
Lesbesgue积分的定义及性质

(4)设A和B为E的两个互不相交的可测子集,则
f (x)dx f (x)dx f (x)dx;
AUB
A
B
证明 (1)由定义可得;
(2) 对于任意自然数n,令
1
An
E[ f
,
x
An
0, x E \ An
0
E
f (x)dx
E n (x)dx
1 n mAn
E fn (x)dx
E
lim
n
fn (x)dx
f(x)
说明:小于等于显然成立, fn(x)
因为fn(x)总在f(x)的下方,
cf(x) 只要证明大于等于,但一般而 言fn(x)不会跑到f(x)上方,所以 我们有必要先把f(x)下移一点。
Levi逐项积分定理的证明
证明:由条件知fn(x)为E上非负可测函数递增列,
[0,1] Ei ( x)dx
[ 0 ,1]
i 1
Ei
(x)dx
k,
n
若对每个i,mEi
k n
,则
i 1
mEi
k n
n
k,从而得到矛盾,
所以存在i0,使mEi0
k。
n
⑵非负可测函数的积分
设f(x)为E上非负可测函数,定义
(L)E f (x)dx sup{(L)E (x)dx :(x)为E上的简单函数
i 1
j 1
E(x)dx E (x)dx
例:若E1, E2,…, En是[0,1]中的可测集,[0,1]中每一点 至少属于上述集合中的k个(k≤n),则在E1, E2,…, En中必 有一个点集的测度大于或等于k/n
n
证明:当
Lebesgue积分

Lebesgue 积分现在认为已成定形的测度和积分的推广,是由Borel 的一个学生、法兰西学院的教授Henri Lebesgue(1875~1941)作出的.以Borol 的思想为指导,当然也用了Jordan 和]Peano 的思想,Lebesgue 在他的论文《积分,长度与面积》 (Integrale ,longueur ,alto)里,第一次叙述了他关于测度和积分的思想.他的工作替代了十九世纪的创造,特别是,改进了Borel 的测度论.Lebesgue 的积分论是建立在他关于点集的测度的概念之上的,而这些概念都被应用到n 维空间的点集上. 为了说明方便起见,我们只考虑一维情形.设E 是a ≤x 《b 中的一个点集.E 的点可以被[a ,b]中一族有限个或可数无限个区间集d 1,d 2,…所包围而成为内点([a ,b]的端点可以是某个d i 的端点).能够证明区间集合{d i }可以被互不重迭的区间集合δ1,δ2 ,…所代替,使得E 的每一个点是其中某一个区间的内点或是两个相邻区间的公共端点.令∑δn 表示长度δi 之和.所有可能集合{δi }的∑δn 的(最大)下界称为E 的外测度,记作m n (E).E 的内测度m i (E)定义为集合C(E)的外测度,这里集合C(E)是E 在[a , b]中的补集,也就是a ≤x ≤b 中不在E 内的点所成的集合.现在可以证明几个辅助性的结果,包括,m i (E)≤m 0(E)这件事.如果m i (E)=m 0(E),那么集合E 就定义为可测的,而测度m(E))就是这个公共值. Lebesgue 证明,可数个两两不相交的可测集的并集的测度,等于这些集合的测度的总和. 另外,一切Jordan 可测集都是Lebesgue 可测的,并且具有相同的测度.Lebesgue 的测度概念与Borel 的测度概念的区别在于,他添加了Borel 意义下的零测集的部分.Lebesgue 也注意到了不可测集的存在. Lebesgue 的下一个重要概念是可测函数.设E 是x 轴上的一个有界可测集.在E 的一切点上定义的函数f(x)称为在正上是可测的,如果对任意常数A ,E 中使得f(x)>A 的点所成的集是合可测的.最后,我们来讨论Lebesgue 的积分概念. 设f(x)是定义在[a , b]中可测集E 上的一个有界可测函数.设A 和B 是f(x)在E 上的最大下界和最小上界.把区间[A , B](在y 轴上)分成n 个子区间],,[,],[],,[12,11B A n -ιιιι其中.,0n B A ιι==设e r 是E 中满足条件 1-r τ≤f(x)≤f(x)≤n r r ,2,1, =τ的点集.于是n ,,2,1…,都是可测集.作和S 与s ,其中),(1r r n m S τ∑= ).(11r r nm s -∑=τ 和S 与s 分别有最大下界J 与最小上界I .Lebesgue 证明了:对于有界可测函数永远有I =J .这个公共值就是f(x)在月上的Lebosgue 积分,记作.)(dx x f I E ⎰=如果E ,是整个区间a 《x 《b ,那么我们还可以用记号dx x f ba )(⎰来写. 不过积分要按照Lebesgue 的意义来理解. 如果f(x)是Lobesgue 可积的,积分值也是有穷的,那么用Lebesgue 自己引进的术语来讲,就说f(x)是可积的(summable).[a , ,b]上Riemann 可积的函数f(x)必是Lebesgue 可积的;但反过来不一定对.如果f(x)在Ricmann 和Lebesgue 意义下都可积,那么这两个积分值相等.Lebesgue 积分的普遍性可以从下面的事实看出来.Lebesgue 可积函数不一定几乎处处(即除去一个零测集外)连续. 例如,在区间[a , b]上的Dirichlet 函数,在有理数x 处取值为1,在无理数x 处取值为0,处处不连续,从而不Riemann(原义和广义)可积,但却是Lebesgao 可积的.这时.0)(=⎰dx x f baLebesgue 积分的概念,可以推广到更普遍的函数,例如无界函数. 如果f(x)在积分区间上Lebesguo 可积但无界,则积分绝对收敛.无界函数可以. Lebesgue 可积,但不Riemann 可积,反之亦然.就实用的目的来说,Riemann 积分已经够用了。
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积分也会收敛于相同的值。
研究生课程中常用函数空间的讲解探索

2021年13期博士论坛高教学刊研究生课程中常用函数空间的讲解探索*谢素英,王阳(杭州电子科技大学理学院,浙江杭州310018)研究生阶段分析类课程有很多,主要包括实分析、复分析、泛函分析、微分方程、非线性分析等课程。
而这些分析类课程的本科基础课主要是数学分析[1-3]、实变函数和泛函分析[4]等。
我们在研究和讲解这些分析类课程时主要从函数空间入手。
本科阶段对数学分析的学习主要在连续函数空间,各种定义、定理以及运算基本都是在连续函数空间进行的。
但随着实际研究的需要和课程的深入仅仅停留在连续函数空间是不够的,因此本科的高年级以及研究生阶段会用到很多函数空间理论,例如:Ho¨lder连续空间,Lipschitz连续空间,Lebesgue可积空间,L1,L p(0<p<+∞),本性有界函数空间L∞,弱可微函数的Sobolev空间,有界平均震荡空间BMO,消失平均震荡空间VMO空间等。
这些函数空间理论非常抽象难于理解,但又是研究生阶段的必备课程。
如何从本科阶段的数学分析入手逐步讲解这些函数空间,使同学们从最熟悉的连续函数空间逐步理解以上各类函数空间成为研究生阶段分析类课程的讲解难点。
为了更好地理解这些抽象的函数空间,本文通过对复杂空间的分析以及与连续函数空间的对比给出了一些讲解技巧,有助于同学理解和掌握抽象函数空间的本质,从而在后续的课程学习和课题研究中能够灵活运用。
一、从连续函数空间到Lebesgue可积函数空间数学分析中最常用的函数空间分别为C0,C1,C2,C n,C∞,即分别对应函数连续,一阶导函数连续,二阶导函数连续,n阶导函数连续,任意阶导函数连续。
数学分析的学习阶段我们主要在以上这些空间中进行微积分的运算。
而数学分析阶段对函数空间要求的条件较强。
例如:一些不定积分和定积分以及重积分和曲线、曲面积分存在常用的“充分条件”是被积函数连续,关于积分的题目主要是针对连续函数设计的。
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,而在每个无理数点上的函数值为0。
我们现在来证明狄利克雷函数在任何有界闭区间上都是勒贝格可积的。
首先,我们需要引入两个概念:函数的振幅和振幅上界。
函数的振幅是指函数在一个区间上的最大值与最小值之差,而函数的振幅上界是指函数在这个区间上所有可能振幅中的最小上界。
为了证明狄利克雷函数是勒贝格可积的,我们需要证明其振幅上界是有限的。
考虑任意一个有界闭区间[a, b]。
因为该区间是有界的,所以我们可以找到一个正整数N,使得区间[a, b]可以分成N个小区间。
每个小区间的长度为δ = (b-a)/N。
我们可以认为δ足够小,以至于狄利克雷函数在每个小区间上的值几乎都相同。
我们现在来计算每个小区间上狄利克雷函数的振幅。
考虑任意一个小区间[x, x+δ],其中x为起始点且0 ≤ x ≤ 1。
因为狄利克雷函数在有理数点上的函数值为1,而在无理数点上的函数值为0,所以在这个小区间上,狄利克雷函数的振幅为1。
因此,我们可以得到这个有界闭区间[a, b]上狄利克雷函数的振幅上界。
因为我们将[a, b]分成了N个小区间,而每个小区间上的狄利克雷函数振幅都是1,所以振幅上界为N。
因此,狄利克雷函数在任何有界闭区间上的振幅上界都是有限的。
接下来,我们可以使用勒贝格积分的定义来证明狄利克雷函数在任何有界闭区间上是可积的。
根据勒贝格积分的定义,我们需要证明存在一个正数M,使得对于任意一个有界闭区间[a, b],存在一个包含该区间的开区间(a-ε, b+ε),使得该开区间与[a, b]之间的差的振幅上界不超过M。
勒贝格积分_高等教育-微积分

第5章 勒贝格积分到现在我们为了建立勒贝格积分已经做了必要的准备工作,我们有了可测集,可测函数的概念和理论,定义Lebesgue 积分的条件已经成熟. 本章我们讨论Lebesgue 积分的基本内容.§5.1 测度有限集上有界可测函数的积分1.有界可测函数积分的定义定义5.1.1 设n E R ⊂,mE <∞,f 是定义在E 上的有界可测函数,即存在,,R αβ∈,使()(,)f E αβ⊂. 若01:n D l l l αβ=<<<= 是[,]αβ的任一分点组,则记11()max()k k k nD l l δ-≤≤=-,1[]k k kE E l f l -=<≤.对任意的1[,]k k k l l η-∈,作和式1()nk k k S D mE η==∑,称()S D 为f 关于分点组D 的一个和数.如果存在常数A ,使得对任意的0ε>,总有0δ>,当任意分点组D 满足()D δδ<时,有|()|S D A ε-<.换句话说,()0lim ()D S D A δ→=时,则称f 在E 是Lebesgue 可积的,并称A 为f 在E 上的Lebesgue 积分,记作()EA f x dm =⎰.有时为了简便也记()EA f x dx =⎰,若[,]E a b =,则记[,]()a b A f x dx =⎰. 当()f x 是Riemann 可积函数时,其Riemann 积分仍沿用数学分析中的记法,记作()b af x dx ⎰.对[,]αβ的任意分点组01:n D l l l αβ=<<<= ,有两个特殊的和数尤其重要:11()[]nk k k k S D l mE l f l -==<≤∑,111()[]nk k k k S D l mE l f l --==<≤∑.称()S D 和()S D 分别为f 关于分点组D 的大和数与小和数. 显然对于f 的任一和数()S D ,有()()()S D S D S D ≤≤.因此,极限()0lim ()D S D δ→存在当且仅当()0lim ()D S D δ→和()0lim ()D S D δ→都存在且相等.定理 5.1.1 设n E R ⊂,mE <∞,f 是E 上的有界可测函数,则f 在E 上Lebesgue 可积.证明 因为()f x 是有界可测函数,所以有,R αβ∈,使()(,)f E αβ⊂.设sup{()}DS S D =,inf{()}DS S D =. 即S 是对(,)αβ的所有分点组D 的小和的上确界,S 是对(,)αβ的所有分点组D 的大和的下确界.往证S S =.首先证明:S S ≤,设01:n D l l l <<< ,01:m D l l l ''''<<< . 是对(,)αβ任意的两个分点组,则()S D S ≤,()S D S ≥.将D 和D '合并起来构成一个新的分点组,记为D '',D ''可以看成分点组D 中又加进了一些分点,称为D 的一个加细,假设对任意k ,1k l -与k l 之间加入了某些分点1j l -',1,,,k j j j j l l l ++''' ,(把1k l -和k l 算在内)即 111k k j j j j j k l l l l l l --++''''=<<<<= ,于是 111()[]nk k k k S D lmE l f l --==<≤∑111[]kj j n k i i k i j lmE l f l +--==''=<≤∑∑111[]kj j ni i i k i jl mE l f l +--=='''≤<≤∑∑()()S DS D ''''=≤ 11[]kj j n ii i k i j l mE l f l +-=='''=<≤∑∑11[]kj j nki i k i j l mE l f l +-==''≤<≤∑∑11[]nk k k k l mE lf l -==<≤∑()S D =. 这样,有()()()()S D S D S D S D ''''≤≤≤,同样的方法,有()()()()S D S D S D S D ''''''≤≤≤.这说明,对于任一分点组D ,加细后的分点组D '',其大和数不增,小和数不减. 且由()()()S D S D S D '''≤≤, ()()()S D S D S D '''≤≤.说明对于任意一个分点组的小和数不超过其它任意一个分点组的大和数. 此即sup{()}inf{()}DDS D S D ≤,于是S S ≤.再证明S S =.设D 为任意的分点组,则由于()()S D S S S D ≤≤≤,有0()()S S S D S D ≤-≤-111()[]nkk k k k ll mE l f l --==-<≤∑()D mE δ≤.这样对任意的0ε>. 取分点组*D ,使*()D mEεδ<,则0S S ε≤-<. 由0ε>是任意的,有S S =. 令S S S ==,往证()0lim ()D S D S δ→=. 注意到()()S D S S D ≤≤,()()()S D S D S D ≤≤,所以()()()()S S D S D S D D mE δ-≤-≤, ()()()()S D S S D S D D mE δ-≤-≤.因此|()|()()()S D S S D S D D mE δ-≤-≤.所以()0lim ()D S D S δ→=.即f 在E 上Lebesgue 可积.注:本定理还证明了()f x 在E 上Lebesgue 可积,则()sup{()}inf{()}EDDf x dx S D S D ==⎰.例1 考察[0,1]上的Dirichlet 函数()D x .1,[0,1]()0,[0,1]x D x x ∈⎧=⎨∈⎩则()D x 在[0,1]上Lebesgue 可积,且[0,1]()0D x dx =⎰.证明 ([0,1]){0,1}[D =⊂-,对于(1,2)-的任一组分点:D 0112n l l l -=<<<= .当11()max{}0k k k nD l l δ-≤≤=-→时,0和1不能在同一个小区间上.设10(,]i i l l -∈,11(,]j j l l -∈,则1i j n ≤<≤. 取1[,]i i i l l η-∈,则是有理数;是无理数.1|||0|||()i i i i l l D ηηδ-=-≤-≤,因此当()0D δ→时,0i η→. 而1[()]j j E l D x l Q -<≤⊂(有理数集),所以1[()]0j j mE l D x l -<≤=.当,k i j ≠时,由于1[()]k k E l D x l φ-<≤=,则1[()]0k k mE l D x l -<≤=.因此11()[()]nk k k k S D mE l D x l η-==<≤∑11[()][()]i i i j j j mE l D x l mE l D x l ηη--=<≤+<≤ 1[()]i i i m E l D x l η-=<≤ 于是1()0()0lim ()lim [()]i i i D D S D mE l D x l δδη-→→=<≤0=,即[0,1]()0D x dx =⎰.我们知道()D x 在[0,1]不是Riemann 可积的,所以Lebesgue 可积函数类比Riemann 可积函数类要广.2.有界可测函数积分的性质定理5.1.2 设nE R ⊂,mE <∞,()f x 、()g x 都是E 上的有界可测函数,则 (i )对任意的a R ∈,()()EEaf x dx a f x dx =⎰⎰;(ii )若1,,m E E 是E 的可测子集,()i j E E i j φ=≠ ,1mi i E E ==,则1()()()mEE E f x dx f x dx f x dx =++⎰⎰⎰;(iii )(()())()()EEEf xg x dx f x dx g x dx +=+⎰⎰⎰;(iv )当()()..f x g x a e ≤于E 时,()()EEf x dxg x dx ≤⎰⎰;证明 证(ii ). 只须就2m =的情形证明.设()(,)f E αβ⊂,对(,)αβ的任一分点组01:n D l l l αβ=<<<= . 令111[]i i i E E l f l -=<≤,221[]i i i E E l f l -=<≤,1,2,,i n = . 那么121[]i i i i i E E E E l f l -==<≤ ,且12i i E E φ= ,所以12i i i mE mE mE =+,1,2,,i n = .对于分点组D ,用12(),(),()E E E S D S D S D 分别表示f 在12,,E E E 上对应D 的大和数.1()nE i i i S D l mE ==∑1211nniiiii i l mE l mE===+∑∑12()()E E S D S D =+ 该等式对任意的分点组D 成立.对任意的0ε>,存在(,)αβ的分点组1D ,使得111()inf{()}2E E DS D S D ε<+,也存在(,)αβ的分点组2D ,使得222()inf{()}2E E DS D S D ε<+.设*12D D D = ,则*D 即是1D 也是2D 的加细,因此12***()inf{()}()()()E E E E EDf x dx S D S D S D S D =≤=+⎰121212()()()()E E E E S D S D f x dx f x dx ε≤+<++⎰⎰由0ε>是任意的,所以12()()()EE E f x dx f x dx f x dx ≤+⎰⎰⎰.同样考虑小和数和()sup{()}EDf x S D =⎰可证相反的不等式,所以12()()()EE E f x dx f x dx f x dx =+⎰⎰⎰.证(iii ). 设()(,)f E αβ⊂,()(,)g E αβ''⊂,对(,)αβ的任一分点组01:n D l l l αβ=<<<= ,对(,)αβ''的任一分点组01:m D l l l αβ''''''=<<<= . 令1[]i i i E E l f l -=<≤,1[]j j j E E l g l -'''=<≤ 1[]ij i j j E E l g l -''=<≤11[,]i i j j E l f l l g l --''=<≤<≤1[]j i i E l f l -'=<≤,(1,2,,;1,2,,.)i n j m == 由此可知,E 可分解为有限个互不相交的可测集的并.1111n m n mij i j i j i j E E E E ===='=== .于是()()iji j ij E f g dx l l mE '+≤+⎰i ij j ij l mE l mE '=+.11()()ijn mEE i j f g dx f g dx ==+=+∑∑⎰⎰11nmiijji j l mE l mE ==''≤+∑∑()()f g S D S D'=+. 该不等式对(,)αβ的任意分点组D 和(,)αβ''的任意分点组D '都成立. 因为inf{()}f EDfdx S D =⎰,inf{()}g ED gdx S D ''=⎰.所以对任意的0ε>,有(,)αβ的分点组1D 和(,)αβ''的分点组1D ',使 1()()2f E S D f x dx ε<+⎰, 1()()2g ES D g x dx ε'<+⎰.因此可得11()()()f g Ef g dx S D S D '+≤+⎰()()EEf x dxg x dx ε<++⎰⎰由0ε>是任意的,有()()()EEEf g dx f x dx g x dx +≤+⎰⎰⎰.同样考虑小和数及所有小和数的上确界可得相反的不等式. 因而()()()EEEf g dx f x dx g x dx +=+⎰⎰⎰.证(i ). 引理1 若()f x c ≡(常数),x E ∈. 则()Ef x dx cmE =⎰.因为存在,R αβ∈,使c αβ<<. 对(,)αβ的任一分点组01n l l l αβ=<<<= . 若1(,]i i c l l -∈,1i n ≤≤,则1[]i i mE l f l -<≤mE =,任取1(,]i i i l l η-∈,则1||()i i i c l l D ηδ--≤-≤.因此当()0D δ→时,i c η→.而当k i ≠时,1[]k k E l f l φ-<≤=,因而1[]0k k mE l f l -<≤=,于是11()0()01lim[]lim []nk k k i i i D D k mE lf l mE l f l δδηη--→→=<≤=<≤∑c mE =⋅.以下证明()()EEaf x dx a f x dx =⎰⎰.若0a =,则()0af x ≡,x E ∈. 由引理1,()000()()EEEaf x dx mE f x dx a f x dx =⋅===⎰⎰⎰.若0a >,设()af x αβ<<,对(,)αβ的任一分点组01:n D l l l αβ=<<<= .由于()f x aaαβ<<,分点组D 相当于(,)a aαβ的一个分点组011:n l l l D a a a a aαβ=<<<= .任取1[,]i i i l l η-∈,则1,ii i l l a a a η-⎡⎤∈⎢⎥⎣⎦. 1111[]nni i i i i i i i l l mE l af l mE f aa ηη--==⎡⎤<≤=<≤⎢⎥⎣⎦∑∑,而1111()0()011lim lim nnii i i i i D D i i l l ll a mE f a mE f a a a aa a δδηη--→→==⎡⎤⎡⎤<≤=<≤⎢⎥⎢⎥⎣⎦⎣⎦∑∑()E a f x dx =⎰,并且1()0()0D D δδ→⇔→,因此1()01()lim[]ni i i ED i af x dx mE laf l δη-→==<≤∑⎰11()01l i m ()nii iD E i l l amE f a f x dx a a a δη-→=⎡⎤=<≤=⎢⎥⎣⎦∑⎰.若0a <,则0a ->. 则0[()]Eaf a f dx =+-⎰()EEafdx a fdx =+-⎰⎰()EEafdx a fdx =+-⎰⎰于是()EEafdx a fdx =--⎰⎰Ea fdx =⎰.综上,对任意的a R ∈,有()()EEaf x dx a f x dx =⎰⎰.证(iv ). 引理2 定义在零测度集上的任何有界函数是可积的,而且积分为零. 事实上,设()f x 定义在E 上,0mE =,设()f x αβ<<,x E ∈. 对(,)αβ的任一分点组01:n D l l l αβ=<<<= ,则由1[]i i E l f l E -<≤⊂,所以1[]0,1,2,,i i mE l f l i n -<≤== .于是,任取1[,]i i i l l η-∈,11[]0ni i i i mE lf l η-=<≤=∑,因此1()01()lim[]0ni i i ED i f x dx mE lf l δη-→==<≤=∑⎰.为证(iv ),令()()()F x g x f x =-,则()0..F x a e ≥于E . 由引理2,不妨设()0,F x x E ≥∈.设()(,)F E αβ⊂. 对(,)αβ的任一分点组01:n D l l l αβ=<<<= . 对每一个1i n ≤≤,考察1[]i i i mE l F l η-<≤,其中1[,]i i i l l η-∈,若0i η<,则当()0D δ→时,0i l <,此时1[]i i E l F l φ-<≤=,因而1[]0i i i mE l F l η-<≤=.若0i η≥,则由1[]0i i mE l F l -<≤≥知1[]0i i i mE l F l η-⋅<≤≥,因此1()01()lim[]0ni i i ED i F x dx mE lF l δη-→==<≥≥∑⎰,于是()(()())EEF x dx g x f x dx =-⎰⎰ [()(())]Eg x f x dx =+-⎰ ()()EEg x dx f x dx =+-⎰⎰()()0EEg x dx f x dx =-≥⎰⎰. 因而()()EEg x dx f x dx ≥⎰⎰.推论 设mE <∞,且()f x 是E 上的有界可测函数,则||||EEfdx f dx ≤⎰⎰.证明 因为||||f f f -≤≤,所以由定理5.1.2的(iv )和(i )有||||EEEf dx fdx f dx -≤≤⎰⎰⎰,即||||EEfdx f dx ≤⎰⎰.定理 5.1.3 设mE <∞,()f x 是E 上的有界可测函数,若()0..f x a e ≥于E ,且()0Ef x dx =⎰,则()0..f x a e =于E .证明 因为()0..f x a e ≥E ,则[0]0mE f <=,且[0]()0E f f x dx <=⎰,若能证明[0]0mE f >=,则定理得证.[0][0][0]E E f E f E f ==<> .令1,1,2,n E E f n n ⎡⎤=≥=⎢⎥⎣⎦ ,则1[0]n n E f E ∞=>= ,对任意取定的n N +∈,有 0()Ef x dx =⎰[0][0]()()E f E f f x dx f x dx <≥=+⎰⎰[0]()E f f x dx ≥=⎰[0]()()nnE E f E f x f x dx ≥-=+⎰⎰1()nn E f x mE n≥≥⎰所以0,1,2,n mE n == ,因此11[0]0n n n n mE f m E mE ∞∞==⎛⎫>=≤= ⎪⎝⎭∑ ,于是()0..f x a e =于E .§5.2 一般可测集上一般可测函数的积分对于广义Riemann 积分,有积分区间无限的广义积分和无界函数的广义积分,对于Lebesgue 积分也有无限测度集上的积分和无界可测函数的积分的情形.本节的任务就是讨论这种一般情形的积分.1.有限可测集上无界可测函数的积分(i )非负函数情形 设nE R⊂,mE <∞,()f x 是E 上的非负可测函数.N R +∈,称[]()m i n {(N f x f x N =为()f x 的N -截断函数.有了N -截断函数的概念,我们可以构造有界可测函数列{()}n f x .其中()[]()n n f x f x =.1,2,n = .显然,这样构造的函数列{}n f 满足:12()()()n f x f x f x ≤≤≤≤ ,x E ∈.并且lim ()()n f x f x =.因而12()()()n EEEf x dx f x dx f x dx ≤≤≤≤⎰⎰⎰ ,所以极限lim()n n Ef x dx →∞⎰存在(可能是+∞).定义 5.2.1 设n E R ⊂,mE <∞,()f x 是E 上的非负可测函数.()[]()n n f x f x =,,1,2,x E n ∈= .称lim ()n n Ef x dx →∞⎰为()f x 在E 上的Lebesgue 积分.记为:()lim ()n En Ef x dx f x dx →∞=⎰⎰.若()n Ef x dx ⎰是有限数,称()f x 在E 上可积,若()n Ef x dx ≤+∞⎰,称()f x 在E 上有积分值.(ii )一般函数情形定义5.2.2 设()f x 在n E R ⊂上可测,如果()f x +和()f x -中至少有一个在E 上可积,那么称()()EEf x dx f x dx +--⎰⎰为()f x 在E 上的Lebesgue 积分.记为:()()()EEEf x dx f x dx f x dx +-=-⎰⎰⎰.当()f x +和()f x -都在E 上可积时,称f 在E 上可积.定义中要求()f x +和()f x -中至少有一个在E 上可积是因为如果()f x +和()f x -在E 上都不可积时,()Ef x dx +=+∞⎰且()Ef x dx -=+∞⎰.此时()Ef x dx +-⎰()()()Ef x dx -=+∞-+∞⎰,没有意义,因而没有积分值.若()f x +和()f x -中至少有一个在E 上可积时,()Ef x dx +-⎰()Ef x dx -⎰有意义,但可能为+∞或-∞.无论()Ef x dx ⎰是有限数,+∞或-∞,我们都说()f x 在E 上有积分值,当|()|Ef x dx <+∞⎰时,称f 在E 上可积.2.非有限测度可测集上的积分(i )()f x 是非负可测函数设nE R ⊂,mE =∞.设12{(,,,):||,1,2,,}m n i x x x x m i n K =≤= .令m m E E =K ,则m mE <∞,1,2,m = ,且12m E E E ⊂⊂⊂⊂ 是单调增加集列,有1lim m mm m E EE ∞→∞=== .由前面讨论,()f x 在每个m E 上有积分值()mE f x dx ⎰.记()mm E J f x dx =⎰.则{}m J 是单调增加数列,极限lim m m J →∞存在(可能是+∞).定义5.2.3 设n E R ⊂,mE =∞,()f x 是E 上的非负可测函数.称lim lim ()mm m m E J f x dx →∞→∞=⎰(m E 如上说明)为()f x 在E 上的Lebesgue 积分,记为()lim ()mEm E f x dx f x dx →∞=⎰⎰.若()Ef x dx ⎰是有限数,称()f x 在E 上可积,若()Ef x dx ≤+∞⎰,称()f x 在E 上有积分值.(ii )()f x 是一般可测函数定义5.2.4 设nE R ⊂,mE =∞,()f x 是E 上的可测函数.如果()Ef x dx +⎰和()Ef x dx -⎰至少有一个是有限数,则称()Ef x dx +⎰()Ef x dx --⎰为()f x 在E 上的Lebesgue 积分,记为()()()EEEf x dx f x dx f x dx +-=-⎰⎰⎰.若()Ef x dx +⎰和()Ef x dx -⎰都是有限数,称()f x 在E 上可积.至此,非有限测度集和无界可测函数积分的概念已经建立,以下继续讨论积分的性质. 定理5.2.1 (1)设()f x 是E 上的函数,0mE =,则()0Ef x dx =⎰.(2)设()f x 在E 上可积,则[||]0mE f =∞=,即()f x 是E 上几乎处处有限的函数. 证明 (1)由0mE =,()f x 在E 上可测,所以[]n f +和[]n f -都是E 上的有界可测函数(1,2,)n = ,从而[]()0n Ef x dx +=⎰,[]()0n Ef x dx -=⎰,(1,2,)n = .所以()Ef x dx +=⎰lim []()0n n Ef x dx +→∞=⎰,()Ef x dx -=⎰lim []()0n n Ef x dx -→∞=⎰.于是()Ef x dx =⎰()Ef x dx +-⎰()0Ef x dx -=⎰.(2)令1[]E E f ==+∞,2[]E E f ==-∞.往证120mE mE ==.用反证法,若10mE δ=>,则对任意的正整数n ,有()[]()n EE f x dx f x dx ++≥≥⎰⎰1[]()n E f x dx n δ+=⎰,1,2,n = ,所以()Ef x dx +=+∞⎰,这与()f x 在E 上可积矛盾.因此必须有10mE =.同理可证20mE =.于是1212[||]()0mE f m E E mE mE =∞=≤+= .定理5.2.2 设()f x 在E 上可测,()g x 在E 上非负可积,|()|(),f x g x x E ≤∈,则()f x 也在E 上可积,且|()|()EEf x dxg x dx ≤⎰⎰.证明 因为|()|()()f x f x f x +-=+,所以()()f x g x +≤,()()f x g x -≤.对任意的正整数,k n 有[]()kn E f x dx +≤⎰[]()kn E g x dx ≤⎰()Eg x dx <+∞⎰,所以对每一个正整数k ,{[]()}kn E f x dx +⎰,(1,2,)n = 是单调增加有上界的数列,有有限极限()kE f x dx +=⎰lim []()kn n E f x dx +→∞≤⎰()kE g x dx <+∞⎰.而{()}kE f x dx +⎰,(1,2,)k = 也是单调增加有上界的数列,也有有限极限()Ef x dx +=⎰lim ()kk E f x dx +→∞≤⎰lim ()kk E g x dx →∞⎰()Eg x dx =<+∞⎰.同理可证()Ef x dx -≤⎰()Eg x dx <+∞⎰. 因此()f x 在E 上可积.由|()|()f x g x ≤,x E ∈,有[||]()[](),1,2,n n f x g x n ≤= ,所以对每一个正整数k ,有[||]kn E f dx ≤⎰[](),1,2,kn E g x dx n =⎰ .令n →∞,有|()|kE f x dx ≤⎰(),1,2,kE g x dx k =⎰.令k →∞,有|()|Ef x dx ≤⎰()Eg x dx ⎰.定理5.2.3 设E 是可测集,则(i )当12,,,m E E E 是E 的互不相交的可测子集,1mi i E E ==,()f x 在E 上有积分值时,()f x 在每一个i E 上有积分值,且()Ef x dx =⎰1()E f x dx +⎰2()()mE E f x dx f x dx ++⎰⎰.特别地,当()f x 是E 上的非负可测函数时,()Ef x dx ⎰()iE f x dx ≥⎰,1,2,,i m = ;(ii )对任意常数c ,()Ecf x dx =⎰()Ec f x dx ⎰;(iii )若()f x ,()g x 都是E 上的可积函数,则[()()]Ef xg x dx +=⎰()Ef x dx +⎰()Eg x dx ⎰;(iv )若()f x 在E 上有积分值,且()()f x g x =..a e 于E ,则()Ef x dx =⎰()Eg x dx ⎰;(v )当()f x ,()g x 都在E 上可积,且()()f x g x ≤()x E ∈时,()Ef x dx ≤⎰()Eg x dx ⎰.证明 证(i ). 只须就2m =的情形证明,一般情形利用归纳法可证. 由定理5.1.2的(ii ),对任意的正整数,k m ,有[]km E f dx +=⎰12[][]k k m m E E E E f dx f dx +++⎰⎰ , []k m E f dx -=⎰12[][]k k m m E E E E f dx f dx --+⎰⎰ ,先对m 后对k 取极限,有Ef dx +=⎰12E E f dx f dx +++⎰⎰, Ef dx -=⎰12E E f dx f dx --+⎰⎰.若()f x 在E 上有积分值,则Ef dx +⎰和Ef dx -⎰至少有一个是有限数,不妨设Ef dx+⎰是有限数,那么1E f dx +⎰2E f dx ++⎰是有限数.从而1E f dx +⎰和2E f dx +⎰都是有限数,因而()f x 在1E 和2E 上都有积分值,且()Ef x dx =⎰Ef dx +-⎰Ef dx -⎰()12E E f dx f dx ++=+⎰⎰()12E E f dx f dx ---+⎰⎰1()E f x dx =⎰2()E f x dx +⎰.当()f x 是E 上非负可测函数时,由()i i E E E E =- ,且()i i E E E φ-= ,1,2i =.则()Ef x dx =⎰()()iiE E E f x dx f x dx -+⎰⎰(),1,2iE f x dx i ≥=⎰.为证明(ii )和(iii ),先证明如下结果:引理1 若(),()f x g x 是E 上的非负函数,0c >,则对任意正整数n 成立. (1)2[][][][]n n n n f g f g f g +≤+≤+; (2)[][]1[][][]n n nccc f cf c f +≤≤,其中[]nc 表示不超过nc的最大整数,而[]n f 等表示f 的n -截断函数.证明 (1)先证[][][]n n n f g f g +≤+. 设0x E ∈,若0()f x n <且0()g x n <,则000000[()()]()()[()][()]n n n f x g x f x g x f x g x +≤+=+.若0()f x 和0()g x 中至少有一个不小于n ,例如0()f x n ≥,则000[()()][()]n n f x g x n n g x +=≤+00[()][()]n n f x g x =+.再证2[][][]n n n f g f g +≤+.由于[][]n n f g f g +≤+,[][]2n n f g n +≤,所以[][]min{,2}n n f g f g n +≤+2[]n f g =+. (1)得证. (2)[]min{,}min{,}n n cf cf n c f c==, 而min{,[]}min{,}min{,[]1}n n nf f f c c c≤≤+.所以min{,[]}min{,}min{,[]1}n n nc f c f c f c c c≤≤+.于是[][]1[][][]n n n ccc f cf c f +≤≤. (2)得证.证(ii ). 若0c =,则0cf =()x E ∈.对任何正整数,k m 有()000kkk E E cf dx dx mE ===⎰⎰,所以()lim ()0kEk E Ecf dx cf dx c fdx →∞===⎰⎰⎰.若0c >,则()cf cf ++=,()cf cf --=,由引理1的(2),[][]1[][][]m m mc cc f cf c f ++++≤≤,因此()()lim []km EEm E k cf dx cf dx cf dx +++→∞→∞==⎰⎰⎰[]1l i m[]km m E c k c f dx +→∞+→∞≤⎰Ec fd x +=⎰.另外()()EEcf dx cf dx ++=⎰⎰l i m[]km m E k cf dx +→∞→∞=⎰[]lim[]km m E c k c f dx +→∞→∞≥⎰Ec f dx +=⎰.因此()EEcf dx c f dx ++=⎰⎰.同理1()EEcf dx c f dx --=⎰⎰.所以()EEcf dx c fdx =⎰⎰.当0c <,可按定理5.1.2中的(i )相应的情形证明.证(iii ). 先设()f x 和()g x 都是非负可测函数.由引理1的(1),对任意的正整数m ,有2[][][][]m m m m f g f g f g +≤+≤+,所以对任意的正整数k ,有[][][]kkkm m m E E E f g dx f dx g dx +≤+⎰⎰⎰2[]km E f g dx ≤+⎰,由f 和g 是可积的,有lim[[][]]kkm m m E E k f dx g dx →∞→∞+⎰⎰()()EEf x dxg x dx =+⎰⎰,所以,lim []()()km m E EEk f g dx f x dx g x dx →∞→∞+≤+⎰⎰⎰2lim []km m E k f g dx →∞→∞≤+⎰.由左边不等式知f g +可积,有()EEEf g dx fdx gdx +≤+⎰⎰⎰.由右边不等式,有()EEEfdx gdx f g dx +≤+⎰⎰⎰.因此()EEEf g dx fdx gdx +=+⎰⎰⎰.再设()f x 和()g x 都是一般的函数.由于()f g f g ++++≤+,()f g f g ---+≤+.因此若,f g 都在E 上可积,则f g +也在E 上可积.因为()()()()f g f g f g f g f g +-++--+-+=+=+-+,所以()()f g f g f g f g +--++-+++=+++,因而[()][()]EEf g f g dx f g f g dx +--++-+++=+++⎰⎰,由已证结果,有[()()EEEEEEf g dx f dx g dx f dx g dx f g dx +--++-+++=+++⎰⎰⎰⎰⎰⎰,所以[()()()()EEEEEEf g dx f g dx f dx f dx g dx g dx +-+-+-+-+=-+-⎰⎰⎰⎰⎰⎰.此即()EEEf g dx fdx gdx +=+⎰⎰⎰.证(iv ). 设()()f xg x =..a e 于E ,()f x 在E 上有积分值,记1[()()]E f x g x ==,2[()()]E f x g x =≠,则20mE =,12E E φ= ,12E E E = .由(i ),12EE E fdx fdx fdx =+⎰⎰⎰12E E gdx fdx =+⎰⎰因为零测度集上的有界函数积分为零(§5.1引理2).所以对任何正整数m ,2[]0m E f dx +=⎰,2[]0m E f dx -=⎰,因而22lim []0m E m E f dx f dx ++→∞==⎰⎰,22lim []0m E m E f dx f dx --→∞==⎰⎰.所以2()0E f x dx =⎰,同理2()0E g x dx =⎰.因为f 在E 上有积分值,所以由(i ),f 在1E E ⊂也有积分值,而在1E 上,f g ≡,因此g 在1E 上有积分值.对任意的正整数,m k ,由k mE <∞,[]m g +和[]m g -都是有界函数,依测度有限集上有界函数的积分定义,有121[][][][]kk k k m m m m E E E E E E E g dx g dx g dx g dx ++++=+=⎰⎰⎰⎰.令m →∞,k →∞,则1EE g dx g dx ++=⎰⎰.同理,1EE g dx g dx --=⎰⎰.因为g 在1E 上有积分值,所以g 在E 上有积分值.并且_EEEgdx g dx g dx +=-⎰⎰⎰11E E g dx g dx +-=-⎰⎰11E E gdx fdx ===⎰⎰12E E Efdx fdx fdx +=⎰⎰⎰.证(v ). 设()()()F x g x f x =-,则()0()F x x E ≥∈,并且()F x 在E 上可积,且()0EF x dx ≥⎰,而(),()f x g x 都在E 上可积,并且()()()g x F x f x =+.由(iii )()[()()]()()EEEEg x dx F x f x dx F x dx f x dx =+=+⎰⎰⎰⎰()Ef x dx ≥⎰.至此定理证毕.定理 5.2.4(积分的绝对可积性) 设()f x 是E 上的可测函数,则()f x 在E 上可积的充要条件是|()|f x 在E 上可积,并且|()||()|EE f x dx f x dx ≤⎰⎰.证明 若()f x 在E 上可积,则Ef dx +⎰和Ef dx -⎰都是有限数,即f +和f -都在E 上可积,而|()|()()f x f x f x +-=+,由定理5.2.3的(iii )有|()|()()EEEf x dx f x dx f x dx +-=+<∞⎰⎰⎰,因而|()|f x 在E 上可积.反之,若|()|f x 在E 上可积,则由||f f +≤,||f f -≤,由定理5.2.2,f +和f -都在E 上可积,所以f 在E 上可积.并且由||||f f f -≤≤,有||||EEEf dx fdx f dx -≤≤⎰⎰⎰, 此即||||EEfdx f dx ≤⎰⎰.定理5.2.5(积分的绝对连续性) 设()f x 在E 上可积,则对任意的0ε>,存在0δ>,使得对于E 的任意子集A ,当mA δ<时,就有|()|Af x dx ε<⎰.证明 (1)先证明在mE <∞,且()f x 在E 上有界的条件下结论成立.设|()|()f x x E ≤K ∈,则任取可测集,A E ⊂|()|Af x dx ⎰|()|Af x dx mA ≤≤K ⋅⎰.对任意的0ε>,取εδ≤K,则当mA δ<时,有|()|Af x dx mA εε≤K ⋅<K ⋅=K⎰.(2)一般情形()f x 在E 上可积,则|()|f x 也在E 上可积,由lim [|()|]|()|nn n E Ef x dx f x dx →∞=⎰⎰知,对任意的0ε>,存在正整数N ,使|()|[|()|]2NN EE f x dx f x dx ε-<⎰⎰.另一方面,由情形(1),对这个0ε>,存在0δ>,使当N A E ⊂,且mA δ<时,有[|()|]2N A f x dx ε<⎰,因此,当A E ⊂且mA δ<时,便有()|()||()||()||()|N NAAA A E A E f x dx f x dx f x dx f x dx -≤=+⎰⎰⎰⎰()||(||[||])[||]N NNN N A A E A E A E f dx f f dx f dx -=+-+⎰⎰⎰,因为()N N N A A E A E E E -=-⊂- ,所以|()|||(||[||])[||]NN NN N AE E E A E f x dx f dx f f dx f dx -≤+-+⎰⎰⎰⎰(||[||])[||]22NNN N EE A E f dx f dx f dx εεε=-+<+=⎰⎰⎰.例 1 设()f x 在[,]E a b =上可积,则对任何0ε>,必存在E 上的连续函数()x ϕ,使|()()|b af x x dx ϕε-<⎰.证明 设[||]n e E f n =>,则1[||]nn E f e∞==∞=.因为{}n e 是单调减少集列,所以1lim n n n n e e ∞→∞== .而由mE b a =-<∞知,1me <∞,因而1lim (lim )()[||]0n n n n n n me m e m e mE f ∞→∞→∞=====∞=由积分的绝对连续性,对任意的0ε>,必存在正整数N ,使||4NN e N me f dx ε⋅<<⎰.令N N B E e =-,在N B 上由Lusin 定理,存在闭集N N F B ⊂和R 上的连续函数()x ϕ,使得(1)()4N N m B F Nε-<;(2)当N x F ∈时,()()f x x ϕ=,且sup |()|sup |()|NRF x f x N ϕ=≤.所以|()()||()()||()()|NNb ae Bf x x dx f x x dx f x x dx ϕϕϕ-=-+-⎰⎰⎰|()||()||()()|NNN Ne e B Ff x dx x dx f x x dxϕϕ-≤++-⎰⎰⎰|()()|NF f x x dx ϕ+-⎰2044N N me N Nεε≤+⋅+⋅+442εεε<++ε=.§5.3 Lebesgue 积分的极限定理本节讨论如下的问题,假设{}n f 是集E 上的一个函数序列,按某种意义收敛到f ,如果每个n f 在某种意义下都有积分,()f x 是否有积分?如果()f x 也有积分,n f 的积分之极限是否等于()f x 的积分?也就是极限与积分是否可以交换顺序的问题.我们会看到这个问题在Lebesgue 积分范围内得到比在Riemann 积分范围内更为完满的解决,这也正是Lebesgue 积分的最大成功之处.定理5.3.1(Lebesgue 控制收敛定理) 设{()}n f x 是E 上的可测函数列,()F x 是可积的控制函数,即|()|()..n f x F x a e ≤于(1,2,)E n = ,且()F x 在E 上可积,如果()()mn f x f x −−→,则()f x 在E 上是可积的,并且lim ()()n n EEf x dx f x dx →∞=⎰⎰.证明 若0mE =,结论显然成立,因此不妨设0mE >.由于mn f f −−→,由F·Riesz 定理,存在{()}n f x 的子列{()}i n f x ,使 lim ()()..i n i f x f x a e →∞=于E ,由|()|()..i n f x F x a e ≤于E 知|()|()..f x F x a e ≤ 于E . 因为()F x 在E 上可积,所以()f x 在E 上可积.往证lim()()n n EEf x f x dx →∞=⎰⎰.(1)mE <∞因为()F x 在E 上可积,由积分的绝对连续性,对任意的0ε>,存在0δ>,使当e E ⊂且me δ<时,有()4eF x dx ε<⎰.又因为m n f f −−→,所以存在N N +∈,使当n N ≥时,有[||]2n n mE mE f f mEεδ=-≥<,所以当n N ≥时,()4nE F x dx ε<⎰,因此|()()|n EEf x dx f x dx -=⎰⎰|(()())|n Ef x f x dx -⎰|()()|n Ef x f x dx ≤-⎰|()()||()()|nnn n E E E f x f x dx f x f x dx -=-+-⎰⎰2()()2nnE F x d x m EE mEε≤+⋅-⎰22εεε<+=.因此,lim()()n n EEf x f x dx →∞=⎰⎰.(2)设mE =∞因为()F x 在E 上可积,对任意的0ε>,取,k m 充分大,使()[]()4km EE F x dx F x dx ε-<⎰⎰,所以()()()kkE E EE F x dx F x dx F x dx -=-⎰⎰⎰()[]()4km EE F x dx F x dx ε≤-<⎰⎰另一方面,在k E 上可测函数列{||}n f f -满足:||2..n f f Fa e -≤于,1,2,k E n = ,||0mn f f -−−→,k mE <∞.因此,由(1)的结果,存在正整数N ,使当n N ≥时||2kn E f f dx ε-<⎰.所以|()()|n EEf x dx f x dx -⎰⎰|()()|n Ef x f x dx ≤-⎰|()()||()()|kkn n E E E f x f x dx f x f x dx -=-+-⎰⎰ 2()2kE EF x dx ε-≤+⎰.242εεε<⋅+=因此lim ()()n n EEf x dx f x dx →∞=⎰⎰.综上定理得证.定理5.3.1' 设{()}n f x 是E 上的可测函数列,()F x 是可积的控制函数,若lim ()()..n n f x dx f x a e →∞= 于E ,则()f x 在E 上可积且lim ()()n n Ef x dx f x dx →∞=⎰.定理5.3.1''(勒贝格有界收敛定理) 设mE <∞,{()}n f x 是可测集E 上的可测函数列且测度收敛于()f x ,如果{()}n f x 一致有界,即存在常数M ,使得对任意的x E ∈和对任意的正整数n ,有|()|n f x M ≤,则()f x 在E 上可积,且有()lim ()n En Ef x dx f x dx →∞=⎰⎰.定理5.3.1''对于Riemann 积分不适用.例1 设12{,,,,}n r r r 是[0,1]中的全体有理数. 作如下函数列:1111,;()0,[0,1]{}.x r f x x r =⎧=⎨∈-⎩ 122121,,;()0,[0,1]{,}.x r r f x x r r =⎧=⎨∈-⎩ … … … … … … … …12121,,,,;()0,[0,1]{,,,}.n n n x r r r f x x r r r =⎧=⎨∈-⎩… … … … … … … …那么{()}n f x 在[0,1]上一致有界,|()|1,[0,1],1,2,n f x x n ≤∈= . 而且1,()()0,n f x D x ⎧→=⎨⎩因为每个()n f x 在[0,1]上只有有限个不连续点,因而Riemann 可积,然而()D x 在[0,1]上不是Riemann 可积的.定理5.3.2(勒维Levi ,1875-1961,意大利数学家) 设 (i ){()}n f x 是E 上非负可测函数列; (ii )1()()n n f x f x +≤ (,1,2,)x E n ∈= ; (iii )()lim ()n n f x f x →∞=,则()lim ()n En Ef x dx f x dx →∞=⎰⎰.证明 先设()Ef x dx <∞⎰,对任意的0ε>,取正整数,k m ,使[]()()2k m E E f x dx f x dx ε>-⎰⎰.此处k k E E =K ,12{(,,,)k n x x x K = :||,1,2,,}i x k i n ≤= .注意到k mE <∞,且在k E 上[]()lim[]()m n m n f x f x →∞=,由Egoroff 定理知,存在k E E ε⊂,使4mE mεε<,且在k E E ε-上[]()n m f x 一致收敛到[]()m f x .设正整0n 使0n n ≥时,对一切k x E E ε∈-,都有x 为[0,1]上的有理数;x 为[0,1]上的无理数.0[]()[]()4(1)m n m k f x f x mE ε≤-<+则当0n n ≥时,()[]()[]()4k k n n m m EE E E E f x dx f x dx f x dx εεε--≥≥-⎰⎰⎰,而[]()[]()[]()kk m m m E E E E f x dx f x dx f x dx εε-=+⎰⎰⎰[]()4k m E E f xdx εε-<+⎰,所以当0n n ≥时,()[]()4k n m EE E f x dx f x dx εε->-⎰⎰[]()44km E f xdx εε>--⎰()Ef x dx ε>-⎰.因此lim()()n n EEf x dx f x dx ε→∞≥-⎰⎰,由0ε>是任意的,有lim ()()n n EEf x dx f x dx →∞≥⎰⎰.另一方面,对任意的n ,显然有()()n f x f x ≤()x E ∈,所以()()n EEf x dx f x dx ≤⎰⎰,从而lim()()n n EEf x dx f x dx →∞≤⎰⎰.综上得lim ()()n n EEf x dx f x dx →∞=⎰⎰.当()Ef x dx =∞⎰时,由积分定义,对任意的0M >.存在,k m 使得[]()km E f x dx M ≥⎰,由[]()[]()n m m f x f x →()n →∞与[]()km E f x dx <∞⎰及上面的证明,知lim []()[]()kkn m m n E E f x dx f x dx M →∞=≥⎰⎰.于是lim ()lim []()n n m n En Ef x dx f x dx →∞→∞≥⎰⎰lim []()kn m n E f x dx →∞≥⎰M ≥.由0M >是任意的,有lim ()()n n EEf x dx f x dx →∞=∞=⎰⎰.定理得证.定理 5.3.3(Lebesgue 基本定理) 设{()}n f x 是可测集E 上的非负可测函数列,1()()n n f x f x ∞==∑,则1()()n EEn f x dx f x dx ∞==∑⎰⎰.证明 设1()(),1,2,nn i i g x f x n ===∑ ,则{()}ngx 是E 上非负可测函数列,且1()()(,1,2,)n n g x g x x E n +≤∈= ,1lim ()()n n n n g x f x ∞→∞==∑()f x =.由Levi 定理有1lim ()(())()n i n EEEi g x dx f x dx f x dx ∞→∞===∑⎰⎰⎰,而1lim ()lim (())nn i n En Ei g x dx f x dx →∞→∞==∑⎰⎰1lim ()ni n Ei f x dx →∞==∑⎰1()i Ei f x dx ∞==∑⎰.所以1()()n EEn f x dx f x dx ∞==∑⎰⎰.定理5.3.4(积分对区域的可数可加性) 若,1,2,i E i = 是E 的互不相交的可测子集列,1i i E E ∞== ,当()f x 在E 上有积分值时,则()f x 在每一个i E 上都有积分值,且1()()iEE i f x dx f x dx ∞==∑⎰⎰.。
勒贝格积分的定义和应用

勒贝格积分的定义和应用积分是高等数学中的一个重要概念,勒贝格积分是其中的一种。
本文将着重探讨勒贝格积分的定义和应用。
一、勒贝格积分的定义勒贝格积分是法国数学家勒贝格(Henri Lebesgue)于20世纪初创立的一种积分。
与黎曼积分相比,它具有更广泛的应用范围和更强的理论基础。
首先,我们需要了解可积函数的概念。
对于定义在区间[a,b]上的函数f(x),如果存在一个实数I,使得对于任意的ε>0,都存在一个宽度足够小的区间[a1,b1],使得其中的任何一组点x1,x2,...,xn,满足有|Σ(fiΔxi)-I|<ε其中,Δxi=xi+1-xi,fi为xi,x(i+1)之间的任意点。
则函数f(x)在区间[a,b]上可积。
我们称这个实数I为函数f(x)在区间[a,b]上的黎曼积分。
但是,黎曼积分并不能处理所有函数,比如说在区间[0,1]上的Dirichlet函数:1,x属于[0,1]的有理数f(x)=0,x属于[0,1]的无理数如果我们想对这个函数进行积分,我们会发现无论采取什么方法,这个函数在[0,1]上的积分都不存在。
因此,勒贝格引入了新的积分概念——勒贝格积分。
勒贝格积分的定义与黎曼积分不同,勒贝格积分是先将函数f(x)拆分成单调递增或递减的函数,然后再对其进行积分。
这样就能够处理其他类型的函数,比如Dirichlet函数。
二、勒贝格积分的应用勒贝格积分在实际应用中具有广泛的用途,下面将介绍其中的一些应用。
1.概率论概率密度函数是概率论中的一个重要概念。
对于一个随机变量X,概率密度函数f(x)表示X在某一区间内取值的概率密度大小。
而对于连续型随机变量,其概率密度函数可以表示为:f(x)=lim(n->∞)[P(a<X<b)/n]其中,P(a<X<b)表示X在区间(a,b)内取值的概率,n则表示将区间(a,b)划分成越来越多的小区间。
那么,这个式子中的极限存在吗?答案是肯定的,因为f(x)是一个单调递增或递减的函数,因此可以使用勒贝格积分进行求解。
lebesgue可积函数

lebesgue可积函数Lebesgue可积函数是现代数学分析中的一个重要概念,它是勒贝格测度与可积性的结合体现。
在这篇文章中,我们将探讨Lebesgue可积函数的定义、性质以及其在数学分析中的应用。
Lebesgue可积函数的定义源于勒贝格测度的概念。
勒贝格测度是一种更加一般化的测度,它能够对更多的集合进行测量。
Lebesgue可积函数是指在Lebesgue测度下,其绝对值的积分是有限的函数。
换句话说,一个函数f(x)是Lebesgue可积的,当且仅当其绝对值的积分小于无穷大。
Lebesgue可积函数具有一些非常重要的性质。
首先,Lebesgue可积函数的积分是可交换的,即对于可积函数f(x)和可积函数g(x),它们的积分的乘积等于它们的乘积的积分。
其次,Lebesgue可积函数的积分具有线性性质,即对于可积函数f(x)和可积函数g(x),以及任意实数a和b,有∫(af(x)+bg(x))dx = a∫f(x)dx + b∫g(x)dx。
Lebesgue可积函数在数学分析中有广泛的应用。
首先,Lebesgue可积函数是测度空间中的一个重要概念,它能够帮助我们对集合进行测量和分析。
其次,Lebesgue可积函数可以用来定义函数的平均值,通过对函数值进行积分和测度的比值。
此外,Lebesgue可积函数还可以用来描述概率论中的随机变量和概率密度函数。
Lebesgue可积函数的研究对于数学分析的发展具有重要意义。
通过引入Lebesgue测度和Lebesgue可积函数,我们能够更加深入地理解函数的性质和行为。
此外,Lebesgue可积函数也为其他数学分支如泛函分析、偏微分方程等提供了基础。
总结一下,Lebesgue可积函数是勒贝格测度与可积性的结合体现,其定义为在Lebesgue测度下,其绝对值的积分是有限的函数。
Lebesgue可积函数具有交换性和线性性质,广泛应用于数学分析中。
Lebesgue可积函数的研究对于数学分析的发展具有重要意义,为其他数学分支提供了基础。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
112
意 ε > 0, 由 §2.3 定 理 6, 存 在 开 集 G 和 有 界 闭 集 F, 使 得 F ⊂ A ⊂ G, 使 得
m(G − F ) < ε . 由于 F 是有界集, 因此存在半径充分大的开球U (0, r) 使得 F ⊂ U (0, r).
令 B = (G ∩U (0, r))c , 则 B 是闭集并且 F ∩ B = ∅. 由§3.3 引理 3, 存在 Rn 上的连续函
设给定一个测度空间 ( X , F , µ), C 是可积函数类 L(µ) 的一个子类. 若对任意可积
∫ 函数 f ∈ L(µ) 和 ε > 0, 存在一个 g ∈C , 使得 f − g dµ < ε , 则称可积函数可以用C
中的函数逼近.
一般测度空间上积分的逼近
定理 1 设 ( X , F , µ) 是一个测度空间, f ∈ L(µ). 则对任意 ε > 0, 存在 L(µ) 中的
E
I Ai
− gi
dx < ε 2k ai
.
k
令 g = ai gi , 则 g
i =1
是 R n 上具有紧支集的连续函数. 我们得到
∫ f − g dx = ∫ f −ϕ dx + ∫ ϕ − g dx
E
E
E
∑ ∫ < ε +
2
k i=1
ai
E
I Ai
− gi
dx
<
ε 2
+
ε 2
=ε.
■
n
∑ 设 [a,b] 是直线上的有界闭区间. 称型如 f = ai I Ji 的函数为 [a,b] 上的阶梯函数, i =1
f
−
g
dx
<
ε 2
.
由上面证明的结果,
存在
∫ N > 0,
使得当 n > N 时,
b a
g(x) cos nxdx
<
ε 2
.
于是当 n > N 时有
∫
b
f
(x) cos nxdx
≤
∫
b
(
f
( x) −
g(x)) cos nxdx
+
∫
b
g(x) cos nxdx
a
a
a
∫ ≤
b a
f
−g
dx
+
ε 2
<
ε.
114
因此(1)成立. 类似地可以证明(2)成立. ■
例 2 设 f 是 R n 上的 L 可积函数, 则
∫ lim f (x + t)− f (x) dx 先设 f 是具有紧支集的连续函数. 则存在闭球 S (0, r), 使得当 x ∉ S (0, r) 时
f = 0. 由于 f 在 S(0, r) 上连续, 因此 f 在 S(0, r) 上一致连续. 因此对任意 ε > 0, 存在
∫ ∑ 一般情形,
由定理
1,
存在 L(E) 中的简单函数ϕ,
使得
E
f
−
ϕ
dx
<
ε 2
.
k
设 ϕ = ai I Ai . i =1
不妨设 ai ≠ 0, 则 m( Ai ) < +∞, i = 1, , k. 由上面所证的结果, 对每个 i = 1, , k, 存
∫ ∑ 在 Rn 上具有紧支集的连续函数 gi , 使得
且 f n − f → 0 (n → ∞), 利用控制收敛定理得到
∫ lim
n →∞
f n − f dµ =0.
∫ 因此存在一个 n0 , 使得 f n0 − f dµ < ε. 令 g = f n0 即知定理成立.■
Lebesgue 积分的逼近 设 E 是 Rn 中的 L 可测集. 用 L(E) 表示 E 上的 Lebesgue 可积函
∫ ∫ Rn ft − gt dx =
f − g dx < ε .
Rn
3
使得当
于是当 d (0,t) < δ 时, 我们有
∫ ∫ ∫ ∫ Rn ft − f dx ≤
Rn ft − gt dx +
Rn gt − g dx +
g − f dx
Rn
<
ε 3
+
ε 3
+
ε 3
=
ε
.
因此(3)成立.■
小 结 本节证明了几个关于积分的逼近定理.主要是关于 Lebesgue 积分的逼近定理. 本 节的结果表明 Lebesgue 可积函数可以用比较简单的函数,特别是用连续函数逼近. 利用积分 的逼近定理, 可以把一般可积函数的问题转化为比较容易处理的连续函数的问题.例 1 和例 2 说明了可积函数的逼近定理的典型方法.
I − I ( A−U )∪(U −A) A
U
dx = m( A−U ) + m(U − A) < ε.
■
定理 4 设 f ∈ L(R1 ). 则对任意 ε > 0, 存在 R1 上的一个具有紧支集的阶梯函数 g,
∫ 使得 f − g dx < ε. R1 证明 设 f ∈ L(R1 ). 类似于定理 2 的证明, 我们不妨设 f = I A , 其中 m( A) < +∞. 令
= ε.
■
下面是两个关于可积函数的逼近性质应用的例子.
例 1 (Riemann-Lebesgue 引理)设 f ∈ L[a,b]. 则
∫ lim b f (x) cos nxdx = 0.
n→∞ a
(1)
∫ lim b f (x) sin nxdx = 0.
n→∞ a
(2)
证明 先设 f = I (α,β ) , 其中 (α, β ) ⊂ [a, b]. 则
§4.5 Lebesgue 可积函数的逼近
教学目的 本节考虑可积函数的逼近问题. 本节要证明几个关于积分的 逼近定理.主要是关于 Lebesgue 积分的逼近定理.
教学要点 Lebesgue 可积函数可以用比较简单的函数,特别是用连续函数 逼近. 由于连续函数具有较好的性质, 因此 L 可积函数的逼近性质在处理有 些问题时是很有用的.应通过例题和习题掌握这种方法.
∫ 简单函数 g, 使得 f − g dµ < ε.
证明 设 f ∈ L(µ). 由§3.1 推论 10, 存在一个简单函数列{ f n }, 使得{ f n }处处收敛
于 f , 并且 f n ≤ f , n ≥ 1. 由于 f 可积, 因此每个 f n 都可积. 注意到 f n − f ≤ 2 f 并
δ > 0, 使 得 当 x′, x′′ ∈ S(0, r), d (x′, x′′) < δ 时 , 成 立 f (x′) − f (x′′) < ε. 记
ft (x) = f (x + t). 于是当 d (0,t) < δ 时, 我们有
∫ ∫ Rn ft − f dx = S(0,r) ft − f dx < ε m(S (0, r)).
习 题 习题四, 第 40 题—第 42 题.
115
这表明当 f 是具有紧支集的连续函数时,(3)成立.一般情形, 由定理 2, 存在 Rn 上的具有紧
∫ 支 集 的 连 续 函 数 g , 使 得
f − g dx < ε .
Rn
3
由 上 面 所 证 , 存 在 δ > 0,
∫ d (0,t) < δ 时,
Rn
gt − g
dx
<
ε 3
.
由§4.1 例 4, 有
数 g,
使得 g F = 1,
g B
= 0.
则 g 是 Rn 上具有紧支集的连续函数.
注意到 0 ≤ g(x) ≤ 1,
我们有
∫ f − g dx = ∫ f − g dx + ∫ f − g dx
E
E−A
A
∫ ∫ =
g dx +
f dx
E−A
A−F
≤ m(E − A) + m( A− F )
≤ m(G − F ) < ε.
使得
k −k
ϕ
−g
dx
<
ε. 2
延拓 g 的定义使得 g 在[−k, k]c 上为
零. 则 g 是为 R1 上的具有紧支集的阶梯函数. 我们得到
∫ ∫ ∫ f − g dx ≤ f −ϕ dx + ϕ − g dx
R1
R1
R1
∫ = m( A) − m( Ak0 ) +
k −k
ϕ−g
dx
<
ε 2
+
ε 2
∫ ∫ b f (x) cos nxdx = β f (x) cos nxdx = sin nβ −sin nα → 0, n → ∞.
a
α
n
于是由积分的线性性知道对每个阶梯函数 f , (1)式成立. 现在设 f ∈ L[a,b]. 对任意
∫ ε > 0,
由定理
3,
存在一个阶梯函数 g ,
使得
b a
∪∞
Ak = A ∩ [−k, k], k = 1, 2,
.
则 Ak ↑ 并且 A = Ak .
k =1
于是
lim
k →∞
m(
Ak
)
=
m(
A).
因此对
任意 ε > 0,
存在
k0 使得
m( A)