数列极限

关注
义项:数学分析概念
数列极限

数列极限是数学分析中描述数列在项数无限增大时整体趋势的定量概念,指当项数 n 无限增大时,数列的项无限接近的某个确定常数 a,此时称数列收敛于 a,记作 $\lim_{n\to\infty} a_n = a$[1]。它用 ε-N 语言给出了严格的算术化定义,是微积分、级数理论和实数理论的逻辑基础,也是理解函数极限、连续、导数与积分的前提[2]。

百科 图文
目录
  1. 定义
  2. 原理
  3. 发展历程
  4. 应用
  5. 局限
  6. 参见

定义

数列是按正整数编号依次排列的一列无穷多个数,可写作 $x_1, x_2, x_3, \cdots, x_n, \cdots$,简记为 $\{x_n\}$,其中 $x_n$ 称为通项;本质上它是定义在正整数集上的函数[1]。数列中每一项都有确定的编号,次序不能颠倒,重复出现的项也不能随意舍去,这与集合的概念不同[3]。

所谓数列 $\{a_n\}$ 以常数 a 为极限,是指任给正数 ε,总存在自然数 N,使当 $n > N$ 时恒有 $|a_n - a| < \varepsilon$;这时称数列收敛于 a,记作 $\lim_{n\to\infty} a_n = a$[1]。若数列不收敛于任何常数,则称它发散[3]。

定义中的量词次序不能调换:先任意给定一个 ε,再找出一个 N,最后对一切 $n > N$ 验证不等式[1]。N 的选择不唯一,只需存在即可,它一般依赖于 ε,因此也记作 N(ε)[1]。等价的说法是:任给 ε > 0,落在邻域 (a−ε, a+ε) 之外的项至多只有有限个[4]。

原理

极限的几何意义是:数列收敛于 a,意味着以 a 为中心、以任意小的 ε 为半径的邻域之外,数列中至多有有限项[4]。反过来,只要对每个正数 ε,邻域外的项都只有有限个,该数列就收敛于 a[4]。

收敛数列具有若干基本性质:极限唯一;收敛数列必有界;具有保号性,即若极限为正(或负),则从某一项之后各项均为正(或负)[5]。此外还有保不等式性与迫敛性,后者即夹逼性:若两个收敛数列都以 a 为极限,且第三个数列被夹在两者之间,则它也收敛于 a[5]。

若 $\{x_n\}$ 与 $\{y_n\}$ 都收敛,则它们的和、差、积、商(分母极限非零且分母各项不为零)分别收敛于对应极限的和、差、积、商[3]。判断收敛性常用的判据有:单调有界定理,即单调且有界的数列必有极限;柯西准则,即任给 ε > 0,存在 N,当 m, n > N 时 $|x_m - x_n| < \varepsilon$,它是数列收敛的充分必要条件[6]。

发展历程

极限的朴素思想在古代就已出现。中国三国时期数学家刘徽用圆内接正多边形推算圆面积,随着边数不断增加,正多边形面积无限接近圆面积,这个确定数值被理解为数列的极限,即割圆术[2]。古希腊时期也产生了类似的思想和相关的悖论,但尚未形成严格概念[7]。

17 世纪微积分诞生后,牛顿、莱布尼茨的论证依赖“无穷小量”,但未曾给出确定而一贯的定义,据此进行的推导在逻辑上存在争议。牛顿在《自然哲学的数学原理》中开始使用极限这一术语,18 世纪达朗贝尔主张把极限作为微积分的基础。

19 世纪,柯西在 1821 年的著作《分析教程》中给出了接近现代的极限描述:当一个变量逐次所取的值无限趋向于一个定值,使变量与该定值之差要多小就多小,这个定值就称为极限[4]。此后外尔斯特拉斯在 19 世纪 70 年代前后用 ε-N 语言把这一概念算术化,排除了依赖几何直观与“无限接近”描述的模糊性,形成现代教科书的通行定义[7]。

应用

数列极限是微积分理论的起点。函数在一点处的极限可以通过数列极限来刻画:函数极限存在,当且仅当任一满足 $x_n \ne x_0$ 且 $x_n \to x_0$ 的数列都有 $f(x_n) \to A$,这一结论称为海涅定理[8]。在此基础上建立的连续、导数、定积分等概念,构成高等数学理论体系的基础[2]。

数列极限的理论也是级数理论的基础[8]。级数收敛即其部分和数列收敛,判断数项级数收敛的许多判别法都由数列极限的性质与判据导出[9]。在计算层面,求极限的方法包括利用定义、四则运算法则、单调有界原理、迫敛性准则、柯西收敛准则、施托尔茨定理以及转化为定积分或函数极限等[10]。

极限概念并不局限于实数。数列极限、函数极限的概念、判别准则和运算法则都可以推广到复数、向量值函数以及更一般的空间,复数列的极限是复变函数论的基础,其中实数的绝对值相应地被复数的模取代[8]。

局限

ε-N 定义只对“收敛于某常数”给出刻画,本身不能直接算出极限值,实际求极限仍需借助各种判据与运算法则[3]。用定义验证极限的关键是找到满足条件的 N,通常要对 $|a_n - a|$ 作适当放大的估计,而不必求出最小的 N[3]。

数列相邻两项之差趋于零只是收敛的必要条件,并不充分;调和级数的部分和数列就是常被引用的反例,其相邻项之差趋于零却不收敛[4]。柯西准则给出的才是收敛的充分必要条件[6]。

极限的四则运算法则只适用于项数有限的运算,对无限项的和不能直接套用[3]。条件不足时结论也不成立:例如两个数列都发散,其和的敛散性并无必然结论[3]。此外,单调有界定理等判据依赖实数系的完备性,在有界与单调的条件缺失时不能据此断定极限存在[6]。

参见

  • 函数极限 —— 数列极限的概念与性质可类比迁移到函数极限,两者共同构成极限理论。

  • 柯西准则 —— 判断数列收敛的充分必要条件。

  • 单调有界定理 —— 判定数列极限存在的重要准则之一。

  • 无穷小量 —— 极限为 0 的变量,是刻画极限的基本工具。

  • 级数 —— 其收敛性由部分和数列的极限定义。

  • 实数理论 —— 为数列极限的判据提供基础的完备性理论。

参考资料

  1. 第二章 极限与连续 [引用日期2026-10-14]
  2. 第一章 极限与连续 [引用日期2026-10-14]
  3. 数列极限 [引用日期2026-10-14]
  4. 第二讲 [引用日期2026-10-14]
  5. [科普中国]-数列极限 [引用日期2026-10-14]
  6. 2017年北京师范大学硕士研究生招生考试大纲 [引用日期2026-10-14]
  7. 從微積分發展史中看極限概念的演變(三) [引用日期2026-10-14]
  8. 欢迎使用 GRID2008 数据库平台 [引用日期2026-10-14]
  9. 数学手册 [引用日期2026-10-14]
  10. 长江大学信息与数学学院2022年自命题科目考试大纲 [引用日期2026-10-14]
词条评价
词条统计

浏览次数:3 次

阅读量:1 次 · 阅读完成量:0 次

最近更新:2026-10-13T23:29:47Z

历史版本

本条目引用的词条
函数极限 柯西准则 单调有界定理 无穷小量 级数 实数理论