Conditionally Convergent Series – Can a Conditionally Convergent Series of Vectors Be Rearranged to Give Any Limit?

ca.classical-analysis-and-odessequences-and-series

Warmup (you've probably seen this before)

Suppose $\sum_{n\ge 1} a_n$ is a conditionally convergent series of real numbers, then by rearranging the terms, you can make "the same series" converge to any real number $x$. To do this, let $P=\{n\ge 1\mid a_n\ge 0\}$ and $N=\{n\ge 1\mid a_n<0\}$. Since $\sum_{n\ge 1} a_n$ converges conditionally, each of $\sum_{n\in P}a_n$ and $\sum_{n\in N}a_n$ diverge and $\lim a_n=0$.

Starting with the empty sum (namely zero), build the rearrangement inductively. Suppose $\sum_{i=1}^m a_{n_i}=x_m$ is the (inductively constructed) $m$-th partial sum of the rearrangement. If $x_m\le x$, take $n_{m+1}$ to be the smallest element of $P$ which hasn't already been used. If $x_m> x$, take $n_{m+1}$ to be the smallest element of $N$ which hasn't already been used.

Since $\sum_{n\in P}a_n$ diverges, there will be infinitely many $m$ for which $x_m\ge x$, so $n_{m+1}$ will be in $N$ infinitely often. Similarly, $n_{m+1}$ will be in $P$ infinitely often, so we've really constructed a rearrangement of the original series. Note that $|x-x_m|\le \max\{|a_n|\bigm| n\not\in\{n_1,\dots, n_m\}\}$, so $\lim x_m=x$ because $\lim a_n=0$.


Suppose $\sum_{n\ge 1}v_n$ is a conditionally convergent series with $v_n\in \mathbb R^k$. Can the sum be rearranged to converge to any given $w\in \mathbb R^k$?

Obviously not! If $\lambda$ is a linear functional on $\mathbb R^k$ such that $\sum \lambda(v_n)$ converges absolutely, then $\lambda$ applied to any rearrangement will be equal to $\sum \lambda(v_n)$. So let's also suppose that $\sum \lambda(v_n)$ is conditionally convergent for every non-zero linear functional $\lambda$. Under this additional hypothesis, I'm pretty sure the answer should be "yes".

Best Answer

The Levy--Steinitz theorem says the set of all convergent rearrangements of a series of vectors, if nonempty, is an affine subspace of ${\mathbf R}^k$. There is an article on this by Peter Rosenthal in the Amer. Math. Monthly from 1987, called "The Remarkable Theorem of Levy and Steinitz". Also see Remmert's Theory of Complex Functions, pp. 30--31.

As an example, taking $k = 2$, suppose $v_n = ((-1)^{n-1}/n,(-1)^{n-1}/n)$. Then the convergent rearrangments fill up the line $y = x$. The linear function $\lambda(x,y) = x-y$ of course kills the series, which makes Anton's observation explicit in this instance.

The Rosenthal article, at the end, discusses Anton's question. Indeed if there is no absolute convergence in any direction then the set of all rearranged series is all of ${\mathbf R}^k$. Note by the above example that this condition is stronger than saying the series in each standard coordinate is conditionally convergent. Rosenthal said this stronger form of the Levy-Steinitz theorem was in the papers by Levy (1905) and Steinitz (1913). He also refers to I. Halperin, Sums of a Series Permitting Rearrangements, C. R. Math Rep. Acad. Sci. Canada VIII (1986), 87--102.

Related Question