絶対収束

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

きちんと述べれば、実または複素級数 \textstyle \sum a_n が
: \sum_{n=0}^\infty |a_n| 
となるとき、**絶対収束する**（）という。

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

## 一般の定式化
### ノルム・アーベル群の場合
各項  が任意の位相アーベル群の要素であるような列に対して、級数\sum_{n=0}^{\infty} a_n を考えることができる。

アーベル群  上で定義された非負実数値関数  が次の条件

#  が  の単位元  であるとき、かつそのときに限り ,
# 全ての  について ,
# 全ての  について 

を満たすとき、 はノルムと呼ばれる。このとき  は  に距離空間の構造（とくに位相）を導く。

これにより、-値級数は \sum_{n=0}^{\infty} \|a_n\|  であるとき、**絶対収束する**と定義する。

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

### 半ノルム空間の場合
ノルム空間とは限らない位相線型空間においても、半ノルムの意味での「絶対」収束を論じることができる。位相線型空間  において、 の元からなる（一般には非可算の）族  が**絶対総和可能**であるとは、以下の二つの条件がみたされるときにいう: 
#  は  において総和可能; 
#  上定義された任意の連続半ノルム  に対し、実数からなる族  が \mathbb{R} において総和可能。
 がノルム付け可能である場合には、 が絶対総和可能であるとき、必然的に可算個の例外を除くすべての  は  に等しい。

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

## 収束との関係
; 定理: 絶対収束する実または複素級数は収束する。
これについて、完備性とコーシー列に基づく「コーシーの判定法」による簡明な証明がある:
; 証明:
:  は実数列とし、 は収束するとする。第  部分和を  と書くと、自然数  に対し、
:: |s_l - s_k| = \left| \sum_{n=k+1}^l a_n \right| \leq \sum_{n=k+1}^l |a_n| 
: である。 は収束するから、コーシーの定理により、任意の\epsilon>0に対し、あるNが存在し、Nならば\sum_{n=k+1}^l |a_n|となるため、  |s_l - s_k|が言え、 もコーシー列である。従って  はある点に収束する。
: 複素数列の場合は、 とすると、 、 のため、が絶対収束すればもも絶対収束するため、実数の場合に帰着できる。(証明終り)

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

逆に、絶対収束⇒収束が成り立つノルム空間はノルムの導く距離に関して完備、したがってバナッハ空間となることが示せる。
 と定義する。すると、
: \sum_{i=1}^{\infty} \|y_i\| = \sum_{i=1}^{\infty} \| a_{n_i} - a_{n_{i-1}} \| =\sum_{i=1}^{\infty} 2^{-i} 
すなわち  \sum_{i=1}^{\infty} y_i  は絶対収束するから、仮定よりある  があって  \sum_{i=1}^{\infty} y_i  は  に収束する。よって
: \| A - a_{n_k} \|
=  \left\| \sum_{i=1}^{\infty} y_i - a_{n_k} \right\|
= \left\| \sum_{i=1}^{\infty} y_i - \sum_{i=1}^{k} y_i  \right\| 
: = \left\| \sum_{i=k+1}^{\infty} y_i \right\|
\leq \sum_{i=k+1}^{\infty} \|y_i\|

すなわち部分列  は  に収束する。 は  上のコーシー列であったから、も  に収束する。(証明終り)
}}

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

## 無条件収束との関係

ノルムつきアーベル群  に値を持つ級数 \sum_{n=0}^{\infty} a_n と、自然数の置換  が与えられたとする。このとき、\sum_{n=0}^\infty a_{\sigma(n)} は元の級数の並べ替え (rearrangement) と呼ばれる。任意の並べ替えが（置換の選び方によらず）同じ値に収束するとき、この級数は無条件収束すると言われる。

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

; 定理
:  は一般の（完備性を仮定しない）ノルム空間上の列であり、\sum_{i=1}^\infty a_i=A, \sum_{i=1}^\infty \|a_i\| とする。 は自然数  の任意の置換とする。このとき、\sum_{i=1}^\infty a_{\sigma(i)}=A である。すなわち収束かつ絶対収束する級数は無条件収束する。(完備とは限らない空間においては絶対収束性から収束性を導けないので、収束性と絶対収束性の両方を仮定する必要がある)

 a_{\sigma(i)}  \right\|


\leq 
\left\| \sum_{i=1}^{N_\varepsilon} a_i - A  \right\|
+ \left\| \sum_{i\in I_{\sigma,\varepsilon}} a_{\sigma(i)} \right\|
\leq 
\left\| \sum_{i=1}^{N_\varepsilon} a_i - A  \right\|
+ \sum_{i\in I_{\sigma,\varepsilon}} \| a_{\sigma(i)} \|


\leq 
\left\| \sum_{i=1}^{N_\varepsilon} a_i - A  \right\|
+ \sum_{i= \min\{ \sigma(k) | k \in I_{\sigma,\varepsilon} \}}^{\max\{ \sigma(k) | k \in I_{\sigma,\varepsilon} \}} \| a_i \|
\leq 
\left\| \sum_{i=1}^{N_\varepsilon} a_i - A \right\| + \sum_{i= N_\varepsilon + 1}^{\infty} \| a_i \|
\leq \varepsilon


すなわち 
:
\forall\varepsilon > 0\ , \exist M_{\sigma,\varepsilon}\, \forall N > M_{\sigma,\varepsilon} \,\, , \left\|\sum\limits_{i=1}^N a_{\sigma(i)}-A \right\|
これは\sum\limits_{i=1}^\infty a_{\sigma(i)}=Aを意味する。(証明終り)
}}

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

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

## 級数の積と絶対収束
### 積の分配法則
二つの絶対収束する実または複素級数の積もまた絶対収束する。すなわち二つの収束する級数 \sum_{n=0}^\infty a_n = A,\quad \sum_{n=0}^\infty b_n = B がともに絶対収束するならば、級数
:\sum_{n\in \mathbb{N}} a_n \sum_{m \in \mathbb{N}} b_m =
\sum_{m\in \mathbb{N}} b_m \sum_{n \in \mathbb{N}} a_n =
\sum_{(m,n)\in \mathbb{N}\times\mathbb{N}}^{}a_n b_m  
は無条件収束、したがって絶対収束し、その値は  に等しい。これは、絶対収束する級数同士の積においては、有限和の場合と同様に積と和の分配法則が成り立つことを意味する。
絶対収束級数は無条件収束、すなわち和の順序も自由に交換できるから、絶対収束する級数はおおむね有限和に近い性質を持つといえる。

### コーシー積

実または複素数を項とする二つの収束級数 \sum_{n=1}^\infty a_n,\quad \sum_{n=1}^\infty b_n のコーシー積とは、各級数の係数列の畳み込み  c_n = \sum_{k=1}^n a_k b_{n-k} を項として定まる級数 &sum;*c**n* である。これは少なくともどちらか一方が絶対収束するならば、各級数の収束値の積に収束する。
;定理: \sum_{n=1}^\infty a_n = A,\quad \sum_{n=1}^\infty b_n = B であるとき、その**少なくとも一方**が絶対収束ならば \sum_{n=1}^\infty c_n = AB が成立する。

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

複素数列の級数\sum_{i=1}^{\infty} a_iが絶対収束するならば、無限積\prod_{i=1}^{\infty}( 1+a_i) も収束する。

; 証明: \sum_{i=1}^{\infty} |a_i|は仮定より収束するからその値を\ S\ とする。また、p_n = (1+a_1)(1+a_2)\cdots (1+a_n)、およびy_1=p_1,\, y_n = p_n - p_{n-1} = (1+a_1)(1+a_2)\cdots (1+a_{n-1})a_nとする。すると、p_n = \sum_{i=1}^{n} y_iおよび、\ y_n = p_{n-1}a_n\ である。そこで
::|p_n|\leq \prod_{i=1}^{n}(1+ |a_i|) \leq \prod_{i=1}^{n} \exp (|a_i|) = \exp \left(\sum_{i=1}^{n}|a_i| \right)  
::\leq \exp \left( \sum_{i=1}^{\infty}|a_i| \right) = e^S
:より、
:: |y_n| = |p_{n-1}a_n| \leq e^S |a_n| 
:となる。よって\sum_{i=1}^{\infty} | y_i | \leq e^S \sum_{i=1}^{\infty}|a_i| = e^S S. すなわち\sum_{i=1}^{\infty}  y_i は絶対収束するから、\sum_{i=1}^{n} y_i = p_n = \prod_{i=1}^{n}( 1+a_i) も収束する。(証明終り)

## 積分の絶対収束
実数値または複素数値関数の、 における定積分 \int_A f(x)\,dx は、\int_A \left|f(x)\right|\,dx  となるとき「絶対収束する」と言う。またこのとき  は絶対可積分と言う。

A = [a,b]を有界閉区間とすると、 上のすべての連続関数は可積分であり、 が連続ならばも連続だから、有界閉区間上のすべての連続関数は絶対可積分である。

しかし、[a,b]上の絶対可積分関数は可積分である、ということは一般にはいえない。それは次のような例を考えればわかる:
S \subset [a,b]はルベーグの意味で非可測な部分集合とし、\chi_Sを  の定義関数とする。するとf := \chi_S - \frac{1}{2}はルベーグ可測ではないが、|f|は定数関数\frac{1}{2}に一致して可積分関数である。よって関数fは可積分ではないが絶対可積分である。

標準的な結果としては、 がリーマン可積分（またはルベーグ可積分）なら  も同様である、といえる。

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

実際のところ、任意の級数 \sum_{n=0}^{\infty} a_n  が与えられたとき、f_a([n,n+1)) = a_n で定義される階段関数 f_a \colon [0,\infty) \rightarrow \mathbb{R} を考えることが出来る。このとき、\int_0^{\infty} f_a dx
は、対応する \sum_{n=0}^{\infty} a_n の収束性に応じて絶対収束、条件収束、あるいは発散する。

他にも、収束するが絶対収束しない広義リーマン積分の例として、 \int_{\mathbb{R}} \frac{\sin x}{x} dxがある。

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

#  が可積分なら  も可積分。
#  が可測なら  の可積分性から  の可積分性が導かれる。

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

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

## 関連記事
*フーリエ級数の収束
*条件収束
*
*コーシー列
*フビニの定理

## 脚注

### 注釈

### 出典

## 参考文献
* 
* 
* 
* 
* 
* 
*