級数のソースを表示

{{Otheruses|数学における級数|写植における級数|写真植字機#Q数制}}
[[File:Parabolic Segment Dissection.svg|right|200px]]
[[数学]]における'''級数''' (きゅうすう、{{lang-en-short|''series''}}) とは、ひと口に言えば数や関数など互いに足すことのできる数学的対象の[[列 (数学)|列]]について考えられる無限項の[[総和|和]]のことである。ただし「無限の項の総和」が何を表しているのかということはしばしば解析学の言葉を用いて様々な場合に意味を与える（[[#級数の収束性]]の節を参照）ことができるが、そのようなことができない「[[発散級数|発散する級数]]」もあれば、級数自体を新たな形式的対象としてとらえることもある。小さくなっていく実数を項とする級数の収束性については様々な判定条件が与えられている。

級数を表す記法として、和記号 &sum; を用いた表現 &sum; ''a''<sub>''n''</sub> や三点リーダ &#x22ef; を用いた表現 ''a''<sub>0</sub> + ''a''<sub>1</sub> + &#x22ef; などがある。

有限個の項以外は 0 とすることで有限個の対象の和を表すこともでき、無限項の和であることを特に強調する場合には'''無限級数'''とも言う。無限の項の和の形に表された級数が何を表しているかということは一見必ずしも明らかではないため、何らかの意味付けを与えなければならない。もっともよく採用される理解の方法は、有限個の項の和が収束する先
: <math>\frac{1}{2} + \cdots + \frac{1}{2^n} = 1 - \frac{1}{2^n} \Rightarrow \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \cdots = 1 \quad </math>
を無限級数の値とすることである。このほかに、[[解析接続]]などの手法により、みかけ上発散している級数に対して
: <math>1 + 2 + 3 + \cdots = -\frac{1}{12}</math>　（[[1+2+3+4+…]]を参照のこと）
のような等式が意味付けされることもある。

== 定義 ==
''N'' を任意の自然数とするとき、与えられた[[無限数列]] {''a''<sub>''n''</sub>} に対し、初項から第 ''N'' 項までの、初めの有限項の和<ref group="注">数列の添字をしばしば 0 から始めるので、都合で第 0 項を含めてあるが、初項が第 0 項か第 1 項かというのは本質的な問題ではない。</ref>
:<math>S_N := a_0 + a_1 + a_2 + \cdots + a_N = \sum_{n=0}^{N} a_n</math>
を数列 {''a''<sub>''n''</sub>} あるいは級数 &sum;&thinsp;''a''<sub>''n''</sub> の第 ''N''-'''部分和''' ({{lang-en-short|''partial sum''}}) と呼び、また ''N'' に依らず総称して部分和と呼ぶ。「無限個の項の和」の意味が必ずしも明らかではない場合も含めて、形式的な意味での（無限）'''級数'''とはこの部分和からなる列 {''S''<sub>''N''</sub>} 自身のことであると理解される（各項 ''S''<sub>''N''</sub> は有限級数と呼ばれることもある）。またこの部分和の列自身を「形式的な和」として
:<math>a_0 + a_1 + a_2 + \cdots,\quad \sum_{n=0}^{\infty} a_n,\quad \sum_{n\in\mathbb{N}} a_n,\quad \sum_n a_n</math>

などの形で書きあらわす<ref group="注" name="confuse">便宜上の理由で、しばしば同じ記号で「形式和」と「和の値」の両方を表すが、いずれの意味で用いているかは文脈から容易に区別できるはずである。</ref>。ただし、これはそう書くというだけのことであって、この式自体に特別の意味があるということではない。これに「総和」としての意味のある値を結びつけるには、きちんとした理由付けが必要である。たとえば、与えられた無限列は有限個の例外を除く全ての項が 0 であるという場合（実質有限列）ならば、値が 0 である項は和に寄与しない（ので無いも同然の）ものと考えることにより、0 でない有限個の項の総和の値を以って所期の級数の値、すなわち無限個の項の総和であるとすることは自然である。一般の無限列が実質的有限であることは必ずしも期待できないので、その場合に意味のある議論を行うには、やはり極限や収斂について考えられなければならない。

有限個の項の和である部分和には、通常の如く素朴な意味での和の値というものが定義されている。部分和の列 {''S''<sub>''N''</sub>} が[[総和法|適当な意味で収斂]]して有限な値 &alpha; を持つならば、級数 &sum;&thinsp;''a''<sub>''n''</sub> は'''収斂''' ({{lang-en-short|''converge''}}) するといい、&alpha; を数列 {''a''<sub>''n''</sub>} あるいは級数 &sum;&thinsp;''a''<sub>''n''</sub> の和の値と呼んで、
:<math>\sum_{n=0}^{\infty} a_n = \alpha = \lim_{N\to\infty}S_N</math>
で表す<ref group="注" name="confuse" />。部分和が有限な値に収斂しない（極限が無いかあっても有限でない）級数は'''発散''' ({{lang-en-short|''diverge''}}) するという。級数に和の値が結び付けられているとき、しばしば便宜的に「級数の和の値」の意味で「級数」という言葉を用いることがある（和の値を単に和と呼ぶことがあるのと同様である）。これらは厳密に言えば異なる概念であるが、いずれの意味であるのかは文脈から明らかなはずである。

== 例 ==
たとえば、「[[0.999...]] = 1 である」というときの左辺は、
: <math>0.999\ldots = 0.9 + 0.09 + \cdots + 9\cdot 10^{-n} + \cdots</math>
という級数の値という意味である。''a''<sub>''n''</sub> = 9 &times; 10<sup>&minus;''n''</sup> で定まる無限数列 {''a''<sub>''n''</sub>} の部分和の列
: <math>(s_1=0.9, s_2=0.99, \ldots, s_N=0.\underbrace{99\ldots 9}_N, \ldots)</math>
を考えれば常に ''s''<sub>''N''</sub> &lt; 1 であって、1 という値がこの数列の項としては現われない。素朴な意味で 0.999... &ne; 1 とか 0.999... &lt; 1 であると主張する人々の議論は、しばしばこのような数列として 0.999... を捉えているものと解釈することができる。同様にそのような捉え方では、数列 {1 &minus; ''s''<sub>''N''</sub>} を考えれば、
: <math>(1-0.9=0.1, 1-0.99=0.01,\ldots, 1-s_N=0.\overbrace{00\ldots 0}^{N-1}\!1,\ldots)</math>
であるから、0 が続いた後に必ず 1 が現れるはずだ（から等しくは無い）ということになる。しかしこれらの数列の極限は
: <math>1-s_N=0.\overbrace{00\ldots 0}^{N-1}\!1 \to 0\quad (N\to\infty),</math>
: <math>s_N=\sum_{i=1}^N 9\cdot 10^{-i} \to 1\quad(N\to\infty)</math>
と定まるので、級数 0.999... の値は 1 なのである。

== 級数の収束性 ==
自然数によって項が添字づけられている場合には絶対収束と条件収束とのふたつの収束性の概念を定義することができる。各項が絶対値（ノルム）の定義された体系に属する級数 &sum; ''a''<sub>''n''</sub> は、有限個の項の絶対値を足して得られる正数列が有界である場合、
: <math>\sum_{i=1}^n |a_i| < {}^\exist M \quad ({}^\forall n)</math>
その級数は'''絶対収束''' ({{lang-en-short|''absolute converge''}}) していると言われる。最初の有限個の項の絶対値をそれぞれ足して得られる数の列がコーシー列になっているようなとき、およびそのときに限り絶対収束が成り立っている。

最初の有限個の項を足して得られる部分和の列が収束しているような級数 &sum; ''a''<sub>''n''</sub> は'''条件収斂''' ({{lang-en-short|''conditional converge''}}) あるいは単に収斂していると言われる。
: <math>s_n = \sum_{i=1}^n a_i \to {}^\exists s \quad (n \rightarrow \infty)</math>
絶対収斂している級数は条件収斂している。しばしば「絶対収斂でない収斂」の意味で単に「条件収斂」と呼ぶことがある。条件収斂級数の和の値は一般に数列の項の並びに依存して決まる。数列 {''a''<sub>''n''</sub>} の項を任意に並べ替えてできる数列 {''a''<sub>&sigma;(''n'')</sub>} の和が、置換 &sigma; の取り方に依らずもとの数列の和に等しいとき、しばしば級数 &sum; ''a''<sub>''n''</sub> は'''無条件収斂''' ({{lang-en-short|''unconditional converge''}}) しているといわれる。絶対収斂級数は無条件収斂する。無条件収斂でない収斂級数は、適当な置換を選んで並べ替えることにより、任意の値に収斂または発散させることができる。

整数の集合など、整列可算集合ではない添字集合 ''I'' によって項が数え上げられた級数 &sum;<sub>''i'' &isin; ''I''</sub> ''a''<sub>''i''</sub> に関しても以下のように収束性の概念を定めることができる。添字集合の有限部分集合のなす[[帰納極限|直系]]について、対応する項の和が収束 i.e.
: <math> \varinjlim_{F}\sum_{F \subset I: |F| < \infty;\atop i \in F} a_i = {}^\exist s</math>
しているとき、級数 &sum;<sub>''i'' &isin; ''I''</sub> ''a''<sub>''i''</sub> は条件収束しているといい、各項の絶対値を考えられて
: <math> \sum_{F \subset I: |F| < \infty;\atop i \in F} |a_i| < \infty</math>
となっているとき &sum;<sub>''i'' &isin; ''I''</sub> ''a''<sub>''i''</sub> 絶対収束していると言われる。

=== 無限級数の収斂判定法 ===
;ガウスの判定法
: すべての項が正の数である級数（正項級数）&sum; ''a''<sub>''n''</sub> が、ある正の数 &alpha; に対して、<div style="margin:1ex auto 1ex 2em"><math>\frac{a_n}{a_{n+1}}= 1 + \frac{\alpha}{n} + O\!\left( \frac{1}{n^2} \right)</math></div>と書けるならば、&sum; ''a''<sub>''n''</sub> は &alpha; &gt; 1 のとき収束し、&alpha; &le; 1 のとき発散する。
; ライプニッツの収斂判定法 : [[交項級数]] &sum;&thinsp;''a''<sub>''n''</sub> は |''a''<sub>''n''</sub>| が単調減少で 0 に収斂するならば収斂する。
;[[コーシーの冪根判定法]]<!-- TODO: merge this -->
: 実数を各項にもつ級数<math> \sum a_n </math>は、<math>\limsup \sqrt[n]{|a_n|} < 1</math>ならば絶対収束し、逆にこの量が1より大きければ発散する。
;[[ダランベールの収束判定法]]: 連続する項の比の絶対値が1より小さな極限を持つ級数は絶対収束し、逆に1より大きな極限を持つ級数は発散する。
;[[比較判定法]]: |''a''<sub>''n''</sub>| &lt; ''b''<sub>''n''</sub>(''n''=1,2,…)が成り立つとき、<math>\sum_{n=1}^{\infty}b_n </math>を優級数、<math>\sum_{n=1}^{\infty}a_n </math>を劣級数という。優級数が収束するならば劣級数は絶対収束する。（対偶により）劣級数が発散すれば優級数も発散する。

== 級数の例 ==
以下に重要な級数の例を挙げる。
* [[等比級数]]（幾何級数）は収束する級数の典型的な例である。
* [[冪級数]]は各項を[[単項式]]とする級数である。
*: [[アーベルの定理]]は、数列級数の収束と、その母関数である正則関数の値の収束値との間の関係を与えている。
* [[ローラン級数]]は単項式の次数として負の自然数を許した二方向への無限和であり、自然数と異なる添字集合によって項が与えられる例になっている。
* [[テイラー級数]]は滑らかな関数の、冪級数としての表現を与えている。
* [[フーリエ級数]]は各項を三角関数とする級数による関数の表示を与えている。
* [[調和級数]]はよく知られた収束しない級数の例である。調和級数が発散する現象はオイラーによる素数の無限性の証明にも利用されている。
* [[ディリクレ級数]]は調和級数型の級数を特殊値とするような、各項が特定の指数関数からなる級数である。

== 函数項級数 ==
函数列 {''f''<sub>''n''</sub>} に対して、函数を項に持つ級数
:<math>\sum_{n=0}^{\infty}f_n</math>
を'''函数項級数'''と呼ぶ。函数列 {''f''<sub>''n''</sub>} は変数 ''x'' の値をひとつ止めるごとに数列 {''f''<sub>''n''</sub>(''x'')} を与えるから、部分和
:<math>S_N(x) := f_0(x) + f_1(x)+f_2(x)+\cdots+f_N(x) = \sum_{n=0}^{N}f_n(x)</math>
の極限は数列の和の意味での級数である。函数列 {''f''<sub>''n''</sub>} は適当な集合 ''E'' について ''x'' &isin; ''E'' なる任意の ''x'' に対する数列 {''S''<sub>''N''</sub>(''x'')} が収斂するとき、''E'' 上で点ごとに収斂するあるいは'''各点収斂''' {{lang-en-short|''pointwise converge''}}) するという。このとき ''x'' における値を
: <math>f(x):=\lim_{N\to\infty} S_N(x)</math>
で定義して得られる函数 ''f'' を函数列 {''f''<sub>''n''</sub>} の（各点収斂の意味での）極限函数という。またこのとき、一般に部分和 ''S''<sub>''N''</sub> の漸近的な評価、すなわち任意の &epsilon; &gt; 0 に対して
: <math>|S_N(x) - f(x)| < \varepsilon</math>
とできるような ''N'' = ''N''(&epsilon;) の選び方は ''x'' ごとに異なってよいが、もし ''x'' &isin; ''E'' に依らず（&epsilon; を与えるごとに）一定の ''N'' = ''N''(&epsilon;) をとることができるならば、函数項級数 &sum; ''f''<sub>''n''</sub> は ''E'' 上で極限函数 ''f'' に'''一様収斂''' ({{lang-en-short|''uniform converge''}}) するという。

連続函数の一様収斂極限はふたたび連続であるから、連続函数を項に持つ函数項級数の一様収斂極限もやはり連続函数となる。また、可積分函数を項に持つ函数項級数が一様収斂するならば、その極限函数はふたたび可積分であり、とくに'''項別積分可能''' ({{lang-en-short|''integrable term by term''}})
:<math>\int_E \sum_{n=0}^\infty f_n(x)\,dx = \sum_{n=0}^\infty \int_E f_n(x)\,dx</math>
である。滑らかな函数を項に持つ函数項級数の一様収斂極限に対する'''項別微分'''可能性も同様である。収斂冪級数の収斂はその収斂域において一様で、各項の冪函数は可積分かつ連続的微分可能であるから、収束冪級数は項別積分可能かつ項別微分可能であり、その原始函数および導函数はもとの冪級数と同じ収斂域もつ冪級数として得られる。

函数列の収斂性と同じく、函数項級数の他の収斂性として分布収斂（法則収斂）や平均収斂なども考えることができる。

== 歴史 ==
古代ギリシャでは、幾何級数にもとづく[[取り尽くし法]]によって四角錐の体積（エウドクサス）、放物線と直線で囲まれた部分の面積（アルキメデス）などを求める方法が開発された。<ref>{{cite book|title=ブルバキ数学史|author=ニコラ・ブルバキ|translator=村田 全、杉浦 光夫 他}}<!-- 東京図書版は買えないかも--></ref>

関数を級数によって表す方法論は、14世紀インドの[[マーダヴァ]]による逆正接関数のテイラー級数の研究が知られているうちで最古のものである。マーダヴァは同時にこの級数の収束する条件についても述べているが、これは収束性の議論という意味でも初めての研究になっている。<ref name="katz">{{cite book|和書|title=数学の歴史|author=ヴィクター・J・カッツ|translators=上野 健爾、中根 美知代|year=2005|publisher=共立出版|id=ISBN 978-4320017658}}</ref>

条件収束の概念は1823年のポアソンの研究に初めて現れる。テイラー級数の一般論はブルック・テイラーによって1715年に発表された。フーリエ級数は1822年のフーリエの研究に、ディリクレ級数は1839年のディリクレの研究ではじめて定義された。<ref name="katz" />

=== 歴史的な記法 ===
無限の項を表すための記法として知られるもっとも古いものは17世紀ヨーロッパの数学界で用いられた &amp;c （x+y+z,&amp;cが現在の記法で書くところの x+y+z+...を表した）である。このほか用いられた記法に x+y+z+&amp;c, x+y+z+etc,  x + y + z + . . . . &#x223c; などがあった。級数を表す記号として大文字のシグマを初めて使ったのはオイラー (1775) だったが、この記号はすぐには広まらなかった。<ref>{{cite book|title=A history of mathematical notations|first=Florian|last=Cajori|volumes=2}}</ref>

== 一般化 ==
=== 漸近級数 ===
ある種の函数の[[漸近級数]]あるいは[[漸近展開]]とは、定義域内の点における部分和がその函数のよい近似を与えるような無限級数をいう。漸近級数は、一般には必ずしも収斂しないが、近似列として見れば有効であり、任意の有限項で打ち切った和の値があるべき「真の値」に近いものを与える。ただし、真の値がそのまま得られる収斂級数とは異なり、漸近級数を利用するにはきちんと誤差を評価する必要がある。事実として典型的な漸近級数では、ある程度多くの項を加えて初めて「最適」な近似が得られるようになり、また一方で加える項の数が多くなりすぎると近似の精度が悪くなるという特徴が見られる。

=== 発散級数 ===
{{Main|発散級数}}
「通常の意味」での和が収斂しないような級数に対して、何らかの意味で和と呼ぶにふさわしい極限値を割り当てることができるというような状況はたくさんある。[[総和法]]はそのような、古典的な意味での収斂の概念を完全に拡張して、発散級数全体の成す集合の特定の部分集合に対して値を割り当てる方法である。総和法の代表的なものとしては、総和可能な発散級数が少ない（実は後へいくほど前者の一般化となる）順に[[チェザロ総和法]]、(''C'', ''k'')-総和法（''k''-次のチェザロ総和法）、[[アーベル総和法]]、[[ボレル総和法]]などがある。

どのような総和法が可能かということに関して知られる一般的な結果の一種で、[[シルバーマン-テープリッツの定理]]は（係数全体の成すベクトルに無限次行列を作用させることによって発散級数を総和する）'''行列総和法''' ({{lang-en-short|en|''matrix summability methods''}}) を特徴付けるものである。発散級数に対する最も一般の総和法は、[[バナッハ極限]]に関するもので、非構成的 ({{lang-en-short|''non-constructive''}}) なため計算などには向かない。

=== 位相代数系における級数 ===
級数の概念を[[バナッハ空間]]の元の列に対するものに拡張するのは容易である。(''x''<sub>''n''</sub>) をバナッハ空間 ''X'' 内の点列とするとき、級数 &sum;&thinsp;''x''<sub>''n''</sub> が ''x'' &isin; ''X'' に収斂するとは、その部分和の列が ''N'' &rarr; &infin; の極限で
:<math>\bigl\|x - \sum_{n=0}^N x_n\bigr\|\to 0</math>
となる意味で ''x'' に収斂することを言う。

さらに一般に、任意の[[位相アーベル群]]（[[ハウスドルフ空間|分離]][[位相群]]を成す[[可換群]]）における収斂級数の概念を定義することができる。この場合も具体的には、級数 &sum;&thinsp;''x''<sub>''n''</sub> が ''x'' に収斂するということを、その部分和の列が ''x'' に収斂することを以って定める。

=== 任意添字集合上の和 ===

任意の添字集合 ''I'' に対する和を定義することもできる。通常の級数の概念に対して、大きく二つの異なる一般化の方向性があり、ひとつは添字集合に特定の順序が定められていない場合であり、もうひとつは添字集合が非可算無限集合となる場合である。

==== 任意濃度の添字集合の場合 ====

必ずしも可算でない無限集合 ''I'' で添字付けられる非負実数の族 (''a''<sub>''i''</sub>)<sub>''i''&isin;''I''</sub> の総和は、発散する場合も含めて

:<math>\sum_{i\in I}a_i = \sup_{A \subset I \atop A\text{:finite}} \Bigl\{ \sum_{i\in A}a_i\,\bigr\} \in [0, \infty]</math>

によって定義することができる。和の値が有限となるならば、''a''<sub>''i''</sub> &gt; 0 となるような ''i'' &isin; ''I'' は高々可算である。実際このとき、任意の ''n'' &ge;  1 に対して、集合 ''A''<sub>''n''</sub> = {''i'' &isin; ''I'' | ''a''<sub>''i''</sub> &gt; 1/''n''} は

:<math> \frac{1}{n}\textrm{card}(A_n) \le \sum_{i\in A_n} a_i  \le \sum_{i\in I}a_i < \infty</math>

となるから、有限集合であることがわかる（ここに card(''A'') は集合 ''A'' の[[濃度 (数学)|濃度]]を表す）。''I'' が可算無限集合で、''I'' = {''i''<sub>0</sub>, ''i''<sub>1</sub>, ..., ''i''<sub>''k''</sub>, ...} と[[数え上げ]]られるならば、先ほどの和の定義は

:<math>\sum_{i \in I} a_i = \sum_{k=0}^{\infty} a_{i_k}</math>

を満たす（級数の値として無限大 &infin; を許す）。

非負実数で添字付けられる族の和は、非負値函数の[[数え上げ測度]]に関する積分として理解することができる。この二つの構成の間には多くの共通性が認められる。

==== 位相アーベル群における総和 ====

任意の集合 ''I'' と[[位相アーベル群]] ''X'' に対して、''I'' で添字付けられた ''X'' の元の族 ''a'': ''I'' &rarr; ''X'' を考える。'''F''' を ''I'' の有限部分集合全体の成す部分集合族とすると、'''F''' は集合の包含関係に関する[[半順序集合]]として、[[積集合|交わり]]と[[和集合|結び]]をもつ[[有向集合]]となることに注意する。このとき、族 ''a'' の和 ''S'' は極限

:<math> S = \sum_{i\in I}a_i = \lim\Big\{\sum_{i\in A}a_i\,\big| A\in \mathbf{F}\Bigr\}</math>

として定義される。このとき、和が有限確定ならば族 ''a'' は'''無条件総和可能''' ({{lang-en-short|''unconditionally summable''}}) であるという。「和 ''S'' が有限部分和の極限である」というのは、''X'' における 0 の任意の近傍 ''V'' に対して ''I'' の有限部分集合 ''A''<sub>0</sub> をうまく選べば
:<math>S - \sum_{i \in A} a_i \in V \quad (\forall A \supset A_0)</math>

となるようにできることをいう。'''F''' は[[全順序集合]]ではないから、これは「部分和の[[数列の極限]]」というのとは異なり、[[有向点族]]（ネット）の極限と考えなければならない。

位相アーベル群 ''X'' における単位元 0 の任意の近傍 ''W'' に対し、''V'' &minus; ''V'' &sub; ''W'' を満たすより小さな近傍 ''V'' が存在する。このことから、無条件総和可能族 (''a''<sub>''i''</sub>)<sub>''i''&isin;''I''</sub> の有限部分和の全体が[[コーシーネット]]を成すことが従う。すなわち、0 の任意の近傍 ''W'' に対し、''I'' の有限部分集合  ''A''<sub>0</sub> が存在して、  

:<math>\sum_{i \in A_1} a_i - \sum_{i \in A_2} a_i \in W, \quad (\forall A_1, \forall A_2 \supset A_0)</math>

を満たす。位相アーベル群 ''X'' が[[完備距離空間|完備]]である場合には、族 ''a'' が ''X'' において無条件総和可能であることと、後述する「コーシーネット条件」を満たすことが[[同値]]になる。また、''X'' が完備で (''a''<sub>''i''</sub>)<sub>''i''&isin;''I''</sub> が ''X'' において無条件総和可能ならば、''I'' の任意の部分集合 ''J'' に対して対応する部分族 (''a''<sub>''j''</sub>)<sub>''j''&isin;''J''</sub> もまた無条件総和可能である。

非負実数の族の（先の定義の意味での、値として無限大を許す）和の場合、それが有限ならば、それは位相アーベル群 ''X'' として実数全体の成す加法群 '''R''' をとったときの、ここでいう意味での和と一致する。

''X'' の元の族  ''a'' が無条件総和可能ならば、''X'' の単位元 0 の任意の近傍 ''W'' に対して ''I'' の有限部分集合 ''A''<sub>0</sub> が存在して、''a''<sub>''i''</sub> &isin; ''W'' が ''A''<sub>0</sub> に属さないすべての ''i'' について成り立つようにすることができる。ゆえに、''X'' が[[第一可算空間|第一可算公理を満たす]]ならば、''a''<sub>''i''</sub> &ne; 0 となるような添字 ''i'' &isin; ''I'' 全体の成す集合は可算であることが従う。これは一般の位相アーベル群においては必ずしも成り立たない（後述）。

==== 無条件収斂級数 ====

添字集合を ''I'' = '''N''' とする。点列 (''a''<sub>''n''</sub>)<sub>''n''&isin;'''N'''</sup> が位相アーベル群 ''X'' において無条件総和可能な族ならば、この点列は通常の意味でも収斂し、同じ値の和

:<math>\sum_{n=0}^\infty a_n = \sum_{n \in \mathbb{N}} a_n</math>

を持つ。定義の仕方から、無条件総和可能性は和を取る項の順番によって値が変化することは無い。すなわち、&sum;&thinsp;''a''<sub>''n''</sub> が無条件総和可能ならば、添字集合 '''N''' 上で任意の置換 &sigma; を施したものも収斂し、

:<math>\sum_{n=0}^\infty a_{\sigma(n)} = \sum_{n=0}^\infty a_n</math>

が成り立つ。この逆もまた成立し、級数 &sum;&thinsp;''a''<sub>''n''</sub> が任意の置換を施してもなお収斂するならなば、その級数は無条件収斂する。''X'' が完備ならば、無条件収斂は任意の部分級数が収斂することと同値であり、''X'' がバナッハ空間ならば任意の符号付け ''ε''<sub>''n''</sub> (= &plusmn;1) から得られる級数

:<math>\sum_{n=0}^\infty \varepsilon_n a_n</math>  

が ''X'' において収斂することとも同値である。''X'' がバナッハ空間ならば絶対収斂の概念を定義することができる。すなわち、''X'' に属するベクトルの級数 &sum;&thinsp;''a''<sub>''n''</sub> が絶対収斂するとは
:<math> \sum_{n \in \mathbf{N}} \|a_n\| < \infty</math>

となることをいう。バナッハ空間におけるベクトルの級数が絶対収斂するならばその収斂は無条件収斂であるが、この逆が成り立つのはバナッハ空間が有限次元である場合に限る(Dvoretzky-Rogersの定理)<ref> {{cite journal| author = A. Dvoretzky, A. C. Rogers
| title = Absolute and unconditional convergence in normed linear spaces
| journal = Proc. National Academy of Science of U.S.A.
| year = 1950 | volume = 36
| pages = 192-97
| doi = 10.1073/pnas.36.3.192
}} </ref>
<ref> {{cite journal| author = Ivan Singer
| title = A proof of the Dvoretzky-Rogers theorem 
| journal = Israel Journal of Mathematics
| year = 1964| volume = 2 |issue = 4
| pages = 249-250
| doi = 10.1007/BF02759741
}} </ref>。

==== 整列和 ====

添字集合 ''I'' が（たとえば最小の超限[[順序数]] &alpha;<sub>0</sub> のような）[[整列集合]]ならば、条件収斂級数を考えることができる。[[超限帰納法|超限帰納的]]に

:<math>\sum_{\beta < \alpha + 1} a_\beta = a_{\alpha} + \sum_{\beta < \alpha} a_\beta</math>

と定め、また極限順序数 &alpha; に対しては極限が存在する限り

:<math>\sum_{\beta < \alpha} a_\beta = \lim_{\gamma\to\alpha} \sum_{\beta < \gamma} a_\beta</math>

と定義する。&alpha;<sub>0</sub> の違いを除いて全ての極限が存在するならばこの級数は収斂する。

==== 例 ====

# 写像 ''f'': ''X'' &rarr; ''Y'' で ''Y'' が位相アーベル群のとき、''X'' の各点 ''a'' に対し、<div style="margin: 1ex auto 1ex 2em"><math>
  f_a(x) = \begin{cases} 0 & (x\neq a) \\ f(a) & (x = a)\end{cases}
</math></div>で定義される写像の[[台 (数学)|台]]は[[一元集合]] {''a''} であり、このとき[[直積位相|各点収斂の位相]]に関して（すなわち、和が無限直積位相群 ''Y''<sup>''X''</sup> に値をとるものとして）<div style="margin: 1ex auto 1ex 2em"><math>f=\sum_{a \in X}f_a</math></div>が成立する。
# 任意添字集合 ''I'' 上の函数の和として[[1の分割]]<div style="margin: 1ex auto 1ex 2em"><math> \sum_{i \in I} \varphi_i(x) = 1</math></div>を構成することもできる。作り方から、形の上では非可算添字を持つ級数の和の概念が必要であるように見えるが、''x'' が与えられるごとに和における非零項は有限個しかないので、この和において非可算和が生じることは無い。実用上はさらに函数族が「局所有限」（各 ''x'' に対して函数の値が有限個の例外を除く全ての近傍で消えている）などの仮定を置くのが普通である。&phi;<sub>''i''</sub> が連続であるとか可微分であるなどの（有限和をとる操作で保たれる）「素性の良い性質」({{lang-en-short|''regularity property''}}) は函数族の任意の部分族の和に対して保たれる。
# [[最小の非可算順序数]] &omega;<sub>1</sub> を[[順序位相]]に関する位相空間とみるとき、''f''(&alpha;) &equiv; 1 で定義される定値函数 ''f'': [0, &omega;<sub>1</sub>) &rarr; [0, &omega;<sub>1</sub>] は<div style="margin: 1ex auto 1ex 2em"><math>
  \sum_{\alpha\in[0,\omega_1)}f(\alpha) = \omega_1
</math></div>を満足する（言い換えれば、1 の &omega;<sub>1</sub> 個の複写を加えたものは &omega;<sub>1</sub> に等しい）。極限は有限部分和ではなく全ての可算部分和に亘ってとるものに限る。この空間は可分 ({{lang-en-short|''separable''}}) ではない。

== 注記 ==
<div class="references-small"><references group="注" /></div>

== 引用文献 ==
<references />

== 参考文献 ==
* {{cite book|和書|title=岩波数学事典|editor=日本数学会|publisher=岩波書店}}
* {{cite book|和書|title=解析概論|author=高木貞治|publisher=岩波書店}}

{{DEFAULTSORT:きゆうすう}}
[[Category:級数|*]]
[[Category:数学に関する記事]]