Unconditional convergence explained
In mathematics, specifically functional analysis, a series is unconditionally convergent if all reorderings of the series converge to the same value. In contrast, a series is conditionally convergent if it converges but different orderings do not all converge to that same value. Unconditional convergence is equivalent to absolute convergence in finite-dimensional vector spaces, but is a weaker property in infinite dimensions.
Definition
Let
be a
topological vector space. Let
be an
index set and
for all
The series
is called
unconditionally convergent to
if
I0:=\left\{i\inI:xi ≠ 0\right\}
is
countable, and
of
the following relation holds:
Alternative definition
Unconditional convergence is often defined in an equivalent way: A series is unconditionally convergent if for every sequence
\left(\varepsilonn\right)
with
\varepsilonn\in\{-1,+1\},
the series
converges.
If
is a
Banach space, every
absolutely convergent series is unconditionally convergent, but the
converse implication does not hold in general. Indeed, if
is an infinite-dimensional Banach space, then by Dvoretzky - Rogers theorem there always exists an unconditionally convergent series in this space that is not absolutely convergent. However, when
by the
Riemann series theorem, the series
is unconditionally convergent if and only if it is absolutely convergent.
References
- Ch. Heil: A Basis Theory Primer
- Book: Knopp
, Konrad
. Infinite Sequences and Series. registration. 9780486601533. Dover Publications. 1956.
- Book: Knopp
, Konrad
. Theory and Application of Infinite Series. Dover Publications. 1990. 9780486661650.
- Book: Wojtaszczyk
, P.
. Banach spaces for analysts. 1996. Cambridge University Press. 9780521566759.