集列的上限集和下限集

　　以集合论的标准语言来说，一个集合序列的下确界是这些集合的可数交，也就是包含在所有集合里的最大集合：

X={X1,X2,⋯,Xn,⋯}infX=⋂m=1∞Xm

令In为自Xn起集合（{Xn,Xn+1,⋯}）的下确界。那么序列In非递减，因为In⊂In+1。所以，I1至In的并集就是In。X的下极限就是{I1,I2,⋯,In,⋯}的极限：

limn→∞infX=⋃n=1∞(⋂m=n∞Xm)

　　上极限可以以相反方式定义。一个集合序列的上确界是包含这些集合的最小集合，也就是他们的可数并：

supX=⋃m=1∞Xm

令Pn为自Xn起的集合的上确界。那么序列Pn非递增，因为Pn⊃Pn+1。所以，P1至Pn的交集就是Pn。X的上极限就是{P1,P2,⋯,Pn,⋯}的极限：

limn→∞supX=⋂n=1∞(⋃m=n∞Xm)

　　看了上述这种定义方式，看下面的定义就不会看不懂了。
- 下限集
　　那种除有限个下标外，属于集列X中每个集的元素的全体所组成的集称为这一集列的下限集或者下极限，记为

limn→∞X

或者

limn→∞infX

limn→∞X={x|当n充分大以后都有x∈Xn}

- 上限集
　　由属于X集列中无限多个集的那种元素的全体所组成的集称为这一集列的上限集或上极限，记为

limn→∞——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.