Extremal properties of the set of vector-valued Banach limits (Q317741)

In the paper [Funct. Anal. Appl. 47, No. 4, 315--318 (2013); translation from Funkts. Anal. Prilozh. 47, No. 4, 82--86 (2013; Zbl 1326.40005)], \textit{R. Armario}, \textit{F. J. Pérez-Fernández} and the author introduced the following concept of vector-valued Banach limits: if \(X\) is a real normed space, then a Banach limit on \(X\) is a continuous, linear operator \(T:\ell^{\infty}(X) \rightarrow X\) of norm one which is shift-invariant and satisfies \(T((x_n)_{n\in \mathbb{N}})=\lim_{n\to \infty}x_n\) for every norm-convergent sequence \((x_n)_{n\in \mathbb{N}}\) in \(X\). It was proved in [loc.\,cit.]\ that every Banach space \(X\) which is 1-complemented in its bidual admits a Banach limit, whereas there are no Banach limits on \(c_0\). In the present paper, the author shows that every 1-injective Banach space admits a Banach limit. He further studies connections between vector-valued Banach limits and almost convergence of vector-valued sequences, and also proves some results on separating sets (a nonempty subset \(G\subseteq \ell^{\infty}(X)\) is called separating if \(T|_G=S|_G\) implies \(T=S\) for all Banach limits \(T\) and \(S\) on \(X\)). In the last section, some results on the geometric structure of the set of all Banach limits are provided. Reviewer's remark: It seems to have escaped the author's attention that every \(1\)-injective Banach space is \(1\)-complemented in its bidual so that this result is already covered by [loc.\,cit.].