1. 高校数学の美しい物語
  2. 絶対収束と条件収束の意味と具体例

絶対収束と条件収束の意味と具体例

更新日時 2021/03/07

無限級数の絶対収束と条件収束について。絶対収束なら収束することの証明,絶対収束するとなぜ嬉しいのか。

注:絶対収束,条件収束は「数列」に対する議論です。一方,各点収束,一様収束は「関数列」に対する議論です。→各点収束と一様収束の違いと具体例

目次
  • 絶対収束,条件収束の定義

  • 具体例

  • 絶対収束すれば収束

  • 絶対収束だとなぜ嬉しいのか

絶対収束,条件収束の定義

この記事では数列の各項 ana_n は実数とします。

・無限級数の収束(高校数学)

数列 Sn=i=1naiS_n=\displaystyle\sum_{i=1}^na_i が収束するとき,無限級数 i=1ai\displaystyle\sum_{i=1}^{\infty}a_i は収束すると言います。

・絶対収束

各項の絶対値を取った和: i=1ai\displaystyle\sum_{i=1}^{\infty}|a_i| が収束するとき,i=1ai\displaystyle\sum_{i=1}^{\infty}a_i は絶対収束すると言います。

・条件収束

収束するが,絶対収束しないような無限級数を条件収束すると言います。

絶対収束すれば収束

定理:i=1ai\displaystyle\sum_{i=1}^{\infty}a_i が絶対収束すれば,もとの級数自身も収束する。

各項の絶対値を取って符号を揃えてるので,絶対収束の方が厳しい条件であるというのは感覚的には当たり前ですね。

一応ちゃんと証明しておきます(コーシー列について知らない人は飛ばしてください)。

証明

任意の m,n(m<n)m,n\:(m <n) に対して,三角不等式より

am+am+1++anam+am+1++an|a_m+a_{m+1}+\cdots +a_n|\leq |a_m|+|a_{m+1}|+\cdots +|a_n|

(以下の二つ目の→で使う)

よって,

i=1nai\displaystyle\sum_{i=1}^n|a_i| が収束

i=1nai\displaystyle\sum_{i=1}^n|a_i| がコーシー列

i=1nai\displaystyle\sum_{i=1}^na_i がコーシー列

i=1nai\displaystyle\sum_{i=1}^na_i が収束

つまり,絶対収束なら i=1nai\displaystyle\sum_{i=1}^na_i は収束する。

絶対収束だとなぜ嬉しいのか

無限級数が絶対収束すると,有限和のときに可能な様々な操作が自由に行える。

・和の順序交換

数列 ana_n の各項を並べ替えた数列を bnb_n とする(厳密には正の整数全体から正の整数全体への全単射を用いて定義される)。 i=1ai\displaystyle\sum_{i=1}^{\infty}a_i が絶対収束するなら,i=1ai=i=1bi\displaystyle\sum_{i=1}^{\infty}a_i=\sum_{i=1}^{\infty}b_i

つまり,順番を好きに並び替えることができる。

注:条件収束だと(無限個の)順序交換は許されません。例えば 112+1314+1-\dfrac{1}{2}+\dfrac{1}{3}-\dfrac{1}{4}+\cdots をうまく並び替えることで 12ln2\dfrac{1}{2}\ln 2 にできます(実はうまく並び替えると任意の実数に収束させることができる!)→英語版wikipedia

・畳み込み

絶対収束する二つの無限級数: i=1ai\displaystyle\sum_{i=1}^{\infty}a_ii=1bi\displaystyle\sum_{i=1}^{\infty}b_i について考える。 ci=k=1iakbi+1kc_i=\displaystyle\sum_{k=1}^ia_kb_{i+1-k} とおくと,

i=1ci\displaystyle\sum_{i=1}^{\infty}c_i は絶対収束し,その値は i=1ci=i=1aii=1bi\displaystyle\sum_{i=1}^{\infty}c_i=\sum_{i=1}^{\infty}a_i\sum_{i=1}^{\infty}b_i

なお,余談ですが畳み込みについては合成積(畳み込み)の意味と応用3つをどうぞ。

最近急に暑くなりましたねえ。

  1. 高校数学の美しい物語
  2. 絶対収束と条件収束の意味と具体例