Skip to content

定义Definition

级数

施工中 · 内容逐步修订

Infinite series

序列各项的有限部分和所组成的序列及其极限。

形式陈述 ​

给定实数或复数的序列 (an)n≥0,级数 ∑n=0∞an 指部分和序列

sN=∑n=0Nan.

若部分和按序列收敛的意义满足 sN→s,则称级数收敛并写 ∑an=s;若 ∑|an| 收敛,则称绝对收敛。收敛但不绝对收敛的级数称为条件收敛级数。

把连续的项合成一块,就得到保持原顺序的分组。若

0=n0<n1<n2<⋯,nk→∞,

并令

bk=∑j=nknk+1−1aj,

则原级数收敛时,∑bk 收敛到同一值,因为它的部分和是原部分和的子序列。分组后的部分和只记录块端点;块内部的振荡决定了原部分和能否一起收敛。

直觉

无穷和的含义全部由有限部分和承担。项趋零只说明新加入的单项变小,却不保证累计尾部可忽略。绝对收敛消除了正负抵消的脆弱性;条件收敛则可能依赖项的顺序。

分组保留项的原顺序,观察的是部分和序列的一条子列。重排则改变加法的顺序:绝对收敛级数在任意重排下都保持原和,条件收敛级数的和则可能随顺序改变。

收敛级数的尾部必须满足 Cauchy 条件:对任意 ε>0,存在 N,使 q≥p≥N 时 |∑n=pqan|<ε。取 p=q 只得到必要条件 an→0,而一般尾段同时含很多项;调和级数正是单项很小、长尾段仍能积累出固定总量的例子。

例子与边界

当 |r|<1 时,有限恒等式 (1−r)∑n=0Nrn=1−rN+1 给出几何级数之和 (1−r)−1。截断到 rN 的精确余项是 rN+1/(1−r);例如 r=1/2 时,保留到 N=9 后,误差为 2−9=1/512。r=1 时部分和线性增大,r=−1 时来回振荡,这两个边界点都不收敛。

望远镜级数

∑n=1N1n(n+1)=1−1N+1

收敛到 1。调和级数的项虽趋零,但按 [2k,2k+1) 分块,每块和至少为 1/2,所以仍发散。

分组可能掩盖振荡,例如 1−1+1−1+⋯。按相邻两项分块得到 0+0+⋯,分组级数收敛到 0;原部分和却在 1,0 间振荡。

记交错调和级数 1−1/2+1/3−1/4+⋯ 的前 n 项和为 Hnalt。偶数部分和递增,奇数部分和递减,且 0≤H2nalt≤H2n+1alt≤1。由单调有界序列定理,两条子列各自收敛;两者之差 1/(2n+1)→0,所以极限相同,原级数收敛;取绝对值后变成发散的调和级数,所以它不绝对收敛。由于各项绝对值单调递减,真实的和始终夹在相邻两个部分和之间,截断误差因而不超过下一项的大小。Riemann 重排定理说明适当置换可把它改成任意给定实数,甚至使其发散。

推论与应用

绝对收敛允许调整求和顺序;例如双重级数满足 ∑m,n|am,n|<∞ 时,逐行与逐列求和得到同一结果。在有限维实、复空间中,无条件收敛与绝对收敛等价。

幂级数通过代入变量得到函数,收敛区域由系数决定。普通生成函数也使用级数符号,其代数运算按各次系数定义;当需要代入数值时,再研究解析收敛。数值截断则用尾和估计有限计算与整个级数之差。

参考资料
  • Stephen Abbott, Understanding Analysis, 2nd ed., Springer, 2015, Chapter 2.
  • Walter Rudin, Principles of Mathematical Analysis, 3rd ed., McGraw-Hill, 1976, Chapter 3.
  • Jiří Lebl, Basic Analysis I: Introduction to Real Analysis, Volume I, version 6.3, 2026,§2.5–2.6,部分和、几何级数、绝对收敛与重排。
关系图谱33 个相邻概念 · 3 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
分类位置

上位 / 更一般

暂未标注直接上位概念。

下位 / 直接特例

类型化关系