级数 -{H|zh-hans:重定向;zh-hant:重新导向;}--{H|zh-cn:字符;zh-tw:字元;}--{H|zh-hans:文件; zh-hant:档案;}--{H|zh-hans:快捷方式; zh-hant:捷径;}--{H|zh-hans:项目;zh-hant:专案;zh-tw:计划;zh-hk:计划;zh-mo:计划;}--{H|zh-cn:计算机; zh-sg:电脑; zh-tw:电脑;}- 级数（）是数学中一个有穷或无穷的序列例如formula_1之和，即formula_2，如果序列是有穷序列，其和称为有穷级数；反之，称为无穷级数（一般也简称为级数）。 序列formula_3中的项称作级数的通项（或一般项）。级数的通项可以是实数、矩阵或向量等常量，也可以是关于其他变量的函数，不一定是一个数。一般的，如果级数的通项是常量，则称之为常数项级数，如果级数的通项是函数，则称之为函数项级数。常见的简单有穷数列的级数包括等差数列和等比数列的级数。 有穷数列的级数一般通过初等代数的方法就可以求得。无穷级数有发散和收敛的区别，称为无穷级数的敛散性。判断无穷级数的敛散性是无穷级数研究中的主要工作。无穷级数在收敛时才会有一个和；发散的无穷级数在一般意义上没有和，但可以用一些别的方式来定义。 无穷级数的研究更多的需要数学分析的方法来解决。无穷级数一般写作formula_4，使用求和符号时记作formula_5或者formula_6，级数收敛时，其和通常被表示为formula_7。 无穷级数的定义. 设formula_8是一个无穷序列 ：formula_9，其前n项的和称为formula_10的部分和： formula_11 formula_8部分和依次构成另一个无穷序列：formula_13 这两个序列合称为一个级数，记作formula_10或者formula_6。 无穷级数的敛散性. 对于级数formula_6，如果当formula_17趋于正无穷大时，formula_18趋向一个有限的极限：formula_19，那么这个无穷级数就叫做是收敛的，formula_20叫做级数formula_6的和。如果极限不存在，这个无穷级数就是发散的。收敛的无穷级数存在唯一的一个和"formula_20"。这时可以定义级数formula_10的余项和：formula_24。 任意项级数. 如果级数formula_6中的各项可以是正数，负数或零，则级数formula_6称为任意项级数。 将任意项级数各项formula_27取绝对值，得到正项级数。 formula_28 如果任意项级数formula_6收敛，而级数formula_30发散，则称级数formula_6条件收敛。 如果级数formula_30收敛，则称级数绝对收敛 绝对收敛. 定理：如果任意项级数formula_6的各项的绝对值所组成的正项级数formula_30收敛，则级数formula_6收敛。 formula_40和 formula_41，则 formula_42. formula_43和 formula_44 收敛级数的性质. 这两个级数的敛散性是一样的。 无穷级数的研究历史. 将一个函数展开成无穷级数的概念最早来自14世纪印度的马德哈瓦。他首先发展了幂级数的概念，对泰勒级数、麦克劳林级数、无穷级数的有理逼近以及无穷连分数做了研究。他发现了正弦、余弦、正切函数等的泰勒展开，还用幂级数计算了 π 的值。他的学生继承和发展了他关于级数的工作。 17世纪，詹姆斯·格里高利也开始研究无穷级数，并发表了若干函数的麦克劳林展开式。1715年，布鲁克·泰勒提出了构造一般解析函数的泰勒级数的方法。18世纪时欧拉又发展了超几何级数和q-级数的理论。 对审敛法的研究. 14世纪时，马德哈瓦已经开始讨论判别无穷级数敛散性的方法。他提出了一些审敛的准则，后来他的学生将其推广。 然而在欧洲，审查无穷级数是否收敛的研究一般被认为是从19世纪由高斯开始的。他于1812年发表了关于欧拉的超几何级数 formula_52 的论文，提出了一些简单的收敛准则，并对余项和以及收敛半径进行了讨论。 柯西提出了严格的审敛法的重要性，他证明了两个收敛级数的乘积不一定是收敛的，同时开始研究严格的审敛准则。欧拉和高斯各自给出了各种审敛法则。柯西更研究了复函数的幂级数展开。 1826年，阿贝尔在他的关于二项式级数 formula_53 的论文中更正了柯西的若干个结论，并给出了二项式级数的严格的求和方法，指出了连续性在收敛问题中的重要性。 柯西提出的审敛法并不是普遍适用的，只能用于判别某些特定函数的敛散性。同时代的其他数学家，比如拉贝（Joseph Ludwig Raabe）的对数判别法，德·摩根的对数判别法（被 DuBois-Reymond和普林斯海姆证明对某些函数失效） ，以及贝特朗、斯托克斯、切比雪夫等人的审敛法也是如此。 对普遍的审敛法则的研究由恩斯特·库默尔开始，之后的艾森斯坦、维尔斯特拉斯、尤里斯·迪尼等都曾致力于这一领域。普林斯海姆于1889年发表的论文阐述了完整的普适审敛理论。 对一致连续性的研究. 1821年，柯西首先开始对一致连续性的研究，但其中有不少错误和局限。这些错误最早被阿贝尔指出，但首先得出正确结论的是西德尔和斯托克斯。1853年，柯西在注意到阿贝尔的批评后重新开展研究，并得到了与斯托克斯一样的结论。然而，一致连续性的重要性在很长一段时间里没有受到重视。 更多级数请参见级数列表。 类别. 几何级数. 几何级数（或等比级数）是指通项为等比数列的级数，比如： formula_54 一般来说，几何级数formula_55收敛当且仅当formula_56。 调和级数. 调和级数是指通项为formula_57的级数： formula_58 它是发散的。 formula_59-级数. "formula_59"-级数是指通项为formula_61的级数： formula_62 对于实数值的"formula_59"，当formula_64时收敛，当formula_65时发散。这可以由积分比较审敛法得出。 函数formula_66是黎曼ζ函数在实轴大于1的部分的限制，关于黎曼formula_67函数有著名的黎曼猜想。 特别地，当formula_68时，formula_59-级数即为调和级数。 formula_70 裂项级数. 收敛当且仅当数列formula_71收敛到某个极限formula_72，并且这时级数的和是formula_73。 泰勒级数. 泰勒级数是关于一个光滑函数formula_74在一点formula_38附近取值的级数。泰勒函数由函数在点formula_38的各阶导数值构成，具体形式为： formula_77 这是一个幂级数。如果它在formula_38附近收敛，那么就称函数formula_74在点formula_38上是解析的。 交错级数. 具有以下形式的级数 formula_81 其中所有的formula_82非负，被称作交错级数。交错级数的收敛通常要借助莱布尼茨判别法。 幂级数. 形同formula_83的函数项无穷级数称为formula_84的幂级数。它的收敛与否和系数formula_82有关。 傅里叶级数. 任何周期函数都可以用正弦函数和余弦函数构成的无穷级数来表示，称为傅里叶级数。傅里叶级数是函数项无穷级数，也就是说每项都是一个函数。傅里叶级数在数论、组合数学、信号处理、概率论、统计学、密码学、声学、光学等领域都有着广泛的应用。 例如，周期为formula_86的周期函数formula_87可以表示为： formula_88 其中，formula_89，formula_90，特别的，formula_91 常数项无穷级数审敛法. 正项级数. 若通项为实数的无穷级数formula_10每一项formula_27都大于等于零，则称formula_10是一正项级数。 如果无穷级数 formula_10 是正项级数，则部分和formula_96是一个单调递增数列。由数列极限的判别准则：单调有界数列必有极限。因此，倘若部分和数列"Sn"有界，formula_10收敛，且formula_98 ;反之，若部分和数列趋于正无穷，级数发散。 比较判别法. 设formula_10 和 formula_100是正项级数。 如果存在正实数formula_101，使得从若干项开始，formula_102（也就是说formula_103），则 * 当formula_100 收敛时，可推出 formula_10 也收敛。 * 当formula_10 发散时，可推出 formula_100 也发散。 如果formula_108，则 * 当formula_100 收敛时，可推出 formula_10 也收敛。 * 当formula_10 发散时，可推出 formula_100 也发散。 如果formula_113或其它有限数，则formula_100 和formula_10 同时收敛或发散。 比如，我们已知级数：formula_116收敛，则级数：formula_117也收敛，因为对任意的formula_17，formula_119。 比较判别法的特点是要已知若干级数的敛散性。一般来说，我们可以选择比较简单的级数：formula_120作为“标准级数”，依此判断其他函数的敛散性。需要知道的是当formula_121时，formula_122发散，当formula_123时，formula_122收敛。 达朗贝尔判别法. 在比较判别法中，如果取几何级数为比较的标准级数，可得： 设formula_10是通项大于零的正项级数。并且formula_126，则 * 当formula_127 时，级数formula_10收敛。 * 当formula_123 时，级数formula_10发散。 * 当formula_131 时，级数formula_10可能收敛也可能发散。 这个判别法也称为比值判别法或比值审敛法。 设 formula_10 是正项级数。并且formula_134，则 * 当formula_127时，级数 formula_10 收敛。 * 当formula_123时，级数 formula_10 发散。 * 当formula_131时，级数 formula_10 可能收敛也可能发散。 柯西收敛准则. 这个判别法也称为根值判别法或根值审敛法'。 交错级数. 具有以下形式的级数 formula_81 其中所有的formula_82非负，被称作交错级数。 莱布尼茨判别法. 在上述的级数formula_81中，如果当formula_17趋于无穷时, 数列formula_82的极限存在且等于 0，并且每个formula_82小于formula_147（即, 数列formula_82是单调递减的），那么级数收敛。 任意项级数. 对于通项为任意实数的无穷级数formula_10，将级数formula_150称为它的绝对值级数。可以证明，如果formula_150收敛，那么 formula_10也收敛，这时称 formula_10绝对收敛。如果formula_10收敛，但是formula_150发散，则称formula_10条件收敛。比如说，级数formula_157绝对收敛，因为前面已经证明 formula_158收敛。而级数formula_159是条件收敛的。它自身收敛到formula_160，但是它的绝对值级数formula_161是发散的。 黎曼级数定理说明，如果一个无穷级数formula_10条件收敛，那么对于任意的实数formula_163，存在一个正整数到正整数的双射formula_164，使得级数formula_165收敛到 formula_163。对于正负无穷大，上述双射也存在。 函数项级数. 设formula_167为定义在区间formula_168上的函数列，则表达式：formula_169称为函数项级数，简记为formula_170。对函数项级数的主要研究是： 收敛域. 对区间formula_168上的每个 formula_175，级数 formula_176是常数项级数。若 formula_176收敛，则称formula_175是formula_170的一个收敛点，formula_170全体收敛点的集合称为它的收敛域。若 formula_176发散，则称formula_175是formula_170的一个发散点，formula_170全体发散点的集合称为它的发散域。formula_170在其收敛域的每一点上都有定义，因此定义了一个函数，称为formula_170的和函数，记为formula_187。按照定义，formula_188，其中formula_189为函数项级数在formula_175点上的部分和。 一致收敛. 函数项级数的取值可以在它的收敛域上用和函数定义，但和函数的性质可能会和级数的每一项不同。比如说，当函数项级数formula_170中的每一项formula_192在收敛域上都是连续函数时，和函数未必会是连续函数。以下是一个例子： 设formula_193，也就是说formula_194，formula_195等等，它们显然都是连续函数（甚至是光滑函数）。这时函数项级数在formula_163 点上的部分和formula_197。在区间formula_198的每一点上，部分和都有极限： 当formula_199时，formula_200 当formula_201时，formula_202 于是在区间formula_198上，级数formula_170 收敛，其和函数formula_187为： 当formula_206时，formula_207；formula_208。 这不是一个连续函数。 然而，如果函数项级数能够满足某些更严格的条件的话，可以证明级数的和函数的规则性将会等于每一项函数的规则性，这就是所谓的一致收敛性质。和函数列的一致收敛性质一样，函数项级数formula_170在某个区间formula_168内（关于某个范数formula_211）一致收敛的定义是它的部分和函数formula_96 在区间formula_168上一致收敛到和函数formula_214， formula_215 或者写成formula_216 可以证明： 如果级数formula_170 在区间formula_168 内一致收敛，并且每个formula_192 都是连续函数，那么和函数formula_214 在区间formula_168 上也是连续函数。 进一步的，如果导函数级数的每一项都是formula_222函数（formula_59阶连续可微函数），并且各阶导函数级数formula_224在区间formula_168内都一致收敛，那么级数和函数formula_226 也是formula_222函数，并且： formula_228 ，formula_229。 绝对收敛. 函数项级数也有绝对收敛的概念。对于某个给定的区间formula_168和范数formula_231，函数项级数formula_170在区间formula_168内绝对收敛，当且仅当常数级数formula_234收敛。 绝对收敛的（连续？）函数在每一点都收敛，并且在区间formula_168内一致收敛。#重定向 -{H|zh-cn:重定向;zh-tw:重新导向;}- 幂级数. 形同formula_83的函数项无穷级数称为formula_84的幂级数。一般只需讨论形同formula_238的幂级数。 幂函数的收敛域. 根据阿贝尔定理，它的收敛域是一个关于零对称的区间，即为formula_239（可开可闭）的形式。这个正数formula_240（可以是无穷大）叫做幂级数的收敛半径。并有定理： 设幂级数formula_238满足formula_242，则： 幂级数的和函数. 求解幂级数的和函数有时需要利用先对各项积分（或求导）以得到一个方便利用已有公式进行求和的形式，在求和后在对各项求导（或积分）。 渐进级数. 渐进级数是用来对某些函数的间断点附近的情况进行逼近的级数。渐进级数一般是发散的，它的部分和趋于无穷大，因此可以很好地逼近一个趋于无穷大的函数。但要注意的是，渐进级数提供的逼近是相对的，即只是比值趋于一致，与函数值之间的误差并不像收敛的级数一样趋于无穷小。一般来说，渐进级数在若干项后便达到最小的绝对误差，之后的绝对误差一般会增大甚至趋于无穷。 发散级数的和. 发散级数的部分和没有极限，但是在应用中可以使用比较弱的级数和定义，比如切萨罗求和、阿贝尔求和以及欧拉求和。 推广. 级数的概念可以在任何的对称拓扑群中定义，常用的是在一个巴拿赫空间（比如实数或复数空间）中。