以集合论的标准语言来说,一个集合序列的下确界是这些集合的可数交,也就是包含在所有集合里的最大集合:
X={X1,X2,⋯,Xn,⋯}infX=⋂m=1∞Xm
令 In 为自 Xn 起集合( {Xn,Xn+1,⋯} )的下确界。那么序列 In 非递减,因为 In⊂In+1 。所以, I1 至 In 的并集就是 In 。 X 的下极限就是
limn→∞infX=⋃n=1∞(⋂m=n∞Xm)
上极限可以以相反方式定义。一个集合序列的上确界是包含这些集合的最小集合,也就是他们的可数并:
supX=⋃m=1∞Xm
令 Pn 为自 Xn 起的集合的上确界。那么序列 Pn 非递增,因为 Pn⊃Pn+1 。所以, P1 至 Pn 的交集就是 Pn 。 X 的上极限就是
limn→∞supX=⋂n=1∞(⋃m=n∞Xm)
看了上述这种定义方式,看下面的定义就不会看不懂了。
- 下限集
那种除有限个下标外,属于集列 X 中每个集的元素的全体所组成的集称为这一集列的下限集或者下极限,记为
limn→∞infX
limn→∞X={x|当n充分大以后都有x∈Xn}
- 上限集
由属于 X 集列中无限多个集的那种元素的全体所组成的集称为这一集列的上限集或上极限,记为
limn→∞supX
limn→∞——X={x|存在无穷多个Xn,使得x∈Xn}
上限集还可以定义为:
limn→∞——X={x|对任意N>0,存在一个n,n>N,使x∈Xn}
显然,
limn→∞X⊂limn→∞——X
参考文献
[1] 维基百科 上极限和下极限词条
[2] 程其襄. 实变函数与泛函分析基础[M]. 北京: 高等教育出版社, 2003: 7-7.