第五章,,第一节 Lesbesgue积分的定义及性质
Lebesgue积分的概念与性质的教学探讨

Lebesgue积分的概念与性质的教学探讨作者:杨元启来源:《科技风》2019年第28期摘要:Lebesgue积分理论是实变函数论的中心内容,是数学专业学生的必修课。
本文尝试深入浅出的引导学生理解Lebesgue积分的概念与性质,进而掌握Lebesgue积分的思想和理论。
关键词:Lebesgue测度;Lebesgue積分;绝对连续性;平均连续性Lebesgue积分理论是建立在Lebesgue测度论基础上的积分理论,是Riemann积分理论的升华,它不仅蕴含了Riemann积分理论的成果,而且克服了Riemann积分理论的许多局限。
比如黎曼积分过度依赖函数的连续性,在积分极限运算中,交换极限次序的条件也非常苛刻,Lebesgue积分一定程度上弥补了黎曼积分的不足,较黎曼积分有更为广泛的应用。
不过,尽管理论完美,但略嫌晦涩难懂,且计算不方便,这限制了Lebesgue积分理论的普及推广。
不过,作为数学专业的学生,这是必修课,如何快速让学生理解掌握Lebesgue积分理论,是教学的一个难点。
以下对Lebesgue积分概念和性质的引入与讨论,希望能给同学们提供帮助。
一、 Lebesgue积分的概念(1)设f是可测集D上的非负简单函数,即存在D的分划∑nSymbolcB@ n 使f(x)=∑Si=1aiχEi(x) x∈D,其中E1,E2,···,En是互不相交的可测集,定义f在D上的Lebesgue积分为∫Df(x)dx=∑ni=1aim(Ei)。
(2)设f是可测集D上的非负可测函数,即存在D上的非负简单可测列fn,{fn(x)} 单增收敛于f(x),定义∫DSymboleB@ ∫D fndx。
(3)设f是可测集D上的可测函数,则令f+(x)=max{0,f(x)},f-(x)=max{0,-f (x)},若∫Df+(x)dx和∫SymboleB@ ,则定义∫Dfdx=∫Df+(x)dx-∫Df-dx。
积分的勒贝格积分

积分的勒贝格积分积分是高等数学中一项重要的内容,被广泛用于各个领域的计算和研究中。
其中,勒贝格积分是一种被广泛采用的积分方法,其应用范围涵盖了大部分实数函数和复杂函数。
本文将结合实例,详细探讨勒贝格积分的定义、计算方法、性质及其与其他积分方法的对比等方面。
一、勒贝格积分的定义勒贝格积分是由法国数学家亨利·勒贝格发明的一种积分方法,其理论基础是将积分范围进行分割,然后计算每个小范围内的积分,最终将这些小范围内的积分加起来,得到整个积分的结果。
具体来说,勒贝格积分将被积函数划分为正函数和负函数的和,分别求出其在积分范围内的上、下积分和,然后将两者相加或相减,得到最终积分的结果。
其中,上积分指的是在积分区间范围内,被积函数处于一个上界之下的部分的积分值,而下积分则是指处于下界之上的部分的积分值。
这种分段计算的方法,不仅适用于实数函数,也适用于复杂函数,而且具有很高的计算精度和广泛的应用价值。
二、勒贝格积分的计算方法勒贝格积分的计算方法相对来说比较复杂,需要根据具体的函数形式,采用相应的积分公式进行计算。
下面将通过两个例子讲解具体的计算过程,以帮助读者更好地理解。
1、勒贝格积分的计算:计算f(x)=x在[0,1]上的勒贝格积分。
解:首先将函数f(x)划分为正函数和负函数的和,其结果为f(x)= max{0,x}-min{0,x}。
然后,分别计算max{0,x}和min{0,x}在区间[0,1]上的上、下积分。
max{0,x}在该区间上的上积分和下积分分别为:$∫_{0}^{1}max\{0,x\}dx=1/2$$∫_{0}^{1}max\{0,x\}dx=0$min{0,x}在该区间上的上积分和下积分分别为:$∫_{0}^{1}min\{0,x\}dx=0$$∫_{0}^{1}min\{0,x\}dx=-1/2$因此,f(x)在该区间上的上积分和下积分分别为:$∫_{0}^{1}f(x)dx =∫_{0}^{1}(max\{0,x\}-min\{0,x\})dx$$=∫_{0}^{1}max\{0,x\}dx-∫_{0}^{1}min\{0,x\}dx=1$2、勒贝格积分的计算:计算f(x)=sin(x)在[0,π]上的勒贝格积分。
Lebesgue积分与Lebesgue测度

Lebesgue积分与Lebesgue测度Lebesgue积分是数学分析中的一种积分方法,它是由法国数学家亨利·勒贝格(Henri Lebesgue)在20世纪初提出的。
与传统的黎曼积分相比,Lebesgue积分在理论上更加严密,也更加广泛地适用于各种函数类。
为了介绍Lebesgue积分,首先需要了解Lebesgue测度。
Lebesgue测度是由Lebesgue在衡量集合的大小时提出的一种新的测度方法。
在传统的黎曼积分中,我们通过将函数分解为若干小区间上的近似和来进行积分。
而Lebesgue积分则通过将函数关注的点和其取值联系起来,基于集合的度量来定义积分。
Lebesgue测度的定义从开区间扩展到一般的集合上,通过定义集合的外测度、内测度和可测性来确定集合的Lebesgue测度。
其中,外测度是通过向置换集合中的开区间进行测量所得到的上估计,而内测度则是通过向置换集合的闭区间进行测量所得到的下估计。
如果对于任意给定的正实数ε,可以找到一个开区间覆盖集合,使得这些开区间的总长度与集合的外测度之差小于ε,则称该集合是可测的,且定义其外测度为集合的Lebesgue测度。
Lebesgue积分的定义基于Lebesgue测度,它通过将积分的定义扩展到更广泛的函数类上。
传统的黎曼积分只适用于可积函数,即函数在有限闭区间上有界且有有限个间断点的函数。
而Lebesgue积分则可以对更一般的函数进行积分,包括不可积函数、无界函数和带有无穷间断点的函数。
它的优势在于,在定义和计算上更加简洁和自然。
Lebesgue积分的定义通过将函数的取值和其关注的点联系起来,将函数视为一个整体来进行积分。
对于一个非负的可测函数,Lebesgue积分被定义为函数图像下方的小矩形与x轴之间的面积之和,即以函数图像作为被积函数,Lebesgue测度作为积分定义的测度,进行积分运算。
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
勒贝格积分公式

勒贝格积分公式一、勒贝格积分的定义。
1. 简单函数的勒贝格积分。
- 设E⊆R^n是可测集,φ(x)=∑_i = 1^k c_iχ_E_i(x)是E上的非负简单函数,其中c_i≥slant0,E_i⊆ E是可测集且E=bigcup_i = 1^k E_i,E_i∩ E_j=varnothing(i≠ j),χ_E_i是E_i的特征函数。
- 则∫_Eφ(x)dx=∑_i = 1^k c_im(E_i),这里m(E_i)表示集合E_i的勒贝格测度。
2. 非负可测函数的勒贝格积分。
- 对于E上的非负可测函数f(x),定义∫_E f(x)dx=sup<=ft{∫_Eφ(x)dx:φ(x)≤slant f(x),φ(x)是简单函数}。
3. 一般可测函数的勒贝格积分。
- 设f(x)是E上的可测函数,将f(x)分解为f(x)=f^+(x)-f^-(x),其中f^+(x)=max{f(x),0},f^-(x)=-min{f(x),0}。
- 如果∫_E f^+(x)dx和∫_E f^-(x)dx至少有一个是有限值,则∫_E f(x)dx=∫_Ef^+(x)dx-∫_E f^-(x)dx。
当∫_E f^+(x)dx和∫_E f^-(x)dx都有限时,称f(x)在E上勒贝格可积。
二、勒贝格积分的基本性质。
1. 线性性质。
- 设f(x)和g(x)是E上的勒贝格可积函数,α,β∈R,则∫_E[α f(x)+βg(x)]dx=α∫_E f(x)dx+β∫_E g(x)dx。
2. 单调性。
- 若f(x)≤slant g(x)在E上几乎处处成立(即除了一个勒贝格测度为零的集合外成立),则∫_E f(x)dx≤slant∫_E g(x)dx。
3. 可加性。
- 设E = E_1∪ E_2,E_1∩ E_2=varnothing,f(x)在E上勒贝格可积,则∫_Ef(x)dx=∫_E_1 f(x)dx+∫_E_2 f(x)dx。
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
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
证明:当
Lesbesgue积分的定义及性质[行业严选]
![Lesbesgue积分的定义及性质[行业严选]](https://img.taocdn.com/s3/m/3370f73b25c52cc58bd6be65.png)
为f(x)在E上的Lebesgue积分
若f(x)是E上的可测函数,则f(x)总可表示成一列
简单函数 {n (x)} 的极限 可办到 | 1(x) || 2 (x) |
f
(
x)
limnn( Nhomakorabeax,) 而且还
一类特制
9
显然0 E f (x)dx ,若E f (x)dx ,称f (x)
第五章 积分理论
第二节 Lesbesgue积分的定义及性质
一类特制
1
1.积分的定义
⑴非负简单函数的积分
设 是 n
( x) ci Ei ( x)
i 1
E
n
i 1
Ei
(
Ei可测且两两不交)
上非负简单函数,定义
(L)E ( x)dx
n
ci mEi
i 1
为 (x) 在E上的Lebesgue积分
在E上勒贝格可积
设E A ,则f (x)在A上的勒贝格积分定义为f (x)在A的
限制f A 在A的勒贝格积分,则
f (x)dx A
E f (x) X A (x)dx
一类特制
10
⒉积分的性质 ⑴零集上的任何函数的积分为0
(2)若E f (x)dx 0,则f (x) 0a.e.于E;
(3)若E f (x)dx ,则0 f (x) a.e.于E;
由n的任意性,则mE 0,因而
0 f (x) a.e.于E
一类特制
13
(4) 设(x)是A U B上任一满足条件x A U B时 0 (x) f (x)的简单函数
则
(x)dx (x)dx (x)dx
AUB
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积分也会收敛于相同的值。
安庆师范实变函数第五章积分理论5.3 Lesbesgue积分的极限定理

E
fn (x)dx E
f (x)dx
所以lim n
E
fn (x)dx
E
f (x)dx
对Levi逐项积分定理的说明
若fn(x)为E上非负可测函数列,
f1(x)
f2 (x)
f3(x)
fn (x)
, 且 lim n
fn (x)
f (x)
则lim n
En
n1
En
E
f(x) fn(x) cφ(x)
由引理1知
lim c (x)dx c (x)dx
n En
E
φ(x)
Levi逐项积分定理的证明 En {x E | fn (x) c(x)}
于是从(应用引理2)
E fn (x)dx E fn (x)En (x)dx
则 fn (x) 为非负连续函数,当然为可测函数,
从而由Lebesgue逐项积分定理知:
(L)
1 (0,1) 1 x
dx (L)
(0,1)
n1
fn (x)dx
(L)
n1
( 0 ,1)
fn (x)dx
(R)
n1
1 0
fn (x)dx
(R) 1 (x2n2 x2n1)dx ( 1 1 )
En fn (x)dx
c(x)dx c (x)dx,
En
En
f(x) φ(x) fn(x)
cφ(x)
得到lim n
E
fn (x)dx c
( x)dx
18、19、勒贝格积分概念与性质

D D
d) 称 inf { S ( D , f )} =
D
∫ f ( x ) dx为 f ( x )在 E 上 的 L 上 积 分
E
−
称 sup{ s ( D , f )} =
D
∫ f ( x ) dx为 f ( x )在 E 上 的 L 下 积 分
s ( D ) = ∑ bi mEi , S ( D ) = ∑ Bi mEi
x∈Ei
m
x∈Ei
m
类比定积分 的大、小和
§1引理1 ⅰ)E的 可测分划加细,大和不增,小和不减;
设E的两个分划D*比D更细,则sD ≤ sD* ≤ S D* ≤ S D
ii) 对于任意两个分划D*和D,均有sD ≤ S D*
4、证明:零集上任意函数都L可积,且积分值等于0
证 : 设 f 为 E上 任 意 函 数 ,
E
E
用上述思想、方式引进勒贝格积分的教 材很多。如: 【1】周民强 《实变函数》 【2】郑维行 王声望 《实变函数与泛函分析概要》(上册) 【3】钱佩玲、柳藩 《实变函数论》
2、勒贝格积分的勒贝格式的建立方式
R积分——积分区间长度有限,被积函数有界
→ (1) 测度有限 集上有界函数的勒 贝格积分 → (2)测度有限集上非负函数的勒贝格积分
实变函数论
第18、19讲
第五章 积 分 理论
(一)L积分与L可积概念的建立及L积分的基本性质
一、勒贝格积分建立方式简介
1、勒贝格积分的 非勒贝格式的建立方式 2、勒贝格积分的勒贝格式的建立方式
1、非勒贝格式的建立方式
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年的经典论文《积分、长度与面积》与随后出版的两部论著《论三角函数》和《积分与原函数的研究》中第一次阐述了测度理论与积分思想。
Lebesgue积分的三种定义等价性证明及其应用

Lebesgue积分的三种定义等价性证明及其应用学院:年级:专业:姓名:学号:指导教师:目录摘要 (3)第一章 Lebesgue积分与Riemann积分 (5)1.1 积分理论的发展 (5)1.2 在n R上Riemann积分相比较于Lebesgue积分的局限性 (6)1.3 在n R上Lebesgue积分与Riemann积分的联系 (7)第二章 Lebesgue积分三种定义等价性证明 (9)2.1 Lebesgue积分的三种定义 (10)2.2 三种积分定义的等价性证明 (11)第三章 Lebesgue积分的应用 (12)小结 (14)参考文献 (15)摘要Lebesgue积分与Riemann积分都是是分析数学研究的核心内容,这两种积分在分析数学中占有很重要的地位,本文主要研究了在n R上Lebesgue积分与Riemann积分的比较,介绍了Riemann积分的局限性,进而在Lebesgue积分与Riemann积分之间的联系与优越性方面进行一些讨论.本文着重对Lebesgue积分的三种定义给出等价性证明,并在Lebesgue积分的应用方面给出介绍。
关键词Lebesgue积分Riemann积分等价性AbstractLebesgue integral and Riemann integral are the core of the analyzed mathematical research .The two integrals in the analysis of mathematics are in an important position. We compare Lebesgue integral and Riemann in the article. After introduction of limitations of Riemann integral, we discussed Lebesgue integral to Riemann the integration of the linkage between superiority.The main points of Lebesgue three definitions for equivalence and Lebesgue integration of applications in respect to give a presentation.Key WordsLebesgue integral Riemann integral equivalence第一章 Lebesgue 积分与Riemann 积分积分是整个分析数学最基本的概念和最基本的运算。
勒贝格积分_高等教育-微积分

第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 ∞==∑⎰⎰.。
勒贝格积分论

勒贝格积分论摘要:对勒贝格积分进行了深入的研究,重点从三方面详细论述了勒贝格积分的威力,首先勒贝格可积函数的范围比黎曼积分更广泛,其次实例说明勒贝格积分在高等数学中求极限方面的几个实际应用,最后在勒贝格积分的意义及性质下进行推广。
关键词:勒贝格、积分、极限、应用、推广。
第一章引言1.1勒贝格积分产生的背景19世纪的微积分学中已经有了许多直观而有用的积分,例如黎曼积分(简称R积分)、黎曼-斯蒂尔杰斯积分(简称SR-积分)等。
只要相应的函数性质良好,用这些积分来计算曲边形面积、物体重心、物理学上的功、能等,是很方便的。
然而,随着认识的深入,人们愈来愈经常地需要处理复杂的函数,例如,由一列性质良好的函数组成级数所定义出来的函数,两个变元的函数对一个变元积分后所得到的一元函数等。
在讨论它们的可积性、连续性、可微性时,经常遇到积分与极限能否交换顺序的问题。
通常只有在很强的假设下才能对这问题作出肯定的回答。
因此,在理论和应用上都迫切要求建立一种新的积分,它既能保持R积分的几何直观和计算上的有效,又能在积分与极限交换顺序的条件上有较大的改善。
1902年法国数学家H.L.勒贝格出色地完成了这一工作,建立了以后人们称之为勒贝格积分的理论,接着又综合SR-积分思想产生了勒贝格-斯蒂尔杰斯积分(简称SL-积分)。
20世纪初又发展成建立在一般集合上的测度和积分的理论,简称测度论。
1.2积分介绍积分是“和”的概念。
即将东西加起来。
所以积分早期是从面积,路程等计算中发展起来。
比如计算面积,将X轴的区间分成若干小区间,将小区间的高度(Y值)乘以小区间的长度,然后加起来。
用极限法就可以求得精确的面积。
这是传统的积分概念(黎曼积分)。
勒贝格从另一个角度来考虑积分概念,导致勒贝格积分和测度概念。
比如计算面积,可以将小区间的高度(Y值)乘以对应的所有小区间的长度的和(测度),然后加起来。
又比如现有硬币:25, 25,10,5,10,1,5,25。
321Lebesgue积分极限定理

fn , f L E
且 lim f k ( x)dx k
E
f ( x)dx
E
左侧极限存在?
注:可积函数
F 称为函数列 f k 的控制函数。
13
证明:由于
f
lim f k ( x) f ( x) a.e.
k
为可测函数。进而由 | f n ( x) | F ( x) a.e.
n E E
注:Fatou引理常用于判断非负极限函数的可积性质; 控制收敛定理则给出积分与极限可换序的充分条件。 应用控制收敛定理关键在于找出控制函数!
19
定理3.2.7(逐项积分)设
E M , fn L E . 若
n
| f ( x) |dx
则级数
f ( x)
而在Lebesgue积分框架下,条件很弱!
已接触的例子?
1
3.2.1Lebesgue积分与极限运算的交换定理 定理3.2.1(Lebesgue基本定理) 设 f n x 是可测集合E上非负可测函数列,
f x fk x
k 1
则
f x dx
E
f k x dx
推论3.2.6(有界收敛定理) 设 m E , f n L E .
若
f x
n
一致有界,即存在常数 M 0,
f n x M , n 1, 2,, x E
则当 f n f
m a.e. ,或者 f n f
时,有
lim f n ( x)dx f ( x)dx.
F x dx lim f x dx | f ( x) |dx
实变函数-5一般可测函数的勒贝格积分

f ( x )dx
?
n?
1
E
n
n?1 En
? ? 证明:由 f (x)dx ? En
E
f
(x)?
En
( x) dx,
然后利用Lebesgue
?
及f
(x)
?
?
n?1
f
(x)?
En
(x)
逐项积分定理即可
? 对应于测度的可数可加性
m
?
(? i?1
Ai )
?
?
mA i
i?1
推论:在一零测度集上改变函数的取值,不影响其可 积性且 积分值 不变
? ? ? ?
En fn (x)dx ?
c? (x)dx ? c ? (x)dx,
En
En
f(x) φ(x) fn(x)
cφ(x)
? ? 得到lim n? ?
E
fn (x)dx ? c
? (x)dx
E
? ? 令c ? 1,则有 lim fn (x)dx ? ? (x)dx
n? ? E
E
? ? 再由的积分定义知
n ?1
n? ?
,且
然后利用Levi逐项 积分定理即可
? 对应于测度的可数可加性
m
?
(? i?1
Ai )
?
?
mA i
i?1
? ? 例 试求
?
1
x2
(R)
n?1
? 1 (1 ?
dx x2)n
解 : 令fn (x) ?
, x ? x2
(1? x2 )n
[ ?1,1]
则fn (x) 为非负连续函数,当然为非负可测函数 ,
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
∫
E
( x)dx ≤ ∫ | f ( x) |dx ≤ ∫ ( x)dx + ε , 故有∫ (| f ( x) | ( x))dx ≤ ε 2 2
E E E
由于φ(x)为简单函数,故存在M,使得|φ(x)|<M
令δ =
e
ε
2M
,则当 e E ,且 me < δ 时,
ε
2 e e e
| ∫ f dx |≤ ∫ | f | dx = ∫ (| f | φ ) dx + ∫ φ dx <
+M
ε
2M
=ε
Lesbesgue积分 Lesbesgue积分
Riemann积分
yi yi-1
xi-1 xi
分割值域
(L)∫ f ( x ) dx = lim
分割定义域
n
[ a ,b ]
δ →0
∑
i =1
ξ i mE
i
( R ) ∫ f ( x ) dx = lim
a
b
||T || → 0
∑ f (ξ )x
i =1 i
n
i
⒊非负可测函数可积的等价描述
设f(x)为E上几乎处处有限的 非负可测函数, mE<+∞, 在[0, +∞)上作分划:
0 = y0 < y1 < y2 < L < yk < yk +1 < L → +∞
yk+! yk
其中 y k +1 y k < δ , 令k = {x : y k ≤ f ( x ) < y k +1} k = 0,1,2,3, L E
∫α
E
f ( x)dx = α ∫ f ( x)dx
E
(5)设f(x)是 (5)设f(x)是E上的可测函数,∫E | f ( x) |dx = 0 , 证明 f ( x ) = 0 a.e.于E a.e.于
令 证明: E n = E
[ | f |≥
1 n
用到了积分的可加性
]
则En为可测集, 且 E [ | f | > 0 ]
n =1 n→∞ ∞
对每个n,有 n mEn ≤ ∫E | f ( x) |dx ≤ ∫E | f ( x) |dx < +∞
n
所 以 lim m E n = 0
n→ ∞
从而 mE [| f | = +∞ ] = m ( ∩ E n ) = m ( lim E n ) = lim mE n = 0
E [ f n <σ ]
f n ( x)dx
≥ σ mE[ f n ≥ σ ] ≥ 0
又 lim ∫
n →∞ E
f n ( x)dx = 0,所以 lim mE[ f n ≥ σ ] = 0
n →∞
⑶一般可测函数的积分
设f(x)为E上的可测函数,定义
( L) ∫ f ( x)dx = ( L) ∫ f + ( x)dx ( L) ∫ f ( x)dx
E E E
(要求 ( L) ∫E f + ( x)dx, ( L) ∫E f ( x)dx 不同时为 为f(x)在E上的Lebesgue积分(有积分)
E En
= ∪ En
n =1
∞
从0 = ∫ | f ( x) |dx = ∫ | f ( x) |dx + ∫
可得 mE
n
E En
| f ( x) |dx ≥ ∫ | f ( x) |dx ≥ 1 mEn n
En
[ | f |> 0 ]
= 0 ,从而
mE
[ | f |≠ 0 ]
= mE
≤ Σ mE
例:对Dirichlet函数
∑
n
i =1
c i mE
i
D ( x) =
E
{
1 x∈[ 0 ,1] ∩ Q 0 x∈[ 0 ,1 ] Q
有( L) ∫ D( x)dx = 1 0 + 0 1 = 0
0
1
⑵非负可测函数的积分
设f(x)为E上非负可测函数,定义
( L ) ∫ f ( x)dx = sup{( L ) ∫ ( x )dx : ( x )为E上的简单函数
n =1
∞
n
= 0
即f(x)=0 a.e.于E。
( 0 [ 1/n
(6) 若f可积,则f几乎处处有限. 可积,则f几乎处处有限.
证明: 令En = E[| f |≥ n ]
则E 1 E E L 则E1 E22 E33 L , 且 E[| f | = +∞ ] = ∩ E n = lim E n
则f(x)在E上可积当且仅当 ∑
且 (L )∫
E
∞
y
k = 0
k
mE
k
< +∞
f ( x ) dx = lim
δ → 0
∑
∞
k =0
y k mE
kHale Waihona Puke 非负可测函数可积的等价描述的证明
证明:
由于yk mEk ≤ ∫ f ( x)dx ≤ yk +1mEk , k = 0,1,2,L
Ek
故∑ yk mEk ≤ ∑ ∫ f ( x)dx ≤ ∑ yk +1mEk
E E
, ≤ ( x) ≤ f ( x )} 0
为f(x)在E上的Lebesgue积分
若f(x)是E上的可测函数,则f(x)总可表示成一列 简单函数 {n ( x)} 的极限 f ( x) = lim n ( x) ,而且还 n →∞ 可办到 | 1 ( x ) |≤ | 2 ( x ) |≤ L
f (x) = f
+
(x) f
+
(x)
| f ( x ) |= f
(x) + f
(x)
⑶单调性:
若f ( x) ≤ g ( x),则∫ f ( x)dx ≤ ∫ g ( x)d x
E E
⑷线形: ∫E ( f ( x) + g ( x))dx = ∫E f ( x)dx + ∫E g ( x)d x
证明:当 x ∈ [ 0,1]时,有 Σ χ Ei ( x ) ≥ k
i =1
n
所以 Σ mE i = Σ ∫
i =1
n
n
i =1 [ 0 ,1]
χ E ( x ) dx = ∫
i
[ 0 ,1] i =1
Σ χ Ei ( x ) dx ≥ k,
n
若对每个i,mEi < k ,则 Σ mEi < k n = k,从而得到矛盾, n n
k =0
∞
当δ → 0时,即有∫ f ( x)dx = lim ∑ yk mEk
E
∞
δ →0
k =0
例:若E 例:若E1, E2,…, En是[0,1]中的可测集,[0,1]中每一点 [0,1]中的可测集,[0,1]中每一点 至少属于上述集合中的k (k≤n),则在E 至少属于上述集合中的k个(k≤n),则在E1, E2,…, En中必 有一个点集的测度大于或等于k/n 有一个点集的测度大于或等于k/n
+∞
)
注:当 ( 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)}
⒉积分的性质 ⑴零集上的任何函数的积分为0 ⑵ f(x)可积当且仅当|f(x)|可积(f(x)是可测函数), 且 | ∫E f ( x )dx |≤ ∫E | f ( x ) |dx
k =0 k =0 Ek k =0
∞
∞
∞
从而∑ yk mEk ≤ ∫ f ( x)dx = ∑ ∫ f ( x)dx
k =0 E k =0 Ek
∞
∞
≤ ∑ yk +1mEk = ∑ yk +1 yk)mEk + ∑ yk mEk (
k =0 k =0 k =0
∞
∞
∞
yk+1 yk
≤ δ mE + ∑ yk mEk
证明:由于f(x)可积,故|f(x)|也可积
E E
积分的绝对连续性的证明
∫ | f ( x) | dx = sup{∫ ( x)dx : ( x)为E上简单函数,
故对任意ε,存在E上的简单函数φ(x)
,
且0 ≤ (x) ≤| f (x) |}
使在E上 0 ≤ ( x) ≤| f ( x) |, 且
第五章 积分理论
第一节 Lesbesgue积分的定义及性质 Lesbesgue积分的定义及性质
1.积分的定义 1.积分的定义 ⑴非负简单函数的积分
设 ( x) = ∑ c χ
i =1 i
n
Ei
( x)
是E
= ∪ Ei
i =1
n
( Ei可测且两两不交)
=
上非负简单函数,定义( L ) ∫E ( x ) dx 为 ( x ) 在E上的Lebesgue积分
i =1
n
所以存在i0,使mEi0 ≥ k 。 n
例 设fn(x)为E上非负可测函数列, (x)为
若 lim
n→ ∞
∫f
E
n
( x )dx = 0,则 f n 0 于 E
用到了积分的可加性
证明: σ > 0, 有
∫
E
f n ( x)dx = ∫