On subsequential averages of sequences in Banach spaces (Q6183677)

This paper gives a strong contribution to the solution to the Conjecture described next: Conjecture 1. Let \(\mathcal{X}\) be a Banach space, and suppose that \(x=\{x_n\}_{n=0}^{\infty}\subseteq\mathcal{X}\). Then the set \[\overline{x}^c=\left\{y\in\mathcal{X}: \exists \text{ a strictly increasing sequence } \{k_n\}\text{ s.t. } y=\lim_{n\rightarrow \infty}\frac{1}{n} \sum_{j=0}^{n-1}x_{k_j}\right\}\] is a closed and convex subset of \(\mathcal{X}\). The author gives a contribution towards the solution to this difficult problem for bounded real sequences. The contribution is summarized in three main theorems that read as follows: Theorem 1. Let \(\mathcal{X}\) be a Banach space and \(x=\{x_n\}_{n=0}^{\infty}\) a sequence in \(\mathcal{X}\). Then \(\operatorname{conv}(\overline{x}^l) \subseteq\overline{x}^c\). We should recall that \(\overline{x}^l= \{ y\in\mathcal{X}: \exists\) a strictly increasing sequence \(\{k_n\} \) such that \( y=\lim_{n\rightarrow \infty}x_{k_j} \} \). Theorem 2. Let \(x =\{x_n\}_{n=0}^{\infty} \subset \mathbb{R}\) be a bounded sequence. If \(a = \liminf_n x_n\) and \(b = \limsup_n x_n\), then \(\overline{x}^c = \operatorname{conv}(\overline{x}^l) = [a,b]\). Theorem 3. Let \(\mathcal{X}\) be a Banach space and \(x=\{x_n\}_{n=0}^{\infty}\) a bounded sequence in \(\mathcal{X}\). Then \(\operatorname{conv}(\overline{x}^l) =\overline{x}^c\). In the process of proving these results, the author also presents three technical lemmas, a proposition and two corollaries of intrinsic interest.