絶対収束

数学において、級数が絶対収束（ぜったいしゅうそく、）、あるいは元の数列が絶対総和可能（ぜったいそうわかのう、）であるとは、その各項の絶対値を取って得られる級数の和が有限の値になることをいう。
きちんと述べれば、実または複素級数 formula_1 が
となるとき、絶対収束する（）という。
絶対収束が無限級数の研究において重要であるのは、それが有限和の場合に成立する（が必ずしも全ての収束級数が持つわけではない）性質を持つようにするために極めて強力な条件であるとともに、それ自身が一般的な内容を議論するのに（その強い制約条件にもかかわらず）十分広範な級数のクラスを定めるからである。
一般の定式化.
ノルム・アーベル群の場合.
各項 が任意の位相アーベル群の要素であるような列に対して、級数formula_3を考えることができる。
アーベル群 上で定義された非負実数値関数 が次の条件
を満たすとき、 はノルムと呼ばれる。このとき は に距離空間の構造（とくに位相）を導く。
これにより、-値級数は formula_4 であるとき、絶対収束すると定義する。
とくに、実または複素級数の場合には、絶対値 をノルムとして、これらの主張がすべて満たされている。
半ノルム空間の場合.
ノルム空間とは限らない位相線型空間においても、半ノルムの意味での「絶対」収束を論じることができる。位相線型空間 において、 の元からなる（一般には非可算の）族 が絶対総和可能であるとは、以下の二つの条件がみたされるときにいう: 
 がノルム付け可能である場合には、 が絶対総和可能であるとき、必然的に可算個の例外を除くすべての は に等しい。
絶対総和可能族は核型空間の理論において重要な役割を果たす。
収束との関係.
これについて、完備性とコーシー列に基づく「コーシーの判定法」による簡明な証明がある:
上記の証明ではコーシー列が収束するという完備性とノルムが満たす三角不等式のみが用いられているから、これは完備なノルム空間であるバナッハ空間に対するものに容易に修正できる:
逆に、絶対収束⇒収束が成り立つノルム空間はノルムの導く距離に関して完備、したがってバナッハ空間となることが示せる。
</math> と定義する。すると、
すなわち formula_13 は絶対収束するから、仮定よりある があって formula_13 は に収束する。よって
すなわち部分列 は に収束する。 は 上のコーシー列であったから、も に収束する。(証明終り)
収束するが絶対収束しないような級数は条件収束すると言う。このような級数の例として交項調和級数がある。級数の収束判定法の多くのもの、例えばダランベールの収束判定法やコーシーの冪根判定法などは、絶対収束性を判定する。それは、実用的に重要な冪級数が収束円の内部で絶対収束するためである。
無条件収束との関係.
ノルムつきアーベル群 に値を持つ級数 formula_17 と、自然数の置換 が与えられたとする。このとき、formula_18 は元の級数の並べ替え (rearrangement) と呼ばれる。任意の並べ替えが（置換の選び方によらず）同じ値に収束するとき、この級数は無条件収束すると言われる。
 が完備なら絶対収束から無条件収束が導かれる。すなわち、ノルムつきアーベル群 がノルムに関して完備とすると、上の級数formula_17 は絶対収束するなら無条件収束する。次節ではノルムが完備でない場合も含めて証明する。
 a_{\sigma(i)} \right\|
</math>
formula_23
formula_24
すなわち 
これはformula_26を意味する。(証明終り)
実または複素数列に対しては、リーマンの級数定理の対偶として、無条件収束から絶対収束が導かれることも言える。すなわち、実または複素数列に対しては無条件収束と絶対収束は同値である。さらに、有限次元ノルム空間に値を持つような級数は、各次元に射影した成分が絶対収束するなら絶対収束するから、formula_27値の列に対して絶対収束性と無条件収束性が同値であることを導くのは容易である。
一般のノルムつきアーベル群上の列においては、絶対収束と無条件収束は区別される。完備なノルム空間であっても無条件収束から絶対収束は導かれない。例えばヒルベルト空間formula_28において、formula_29 を直交基底としたときの列 formula_30による級数は無条件収束するが絶対収束はしない。もっと一般に、Dvoretzky–Rogersの定理によれば、すべての無限次元バナッハ空間には無条件収束するが絶対収束しないような級数が存在する。
級数の積と絶対収束.
積の分配法則.
二つの絶対収束する実または複素級数の積もまた絶対収束する。すなわち二つの収束する級数 formula_31 がともに絶対収束するならば、級数
は無条件収束、したがって絶対収束し、その値は に等しい。これは、絶対収束する級数同士の積においては、有限和の場合と同様に積と和の分配法則が成り立つことを意味する。
絶対収束級数は無条件収束、すなわち和の順序も自由に交換できるから、絶対収束する級数はおおむね有限和に近い性質を持つといえる。
コーシー積.
実または複素数を項とする二つの収束級数 formula_33 のコーシー積とは、各級数の係数列の畳み込み formula_34 を項として定まる級数 ∑"c""n" である。これは少なくともどちらか一方が絶対収束するならば、各級数の収束値の積に収束する。
無限積.
絶対収束は無限積の収束性を判定することもできる。
複素数列の級数formula_37が絶対収束するならば、無限積formula_38も収束する。
積分の絶対収束.
実数値または複素数値関数の、 における定積分 formula_51 は、formula_52 となるとき「絶対収束する」と言う。またこのとき は絶対可積分と言う。
formula_53を有界閉区間とすると、 上のすべての連続関数は可積分であり、 が連続ならばも連続だから、有界閉区間上のすべての連続関数は絶対可積分である。
しかし、formula_54上の絶対可積分関数は可積分である、ということは一般にはいえない。それは次のような例を考えればわかる:
formula_55はルベーグの意味で非可測な部分集合とし、formula_56を の定義関数とする。するとformula_57はルベーグ可測ではないが、formula_58は定数関数formula_59に一致して可積分関数である。よって関数formula_60は可積分ではないが絶対可積分である。
標準的な結果としては、 がリーマン可積分（またはルベーグ可積分）なら も同様である、といえる。
一方で、関数がヘンストック・カーツヴァイル積分 ()またはゲージ積分可能であったとしても、がそうであるとは限らない。これは広義リーマン可積分関数の例を含んでいる。
同じ様に が長さ無限の区間であるとき、絶対可積分でないような広義リーマン可積分関数が存在することはよく知られている。
実際のところ、任意の級数 formula_61 が与えられたとき、formula_62 で定義される階段関数 formula_63 を考えることが出来る。このとき、formula_64
は、対応する formula_61の収束性に応じて絶対収束、条件収束、あるいは発散する。
他にも、収束するが絶対収束しない広義リーマン積分の例として、formula_66がある。
任意の可測空間 において、実数値関数のルベーグ積分は正部分、負部分によって定義される。
そこで、次の事実
は本質的にルベーグ積分の定義に組み込まれている。特にルベーグ積分論を集合 上の可算測度に応用することで、ムーア () とスミス () によりネットを使って構成された級数の非順序和の概念を再構築できる。formula_67 が自然数の集合のとき、ルベーグ可積分性と級数の非順序和可能性(無条件収束性)と絶対収束性は同値な概念になる。数え上げ測度も参照のこと。
最後に、これらのすべてはバナッハ空間に値を持つ積分に対しても成り立つ。バナッハ空間に値を持つリーマン積分の定義は普通の積分の自然な拡張である。
ルベーグ積分の拡張は、ダニエル () の関数解析的方法にともなう正値部分と負値部分への分解を回避するために絶対収束性が必要であり、ボホナー積分になる。