集列的上下极限定义的等价刻画及其应用.doc

集列的上下极限定义的等价刻画及其应用 摘要：通过和数列极限的比较,给出集列极限定义的两个等价刻画,并列举出集列极限运算在几个重要定理及其证明中的应用 关键词：子集列；确界；集列上极限;集列下极限 一、.序列的上下极限 定义1：设{}为一数列，，R，若 （i）对＞0，终＜+，即就是对＞0，N＞0，当n＞N时，恒有＜+； （ii）对＞0，常 ＜-，即就是对＞0，N＞0，n＞N时，使得＞-； 则称为序列{}的上极限，记作。 相应地，我们也可以定义下极限，若 （i）对＞0，终＜-，即就是对＞0，N＞0，当n＞N时，恒有＜-； （ii）对＞0，常 ＜+，即就是对＞0，N＞0，n＞N时，使得＞+； 则称为序列{}的下极限，记作。 注：当且仅当上无界时，规定=；当且仅当=时，规定==；当且仅当下无界时，规定=；当且仅当=时，规定==。 由定义1我们不难看出{}上极限的任意领域中有{}的无穷多点,{}下极限的任意领域中有{}的无穷多个点。 定义2：任一有界数列，存在收敛子列，任何的序列都有广义的收敛子序列（广义收敛， 意指极限可以无穷大） 设=，则满足 （i）存在子序列{}使得= （ii）对{}{}，若{}收敛，则恒有 同样，设=，则满足 （i）存在子序列{}使得= （ii）对{}{}，若{}收敛，则恒有 定义3：== == 二、对集列上下极限作相应的等价刻画 1.定义4：设{}是任一集列，其{}的上确界为，下确界为，则 ={︱存在无穷多个，使得} ={︱对，，当时，有} ={︱当充分大以后就有} = {︱，当时，有} ={︱只有有限个使得} 2.通过上下确界来刻画 （1）== （2）== 证明：（1）对，存在无穷多个，，因此对， ，因而 由的任意性有 对，则对，有，所以必存在， 这说明存在无穷多个，使得 因而 （2）对，只有有限个，，所以存在，使得对 有，从而 于是 对，，，即对有，可见最多有个使得因而 3.通过收敛子列刻画 (1)上极限：（i）{}{}，若{}收敛， = （ii）对{}{}，若{}收敛，则恒有 (2)下极限：（i）{}{}，若{}收敛， = （ii）对{}{}，若{}收敛，则恒有 证明：(1) （i）设 =A，则 对，对，，使得 任取，，使得 任取，，使得 任取，，使得 … … 任取，，使得 … … 如此无穷次进行下去，可得到一集列{} 下证 = 首先，由{} 的构造可知，是的上极限，即就是 = 其次，对，，有，从而是 {}的下极限，就是= 由==有{}收敛，并且= （ii）设 A 且{}{} {}{} = （2）设= 则对，，对，有 取，对，有 取，对，有 取，对，有 … … 取，对，有 … … 这样无穷次进行下去，可得到一集列{} 下证: = 首先，由{} 的构造可知，是的下极限，即就是 = 其次，对，对，有，使得，从而是 {}的上极限，即就是= 由==有{}收敛，并且= （ii）设，且{}{} 设= 则对，，当时有 ，当时有 有，即= = 三、单调集列的极限 （1）对{}，若单调递增，即 …… 则= （2）对{}，若单调递减，即…… 则= 证明：（1）对，=。于是== 对上述，=，故== 从而，