Rearranging series of vectors on a small set (Q482737): Difference between revisions

For a conditionally convergent series \(\sum x_n\) in \(\mathbb R^n\) and for an arbitrary ideal \(\mathcal I\) of subsets of \(\mathbb N\) denote by \(S_{\mathcal I}(\sum x_n)\) the set of sums \(\sum_{n=1}^\infty x_{\pi(n)}\) of those convergent rearrangements such that \(\{n \in \mathbb N: \pi(n) \neq n\} \in \mathcal I\). In the simplest particular case of \(\mathcal I = 2^{\mathbb N}\), the set \(S_{2^{\mathbb N}}(\sum x_n) = S(\sum x_n)\) is the set of sums of all convergent rearrangements of the series. In this terminology the classical Riemann rearrangement theorem says that if \(\mathcal I = 2^{\mathbb N}\), then \(S_{\mathcal I}(\sum x_n) = \mathbb R\) for every conditionally convergent series \(\sum x_n\) in \(\mathbb R\). Respectively, the Lévy-Steinitz theorem says that for every conditionally convergent series \(\sum x_n\) in \(\mathbb R^m\) the set \(S(\sum x_n) \) is a shifted subspace. In 2010, \textit{R. Filipów} and \textit{P. Szuca} [J. Math. Anal. Appl. 362, No. 1, 64--71 (2010; Zbl 1188.40001)] characterized those proper ideals \(\mathcal I\) for which the Riemann rearrangement theorem remains true. These ideals are those ones that cannot be extended to a summable ideal. The paper under review deals with similar generalizations of the Lévy-Steinitz theorem in \(\mathbb R^2\). It is proved that if \(S(\sum x_n)\) is a line in \(\mathbb R^2\), then \(S_{\mathcal I}(\sum x_n) = S(\sum x_n)\) for every \(\mathcal I\) which cannot be extended to a summable ideal. The case when \(S(\sum x_n) = \mathbb R^2\) happens to be more difficult, and here only partial results are obtained. For example, it is demonstrated that \(S_{\mathcal I}(\sum x_n) = S(\sum x_n)\) for every maximal ideal \(\mathcal I\).