級数

数学における級数  とは、ひと口に言えば数や関数など互いに足すことのできる数学的対象の列について考えられる無限項の和のことである。ただし「無限の項の総和」が何を表しているのかということはしばしば解析学の言葉を用いて様々な場合に意味を与えることができるが、そのようなことができない「発散する級数」もあれば、級数自体を新たな形式的対象としてとらえることもある。小さくなっていく実数を項とする級数の収束性については様々な判定条件が与えられている。

級数を表す記法として、和記号を用いた表現や三点リーダ ⋯}} を用いた表現 //a//0 + //a//1 + ⋯}} などがある。

有限個の項以外は 0}} とすることで有限個の対象の和を表すこともでき、無限項の和であることを特に強調する場合には無限級数ともいう。無限の項の和の形に表された級数が何を表しているかということは一見必ずしも明らかではないため、何らかの意味付けを与えなければならない。最もよく採用される理解の方法は、有限個の項の和が収束する先を無限級数の値とすることである。例えば、

より

となる。このほかに、解析接続などの手法により、みかけ上発散している級数に対して

　 のような等式が意味付けされることもある。

1. 定義
-----

与えられた無限数列 mset に対し、初項から第N}}項の総和

を数列 mset あるいは級数 ∑   //an}}// の第 //N//部分和  と呼び、これらを総称して部分和と呼ぶ。「無限個の項の和」の意味が必ずしも明らかではない場合も含めて、形式的な意味での級数とはこの部分和からなる列 mset 自身のことであると理解される。またこの部分和の列自身を「形式的な和」として

などの形で書き表すname="confuse"。ただし、これはそう書くというだけのことであって、これに「総和」としての意味のある値を結びつけるには、きちんとした理由付けが必要である。例えば、有限個の例外を除いて全ての項が 0 である無限列に対しては、0 である項は総和に寄与しないものと考えることにより、0 でない有限個の項の総和の値を以って所期の級数の値、すなわち無限個の項の総和であるとすることは自然である。そうでない場合、つまり 0}} でない項が無数にある無限列に対しては、実質的有限であることは必ずしも期待できないので、総和のきちんとした定義は、やはり極限や収束について考えられなければならない。

有限個の項の和である部分和は、初等代数の意味での総和として定義されている。部分和の列 mset が適当な意味で収束して有限な値 α}} を持つならば、級数 ∑   //an}}// は収束  するといい、α}} を数列 mset あるいは級数 ∑   //an}}// の和の値と呼んで、

で表すname="confuse"}}。部分和が有限な値に収束しない級数は発散  するという。級数に和の値が結び付けられているとき、しばしば便宜的に「級数の和の値」の意味で「級数」という言葉を用いることがある。これらは厳密に言えば異なる概念であるが、いずれの意味であるのかは文脈から明らかなはずである。

2. 例
----

例えば、「0.999... = 1」における左辺は

という級数の値という意味である。//asub で定まる無限数列 mset の部分和の列//

を考えれば常に //sN}}// < 1 であって、1 という値がこの数列の項としては現れない。素朴な意味で 0.999… ≠ 1 とか 0.999… < 1 であると主張する人々の議論は、しばしばこのような数列として 0.999… を捉えているものと解釈することができる。同様にそのような捉え方では、数列 mset は

であるから、0 が続いた後に必ず 1 が現れるはずだということになる。しかしこれらの数列の極限は

と定まるので、級数 0.999… の値は 1 なのである。

3. 級数の収斂性}} 級数の収束性
------------------

自然数によって項が添字づけられている場合には絶対収束と条件収束との2つの収束性の概念を定義することができる。各項が絶対値の定義された体系に属する級数 ∑//an}}// は、有限個の項の絶対値を足して得られる正数列が有界である場合、

その級数は絶対収束  していると言われる。最初の有限個の項の絶対値をそれぞれ足して得られる数の列がコーシー列になっているようなとき、およびそのときに限り絶対収束が成り立っている。

最初の有限個の項を足して得られる部分和の列が収束しているような級数 ∑//an}}// は条件収束  あるいは単に収束していると言われる。

絶対収束している級数は条件収束している。しばしば「絶対収束でない収束」の意味で単に「条件収束」と呼ぶことがある。条件収束級数の和の値は一般に数列の項の並びに依存して決まる。数列 mset の項を任意に並べ替えてできる数列 mset の和が、置換 σ}} の取り方に依らずもとの数列の和に等しいとき、しばしば級数 ∑//an}}// は無条件収束  しているといわれる。絶対収束級数は無条件収束する。無条件収束でない収束級数は、適当な置換を選んで並べ替えることにより、任意の値に収束または発散させることができる。

整数の集合など、整列可算集合ではない添字集合 //I// によって項が数え上げられた級数 に関しても以下のように収束性の概念を定めることができる。添字集合の有限部分集合のなす直系について、対応する項の和が収束、すなわち

となるとき、級数 は条件収束しているといい、各項の絶対値を考えられて

となっているとき は絶対収束していると言われる。

3.1. 無限級数の収斂判定法}}無限級数の収束判定法
---------------------------

上に有界な正項級数各項が実数で正の級数を正項級数という。上に有界な単調増加な実数列が収束することから、

正項級数は有限項までの和が常にある一定の上界Ｍを持つならば収束する。

。条件を弱めて各項を非負としても良い。

交代級数の収束判定各項が実数で正負が毎回反転する級数を交代級数という。

交代級数は項が0に収束するならば収束する。

ガウスの判定法 すべての項が正の数である級数∑//an}}// が、ある正の数 α に対して、と書けるならば、∑//an}}// は α > 1 のとき収束し、α ≤ 1 のとき発散する。 ライプニッツの収束判定法 交項級数 ∑   //an}}// は abs が単調減少で 0 に収束するならば収束する。コーシーの冪根判定法 実数を各項にもつ級数 ∑//an}}// は、 ならば絶対収束し、逆にこの量が1より大きければ発散する。ダランベールの収束判定法:連続する項の比の絶対値が1より小さな極限を持つ級数は絶対収束し、逆に1より大きな極限を持つ級数は発散する。比較判定法|//an}}//| < //bn}}//  が成り立つとき、 を優級数、 を劣級数という。優級数が収束するならば劣級数は絶対収束する。劣級数が発散すれば優級数も発散する。

3.2. 無限級数の打切り誤差
---------------

無限級数の打切り誤差を評価することは数値解析などでは欠かすことのできない手順である。

3.2.1. 交代級数の打切り誤差
-----------------

ライプニッツの収束判定法が適用できるとき、打切り誤差を厳密に評価できる。この技法はベッセル関数にも適用できる。

3.2.2. 正項級数の打切り誤差
-----------------

正項級数を

と定めてその部分和を

とする。このとき、

が成り立つとき、公比の最大値を用いて打切り誤差を

と評価できる。

3.2.3. テイラー級数の打切り誤差
-------------------

テイラーの定理はテイラー級数の打切り誤差を与える定理である。数学関数の精度保証付き数値計算で重宝する。

3.2.4. 行列指数関数の打切り誤差
-------------------

行列指数関数:

の打切り誤差を評価する手法として、scaling and squaring method が知られている。誤差評価は次のようになる：

3.2.5. 超幾何級数の打切り誤差
------------------

公比を使うことで超幾何級数:

の打切り誤差を評価することができる。

4. 級数の例
-------

以下に重要な級数の例を挙げる。

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

5. 函数項級数}}関数項級数
---------------

関数列 {//f////n//} に対して、関数を項に持つ級数

を関数項級数  と呼ぶ。関数列 mset は変数 x}} の値をひとつ止めるごとに数列 mset を与えるから、各点における部分和

の極限は数列の和の意味での級数である。関数列 mset は適当な集合 E}} について //x// ∈ //E//}} なる任意の x}} に対する数列 mset が収束するとき、E}} 上で各点収束するという。このとき x}} における値を

で定義して得られる関数 f}} を関数列 mset の極限関数という。またこのとき、一般に部分和 Ssub の漸近的な評価、すなわち任意の //ε// > 0}} に対して

とできるような 1=//N// = //N//}} の選び方は x}} ごとに異なってよいが、もし x}} に依らず一定の N}} をとることができるならば、関数項級数 sum は E}} 上で極限関数 f}} に一様収束するという。

連続関数の一様収束極限はふたたび連続であるから、連続関数を項に持つ関数項級数の一様収束極限もやはり連続関数となる。また、可積分関数を項に持つ関数項級数が一様収束するならば、その極限関数はふたたび可積分であり、とくに項別積分可能 

である。滑らかな関数を項に持つ関数項級数の一様収束極限に対する項別微分可能性も同様である。収束冪級数の収束はその収束域において一様で、各項の冪関数は可積分かつ連続的微分可能であるから、収束冪級数は項別積分可能かつ項別微分可能であり、その原始関数および導関数はもとの冪級数と同じ収束域もつ冪級数として得られる。

関数列の収束性と同じく、関数項級数の他の収束性として分布収束や平均収束なども考えることができる。

6. 歴史
-----

古代ギリシアでは、幾何級数に基づく取り尽くし法によって四角錐の体積、放物線と直線で囲まれた部分の面積などを求める方法が開発された。

関数を級数によって表す方法論は、14世紀インドのマーダヴァによる逆正接関数のテイラー級数の研究が知られているうちで最古のものである。マーダヴァは同時にこの級数の収束する条件についても述べているが、これは収束性の議論という意味でも初めての研究になっている。

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

6.1. 歴史的な記法
-----------

無限の項を表すための記法として知られる最も古いものは17世紀ヨーロッパの数学界で用いられた &cである。このほか用いられた記法に x+y+z+&c, x+y+z+etc, x + y + z + . . . . ∼ などがあった。級数を表す記号として大文字のシグマを初めて使ったのはオイラー  だったが、この記号はすぐには広まらなかった。

7. 一般化
------

7.1. 漸近級数
---------

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

7.2. 発散級数
---------

「通常の意味」での和が収束しないような級数に対して、何らかの意味で和と呼ぶにふさわしい極限値を割り当てることができるというような状況はたくさんある。総和法はそのような、古典的な意味での収束の概念を完全に拡張して、発散級数全体の成す集合の特定の部分集合に対して値を割り当てる方法である。総和法の代表的なものとしては、総和可能な発散級数が少ない順にチェザロ総和法、-総和法、アーベル総和法、ボレル総和などがある。

どのような総和法が可能かということに関して知られる一般的な結果の一種で、シルバーマン-テープリッツの定理は行列総和法  を特徴付けるものである。発散級数に対する最も一般の総和法は、バナッハ極限に関するもので、非構成的  なため計算などには向かない。

7.3. 位相代数系における級数
----------------

級数の概念をバナッハ空間の元の列に対するものに拡張するのは容易である。 をバナッハ空間 //X// 内の点列とするとき、級数 ∑   //x////n// が //x// ∈ //X// に収束するとは、その部分和の列が //N// → ∞ の極限で

となる意味で //x// に収束することを言う。

さらに一般に、任意の位相アーベル群における収束級数の概念を定義することができる。この場合も具体的には、級数 ∑   //x////n// が //x// に収束するということを、その部分和の列が //x// に収束することを以って定める。

7.4. 任意添字集合上の和
--------------

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

7.4.1. 任意濃度の添字集合の場合
-------------------

必ずしも可算でない無限集合 //I// で添字付けられる非負実数の族 //i//∈//I// の総和は、発散する場合も含めて

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

となるから、有限集合であることがわかる。//I// が可算無限集合で、//I// = {//i//0, //i//1, ..., //i////k//, ...} と数え上げられるならば、先ほどの和の定義は

を満たす。

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

7.4.2. 位相アーベル群における総和
--------------------

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

として定義される。このとき、和が有限確定ならば族 //a// は無条件総和可能  であるという。「和 //S// が有限部分和の極限である」というのは、//X// における 0 の任意の近傍 //V// に対して //I// の有限部分集合 //A//0 をうまく選べば

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

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

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

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

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

7.4.3. 無条件収斂級数}}無条件収束級数
-----------------------

添字集合を //I// = N とする。点列 //n//∈N が位相アーベル群 //X// において無条件総和可能な族ならば、この点列は通常の意味でも収束し、同じ値の和

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

が成り立つ。この逆もまた成立し、級数 ∑   //a////n// が任意の置換を施してもなお収束するならば、その級数は無条件収束する。//X// が完備ならば、無条件収束は任意の部分級数が収束することと同値であり、//X// がバナッハ空間ならば任意の符号付け //ε////n//  から得られる級数

が //X// において収束することとも同値である。//X// がバナッハ空間ならば絶対収束の概念を定義することができる。すなわち、//X// に属するベクトルの級数 ∑   //a////n// が絶対収束するとは

となることをいう。バナッハ空間におけるベクトルの級数が絶対収束するならばその収束は無条件収束であるが、この逆が成り立つのはバナッハ空間が有限次元である場合に限る 。

7.4.4. 整列和
----------

添字集合 //I// が整列集合ならば、条件収束級数を考えることができる。超限帰納的に

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

と定義する。α0 の違いを除いて全ての極限が存在するならばこの級数は収束する。

7.4.5. 例
--------

写像 //f//: //X// → //Y// で //Y// が位相アーベル群のとき、//X// の各点 //a// に対し、で定義される写像の台は一元集合 {//a//} であり、このとき各点収束の位相に関してが成立する。
任意添字集合 //I// 上の関数の和として1の分割を構成することもできる。作り方から、形の上では非可算添字を持つ級数の和の概念が必要であるように見えるが、//x// が与えられるごとに和における非零項は有限個しかないので、この和において非可算和が生じることは無い。実用上はさらに関数族が「局所有限」などの仮定を置くのが普通である。φ//i// が連続であるとか可微分であるなどの「素性の良い性質」 は関数族の任意の部分族の和に対して保たれる。
最小の非可算順序数 ω1 を順序位相に関する位相空間とみるとき、//f// ≡ 1 で定義される定値関数 //f//: [0, ω1) → [0, ω1] はを満足する。極限は有限部分和ではなく全ての可算部分和に亘ってとるものに限る。この空間は可分  ではない。

8. 注
----

8.1. 注釈
-------

8.2. 出典
-------

9. 参考文献
-------

10. 外部リンク
---------