Characterizations of the ideal core (Q2315040)

In the paper \(\omega\) denotes the set of all positive integers, and \(\mathrm{Fin}\) stands for the family of finite subsets of \(\omega\). For a non-trivial ideal \(\mathcal{I} \subset 2^{\omega}\), the corresponding filter of complements \(\mathcal{I}^* = \{\omega\setminus A \colon A \in \mathcal{I}\}\) and a sequence \(x = (x_k)\) in a topological vector space \(X\) the author introduces the \(\mathcal{I}\)-core of \(x\) as \[ \mathrm{core}_x(\mathcal{I}) = \bigcap_{E \in \mathcal{I}^*}\overline{\mathrm{co}}\{x_n \colon n \in E\}, \eqno (*) \] where \(\overline{\mathrm{co}}\) denotes the closed convex hull. In the case of \(\mathcal{I} = \mathrm{Fin}\) and \(X = \mathbb C\) the above definition gives the classical Knopp core of a complex sequence. One more definition: \(z \in X\) is an \(\mathcal{I}\)-cluster point of \(x\) if for every neighborhood \(U\) of \(z\) the set \(x^{-1}(U) = \{n \in \omega \colon x_n \in U\}\) does not belong to \(\mathcal{I}\). \(\Gamma_x(\mathcal{I})\) denotes the set of all \(\mathcal{I}\)-cluster points of \(x\). The main result of the paper says that for a first countable locally convex topological vector space \(X\), if a sequence \(x\) in \(X\) maps some element of \(\mathcal{I}^*\) to a relatively compact set, then \(\mathrm{core}_x(\mathcal{I}) = \overline{\mathrm{co}} \Gamma_x(\mathcal{I})\). The abstract of the paper contains the misleading statement that ``the \(\mathcal{I}\)-core of \(x\) is the least closed convex set containing \(\{x_n \in \omega \colon n \notin I\}\) for all \(I \in \mathcal{I}\)''. This statement repeats in the main text on page 1064 just after the definition of \(\mathcal{I}\)-core. The statement is not correct: if one takes \(X = \mathbb R\) with \(x = (1, 1/2, 1/3, \ldots)\) and \(\mathcal{I} = \mathrm{Fin}\), then \(\mathrm{core}_x(\mathcal{I}) = \{0\}\) but this set does not contain elements of the sequence \(x\). This statement does not affect the results of the paper, because the proofs use only the correct definition \((*)\).