[拼音]：jishu
[外文]：series
级数理论是分析学的一个分支；它与另一个分支微积分学一起作为基础知识和工具出现在其余各分支中。二者共同以极限为基本工具，分别从离散与连续两个方面，结合起来研究分析学的对象，即变量之间的依赖关系──函数。在微积分学中基本变量是一般的连续变量 x（代表具体的变量如时间t、路程s，质量m等等），取值于这个或那个区间，极限过程也是多种多样的；在级数理论中基本变量就是离散变量n，其值为全体自然数:n=1，2，3，…。这里极限过程只有惟一的一个，即n无限增长，趋向无限:n→∞。这里任一函数u(n)的值u(n)=un自然形成一个序列u1，u2，u3，…，un，…;而这个序列{un}也就完全表达了函数u(n)。
一个级数（无穷级数）是由一个序列{un}经过“逐一加下去”的无限过程而产生的和数序列：
(1)
简记为u1+u2+…+un+…。通常称un为这级数的一般项，sm为其部分和，并常用缩写记号
在m无限增长的过程中，如果部分和sm趋向于一个极限s，那么就称s为级数的“和”，并写成
。这实际上就是
。 (2)
如果部分和sm的极限s作为一个有限数而存在，就说级数
是收敛的并以s为其和数。否则，就说这级数是发散的，没有和数。
所以，按照习惯了的极限观点，一个级数在且只在它收敛时才像一个有限和一样具有一个惟一确定的和数。级数的和数与代数中的和数的区别只在于被加项的个数是无限的。这是级数概念发展的基本出发点。
最早出现在古代的级数是几何级数(等比级数)
，它有部分和
因而当且仅当｜r｜<1时收敛。
一个一般的级数，其部分和不一定具有这样简单的结构，这时首先需要直接从级数的项判断级数的和是否存在，即级数是否收敛。然后就需要考虑这级数的和，作为无限项的和，继承了或保存着有限和的哪些性质，或者有限和的某个性质在什么条件下能够传递给级数的和。这两个问题，收敛问题与性质问题，便是级数理论的基本问题。
级数收敛的原意是它的部分和序列收敛；所以，如果不进一步涉及级数结构的特殊性质，则级数收敛的必要充分条件不外是关于其部分和序列sm的柯西收敛原理：
｜sm-sn｜任意小，只要m和n充分大。 (3)
取m=n-1，即得级数
收敛的一个必要条件：
un→0。 (4)
于是级数的收敛问题，只在一般项是无限小量的前提下，才是值得考虑的问题。
一般说来，单纯从数量上看，级数与序列是相互确定的:sm按(1)由un确定;un按恒等式
由sm确定。但是，在概念上，级数不同于序列：它隐含着无限次加法，意味着施行于序列的一种运算
这种运算在有效（即收敛）的情形，给出一个“可数无限”的和数，类似于定积分的运算在有效（即可积）的情形给出一个“连续无限”的和数（即积分的值）。正是级数的这种运算特征使它不同于序列而类似于积分，而有这样类似的基本性质：
(5)
这一切都是在“和数”存在──即级数收敛的前提下来考虑的。一般地，考虑级数理论的基本问题时，总是首先考虑收敛问题，然后考虑性质问题。
单调收敛收敛性的最简单形式。
正项级数
代表着收敛性最简单的情形。在这种情形，级数
的部分和 sm=u1+u2+…+um随着m单调增长，等价于级数的一般项un≥0(因此，有时也称为非负项级数)。于是级数(∑un)收敛等价于部分和(sm) 有界。项越小，部分和就越倾向于有界，因而正项级数有比较判别法：
。 (6)
同样，每项比前项的比值较小，部分和也就增加较少而较倾向于有界，因此正项级数又有比值判别法：
(7)
取几何级数∑rn作为比较标准，则有
； (8)
。 (9)
事实上，这都在于断定un的大小数量级：
，其中B为有界变量，Л+δ<1。
单调正项级数
当正项级数的项 un单调递减趋于0时， 自然地容易扩充成一个单调的连续函数 u(x) 使得un=u(n)→0。 这样便可直观地把无穷级数同无穷积分进行比较而得到积分判别法：
。 (10)
而且，一旦这样转到连续变量，就可以利用连续变量的变换于积分而进一步得到指数变换判别法（叶尔马科夫判别法）：
。 (11)
由此易见，p 阶调和级数
以及对数调和级数
都是在p>1时收敛，在p≤1时发散。
正项级数的运算
正项级数在运算过程中很像有限和。它不仅具有一般的线性性质(5)，而且它的项可以无限次交换，无限次分配：
，
，
其中p(n)指自然数序列的任一排列，
指对第一象限中坐标为自然数的点的任一排列（成一序列）进行求和（成一级数）。
收敛性的一种强化形式。
交错级数
正项级数之外，如果一个级数没有正项，或者只有有限个正项，或者只有有限个负项，则其收敛问题都可以归结到一个正项级数的收敛问题，所以只需考虑一个级数既有无限个正项又有无限个负项的情形。在这种级数中，结构最简单的是正负号逐项相间的级数，叫做交错级数：
。 (12)
对此有
莱布尼茨定理 若一交错级数的项的绝对值单调趋于零，则这级数收敛。
显然，一个交错级数在形式上可以看成两个正项级数之差：
。
同样，每一个级数在形式上都可以看成两个正项级数(即这级数的“正部分”与“负部分”）之差：
， (13)
式中
，
。
不过，这样分解只有当分解成的级数(13)都收敛的前提下才是有意义的，这就导致人们来考虑一个级数逐项取绝对值后所得到的正项级数
(14)
是否收敛的问题。
绝对收敛的级数
一个收敛的级数，如果在逐项取绝对值之后仍然收敛，就说它是绝对收敛的；否则就说它是条件收敛的。
简单的比较
就表明，只要∑｜un｜收敛就足以保证
收敛;因而分解式(13)不仅表明∑｜un｜的收敛隐含着原级数∑un的收敛，而且把原级数表成了两个收敛的正项级数之差。由此易见，绝对收敛级数同正项级数一样，很像有限和，可以任意改变项的顺序以求和，可以无限分配地相乘。
但是条件收敛的级数，即收敛而不绝对收敛的级数，决不可以这样。这时(13)式右边成为两个发散(到＋∞)的、其项趋于零的、正项级数之差，对此有黎曼定理。
黎曼定理 一个条件收敛的级数，在其项经过适当的排列之后，可以收敛到一个事先任意指定的数；也可以发散到＋∞或－∞；也可以没有任何的和。
一致收敛收敛性与函数连续性结合的最重要的形式。
函数级数
如果级数的每一项依赖于一个连续变量x，un=un(x)，x在一个区间α≤x ≤b上变化，这个级数就成为一个函数项级数，简称函数级数，记为
。 (15)
这里x的值自然被分成两类C和D，使得当x属于C时级数收敛，当x属于D时级数发散。几何级数∑rn事实上就是一个函数级数，它的收敛范围是一个区间(－1<r<1)。微分学里的泰勒级数代表着一类函数级数，形如
， (16)
称为幂级数。这种级数，作为几何级数的一种推广，其收敛范围C仍然是一个区间（以x=x0为中心，带或不带端点，有限或无限，或退化成一点）。这种级数，当x换成复变量z之后，成为研究复变函数的一个基本工具（见复变函数论）。积分学里的傅里叶级数代表着另一类函数级数，形如
， (17)
称为三角级数。这种级数是研究实变函数的一个重要工具，它们的收敛范围一般很复杂，对它们的研究促使了g.（f.p.）康托尔创建集合的基础理论（见实变函数论、傅里叶分析）。
一般说来，一个函数级数的和函数，作为一个无限项的和，不是在它的整个收敛集C上，而是只在C的某种带有限制的部分C1上，才像一个有限项的和。下面试从C的某一点x出发来看级数(15)的收敛性。这级数在这一点x处收敛，就是说，它的部分和sm(x)收敛到一个和数s(x)，也就是说：对于任意一个正数
都有
，
只要m充分大。这个不等式还可能对于C的其他一些点x也成立。如果这个不等式在C的某一部分C1上处处成立，这就意味着sm(x)这个函数在集合C 1上一致地近似于s(x)这个函数，精确度（处处）在
以内。而如果这在C1上对于每一个正数都成立只要m充分大，那就意味着这一序列函数sm(x)，或者就说是函数级数∑un(x)本身，在C1上一致地无限逼近于函数s(x)，或者简单地说， sn(x)一致地收敛到函数s(x)。这样，原来的收敛概念，在与函数概念结合之后，就发展成为适合于函数级数的一种收敛概念。
一致收敛的级数
一个函数级数
说是在一个集合C1上一致地收敛到它的和函数s(x)，是指对于每一个正数
都存在一个自然数N（不依赖于x），使得当m>N 时
， (18)
对于一切属于C1的x都成立。
这时级数的和函数s(x)，作为一个无限项的和，便可在整个集合C1上通过特征性质(18)继承有限项和的一些分析性质。
逐项积分定理 设函数级数
在有限闭区间α≤x≤b上一致地收敛。于是，若级数的各项都连续，则级数的和也连续并且可以逐项积分：
。 (19)
关于逐项微分，没有直接类似的定理（因为一致小的函数rm(x)的导数可以任意大）;但是通过微分与积分的互逆关系（微积分基本定理）能够把上述定理转变成逐项微分的形式。
逐项微分定理 设函数级数
在区间α<x<b内收敛，各项都具有连续的导数。于是，若逐项取导数所得的级数在该区间内一致收敛，则原级数的和也具有连续的导数并且可以逐项微分：
。 (20)
级数在逐项取绝对值之后就成为正项级数，显然可以依一致收敛性进行比较，特别是用一个常数级数进行比较，便有M判别法。 M判别法 设函数级数 
在一集合C1上受常数级数
控制：
。 (21)
于是，若
收敛，则
在C1上一致收敛。
函数的级数展开
一个函数级数在其收敛范围内代表一个函数，即它的和：当和函数未给定时，级数是定义这函数的一种方式；当和函数已给定时，级数是揭示这函数依赖于基本变量的规律的一种方式──函数的级数展开。微积分在创建的初期通过形式处理得到了许多初等函数的级数展开，最重要的有
(22)
但只是到了（约 200年之后）一致收敛概念明确的时候才证实，这种幂级数展开在收敛区间内可以逐项微分和积分并且收敛（区间的）半径r不变（在前三个中 r＝1，后三个中r＝∞，而第一个当α 为零或正整数时化为多项式因而也有r＝∞）。这时人们才严密地证明了，幂级数在其收敛区间内能够完全代表它的和函数参加分析运算。于是可以逐项微分任意多次，所以这幂级数本身就是它的和函数在收敛区间中心处的泰勒级数，因而是惟一的。据此，一个泰勒级数的系数不一定要单纯通过累次微分
而可以通过某些幂级数的分析运算来求得。这就使人们能够补充基本展开表(22)中所缺少的相当于tanx的展开，它不能像反三角函数那样通过逐项积分得到(因为没有现成的幂级数展开作出发点)，也不能象其他基本初等函数那样通过直接求累次微分得到（因为微分次数越多计算越复杂）。现在利用幂级数展开的惟一性便可严密地证明：
， (23)
式中B2n是伯努利数，确定于展开式
。 (24)
至于三角级数展开式的惟一性，则像它的收敛集一样复杂，成了三角级数理论研究的一个基本问题。
函数的级数展开具有如下共同的形式：
。 (25)
这个形式的级数，作为幂级数的推广，其收敛问题的分析仍旧可以利用n.h.阿贝尔在研究幂级数的收敛问题时所引进的部分求和法。
部分求和法 设
，则有恒等式
(26)
这个方法（类似于分部积分法）立即给出：
（1）级数(25)在一个集合 C1上一致收敛的一组充分条件是，级数∑αn收敛而序列vn(x)在C1上一致有界并且处处单调。
（2）级数(25)在一个集合 C 1上一致收敛的一组充分条件是，级数∑αn有界而序列vn(x)在C1上一致收敛到0并且级数
在C1上一致收敛。
这两个结果都是莱布尼茨交错级数定理的推广。
广义收敛收敛概念的近代发展。
渐近级数
在所考虑的问题只需注意基本变量 x充分大的情形，相当于过程x→+∞，这里函数的级数展开就要依
的幂来进行，而展开的意义在于每增加一项就要有一项的效果（α→0当x→+∞）：
， (27)
m=1，2，3，…。这时，在xy坐标平面内，这一序列部分和sm(x)作为函数，其代表曲线y=sm(x)都是原来函数y=ƒ(x)的渐近线（直的或曲的），每一个比前一个更切近于曲线y=ƒ(x)。因此，采用H.庞加莱的用语就是，级数
是一个渐近级数，渐近地代表着函数ƒ(x)。通常把这简记为
。 (28)
这样的渐近级数虽然往往是发散的，但仍可以代替它所渐近表示的函数参加四则运算，只要作为除数的级数的常数项不为0；也可以逐项微分，只要函数的导函数ƒ′(x)确实具有渐近展开；还可以逐项积分，只要把形式关系
理解为
。
因此渐近级数可以（通过待定系数法）用于求解微分方程。当然，在原来意义下可用于近似计算，例如斯特林公式
(29)
中的级数虽是发散的却是渐近的（式中的Bn就是式(24)中的伯努利数），只需取前几项就能够算得（准确到小数点后10位的）近似值：
lg(1000!)=2567.…。
发散级数
最早的函数的级数展开
， (30)
在x=-1时给出
。 (31)
这个悖论式的等式在级数理论的发展过程中不时激起人们的思索。莱布尼茨认为这应从这个级数的部分和所可能取的值(1，0，1，0，…)的算术平均来理解。l.欧拉认为在涉及级数的分析研究中应坚持函数观点：一个有限的分析表达式的（幂）级数展开应在分析运算中当作该表达式的等价物，因而级数的和就是它所由之而来的分析表达式的值。这些看法启发了人们，对一个级数，甚至它是发散的，是否仍可以考虑它在广义意义下的和。一般说来，就函数的级数展开的特定形式(25)而论，只要它对于充分大的x都成立而又当x→＋∞时有
(32)
且极限值ƒ(＋∞)作为函数的边界值是一有限数，那么就可以说系数级数 
在依函数序列{vn(x)}的展开中可和到ƒ(+∞)，以ƒ(+∞)为广义和，并把这种边值收敛关系简单地记为
。 (33)
不过，如果要取定{vn(x)}作为一种广义和的参考系，就应当事前适当地选取函数 vn(x)使得所产生的这种求和法是正规的，即每一个收敛级数∑αn都可和到它原有的和A。这通过阿贝尔部分求和法(26)可以用级数的部分和An表示成
， (34)
其中
。 (35)
这样，这个求和法为正规的一个必要充分条件是，对x一致地有
； (36
而前提条件(32)在这里变成
(37)可见广义收敛乃是级数的部分和按一种平均意义理解的收敛;所以只要极限(34)存在
，都说级数
在以wn(x) 为权的带权平均的收敛过程中（平均）可和到A，并简记为
。 (38)等式(33)和(38)代表着同一种求和法的两种形式，(V)与(W)，其转换关系见于(35)，亦即
。 (39)
最常用的求和法都是正规的。其中有阿贝尔求和法(A)，相当于
，
；波莱尔求和法(B)，相当于
；算术平均求和法(M)，相当于
m＝[x]为x的整数部分；切萨罗求和法(C，k)，相当于
m＝[x]为x的整数部分。
波莱尔还把他的求和法 (B)转换成边值形式并取其简化形式如
，简记为
(B′)。 在转换中的误差项
这一前提下，(B′)与(B)等价；一般情形，只能由(B)推到(B′)。这种求和法能够使很广泛的一类复项幂级数∑bnzn在其收敛圆外可和，并且可以逐项积分。为了可以逐项微分，波莱尔提出了绝对可和的附加条件，即这样一序列无穷积分都绝对收敛
。这种求和法不是正规的；只是限于绝对收敛的级数而言才是正规的。但它使幂级数的分析运算（加、减、乘、逐项微分、逐项积分等）可以在收敛圆外如同在收敛圆内一样进行，因而很有效地扩大了幂级数的应用范围，特别是很适合于（通过待定系数法）求解微分方程，如同渐近级数那样。
对于两种求和法W与W1，我们说W1比W强，意思是每一个W可和的级数都一定W1可和到相同的和，但反过来不成立。例如(B′)比(B)强，(A)比(C，k)强。这种断定可和性强弱的定理称为阿贝尔型定理。一个阿贝尔型定理的逆定理不成立，无非是说不能无条件地反过来，因而也就是说在适当的补充条件之下能够反过来。说明这种补充条件的充分性定理称为陶伯型定理。如一个阿贝尔可和的级数
，只要
，就必定是收敛的。
纯数量上，一个（无穷）级数永远等同于一个（无穷）积分
， (40)[x]为x的整数部分。所以级数的理论中只有基本变量n的离散性在其中根本上起着简明性的作用的那些部分才能保持其特有的级数形式；否则迟早都会在普遍化的进程中过渡为积分的形式。例如A.普林斯海姆关于正项级数的系统研究取级数形式，而N.维纳关于陶伯型定理的研究取积分形式。
发散级数求和的理论是收敛级数研究的扩展，它扩大了分析学严密理论的适用范围，有效地揭示了函数的分析性质与数量关系，在傅里叶分析与函数构造论中有许多应用。
简史历史上级数出现得很早。亚里士多德（公元前4世纪）就知道公比小于1（大于零）的几何级数具有和数，n.奥尔斯姆（14世纪）就通过见于现代教科书中的方法证明了调和级数
发散到＋∞。但是，首先结合着几何量明确到一般级数的和这个概念，进一步脱离几何表示而达到级数和的纯算术概念，以及更进一步把级数运算视为一种独立的算术运算并正式使用收敛与发散两词，却是已接近于微积分发明的年代了(圣文森特的格雷果里1647、j.沃利斯1655、j.格雷果里1667)。事实上，从古希腊（阿基米德时代）以来，积分的朴素思想用于求积（面积、体积）问题时，就一直在数量计算上以级数的形式出现。收敛级数的结构，以其诸项的依次加下去的运算的无限进展展示着极限过程，而以其余项的无限变小揭示出无限小量的作用。级数收敛概念的逐渐明确有力地帮助了微积分基本概念的形成。
微积分在创立的初期就为级数理论的开展提供了基本的素材。它通过自己的基本运算与级数运算的纯形式的结合，达到了一批初等函数的(幂)级数展开。从此以后级数便作为函数的分析等价物，用以计算函数的值，用以代表函数参加运算，并以所得结果阐释函数的性质。在运算过程中，级数被视为多项式的直接的代数推广，并且也就当作通常的多项式来对待。这些基本观点的运用一直持续到19世纪初年，导致了丰硕的成果（主要归功于欧拉、雅各布第一 ·伯努利、j.-l.拉格朗日、傅里叶）。
同时，悖论性等式的不时出现（如1/2=1-1+1-1+…，-1=1+2+4+8+…之类)促使人们逐渐地自觉到级数的无限多项之和有别于有限多项之和这一基本事实，注意到函数的级数展开的有效性表现为级数的部分和无限趋近于函数值这一�樟蚕窒螅岢隽耸樟捕ㄒ宓娜非谐率觯佣剂朔治鲅У难厦芑硕╞.波尔查诺1817、柯西1821、阿贝尔1826）。
微积分基本运算与级数运算结合的需要，引导人们加强或缩小收敛性而提出一致收敛的概念［k.（t.w.）外尔斯特拉斯(1841)、g.g.斯托克斯（1847）、P.L.von赛德尔(1848)］。然而（在天文学、物理学中，甚至在柯西本人的研究工作中）函数的级数展开，作为一整个函数的分析等价物，在收敛范围以外的不断的成功的使用，则又迫使人们推广或扩大收敛概念而提出渐近性与可和性(庞加莱，1886；切萨罗，1890；波莱尔，1895)。
级数理论中的基本概念总是在其朴素意义获得有效的使用的过程中形成和发展的。