Can a conditionally convergent series of vectors be rearranged to give any limit?

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.


I discuss (with references, but without proof) the Levy-Steinitz Theorem in Section 2 of the following document:

http://www.math.uga.edu/~pete/UGAVIGRE08.pdf

In particular, the version I give describes precisely the set of limits of convergent rearrangements in terms of the subspace of directions of absolute convergence of the series. As a special case, if no one-dimensional projection is absolutely convergent, then indeed one can rearrange the series to converge to any vector in $\mathbb{R}^n$.


To a conditionally convergent series $\sum_{n\geq 1}v_n$ in $\mathbb{R}^d$ one can attach so called convergence functionals $f$, which are linear functionals $f:\mathbb{R}^d\to\mathbb{R}$ with the property $\sum_{n=1}^{\infty}|f(v_n)|<\infty$. Let $\Gamma ((v_n))$ be the set of all these functionals. Then the set of values of the possible rearrangements of the series $\sum_{n=0}^{\infty}v_n$ is exactly the affine space $\sum_{n=0}^{\infty}v_n + \Gamma ((v_n))_0$, where $\Gamma ((v_n))_0$ denotes the annihilator of $\Gamma ((v_n))$, i.e. $\bigcap_{f\in\Gamma ((v_n))}\mathrm{ker}(f)$. This is precisely the Steinitz` Theorem mentioned by KConrad. Let me just add that this result does not hold in general for infinite-dimensional spaces. However, a generalization of Steinitz theorem seems very approachable for locally convex spaces -> see e.g. "The Steinitz theorem on rearrangement of series for nuclear spaces" by W. Banaszczyk (1990), in Journal für die reine und angewandte Mathematik 403, 187-200.

EDIT: added the condition on $v_n$ per KConrad´s comment.