Unconditional convergence

From HandWiki
Short description: Order-independent convergence of a sequence

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 X be a topological vector space. Let I be an index set and xi∈X for all i∈I.

The series ∑i∈Ixi is called unconditionally convergent to x∈X, if

  • the indexing set I0:={i∈I:xi≠0} is countable, and
  • for every permutation (bijection) σ:I0→I0 of I0={ik}k=1∞ the following relation holds: ∑k=1∞xσ(ik)=x.

Alternative definition

Unconditional convergence is often defined in an equivalent way: A series is unconditionally convergent if for every sequence (εn)n=1∞, with εn∈{−1,+1}, the series ∑n=1∞εnxn converges.

If X is a Banach space, every absolutely convergent series is unconditionally convergent, but the converse implication does not hold in general. Indeed, if X 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 X=ℝn, by the Riemann series theorem, the series ∑nxn is unconditionally convergent if and only if it is absolutely convergent.

See also

References

Template:Analysis in topological vector spaces

This article incorporates material from Unconditional convergence on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.