無条件収束

無条件収束（むじょうけんしゅうそく，英: unconditional convergence）は代数的な対象（和）に関連した位相的性質（収束性）である。それは可算個の元の級数に対する収束の概念の任意に多くの級数への拡張である。大部分はバナッハ空間において研究されている。

定義

X を線型位相空間とする．I を添え字集合とし，すべての i ∈ I に対して xi ∈ X とする．

級数 ∑ i ∈ I x i {\displaystyle \sum _{i\in I}x_{i}} が x ∈ X に無条件収束するとは，

  • 添え字の集合 I 0 := { i ∈ I : x i ≠ 0 } {\displaystyle I_{0}:=\{i\in I:x_{i}\neq 0\}} が可算であり，
  • I 0 = { i k } k = 1 ∞ {\displaystyle I_{0}=\{i_{k}\}_{k=1}^{\infty }} 上の任意の置換 σ : I 0 → I 0 {\displaystyle \sigma :I_{0}\to I_{0}} に対して ∑ k = 1 ∞ x σ ( i k ) = x {\displaystyle \sum _{k=1}^{\infty }x_{\sigma (i_{k})}=x} が成り立つ。

ことをいう。

別の定義

無条件収束はしばしば同値な方法で定義される：級数が無条件収束するとは，任意の列 ( ε n ) n = 1 ∞ {\displaystyle (\varepsilon _{n})_{n=1}^{\infty }} で ε n ∈ { − 1 , + 1 } {\displaystyle \varepsilon _{n}\in \{-1,+1\}} なるものに対し，級数

∑ n = 1 ∞ ε n x n {\displaystyle \sum _{n=1}^{\infty }\varepsilon _{n}x_{n}}

が収束することをいう．

任意の絶対収束級数は無条件収束するが，逆は一般には成り立たない：X が無限次元のバナッハ空間のとき，Dvoretzky–Rogersの定理の定理により，この空間には無条件収束するが絶対収束しない級数が必ず存在する．しかしながら，X = Rn のときは，リーマンの級数定理（英語版）によって，級数 ∑ x n {\displaystyle \sum x_{n}} が無条件収束することと絶対収束することは同値である．

関連項目

参考文献

  • Ch. Heil: A Basis Theory Primer
  • Knopp, Konrad (1956). Infinite Sequences and Series. Dover Publications. ISBN 9780486601533 
  • Knopp, Konrad (1990). Theory and Application of Infinite Series. Dover Publications. ISBN 9780486661650 
  • Wojtaszczyk, P. (1996). Banach spaces for analysts. Cambridge University Press. ISBN 9780521566759 

この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目Unconditional convergenceの本文を含む