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 xiX for all iI.

The series iIxi is called unconditionally convergent to xX, if

  • the indexing set I0:={iI:xi0} is countable, and
  • for every permutation (bijection) σ:I0I0 of I0={ik}k=1 the following relation holds: k=1xσ(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