収束級数

数学において、**収束級数**（しゅうそくきゅうすう、）とは、その部分和の成す数列が収束するような級数である。

ここで、**級数**とは数列の項の総和のことであり、与えられた数列  の第 -**部分和**とは最初の -項の有限和
:S_n = \sum_{k=1}^n a_k
のことを指す。

ある級数が収束級数であることは、「（有限な）和を持つ」とか「和が有限確定である」などと言い表される。

## 定義
厳密に言えば、級数が「通常の意味で」収束するとは、定数 *l* が存在して、任意の正の数 &epsilon; &gt; 0 に対して十分大きな整数 *N* = *N*&epsilon; をうまくとれば、*n* &ge; *N* なる任意の整数 *n* に対して

:|S_n - l| \le \varepsilon

を満たすことをいう。収束しない級数は発散するという。

## 級数の収束・発散の例
* すべての自然数の逆数和は発散する。（調和級数）

* すべての自然数の逆数の交代和（各項の符号が交代的に入れ替わる級数）はln2に収束する。（2の自然対数）

* すべての正の奇数の逆数の交代和は収束し、\pi/4 に等しい。（ライプニッツの公式）

* すべての素数の逆数和は発散する。（n番目の素数をp_n とする）

* すべての三角数の逆数和は2に収束する。
 = 2}}
* すべての階乗数の逆数和は収束してネイピア数と等しい。

* すべての平方数の逆数和が収束することはバーゼル問題といい、オイラーが肯定的に解決した。これはリーマンゼータ関数の 2 における値 &zeta;(2) である。
 
* すべての2の冪の逆数和は2に収束する。

* すべての立方数の逆数和は収束し、この値 &zeta;(3) （アペリーの定数）は無理数であることが証明されている。（アペリーの定理）

* すべてのフィボナッチ数の逆数和は収束し、この値は無理数であることが証明されている。（フィボナッチ数列の逆数和）

## 収束判定法

与えられた級数が収束または発散することの判定法はさまざまなものが知られる。

; 比較判定法 (comparison test): 数列 (*a**n*) の各項が、別の数列 (*b**n*) の各項と比較して、任意の *n* に対し 0 &le; *a**n* &le; *b**n* が成り立つものとする。このとき
:* &sum;&thinsp;*b**n* が収束するならば &sum;&thinsp;*a**n* は収束する。
:* &sum;&thinsp;*a**n* が発散するならば &sum;&thinsp;*b**n* は発散する。
: の二つの命題が成り立つ。
; ダランベールの収束判定法（比判定法、ratio test）: 複素数列 (*a<sub>n</sub>*) に対し、
::\lim_{n \to \infty} \left|\frac{a_{n+1}}{a_n}\right| = r
:なる定数 *r* が存在するものと仮定する。
: *r* &lt; 1 ならば級数 &Sigma;*a<sub>n</sub>* は収束し、*r* &gt; 1 ならば級数は発散する。*r* = 1 のときはこの判定法では収束するとも発散するともいえない。
; コーシーの冪根判定法 (root test): 対象となる級数の各項は複素数であるものとし、 r = \limsup_{n \to \infty} \sqrt[n] とする。
: *r* &lt; 1 ならば級数 &Sigma;*a<sub>n</sub>* は収束し、*r* &gt; 1 ならば級数は発散するが、r = 1 のときはこの判定法では収束するとも発散するとも判定することはできない。
: 比の判定法も冪根の判定法も、幾何級数の挙動と比べることに基づく判定法であり、これらの判定法が有効な場面というのも似通っている。実は、比の判定法が有効な（極限が存在して 1 ではない）とき、冪根判定法は常に有効だが、逆は正しくない。つまり冪根判定法のほうが適用範囲は広いのだが、実用上の問題として、よくある種類の級数に対してこのような冪根の極限を計算することは難しいことが多いという点がある。
; 積分判定法: 与えられた級数をなんらかの積分と比較することで収束・発散を判定する方法がある。数列 (*a**n*) に対して *f*(*n*) = *a**n* となる正値単調減少関数が存在するならば、\int_{1}^{\infty} f(x)\, dx = \lim_{t \to \infty} \int_{1}^{t} f(x)\, dx のとき級数は収束し、積分が発散するならば級数は同様に発散する。
; : 正の項からなる数列 (*a**n*), (*b**n*) について、各項の比 *a**n*/*b**n* が 0 でない有限な極限をもつならば\sum_{n=1}^\infty a_n  が成り立つ。
; ライプニッツの判定法: 交代級数の収束判定法は、\sum_{n=1}^\infty (-1)^n a_n の形の交代級数が、正値数列 (*a**n*) が単調減少で 0 に収束するならばもとの級数も収束する（十分条件）というものである。 
; コーシーの凝集判定法: (*a**n*) が単調減少列ならば \sum_{n=1}^\infty a_n が成立する。
; ディリクレの判定法: 正値数列 (*a**n*) が単調減少で 0 に収束し、複素数列 (*b**n*) について、全ての正の整数 *N* に対して \left|\sum^{N}_{n=1}b_n\right|\leq M を満たす定数 M が存在するならば、級数 \sum^{\infty}_{n=1}a_n b_n は収束する。

; アーベルの判定法
; 

## 条件収束と絶対収束

任意の数列 (*a*1, *a*2, ...) に対して、*a**n* &le; |*a**n*| が任意の *n* について成立するから、

:\left|\sum_{n=1}^\infty a_n\right| \le \sum_{n=1}^\infty |a_n|

がわかる。これはつまり、右辺が収束するならば、もとの級数も収束することを示している（逆は成り立たない）。

無限級数 &sum;|*a**n*| が収束するならば、無限級数 &sum;&thinsp;*a**n* は**[[絶対収束]]**  するという。絶対収束級数の部分和の成す増大列から各値を結んで得られる折れ線は有限の長さを持つ。指数関数のテイラー級数は至る所絶対収束する。

無限級数 &sum;&thinsp;*a**n* が収束して、無限級数 &sum;|*a**n*| は発散するならば、無限級数 &sum;&thinsp;*a**n* は**[[条件収束]]**  するという。条件収束級数の部分和の値をつないで得られる線分は長さが無限大となる。対数関数のテイラー級数は収束域の各点で条件収束する。

は「条件収束級数はその項を並べ替えることにより任意の値に収束させ、あるいは発散させることができる」ということを述べるものである。

条件収束という代わりに**半収束**  ということもある。逆に絶対収束の代わりに**無条件収束**  ともいう。

## 一様収束

(*f*1, *f*2, ...) を関数列とする。関数項級数
: \sum_{n=1}^\infty f_n
が、関数 *f* に**一様収束**する  とは

:  s_n(x) = \sum_{k=1}^n f_k (x)

で定義される部分和関数列 (*s**n*) が *f* に一様収束することを言う。

比較判定法の関数項無限級数における対応物が存在して、ワイエルシュトラスのM判定法と呼ばれる。

## コーシーの判定法

実数列に関するコーシーの判定法によれば、実数を項とする級数
:\sum_{n=1}^\infty a_n
が収束する必要十分条件はその部分和の列がコーシー列を成すことである。すなわち、任意の正数 &epsilon; &gt; 0 に対し正整数 *N* が存在して、*n* &ge; *m* &ge; *N* なる全ての *m*, *n* について
: \left| \sum_{k=m}^n a_k \right| 
が成り立つということであり、またこれを
:\lim_{n \to \infty \atop m\to \infty} \sum_{k=n}^{n+m} a_k = 0
という形に述べることもできる。

## 参考文献
*
*

## 関連項目
* 収束数列
* ノルム収束
* 収束加速法
* 発散級数

## 外部リンク
*Chase, Robert (2007). More plots on convergence
*Weisstein, Eric (2005). Riemann Series Theorem. Retrieved May 16, 2005.