絶対収束
数学において、級数が絶対収束（ぜったいしゅうそく、）するとは、その各項の絶対値を取って得られる級数の和が有限の値になるときにいう。きちんと述べれば、実または複素数の級数 は
となるとき、絶対収束すると言う。
絶対収束が無限級数の研究において重要であるのは、それが有限和の場合に成立する（が必ずしも全ての収束級数が持つわけではない）性質を持つようにするためにきわめて強力な条件であるとともに、それ自身が一般的な内容を議論するのに（その強い制約条件にもかかわらず）十分広範な級数のクラスを定めるからである。
定理: 絶対収束する級数は収束する。
証明:
である。 は収束するから、 でこの式の右辺は0に収束する。すなわち はコーシー列である。従って はある点に収束する。
複素数列の場合は、 とすると、 だから実数の場合に帰着できる。(証明終り)
収束するが絶対収束しないような級数は条件収束すると言う。このような級数の例として交替調和級数がある。級数の収束判定法の多くのもの、例えばダランベールの収束判定法やコーシーの冪根判定法などは、絶対収束性を判定する。それは、実用的に重要な冪級数が収束円の内部で絶対収束するためである。
実数や複素数の級数に限らず、各項が任意の位相アーベル群の要素であるような列に対して、級数formula_3を考えることが出来る。このような級数に絶対収束の概念を導入するためにはノルムの構造が必要である。
アーベル群 上で定義された非負実数値関数 が次の条件を満たすとき、 はノルムと呼ばれる。ノルムが導入されれば、任意の に対して距離関数 を と定義することにより、 に距離空間の構造を導入できる。ノルムの利用により、 に値をとる級数に対しても絶対収束の定義ができる。すなわち、 上の級数に対しては、formula_4 ならば、級数は絶対収束する、と定義する。
ノルム空間 においては、絶対収束級数の収束性と、距離に関する完備性とは同値である。すなわち次の二つの条件が同値になる。証明:
1⇒2 は、先の複素数値級数の場合と形式的にまったく同様に示せる。
2⇒1: は 上のコーシー列とする。そこで のある部分列 で となるようなものが取れる。 上の列 を、formula_5 と定義する。すると、
すなわち formula_7 は絶対収束するから、仮定よりある があって formula_7 は に収束する。よって
すなわち部分列 は に収束する。 は 上のコーシー列であったから、も に収束する。(証明終り)
ノルムつきアーベル群 上に値を持つ級数 formula_11 と、自然数の置換 が与えられたとする。このとき、formula_12 は元の級数の並べ替えと呼ばれる。任意の並べ替えが同じ値に収束するとき、この級数は無条件収束すると言われる。(注: 無条件収束の定義として、単に任意の並べ替えが収束することだけを条件とし、同じ値に収束することは要求しない場合もある。実はその場合でも、任意の並べ替えが収束するならば同じ値に収束することが証明できる。)
は一般の（完備性を仮定しない）ノルム空間上の列であり、formula_14, formula_15 とする。 は自然数 の任意の置換とする。このとき、formula_16 である。すなわち収束かつ絶対収束する級数は無条件収束する。(完備とは限らない空間においては絶対収束性から収束性を導けないので、収束性と絶対収束性の両方を仮定する必要がある)
は絶対収束および収束するから、任意の に対して、ある formula_17 が選べて、
および
となる。
さて、formula_20、
formula_21 として、
formula_22 となるような任意の formula_23について、formula_24とする。
すると、以下の式がなりたつ
formula_26
formula_27
すなわち 
これはformula_29を意味する。(証明終り)
実数および複素数列に対しては、リーマンの級数定理の対偶として、無条件収束から絶対収束が導かれることも言える。すなわち、実数および複素数列に対しては無条件収束と絶対収束は同値である。さらに、有限次元ノルム空間に値を持つような級数は、各次元に射影した成分が絶対収束するなら絶対収束するから、formula_30値の列に対して絶対収束性と無条件収束性が同値であることを導くのは容易である。
一般的なノルムつきアーベル群上の列においては、絶対収束と無条件収束は区別される。完備なノルム空間であっても無条件収束から絶対収束は導かれない。例えばヒルベルト空間formula_31において、formula_32 を直交基底としたときの列 formula_33による級数は無条件収束するが絶対収束はしない。
もっと一般的に、Dvoretzky–Rogersの定理によれば、すべての無限次元バナッハ空間には無条件収束するが絶対収束しないような級数が存在する。
実数または複素数の絶対収束する二つの級数の積もまた絶対収束する。すなわち二つの収束する級数formula_34がともに絶対収束するならば、級数
は和の順序によらず収束し(無条件収束=絶対収束)、その値はformula_36に等しい。これは、絶対収束する級数同士の積においては、有限和の場合と同様に積と和の分配法則が成り立つことを意味する。
絶対収束する級数においては、和の順序も自由に交換できた(無条件収束)から、絶対収束する級数はおおむね有限和に近い性質を持つといえる。
実または複素数を項とする二つの収束級数のコーシー積は少なくともどちらか一方が絶対収束するならば、各級数の収束値の積に収束する。すなわち
であるとき、これらのコーシー積とは、各級数の係数列の畳み込み
を項として定まる級数 ∑"c" で、formula_39 または formula_40 の少なくとも一方の和が絶対収束するならば
が成立する。
絶対収束は無限積の収束性を判定することもできる。
複素数列の級数formula_42が絶対収束するならば、無限積formula_43も収束する。
証明: formula_44は仮定より収束するからその値をformula_45とする。また、formula_46、およびformula_47とする。すると、formula_48および、formula_49である。そこで
より、
となる。よってformula_53 すなわちformula_54は絶対収束するから、formula_55も収束する。(証明終り)
実数値または複素数値関数の、 における定積分 formula_56 は、formula_57 となるとき「絶対収束する」と言う。またこのとき は絶対可積分と言う。
formula_58を有界閉区間とすると、formula_59上のすべての連続関数は可積分であり、 が連続ならばも連続だから、有界閉区間上のすべての連続関数は絶対可積分である。
しかし、formula_60上の絶対可積分関数は可積分である、ということは一般的にいえない。それは次のような例を考えればわかる:
formula_61はルベーグの意味で非可測な部分集合とし、formula_62を の定義関数とする。formula_63はルベーグ可測ではないが、は定数関数であり、したがって可測関数であり可積分。
標準的な結果としては、 がリーマン可積分（またはルベーグ可積分）なら も同様である、といえる。
一方で、関数がヘンストック・カーツヴァイル積分 ()またはゲージ積分可能であったとしても、がそうであるとは限らない。これは広義リーマン可積分関数の例を含んでいる。
同じ様にformula_59が長さ無限の区間であるとき、絶対可積分でないような広義リーマン可積分関数が存在することはよく知られている。
実際のところ、任意の級数 formula_3 が与えられたとき、formula_66 で定義される階段関数 formula_67 を考えることが出来る。このとき、
は、対応する
の収束性に応じて絶対収束、条件収束、あるいは発散する。
他にも、収束するが絶対収束しない広義リーマン積分の例として、formula_70がある。
任意の可測空間 において、実数値関数のルベーグ積分は正部分、負部分によって定義される。
そこで、次の事実は本質的にルベーグ積分の定義に組み込まれている。特にルベーグ積分論を集合 上の可算測度に応用することで、ムーア () とスミス () によりネットを使って構成された級数の非順序和の概念を再構築できる。formula_71 が自然数の集合のとき、ルベーグ可積分性と級数の非順序和可能性(無条件収束性)と絶対収束性は同値な概念になる。数え上げ測度も参照のこと。
最後に、これらのすべてはバナッハ空間に値を持つ積分に対しても成り立つ。バナッハ空間に値を持つリーマン積分の定義は普通の積分の自然な拡張である。
ルベーグ積分の拡張は、ダニエル () の関数解析的方法にともなう正値部分と負値部分への分解を回避するために絶対収束性が必要であり、ボホナー積分になる。