大一高数第一章--函数、极限与连续

第一章 函数、极限与连续由于社会和科学发展的需要，到了17世纪，对物体运动的研究成为自然科学的中心问题.与之相适应，数学在经历了两千多年的发展之后进入了一个被称为“高等数学时期”的新时代，这一时代集中的特点是超越了希腊数学传统的观点，认识到“数”的研究比“形”更重要，以积极的态度开展对“无限”的研究，由常量数学发展为变量数学，微积分的创立更是这一时期最突出的成就之一.微积分研究的基本对象是定义在实数集上的函数.极限是研究函数的一种基本方法，而连续性则是函数的一种重要属性.因此，本章内容是整个微积分学的基础.本章将简要地介绍高等数学的一些基本概念，其中重点介绍极限的概念、性质和运算性质，以及与极限概念密切相关的，并且在微积分运算中起重要作用的无穷小量的概念和性质.此外，还给出了两个极其重要的极限.随后，运用极限的概念引入函数的连续性概念，它是客观世界中广泛存在的连续变化这一现象的数学描述.第一节 变量与函数一、变量及其变化范围的常用表示法在自然现象或工程技术中，常常会遇到各种各样的量.有一种量，在考察过程中是不断变化的，可以取得各种不同的数值，我们把这一类量叫做变量；另一类量在考察过程中保持不变，它取同样的数值，我们把这一类量叫做常量.变量的变化有跳跃性的，如自然数由小到大变化、数列的变化等，而更多的则是在某个范围内变化，即该变量的取值可以是某个范围内的任何一个数.变量取值范围常用区间来表示.满足不等式a x b ≤≤的实数的全体组成的集合叫做闭区间，记为,a b ⎡⎤⎣⎦，即 ,{|}a b x a x b =≤≤⎡⎤⎣⎦；满足不等式a x b <<的实数的全体组成的集合叫做开区间，记为(,)a b ，即(,){|}a b x a x b =<<；满足不等式a x b <≤(或a x b ≤<)的实数的全体组成的集合叫做左(右)开右(左)闭区间，记为 (,a b ⎤⎦ (或),a b ⎡⎣)，即(,{|}a b x a x b =<≤⎤⎦ (或),{|}a b x a x b =≤<⎡⎣)，左开右闭区间与右开左闭区间统称为半开半闭区间，实数a ，b 称为区间的端点.以上这些区间都称为有限区间.数b a -称为区间的长度.此外还有无限区间：(){|}x x -∞+∞=-∞<<+∞=R ，，(,{|}b x x b -∞=-∞<≤⎤⎦，(,){|}b x x b -∞=-∞<<， ){|}a x a x +∞=≤<+∞⎡⎣，， (){|}a x a x +∞=<<+∞，，等等. 这里记号“-∞”与“+∞”分别表示“负无穷大”与“正无穷大”.邻域也是常用的一类区间.设0x 是一个给定的实数，δ是某一正数，称数集:{}00|x x δxx δ-<<+为点0x 的δ邻域，记作0(,)U x δ.即(){}000,|U x δx x δx x δ=-<<+称点0x 为该邻域的中心，δ为该邻域的半径(见图1-1).称{}00(,)U x δx -为0x 的去心δ邻域，记作0(,)x δoU ，即{}00(,)|0U x δx x x δ︒=<-<图1-1下面两个数集(){}000,|U x δx x δx x ︒-=-<<，(){}000,|U x δx xx x δ︒+=<<+，分别称为0x 的左δ邻域和右δ邻域.当不需要指出邻域的半径时，我们用0()U x ，0()x oU 分别表示0x 的某邻域和0x 的某去心邻域，(),x δ-oU ，(),U x δ︒+分别表示0x 的某左邻域和0x 的某右邻域.二、函数的概念在高等数学中除了考察变量的取值范围之外，我们还要研究在同一个过程中出现的各种彼此相互依赖的变量，例如质点的移动距离与移动时间.曲线上点的纵坐标与该点的横坐标，弹簧的恢复力与它的形变，等等.我们关心的是变量与变量之间的相互依赖关系，最常见的一类依赖关系，称为函数关系.定义 1 设A ，B 是两个实数集，如果有某一法则f ，使得对于每个数x A ∈，均有一个确定的数y B ∈与之对应，则称f 是从A 到B 内的函数.习惯上，就说y 是x 的函数，记作()y f x = ()x A ∈其中，x 称为自变量，y 称为因变量，()f x 表示函数f 在x 处的函数值.数集A 称为函数f 的定义域，记为()D f ；数集{}()|(),f A y y f x x A B ==∈⊆称为函数f 的值域，记作()R f .从上述概念可知，通常函数是指对应法则f ，但习惯上用“() ,y f x x A =∈”表示函数，此时应理解为“由对应关系()y f x =所确定的函数f ”.确定一个函数有两个基本要素，即定义域和对应法则.如果没有特别规定，我们约定：定义域表示使函数有意义的范围，即自变量的取值范围.在实际问题中，定义域可根据函数的实际意义来确定.例如，在时间t 的函数()f t 中，t 通常取非负实数.在理论研究中，若函数关系由数学公式给出，函数的定义域就是使数学表达式有意义的自变量x 的所有可以取得的值构成的数集.对应法则是函数的具体表现，它表示两个变量之间的一种对应关系.例如，气温曲线给出了气温与时间的对应关系，三角函数表列出了角度与三角函数值的对应关系.因此，气温曲线和三角函数表表示的都是函数关系.这种用曲线和列表给出函数的方法，分别称为图示法和列表法.但在理论研究中，所遇到的函数多数由数学公式给出，称为公式法.例如，初等数学中所学过的幂函数、指数函数、对数函数、三角函数与反三角函数都是用公式法表示的函数.从几何上看，在平面直角坐标系中，点集()(){(,)|,}x y y f x x D f =∈称为函数()y f x =的图像（如图1-2所示）.函数()y f x =的图像通常是一条曲线，()y f x =也称为这条曲线的方程.这样，函数的一些特性常常可借助于几何直观来发现；相反，一些几何问题，有时也可借助于函数来作理论探讨.现在我们举一个具体函数的例子.图1-2例1求函数y . 解 要使数学式子有意义，x 必须满足> ,240,10x x ⎧-≥⎪⎨-⎪⎩即 >2,1.x x ⎧≤⎪⎨⎪⎩由此有 12x <≤，因此函数的定义域为(12⎤⎦，.有时一个函数在其定义域的不同子集上要用不同的表达式来表示对应法则，称这种函数为分段函数.下面给出一些今后常用的分段函数.例2 绝对值函数<,0,,0.x x y x x x ≥⎧==⎨-⎩ 的定义域()()D f =-∞+∞，，值域()[0,)R f =+∞，如图1-3所示. 例3 符号函数<>1,0,sgn 0,0,1,0x y x x x -⎧⎪===⎨⎪⎩的定义域()()D f =-∞+∞，，值域()11{0}R f =-，，，如图1－4所示.图1-3 图1-4例4 最大取整函数y x =⎡⎤⎣⎦，其中x ⎡⎤⎣⎦表示不超过x 的最大整数.例如，113⎡⎤-=-⎢⎥⎣⎦，00=⎡⎤⎣⎦，12⎡⎤=⎣⎦，π3=⎡⎤⎣⎦等等.函数y x =⎡⎤⎣⎦的定义域()()D f =-∞+∞，，值域(){}R f =整数.一般地，y x n ==⎡⎤⎣⎦，1n x n ≤<+，120,,n =±±L ，，如图1-5所示.图1-5在函数的定义中，对每个()x D f ∈，对应的函数值y 总是唯一的，这样定义的函数称为单值函数.若给定一个对应法则g ，对每个()x D g ∈，总有确定的y 值与之对应，但这个y 不总是唯一的，我们称这种法则g 确定了一个多值函数.例如，设变量x 与y 之间的对应法则由方程2225x y +=给出，显然，对每个55[,]x ∈-， 由方程2225x y +=可确定出对应的y 值，当5x =或5-时，对应0y =一个值；当55(,)x ∈-时，对应的y 有两个值.所以这个方程确定了一个多值函数.对于多值函数，往往只要附加一些条件，就可以将它化为单值函数，这样得到的单值函数称为多值函数的单值分支.例如，由方程2225x y +=给出的对应法则中，附加“0y ≥”的条件，即以“2225x y +=且0y ≥”作为对应法则，就可以得到一个单值分支()2125y g x x ==-；附加“0y ≤”的条件，即以“2225x y +=且0y ≤” 作为对应法则， 就可以得到一个单值分支22()25y g x x ==--.关系的，如高度为一定值的圆柱体的体积与其底面圆半径r 的关系，就是通过另外一个变量其底面圆面积S 建立起来的对应关系.这就得到复合函数的概念.定义2 设函数()y f u =的定义域为()D f ，函数()u g x =在D 上有定义，且()()g D D f ⊆.则由下式确定的函数()()y f g x =，x D ∈称为由函数()y f u =与函数()u g x =构成的复合函数，记作()()()()y f g x f g x =︒=，x D ∈，它的定义域为D ，变量u 称为中间变量.这里值得注意的是，D 不一定是函数()u g x =的定义域()D g ，但()D D g ⊆.D 是()D g 中所有使得()()g x D f ∈的实数x 的全体的集合.例如，()y f u u ==， ()21u g x x ==-.显然，u 的定义域为(),-∞+∞，而()(0,)D f =+∞.因此，11,D -⎡⎤⎣⎦＝，而此时1()0,R f g ︒=⎡⎤⎣⎦.两个函数的复合也可推广到多个函数复合的情形.例如， log a μxu y x a ==()10a a >≠且可看成由指数函数u y a =与log a u μx =复合而成.又形如()log ()()()a v x u x v x y u x a ==()0u x ⎡⎤⎣⎦＞()10a a >≠且的函数称为幂指函数，它可看成由wy a =与()log ()a w v x u x =复合而成. 而y =可看成由y =sin u v =，2v x =复合而成.例5 设()1xf x x =+()1x ≠-，求()()()f f f x解 令()y f w =，()w f u =，()u f x =，则()()()f f f x 是通过两个中间变量w 和u 复合而成的复合函数，因为()111121x x x x uxw f u u x ++====+++，12x ≠-；()2121,1131xx x x wxy f w w x ++====+++13x ≠-，所以 ()()()31x f f f x x =+，111,,23x ≠---.定义3 设给定函数()y f x =，其值域为()R f .如果对于()R f 中的每一个y 值，都有只从关系式()y f x =中唯一确定的x 值与之对应，则得到一个定义在()R f 上的以y 为自变量，x 为因变量的函数，称为函数()y f x =的反函数，记为()1x fy -=.从几何上看，函数()y f x =与其反函数()1x f y -=有同一图像.但人们习惯上用x 表示自变量，y 表示因变量，因此反函数()1xf y -=常改写成()1y f x -=.今后，我们称()1y f x -=为()y f x =的反函数. 此时，由于对应关系1f-未变，只是自变量与因变量交换了记号，因此反函数()1y fx -=与直接函数()y f x =的图像关于直线y x =对称，如图 1 - 6所示.图1-6值得注意的是，并不是所有函数都存在反函数，例如函数2y x =的定义域为()-∞+∞，，值域为，但)0+∞⎡⎣，对每一个()0y ∈+∞，，有两个x 值即1x =和2x =因此x 不是y 的函数，从而2y x =不存在反函数.事实上，由逆映射存在定理知，若f 是从()D f 到()R f 的一一映射，则f 才存在反函数1f -.例6 设函数(1)1xf x x +=+ ()1x ≠-，求()11f x -+.解 函数()1y f x =+可看成由()y f u =，1u x =+复合而成.所求的反函数()11y f x -=+可看成由()1y fu -=，1u x =+复合而成.因为()11x u f u x u-==+，0u ≠， 即1u y u -=，从而，()11u y -=-， 11u y=-，所以 ()111y f u u-==-， 因此 ()1111,01(1)f x x x x-+==-≠-+.三、函数的几种特性1. 函数的有界性设函数()f x 在数集D 上有定义，若存在某个常数L ，使得对任一x D ∈有()f x L ≤（或()f x L ≥），则称函数()f x 在D 上有上界（或有下界），常数L 称为()f x 在D 上的一个上界（或下界）；否则，称()f x 在D 上无上界（或无下界）.若函数()f x 在D 上既有上界又有下界，则称()f x 在D 上有界；否则，称()f x 在D 上无界.若()f x 在其定义域D f （）上有界，则称()f x 为有界函数.容易看出，函数()f x 在D 上有界的充要条件是：存在常数M>0，使得对任一x D ∈，都有()f x M ≤.例如，函数sin y x =在其定义域()-∞+∞，内是有界的，因为对任一()x ∈-∞+∞，都有sin 1x ≤，函数1y x=在()10,内无上界，但有下界. 从几何上看，有界函数的图像界于直线y M =±之间.2. 函数的单调性设函数()f x 在数集D 上有定义，若对D 中的任意两数12,x x 12()x x <，恒有()()12f x f x ≤ [或()()12f x f x ≥]，则称函数()f x 在D 上是单调增加（或单调减少）的.若上述不等式中的不等号为严格不等号，则称为严格单调增加（或严格单调减少）的.在定义域上单调增加或单调减少的函数统称为单调函数；严格单调增加或严格单调减少的函数统称为严格单调函数.如图1-7所示.图1-7例如，函数()3f x x =在其定义域()-∞+∞，内是严格单调增加的；函数()cos f x x =在π0,（）内是严格单调减少的. 从几何上看，若()y f x =是严格单调函数，则任意一条平行于x 轴的直线与它的图像最多交于一点，因此()y f x =有反函数.3. 函数的奇偶性设函数()f x 的定义域()D f 关于原点对称（即若()x D f ∈，则必有()x D f -∈.若对任意的()x D f ∈，都有()()f x f x -=-[或()()f x f x -=]，则称()f x 是()D f 上的奇函数（或偶函数）.奇函数的图像对称于坐标原点，偶函数的图像对称于y 轴，如图1－11所示.图1-8例7 讨论函数()(ln f x x =的奇偶性. 解 函数()f x 的定义域()-∞+∞，是对称区间，因为()(lnln f x x ⎛⎫-=-= (()ln x f x =-+=-所以，()f x 是()-∞+∞，上的奇函数. 4. 函数的周期性设函数()f x 的定义域为()D f ，若存在一个不为零的常数T ，使得对任意()x D f ∈，有x T D f ±∈（）（），且f x T f x +=（）（），则称()f x 为周期函数，其中使上式成立的常数T 称为()f x 的周期，通常，函数的周期是指它的最小正周期，即：使上式成立的最小正数T T （如果存在的话）.例如，函数sin f x x =（）的周期为π2；()tan f x x =的周期是π. 并不是所有函数都有最小正周期，例如，狄利克雷（Dirichlet ）函数为数为无数10 ,) (,x D x x ⎧=⎨⎩有理，理.任意正有理数都是它的周期，但此函数没有最小正周期.四、函数应用举例下面通过几个具体的问题，说明如何建立函数关系式.例8 火车站收取行李费的规定如下：当行李不超过50千克时，按基本运费计算.如从上海到某地每千克以0.15元计算基本运费，当超过50千克时，超重部分按每千克0.25元收费.试求上海到该地的行李费y （元）与重量x （千克）之间的函数关系式，并画出函数的图像.解 当500x <≤时，150.y x =；当50x >时，1552550.00.(0)y x =⨯+-. 所以函数关系式为：0.15, 050;7.50.25(50),50.x x y x x <≤⎧=⎨+->⎩这是一个分段函数，其图像如图1－9所示.图1-9例9 某人每天上午到培训基地A 学习，下午到超市B 工作，晚饭后再到酒店C 服务，早、晚饭在宿舍吃，中午带饭在学习或工作的地方吃.A B C ，，位于一条平直的马路一侧，且酒店在基地与超市之间，基地与酒店相距3km ，酒店与超市相距5km ，问该打工者在这条马路的A 与B 之间何处找一宿舍（设随处可找到），才能使每天往返的路程最短. 解 如图1-10所示，设所找宿舍D 距基地A 为x （km ），用f x （）表示每天往返的路程函数.图1-10当D 位于A 与C 之间，即30x ≤≤时，易知()()8823222f x x x x x =++-+-=-（）， 当D 位于C 与B 之间，即38x ≤≤时，则()882312()()0.f x x x x x =++-+-=+ 所以22,03;()102,38.x x f x x x -≤≤⎧=⎨+≤≤⎩这是一个分段函数，如图1-11所示，在30,⎡⎤⎣⎦上，()f x 是单调减少，在38,⎡⎤⎣⎦上，()f x 是单调增加.从图像可知，在3x =处，函数值最小.这说明，打工者在酒店C 处找宿舍，每天走的路程最短.图1-11五、基本初等函数初等数学里已详细介绍了幂函数、指数函数、对数函数、三角函数、反三角函数，以上我们统称为基本初等函数.它们是研究各种函数的基础.为了读者学习的方便，下面我们再对这几类函数作一简单介绍.1. 幂函数 函数μy x = (μ是常数)称为幂函数.幂函数μy x =的定义域随μ的不同而异，但无论μ为何值，函数在()0+∞，内总是有定义的. 当0μ>时，μy x =在)0+∞⎡⎣，上是单调增加的，其图像过点0,0（）及点()1,1，图1-12列出了12μ=，1μ=，2μ=时幂函数在第一象限的图像. 当0μ<时，μy x =在()0+∞，上是单调减少的，其图像通过点()1,1，图1-13列出了12μ=-，1μ=-，2μ=-时幂函数在第一象限的图像.图1-12 图1-132. 指数函数 函数x y a =(a 是常数且10a a >≠，)称为指数函数.指数函数x y a =的定义域是()-∞+∞，，图像通过点()10,，且总在x 轴上方. 当时1a >，x y a =是单调增加的；当10a <<时，x y a =是单调减少的，如图1-14所示.以常数e 271828182.=L 为底的指数函数e x y =是科技中常用的指数函数.图1-143. 对数函数指数函数x y a =的反函数，记作log a y x =（a 是常数且10,a a >≠)，称为对数函数.对数函数log a y x =的定义域为()0+∞，，图像过点()1,0.当1a >时，log a y x =单调增加；当10a <<时，log a y x =单调减少，如图1-15所示.科学技术中常用以e 为底的对数函数e log y x =，图1-15它被称为自然对数函数，简记作ln y x =.另外以10为底的对数函数1log 0y x =，也是常用的对数函数，简记作g l y x =.4. 三角函数 常用的三角函数有正弦函数sin y x =， 余弦函数cos y x =， 正切函数tan y x =， 余切函数 cot y x =，其中自变量x 以弧度作单位来表示.它们的图形如图1-16，图1-17，图1-18和图1-19所示，分别称为正弦曲线，余弦曲线，正切曲线和余切曲线.图1-16图1-17正弦函数和余弦函数都是以π2为周期的周期函数，它们的定义域都为(),-∞+∞，值域都为1,1-⎡⎤⎣⎦.正弦函数是奇函数，余弦函数是偶函数.图1-18 图1-19由于πcos sin 2x x ⎛⎫=+ ⎪⎝⎭，所以，把正弦曲线sin y x =沿x 轴向左移动π2个单位，就获得余弦曲线cos y x =.正切函数sin tan cos xy x x==的定义域为()21{|(),}D f x x x n n =∈≠+R ，整为数. 余切函数cos cot sin xy x x==的定义域为 ()π{,}D f x x x n n =∈≠R ｜，整为数.正切函数和余切函数的值域都是()-∞+∞，，且它们都是以π为周期的函数，且都是奇函数.另外，常用的三角函数还有正割函数sec y x =； 余割函数cscy x =.它们都是以π2为周期的周期函数，且1sec cos x x=； 1csc sin x x =.5. 反三角函数常用的反三角函数有反正弦函数 arcsin y x = (如图1-20)； 反余弦函数 arccos y x = (如图1-21)； 反正切函数 arctan y x = (如图1-22)； 反余切函数 arccot y x = (如图1-23).它们分别称为三角函数sin y x =，cos y x =，tan y x =和cot y x =的反函数.这四个函数都是多值函数.严格来说，根据反函数的概念，三角函数sin y x =，cos y x =，tan y x =和cot y x =在其定义域内不存在反函数，因为对每一个值域中的数y ，有多个x 与之对应.但这些函数在其定义域的每一个单调增加（或减少）的子区间上存在反函数.例如，sin y x=在闭区间,22ππ⎡⎤-⎢⎥⎣⎦上单调增加，从而存在反函数，称此反函数为反正弦函数arcsin x 的主值，记作y =arcsin x .通常我们称arcsin y x =为反正弦函数.其定义域为11,-⎡⎤⎣⎦，值域为,22ππ⎡⎤-⎢⎥⎣⎦.反正弦函数arcsin y x =在11,-⎡⎤⎣⎦上是单调增加的，它的图像如图1-20中实线部分所示. 类似地，可以定义其他三个反三角函数的主值arccos arctan ,y x y x ==和arccot y x =，它们分别简称为反余弦函数，反正切函数和反余切函数.反余弦函数arccos y x =的定义域为1,1-⎡⎤⎣⎦，值域为π0,⎡⎤⎣⎦，在1,1-⎡⎤⎣⎦上是单调减少的，其图像如图1-21中实线部分所示.反正切函数arctan y x =的定义域为(),-∞+∞，值域为ππ22⎛⎫- ⎪⎝⎭，，在()-∞+∞，上是单调增加的，其图像如图1-22中实线部分所示.反余切函数arccot y x =的定义域为()-∞+∞，，值域为π0,（），在()-∞+∞，上是单调减少的，其图像如图1-23中实线部分所示.图1-20 图1-21图1-22 图1-23六、初等函数由常数和基本初等函数经有限次四则运算和复合运算得到并且能用一个式子表示的函数，称为初等函数.例如，23sin4y x x =+，(ln y x =+，3arctan22sin 1xy x x =+等等都是初等函数.分段函数是按照定义域的不同子集用不同表达式来表示对应关系的，有些分段函数也可以不分段而表示出来，分段只是为了更加明确函数关系而已.例如，绝对值函数也可以表示成y x =1,,()0,x a f x x a <⎧=⎨>⎩ 也可表示成1()12f x ⎛ =-⎝⎭.这两个函数也是初等函数.七、双曲函数与反双曲函数1. 双曲函数双曲函数是工程和物理问题中很有用的一类初等函数.定义如下：双曲正弦 sh e e 2x xx --= ()x -∞<<+∞，双曲余弦 ch e e 2x xx -+= ()x -∞<<+∞，双曲正切 th e e e e sh ch x xx xx x x ---==+ ()x -∞<<+∞， 其图像如图1-24和图1-25所示图1-24 图1-25.双曲正弦函数的定义域为()x -∞<<+∞，它是奇函数，其图像通过原点()0,0且关于原点对称.在()x -∞<<+∞内单调增加.双曲余弦函数的定义域为()x -∞<<+∞，它是偶函数，其图像通过点()10,且关于y 轴对称，在(),0-∞内单调减少；在()0+∞，内单调增加. 双曲正切函数的定义域为()x -∞<<+∞，它是奇函数，其图像通过原点()0,0且关于原点对称.在()x -∞<<+∞内是单调增加的.由双曲函数的定义，容易验证下列基本公式成立.()sh sh ch ch sh x y x y x y ±=±，()ch ch ch sh sh x y x y x y ±=±，sh22sh ch x x x =，2222ch2ch sh 12sh 2ch 1x x x x x =+=+=-，22ch sh 1x x -=.2. 反双曲函数双曲函数的反函数称为反双曲函数，sh y x =，ch y x =和th y x =的反函数，依次记为反双曲正弦函数 a rsh y x =， 反双曲余弦函数 arch y x =， 反双曲正切函数 a rth y x =.反双曲正弦函数a rsh y x =的定义域为()-∞+∞，，它是奇函数，在()-∞+∞，内单调增加，由sh y x =的图像，根据反函数作图法，可得a rsh y x =的图像，如图1-26所示.利用求反函数的方法，不难得到(a rsh ln y x x ==+.反双曲余弦函数arch y x =的定义域为)1+∞⎡⎣，，在)1+∞⎡⎣，上单调增加，如图1-27所示，利用求反函数的方法，不难得到(arch ln y x x ==.图1-26 图1-27反双曲正切函数a rtanh y x =的定义域为11()-，，它在11()-，内是单调增加的.它是奇函数，其图像关于原点(00)，对称，如图1-28所示.容易求得a rth 1ln 1xy x x+==-.图1-28第二节 数列的极限一、数列极限的定义定义1 如果函数f 的定义域()*{}D f N ==L ，，，123，则函数f 的值域()(){}**|f N f n n N =∈中的元素按自变量增大的次序依次排列出来，就称之为一个无穷数列，简称数列，即()()()12,,f f f n L L ，，.通常数列也写成12,n x x x L L ，，，，并简记为{}n x ，其中数列中的每个数称为一项，而()n x f n =称为一般项.对于一个数列，我们感兴趣的是当n 无限增大时，n x 的变化趋势.我们看下列例子：数列 12,,,,231nn +L L (1－2－1) 的项随n 增大时，其值越来越接近1；数列 2462 n L L ，，，，， (1－2－2)的项随n 增大时，其值越来越大，且无限增大；数列 1111(1)0,n n-+-L L ，，，， (1－2－3)的各项值交替地取1与0；数列 ()11111,,,,,23n n---LL (1－2－4) 的各项值在数0的两边跳动，且越来越接近0；数列 2222L L ，，，，， (1－2－5)各项的值均相同.在中学教材中，我们已知道极限的描述性定义，即“如果当项数n 无限增大时，无穷数列{}n x 的一般项n x 无限地趋近于某一个常数a （即n x a -无限地接近于0），那么就说a 是数列{}n x 的极限”.于是我们用观察法可以判断数列{}1n n -，1(1)n n -⎧⎫-⎨⎬⎩⎭，{}2都有极限，其极限分别为1,20，.但什么叫做“n x 无限地接近a ”呢？在中学教材中没有进行理论上的说明.我们知道，两个数a 与b 之间的接近程度可以用这两个数之差的绝对值b a -来度量.在数轴上b a -表示点a 与点b 之间的距离，b a -越小，则a 与b 就越接近，就数列(1-2-1)来说，因为111n x n n-=-=， 我们知道，当n 越来越大时，1n 越来越小，从而n x 越来越接近1.因为只要n 足够大， 11n x n-=就可以小于任意给定的正数，如现在给出一个很小的正数1100，只要n 100>即可得11100n x -<，11120,0,n =L如果给定110000，则从10001项起，都有下面不等式1110000n x -<成立.这就是数列1n n x n-=12 (,,)n =L ，当n →∞时无限接近于1的实质.一般地，对数列{}n x 有以下定义.定义2 设{}n x 为一数列，若存在常数a 对任意给定的正数ε(无论多么小)，总存在正整数N ，当n N >时，有不等式n x a ε-<即(,)n x U a ε∈，则称数列{}n x 收敛，a 称为数列{}n x 当n →∞时的极限，记为lim n n x a →∞=或n x a →()n →+∞.若数列{}n x 不收敛，则称该数列发散.定义中的正整数N 与ε有关，一般说来，N 将随ε减小而增大，这样的N 也不是唯一的.显然，如果已经证明了符合要求的N 存在，则比这个N 大的任何正整数均符合要求，在以后有关数列极限的叙述中，如无特殊声明，N 均表示正整数.此外，由邻域的定义可知，()n x U a ε∈，等价于n x a ε-<.我们给“数列{}n x 的极限为a ”一个几何解释：将常数a 及数列123,,,,,n x x x x L L 在数轴上用它们的对应点表示出来，再在数轴上作点a 的ε邻域，即开区间(,)a εa ε-+，如图1-29所示图1-29因两个不等式 ||n x a ε-<， n a εx a ε-<<+等价，所以当n N >时，所有的点n x 都落在开区间(,)a εa ε-+内，而只有有限个点（至多只有N 个点）在这区间以外.为了以后叙述的方便，我们这里介绍几个符号，符号“∀”表示“对于任意的”、“对于所有的”或“对于每一个”；符号“∃”表示“存在”；符号“{}ax m X ”表示数集X 中的最大数；符号“{}min X ”表示数集X 中的最小数.数列极限lim n n x a →∞=的定义可表达为：lim n n x a →∞=0ε⇔∀>，∃正整数N ，当n N >时，有n x a ε-<.例1 证明 1lim 02n n →∞=.证 0ε∀>(不防设1ε<)，要使11022nn ε-=<，只要21nε>，即ln ln21/n ε>（）. 因此，0ε∀>，取ln /ln21N ε⎡⎤⎛⎫= ⎪⎢⎥⎝⎭⎣⎦，则当n N >时，有102n ε-<.由极限定义可知1lim 02n n →∞=. 例2 证明 π1lim cos04n n n →∞=. 证 由于ππ111cos 0cos 44n n n n n -=≤，故0ε∀>，要使π1cos 04n εn -<，只要1εn <，即1n ε>.因此，0ε∀>，取1N ε⎡⎤=⎢⎥⎣⎦，则当n N >时，有π1cos 04n εn -<.由极限定义可知 π1lim cos 04n n n →∞=. 用极限的定义来求极限是不太方便的，在本章的以后篇幅中，将逐步介绍其他求极限的方法.二、数列极限的性质定理1（惟一性） 若数列收敛，则其极限惟一. 证 设数列{}n x 收敛，反设极限不惟一：即lim n n x a →∞=，lim n n x b →∞=，且a b ≠，不妨设a b <，由极限定义，取2b a ε-=，则10N ∃＞，当1n N >时，2n b ax a --<，即 322n a b a bx -+＜＜， （1-2-6） 20N ∃>，当2n N >时，2n b ax b --<，即322n a b b ax +-＜＜， (1-2-7) 取{}12m ,N ax N N =，则当n N >时，(1-3-6)，(1-3-7)两式应同时成立，显然矛盾.该矛盾证明了收敛数列{}n x 的极限必惟一.定义3 设有数列{}n x ，若存在正数M ，使对一切12,,n =L ，有n x M ≤，则称数列{}n x 是有界的，否则称它是无界的.对于数列{}n x ，若存在常数M ，使对12n =L ，，，有n x M ≤，则称数列{}n x 有上界；若存在常数M ，使对12,,n =L ，有n x M ≥，则称数列{}n x 有下界.显然，数列{}n x 有界的充要条件是{}n x 既有上界又有下界. 例3 数列{}211n +有界；数列{}2n 有下界而无上界；数列{}2n -有上界而无下界；数列{}11nn --（）既无上界又无下界.定理2（有界性） 若数列{}n x 收敛，则数列{}n x 有界.证 设lim n n x a →∞=，由极限定义，0ε∀>，且1ε<，0N ∃>，当n N >时，1||n x a ε-<<，从而<1n x a +.取{}12m 1,,,,N M ax a x x x =+⋯，则有n x M ≤，对一切123,,,n =L ，成立，即{}n x 有界.定理2 的逆命题不成立，例如数列{}1()n -有界，但它不收敛.定理3（保号性） 若lim n n x a →∞=，0a >（或0a <），则0N ∃>，当n N >时，0n x >（或0n x <）.证 由极限定义 ，对02aε=>，0N ∃>，当n N >时，2n a x a -<，即322n a x a <<，故当n N >时，02n ax >>.类似可证0a <的情形.推论 设有数列{}n x ，0N ∃> ，当n N >时，0n x > (或0n x <)，若lim n n x a →∞=，则必有0a ≥ (或0a ≤).在推论中，我们只能推出0a ≥ (或0a ≤)，而不能由0n x > (或0n x <)推出其极限(若存在)也大于0(或小于0).例如10n x n=>，但1lim lim 0n n n x n →∞→∞==.下面我们给出数列的子列的概念.定义4 在数列{}n x 中保持原有的次序自左向右任意选取无穷多个项构成一个新的数列，称它为{}n x 的一个子列.在选出的子列中，记第1项为1n x ，第2项为2n x ，…，第k 项为k n x ，…，则数列{}n x 的子列可记为{}k n x .k 表示k n x 在子列{}k n x 中是第k 项，k n 表示k n x 在原数列{}n x 中是第k n 项.显然，对每一个k ，有k n k ≥；对任意正整数h ，k ，如果h k ≥，则h k n n ≥；若h k n n ≥，则h k≥由于在子列{}k n x 中的下标是k 而不是k n ，因此{}k n x 收敛于a 的定义是：0ε∀>，0K ∃>，当k K >时，有k n x a ε-<.这时，记为lim k n k x a →+∞= .定理4 lim n k x a →∞=的充要条件是：{}n x 的任何子列{k n x }都收敛，且都以a 为极限.证 先证充分性.由于{}n x 本身也可看成是它的一个子列，故由条件得证. 下面证明必要性.由lim n k x a →∞=，0ε∀>，0N ∃>，当n N >时，有n x a ε-<.今取K N =，则当k K >时，有k K N n n n N >=≥，于是k n x a ε-<.故有lim k n k x a →∞=.定理4用来判别数列{}n x 发散有时是很方便的.如果在数列{}n x 中有一个子列发散，或者有两个子列不收敛于同一极限值，则可断言{}n x 是发散的.例4 判别数列{}*πsin ,8n n x n N =∈的收敛性.解 在{}n x 中选取两个子列：{}*8πsin ,8k k N ∈，即{}πππ8168sin ,sin ,sin ,888k ⋅⋅⋅⋅⋅⋅； ()*164πsin ,8k k N +⎧⎫∈⎨⎬⎩⎭，即()ππ16420sin ,sin ,88k ⎧⎫+⎪⎪⋅⋅⋅⋅⋅⋅⎨⎬⎪⎪⎩⎭. 显然，第一个子列收敛于0，而第二个子列收敛于1，因此原数列{}πsin 8n 发散.三、收敛准则定义5 数列{}n x 的项若满足121n n x x x x +≤≤≤≤≤L L ，则称数列{}n x 为单调增加数列；若满足121n n x x x x +≥≥≥≥≥L L ，则称数列{}n x 为单调减少数列.当上述不等式中等号都不成立时，则分别称{}n x 是严格单调增加和严格单调减少数列.收敛准则 单调增加有上界的数列必有极限；单调减少有下界的数列必有极限. 该准则的证明涉及较多的基础理论，在此略去证明.例5 证明数列11nn ⎧⎫⎪⎪⎛⎫+⎨⎬ ⎪⎝⎭⎪⎪⎩⎭收敛.证 根据收敛准则，只需证明11nn ⎧⎫⎪⎪⎛⎫+⎨⎬ ⎪⎝⎭⎪⎪⎩⎭单调增加且有上界（或单调减少且有下界）.由二项式定理，我们知道1221111(1)1n n n n n n nx C C C n n n n =+=++++L 11112112111(1)(1)(1)(1)(1)(1)2!3!!n n n n n n n n -=++-+--++---L L ，11211111211111(1)111(1)(1)n n n n n n n x C C C n n n n +++++++=+=++++++++L 1111211(1)(1)(1)2!13!11n n n =++-+--++++L1121(1)(1)(1)!111n n n n n -+--++-+++L 112(1)(1)(1)(1)!111n n n n n +--++-++++L ， 逐项比较n x 与1n x +的每一项，有1n n x x +<，1,2,.n =L这说明数列{}n x 单调增加，又111112!3!!n x n <+++++L 211111222n <+++++L。