跳转到内容

单调收敛定理

维基百科,自由的百科全书

在数学中,有许多定理称为单调收敛定理(英语:Monotone convergence theorem);这里我们介绍一些主要的例子。

单调实数序列的收敛性

[编辑]

定理

[编辑]

如果ak是一个单调的实数序列(例如ak ≤ ak+1),则这个序列具有极限(如果我们把正无穷大和负无穷大也算作极限的话)。当且仅当序列是有界的,这个极限是有限的。

证明

[编辑]

我们证明如果递增序列有上界,则它是收敛的,且它的极限为

由于非空且有上界,因此根据实数的最小上界公理存在,且是有限的。现在,对于每一个,都存在一个,使得,否则的一个上界,这与为最小上界的事实矛盾。于是,由于是递增的,对于所有的n > N,都有,因此根据定义,的极限为。证毕。

类似地,如果一个实数序列是递减且有下界,则它的最大下界就是它的极限。

单调级数的收敛性

[编辑]

定理

[编辑]

如果对于所有的自然数jkaj,k都是非负实数,且aj,k ≤ aj+1,k,则(参见[1]第168页):

勒贝格单调收敛定理

[编辑]

这个定理是前一个定理的推广,也许就是最重要的单调收敛定理。

定理

[编辑]

设( X, A, )为一个测度空间。若序列 为定义域是 ,对应域是 -可测单调递增函数序列。也就是说 ,有

接着,设序列 的逐点极限为 。也就是说

会是 -可测函数,且:

。(参见[2]第21.38节)

注意其积分值不一定是有限值,也就是左右两边可能都是无限大。

证明

[编辑]

我们首先证明f是-可测函数。为此,只需证明区间[0,t]在f下的原像是X上的σ代数A的一个元素。设I为的一个子区间。那么:

另一方面,由于[0,t]是闭区间,因此:

所以:

注意可数交集中的每一个集合都是A的一个元素,这是因为它是一个波莱尔子集在-可测函数下的原像。由于根据定义,σ代数在可数交集下封闭,因此这便证明了f是-可测的。需要注意的是,一般来说,任何可测函数的最小上界也是可测的。

现在我们证明单调收敛定理的余下的部分。f是-可测的事实,意味着表达式是定义良好的。

我们从证明开始。

根据勒贝格积分的定义,

其中SF是X上的-可测简单函数的交集。由于在每一个,都有,我们便有:

因此,由于一个子集的最小上界不能大于整个集合的最小上界,我们便有:

右面的极限存在,因为序列是单调的。

我们现在证明另一个方向的不等式(也可从法图引理推出),也就是说,我们来证明:

从积分的定义可以推出,存在一个非负简单函数的非递减序列gn,它几乎处处逐点收敛于f,且:

只需证明对于每一个,都有:

这是因为如果这对每一个k都成立,那么等式左端的极限也将小于或等于等式右端。

我们证明如果gk是简单函数,且

几乎处处,则:

由于积分是线性的,我们可以把函数分拆成它的常数部分,化为是σ代数A的一个元素B的指示函数的情况。在这种情况下,我们假设是一个可测函数的序列,它在B的每一个点的最小上界都大于或等于一。

为了证明这个结果,固定,并定义可测集合的序列:

根据积分的单调性,可以推出对于任何的,都有:

根据的假设,对于足够大的n,任何B内的x都将位于内,因此:

所以,我们有:

利用测度的单调性,可得:

,并利用这对任何正数都正确的事实,定理便得证。

参见

[编辑]

注释

[编辑]
  1. ^ J Yeh. Real analysis. Theory of measure and integration. 2006. 
  2. ^ Erik Schechter. 21.38. Analysis and Its Foundations. 1997.