絶対収束

数学において、級数が絶対収束、あるいは元の数列が絶対総和可能であるとは、その各項の絶対値を取って得られる級数の和が有限の値になることをいう。

きちんと述べれば、実または複素級数 が

となるとき、絶対収束するという。

絶対収束が無限級数の研究において重要であるのは、それが有限和の場合に成立する性質を持つようにするために極めて強力な条件であるとともに、それ自身が一般的な内容を議論するのに十分広範な級数のクラスを定めるからである。

1. 一般の定式化
---------

1.1. ノルム・アーベル群の場合
-----------------

各項 asub が任意の位相アーベル群の要素であるような列に対して、級数を考えることができる。

アーベル群 G}} 上で定義された非負実数値関数 1=//x// mapsto}} norm が次の条件

x}} が G}} の単位元 0}} であるとき、かつそのときに限り 1=norm,
全ての //x// ∈ //G//}} について 1=norm,
全ての //x//, //y// ∈ //G//}} について を満たすとき、norm はノルムと呼ばれる。このとき 1=//d// coloneqq}} norm は G}} に距離空間の構造を導く。

これにより、G}}-値級数は であるとき、絶対収束すると定義する。

とくに、実または複素級数の場合には、絶対値 abs をノルムとして、これらの主張がすべて満たされている。

1.2. 半ノルム空間の場合
--------------

ノルム空間とは限らない位相線型空間においても、半ノルムの意味での「絶対」収束を論じることができる。位相線型空間 X}} において、X}} の元からなる族 (//xsub が絶対総和可能であるとは、以下の二つの条件がみたされるときにいうSchaefer://

(//xsub は X}} において総和可能この非可算無限族が総和可能とは、添字集合 mvar;//
X}} 上定義された任意の連続半ノルム p}} に対し、実数からなる族 (//p//(//xsub} が において総和可能。//{X}} がノルム付け可能である場合には、{(//xsub} が絶対総和可能であるとき、必然的に可算個の例外を除くすべての {xsub} は {0}} に等しい。//

絶対総和可能族は核型空間の理論において重要な役割を果たす。

2. 収束との関係
---------

定理: 絶対収束する実または複素級数は収束する。これについて、完備性とコーシー列に基づく「コーシーの判定法」による簡明な証明がある:

証明: {//上記の証明ではコーシー列が収束するという完備性とノルムが満たす三角不等式のみが用いられているから、これは完備なノルム空間であるバナッハ空間に対するものに容易に修正できる:

定理: 任意のバナッハ空間 {(//X//, norm} において、絶対収束する級数は収束する{drop=yes} 逆に、絶対収束⇒収束が成り立つノルム空間はノルムの導く距離に関して完備、したがってバナッハ空間となることが示せる。 {drop=yes }

収束するが絶対収束しないような級数は条件収束すると言う。このような級数の例として交項調和級数がある。級数の収束判定法の多くのもの、例えばダランベールの収束判定法やコーシーの冪根判定法などは、絶対収束性を判定する。それは、実用的に重要な冪級数が収束円の内部で絶対収束するためである。

3. 無条件収束との関係
------------

{無条件収束}} ノルムつきアーベル群 {G}} に値を持つ級数 と、自然数の置換 {σ}} が与えられたとする。このとき、 は元の級数の並べ替え  と呼ばれる。任意の並べ替えが同じ値に収束するとき、この級数は無条件収束すると言われる{無条件収束の定義として、単に任意の並べ替えが収束することだけを条件とし、同じ値に収束することは要求しない場合もある。実はその場合でも、任意の並べ替えが収束するならば同じ値に収束することが証明できる。sfn}。

{G}} が完備なら絶対収束から無条件収束が導かれる。すなわち、ノルムつきアーベル群 {G}} がノルムに関して完備とすると、{G}}上の級数 は絶対収束するなら無条件収束する。次節ではノルムが完備でない場合も含めて証明する。

定理 {asub} は一般のノルム空間上の列であり、, とする。{σ}} は自然数 {N}} の任意の置換とする。このとき、 である。すなわち収束かつ絶対収束する級数は無条件収束する。{drop=yes}

実または複素数列に対しては、リーマンの級数定理の対偶として、無条件収束から絶対収束が導かれることも言える。すなわち、実または複素数列に対しては無条件収束と絶対収束は同値である。さらに、有限次元ノルム空間に値を持つような級数は、各次元に射影した成分が絶対収束するなら絶対収束するから、値の列に対して絶対収束性と無条件収束性が同値であることを導くのは容易である。

一般のノルムつきアーベル群{G}}上の列においては、絶対収束と無条件収束は区別される。完備なノルム空間であっても無条件収束から絶対収束は導かれない。例えばヒルベルト空間において、 を直交基底としたときの列 による級数は無条件収束するが絶対収束はしない。もっと一般に、Dvoretzky–Rogersの定理によれば、すべての無限次元バナッハ空間には無条件収束するが絶対収束しないような級数が存在する。{Dvoretzky}{Singer}

4. 級数の積と絶対収束
------------

4.1. 積の分配法則
-----------

二つの絶対収束する実または複素級数の積もまた絶対収束する。すなわち二つの収束する級数 がともに絶対収束するならば、級数

は無条件収束、したがって絶対収束し、その値は {AB}} に等しい。これは、絶対収束する級数同士の積においては、有限和の場合と同様に積と和の分配法則が成り立つことを意味する。{高木} 絶対収束級数は無条件収束、すなわち和の順序も自由に交換できるから、絶対収束する級数はおおむね有限和に近い性質を持つといえる。

4.2. コーシー積
----------

{コーシー積}} 実または複素数を項とする二つの収束級数 のコーシー積とは、各級数の係数列の畳み込み を項として定まる級数 ∑//c////n// である。これは少なくともどちらか一方が絶対収束するならば、各級数の収束値の積に収束する。

定理: であるとき、その少なくとも一方が絶対収束ならば が成立する。{高木}

5. 無限積
------

絶対収束は無限積の収束性を判定することもできる。

複素数列の級数が絶対収束するならば、無限積も収束する。

証明{高木}: は仮定より収束するからその値をとする。また、、およびとする。すると、および、である。そこでより、となる。よって すなわちは絶対収束するから、も収束する。

6. 積分の絶対収束
----------

実数値または複素数値関数の、{//A// ⊂ R }} における定積分 は、 となるとき「絶対収束する」と言う。またこのとき {f}} は絶対可積分と言う。

を有界閉区間とすると、{A}} 上のすべての連続関数は可積分であり、{f}} が連続ならば{mabs}も連続だから、有界閉区間上のすべての連続関数は絶対可積分である。

しかし、上の絶対可積分関数は可積分である、ということは一般にはいえない。それは次のような例を考えればわかる:はルベーグの意味で非可測な部分集合とし、を {S}} の定義関数とする。するとはルベーグ可測ではないが、は定数関数に一致して可積分関数である。よって関数は可積分ではないが絶対可積分である。

標準的な結果としては、{f}} がリーマン可積分なら {mabs} も同様である、といえる。

一方で、関数{f}}がヘンストック・カーツヴァイル積分 またはゲージ積分可能であったとしても、{mabs}がそうであるとは限らない。これは広義リーマン可積分関数の例を含んでいる。 同じ様に {A}} が長さ無限の区間であるとき、絶対可積分でないような広義リーマン可積分関数が存在することはよく知られている。

実際のところ、任意の級数 が与えられたとき、 で定義される階段関数 を考えることが出来る。このとき、 は、対応する の収束性に応じて絶対収束、条件収束、あるいは発散する。

他にも、収束するが絶対収束しない広義リーマン積分の例として、がある。

任意の可測空間 {A}} において、実数値関数のルベーグ積分は正部分、負部分によって定義される。 そこで、次の事実

{f}} が可積分なら {mabs} も可積分。
{f}} が可測なら {mabs} の可積分性から {f}} の可積分性が導かれる。は本質的にルベーグ積分の定義に組み込まれている。特にルベーグ積分論を集合 {S}} 上の可算測度に応用することで、ムーア  とスミス  によりネットを使って構成された級数の非順序和の概念を再構築できる。 が自然数の集合のとき、ルベーグ可積分性と級数の非順序和可能性と絶対収束性は同値な概念になる。数え上げ測度も参照のこと。

最後に、これらのすべてはバナッハ空間に値を持つ積分に対しても成り立つ。バナッハ空間に値を持つリーマン積分の定義は普通の積分の自然な拡張である。 ルベーグ積分の拡張は、ダニエル  の関数解析的方法にともなう正値部分と負値部分への分解を回避するために絶対収束性が必要であり、ボホナー積分になる。

7. 関連記事
-------

フーリエ級数の収束
条件収束
{収束の種別}
コーシー列
フビニの定理

8. 脚注
-----

8.1. 注釈
-------

8.2. 出典
-------

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

{last1= Dvoretzky }
{last= Heil }
{last= Rudin }
{ last=Schaefer }
{last = Singer}
{和書}
{和書}