最大元最小元上确界_集合列的上/下确界和上/下极限

这段时间一直在学习实变函数和泛函分析，这些帖子就权当是自己的一些总结吧。

这个帖子主要来讲讲集合列的上下确界和上下极限。

首先我们回顾下数列的上下极限：

实数列上/下确界与上/下极限的区别和联系

1. 上确界：数列最小的上界，记作
   或者
2. 下确界：数列最大的下界，记作
   或者
3. 上极限：所有收敛子列中极限最大的值，或者说所有收敛子列极限值的上确界，可以表示为
4. 上极限：所有收敛子列中极限最小的值，或者说所有收敛子列极限值的下确界，可以表示为

对于集合列呢？似乎上述概念很难应用到集合列中，因为集合与数有着本质区别，数的很多数学运算不能简单套用到集合列上（集合也有大小—势，但是和数的大小概念不一样，势表是衡量集合元素多少的一个量）。

这里给出集合列的上下确界和上下极限的不同的定义或者说法，从这些不同的定义描述中我们能够更加深入的了解集合列的确界和极限的概念：

定义集合列

1. 集合列下确界：一个集合列的下确界是这些集合的可数交，也就是包含在所有集合中最大的集合（类比于最大公约数）。属于集合列下确界的任何一个元素，也必属于任意一个集合