1. 引言
极限是我们在数学分析中至关重要的内容,但是我们一般对于极限的探讨是基于存在性和对其进行求解,而证其存在性一般用定义或者左右极限的方法,进而对其进行求解,很少利用上下极限去判断极限的存在性,但是往往有些问题我们必须要用到上下极限去解决,或者用上下极限去刻画,因此对上下极限的定义以及相应性质的了解就非常重要,还有一个特别重要的是,于极限而言,其可能不存在,但是其上下极限一定存在。本文将从上下极限的定义入手,通过对上下极限的性质的罗列进而证明各种相关性质之间的关系,这也会帮助我们进一步系统地了解上下极限,也会对解决其它问题提供一些全新的思路。
另外,上下极限在许多的数学课程以及研究领域中都有用到,所以,本文对上下极限在扩展学科里面涉及的概念亦会进行部分总结,以便于进行更好的理解。
2. 数列上下极限定义和定理
定义2.1 [1] :对于一个有界数列
,将其最大聚点M和最小聚点m分别称为
的上极限和下极限,记为:
,
定义2.2 [1] :对所有的
,存在
,当
时,有
,又存在子列
,使得
,则有
;对所有的
,存在
,当
时,有
,又存在子列
,使得
,则有
。
定义2.3 [1] :称M为有界数列
的上极限,如果
;称m有界数列
的下极限,如果
。
定义2.4 [1] :若存在
,使得数列
中有无穷多个项落在
之外,则
一定不以a为极限。
定理2.1:对任意的有界数列
,有
。
证明:由定义2.1,可设
为最小聚点m,则m的邻域内必含有
中的无穷多个点;同理,可设
为最大聚点M,则M邻域内亦必含有
中的无穷多个点;若
与
相交,且含有
中的无穷多个点,则“=”成立,否则,在数轴上
必在
的右侧,从而
;综上有
,证毕。
定理2.2:
的充分必要条件为
。
证明:必要性,由于
,故有界数列
存在唯一的极限,所以只有
才含有
中的无穷多个点;所以由定义2.1,可知
。充分性,由定理2.1的证明可知,在整个有界数列
中,只有
才含有
中的无穷多个点,即
中有无穷多个项落在
之外,故由极限的定义2.4可知
。
定理2.3 [1] :(保不等式性)设有界数列
,
满足:存在
,当
时有
,则
,
;
特别若
,
为常数,又存在
,当
时有
,则
。
推论4:设
为有界数列,则
1) m是
的最小聚点;
2) m是
的子列的最小值;
3)
;
4)
;
5)对
,
,当
时,有
,又存在子列
,使得
;相互等价。
证明:
1)
2):由于m是
的聚点,则当且仅当
的子列
收敛于m,故可知
的最小聚点即为
极限的最小值。
2)
3):由2)可知,存在
的子列
收敛于m,因为
,
于是由数列极限的保号性可知
,
而该不等式中只能取等号,否则
,则由
,必存在
,使得
,
据
的定义,必
,s.t.
;
由
,又必
,s.t.
,
据
的定义,必
,s.t.
;
以此类推,我们就可以得到:
,必
,s.t.
,据
的定义,必
,s.t.
;
故令
,可知
亦为
的最小极限,这与m为
的最小极限矛盾,从而有
;又因为
单调递增且有上界,故
必收敛,所以
与其子列有相同的极限,进而有
。
3)
4):由于
非空,且其存在上界,故
亦非空有上界;从而
上确界存在,记为
,于是
,并且对
,
,有
;又因为
单调递增,s.t.当
时,必有
,从而
;由此可以得到
,而由3)已知
,从而
,
即:
,亦即:
。
4)
5):先证明对
,
,当
时,有
;由
,依据上确界定义注意到
单调递增,故
,
,当
时,
成立;又
,则当
时,均有
。
再证明存在子列
,s.t.
;已知
,可反设对
,当
时,
,取
,则
便是从第n项起以后项的下界,从而得到
,矛盾。
5)
1):由1)可知,对
,必有无穷多个n,s.t.
,故m为
的聚点,
下证
再无小于m的聚点,否则,
为小于m的聚点,取
,由假设
为
聚点,则对于
,必有
,这与存在子列
,s.t.
矛盾;证毕。
以上推论4对关于下极限的几个定义的等价性进行了证明,而关于上极限定义的等价性证明可见文献 [2] 。
3. 集列上下极限定义和定理
定义3.1 [3] :设
为任意集列,
1) 由该集列中无限多个集合的对应元素的全体组成的集合称为该集列的上限集或者上极限,记为
或
;用集合表示即为:
或
2) 除有限个下标外,属于集列中每个集合的元素的全体组成的集合称为下限集或者下极限,记为
或
;用集合表示即为:
或
定义3.2 [3] :如果集合
有极限,当且仅当
。
定理3.1 [3] :设
为任意集列,则
;且
。
推论3.2 [3] :对于单调集列,
,如果
单调递增;
,如果
单调递减。
4. 上下极限的应用
4.1. 依据上下极限判断级数的收敛性
定理4.1.1:设
为正项级数,且
,则若
,级数收敛;若
,级数发散。
证明:由定义2.2可知,当取
时,存在
,当
时,有
,所以若
,则
,从而
收敛;而又存在
的子列
,使得
,所以若
,则
,故由于有一个子列所在的级数不收敛,所以级数
发散,证毕。
定理4.1.2:设
为正项级数,可得1) 若
,则级数收敛;2) 若
,则级数发散。
证明:1) 由定义2.2可知,当取
时,存在
,当
时,有
,故当
时,
,所以由比式判别法可知,
收敛;又存在
的子列
,使得
,故当
时,
,故由比式判别法可知,有一个子列所在的级数不收敛,所以级数
发散,证毕。
4.2. 上下极限在实变函数中的应用
定理4.2 [3] :设
为可测集,
为E上的一列非负可测函数,且
在集合E上几乎处处成立,则
以上定理4.3称为Fatou引理,以上也隐含着即使左端被积函数
存在,但是右边积分的
的极限不一定存在,因此以下极限来代替。而Fatou引理对于实变函数中单调收敛定理,勒贝格收敛定理的证明都起着非常重要的作用,由此也说明了上下极限对于我们处理问题时的关键性。