Order and geometric properties of the set of Banach limits
HTML articles powered by AMS MathViewer
- by
E. Alekhno, E. Semenov, F. Sukochev and A. Usachev
Translated by: the authors - St. Petersburg Math. J. 28 (2017), 299-321
- DOI: https://doi.org/10.1090/spmj/1452
- Published electronically: March 29, 2017
- PDF | Request permission
Abstract:
A positive functional $B$ on the space of bounded sequences $\ell _\infty$ is called a Banach limit if $\|B\|_{\ell _\infty ^*}=1$ and $B(x_1, x_2, x_3, \ldots ) = B(0, x_1, x_2, \ldots )$ for every $(x_1, x_2, x_3, \ldots ) \in \ell _\infty$. The set of all Banach limits is denoted by $\mathfrak {B}$ and the set of its extreme points is denoted by $\mathrm {ext}\thinspace \mathfrak {B}$. Various properties of these sets are studied. For instance, there exists $B \in \mathrm {ext}\thinspace \mathfrak {B}$ such that $Bx = 0$ if $x \in \ell _\infty$ and $\lim _{n \to \infty }(|x_1|+\cdots +|x_n|)/n = 0.$ The set $\mathfrak {B}$ fails to possess the $\mathrm {FP}$-property for an affine nonexpansive sequentially weak$^*$ continuous mapping. A general result is proved, which implies that there is a wide class of subspaces of $\ell _\infty$, defined in terms of Banach limits, that are not complemented in $\ell _\infty$. In particular, this class includes the stabilizer $\mathcal {D}(ac_0)$ and the ideal stabilizer $\mathcal {I}(ac_0)$ of the subspace $ac_0$ of almost convergent sequences. In the second part of the paper, the object of study is the set $\mathfrak {B}(\sigma _m)$ of all Banach limits invariant under the dilation operator $\sigma _m$, $m\in {\mathbb N}$ on $\ell _\infty$ given by \[ \sigma _m(x_1,x_2,\ldots )=(\underbrace {x_1,x_1,\ldots ,x_1}_m, \underbrace {x_2,x_2,\ldots ,x_2}_m, \ldots ). \] If $m\geq 2$, then for all $i\in \mathbb {N}$, $i\geq 2$, the inclusion $\mathfrak {B}(\sigma _m)\subseteq \mathfrak {B}(\sigma _{m^i})$ is proper; there exists $B\in \mathfrak {B}(\sigma _m)$ such that $B\notin \mathfrak {B}(\sigma _n)$ for all $n\in F_m=\mathbb {N}\setminus \{1,m,m^2,m^3,\ldots \}$ and $\|B-B_1\|_{l_\infty ^*}=2$ for all $B_1\in \mathfrak {B}(\sigma _n)$ if $n^j\in F_m$ for all $j\in \mathbb {N}$. If $B_1 \in \mathfrak B(\sigma _m)$, $B_2 \in \mathrm {ext}\thinspace \mathfrak B$, then $\|B_1 - B_2\|_{\ell _\infty ^*}=2$. Moreover, the cardinalities of the extreme point are estimated for some subsets of $\mathfrak {B}$. In particular, $\mathrm {card}\thinspace \big (\mathrm {ext}\thinspace \bigcap _{m=1}^\infty \mathfrak {B}(\sigma _m)\big ) = 2^\mathfrak {c}$.References
- E. A. Alekhno, Some special properties of Mazur’s functionals. II, Proc. Internat. Conf. AMADE-2006, vol. 2, Minsk, 2006, pp. 17–23.
- Egor A. Alekhno, Superposition operator on the space of sequences almost converging to zero, Cent. Eur. J. Math. 10 (2012), no. 2, 619–645. MR 2886562, DOI 10.2478/s11533-011-0135-7
- Egor A. Alekhno, On Banach-Mazur limits, Indag. Math. (N.S.) 26 (2015), no. 4, 581–614. MR 3371963, DOI 10.1016/j.indag.2015.04.001
- E. A. Alekhno, E. M. Semenov, F. A. Sukochev, and A. S. Usachev, Order properties of a set of Banach limits, Dokl. Akad. Nauk 460 (2015), no. 2, 131–132 (Russian); English transl., Dokl. Math. 91 (2015), no. 1, 20–22. MR 3410042, DOI 10.1134/s1064562415010068
- Charalambos D. Aliprantis and Kim C. Border, Infinite dimensional analysis, 3rd ed., Springer, Berlin, 2006. A hitchhiker’s guide. MR 2378491
- Charalambos D. Aliprantis and Owen Burkinshaw, Locally solid Riesz spaces with applications to economics, 2nd ed., Mathematical Surveys and Monographs, vol. 105, American Mathematical Society, Providence, RI, 2003. MR 2011364, DOI 10.1090/surv/105
- Charalambos D. Aliprantis and Owen Burkinshaw, Positive operators, Pure and Applied Mathematics, vol. 119, Academic Press, Inc., Orlando, FL, 1985. MR 809372
- Stefan Banach, Théorie des opérations linéaires, Chelsea Publishing Co., New York, 1955 (French). MR 0071726
- N. L. Carothers, A short course on Banach space theory, London Mathematical Society Student Texts, vol. 64, Cambridge University Press, Cambridge, 2005. MR 2124948
- Ching Chou, On the size of the set of left invariant means on a semi-group, Proc. Amer. Math. Soc. 23 (1969), 199–205. MR 247444, DOI 10.1090/S0002-9939-1969-0247444-1
- Y. Cui, H. Hudzik, and R. Płuciennik, Extreme points and strongly extreme points in Orlicz spaces equipped with the Orlicz norm, Z. Anal. Anwendungen 22 (2003), no. 4, 789–817. MR 2036931, DOI 10.4171/ZAA/1174
- P. G. Dodds, B. de Pagter, A. A. Sedaev, E. M. Semenov, and F. A. Sukochev, Singular symmetric functionals and Banach limits with additional invariance properties, Izv. Ross. Akad. Nauk Ser. Mat. 67 (2003), no. 6, 111–136 (Russian, with Russian summary); English transl., Izv. Math. 67 (2003), no. 6, 1187–1212. MR 2032092, DOI 10.1070/IM2003v067n06ABEH000461
- W. F. Eberlein, Banach-Hausdorff limits, Proc. Amer. Math. Soc. 1 (1950), 662–665. MR 38009, DOI 10.1090/S0002-9939-1950-0038009-0
- Meyer Jerison, The set of all generalized limits of bounded sequences, Canadian J. Math. 9 (1957), 79–89. MR 83697, DOI 10.4153/CJM-1957-012-x
- Gordon Keller and L. C. Moore Jr., Invariant means on the group of integers, Analysis and geometry, Bibliographisches Inst., Mannheim, 1992, pp. 1–18. MR 1274472
- G. G. Lorentz, A contribution to the theory of divergent sequences, Acta Math. 80 (1948), 167–190. MR 27868, DOI 10.1007/BF02393648
- W. A. J. Luxemburg, Nonstandard hulls, generalized limits and almost convergence, Analysis and geometry, Bibliographisches Inst., Mannheim, 1992, pp. 19–45. MR 1274473
- Rodney Nillsen, Nets of extreme Banach limits, Proc. Amer. Math. Soc. 55 (1976), no. 2, 347–352. MR 407530, DOI 10.1090/S0002-9939-1976-0407530-3
- Charles E. Rickart, General theory of Banach algebras, The University Series in Higher Mathematics, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto-London-New York, 1960. MR 0115101
- Evgenii M. Semenov and Fedor A. Sukochev, Invariant Banach limits and applications, J. Funct. Anal. 259 (2010), no. 6, 1517–1541. MR 2659770, DOI 10.1016/j.jfa.2010.05.011
- E. Semenov and F. Sukochev, Extreme points of the set of Banach limits, Positivity 17 (2013), no. 1, 163–170. MR 3027652, DOI 10.1007/s11117-011-0155-3
- E. M. Semënov, F. A. Sukochev, and A. S. Usachev, Geometric properties of the set of Banach limits, Izv. Ross. Akad. Nauk Ser. Mat. 78 (2014), no. 3, 177–204 (Russian, with Russian summary); English transl., Izv. Math. 78 (2014), no. 3, 596–620. MR 3241823, DOI 10.1070/im2014v078n03abeh002700
- Evgeniy Semenov, Fedor Sukochev, Alexandr Usachev, and Dmitriy Zanin, Banach limits and traces on $\mathcal {L}_{1,\infty }$, Adv. Math. 285 (2015), 568–628. MR 3406510, DOI 10.1016/j.aim.2015.08.010
- Louis Sucheston, Banach limits, Amer. Math. Monthly 74 (1967), 308–311. MR 225145, DOI 10.2307/2316038
- Michel Talagrand, Géométrie des simplexes de moyennes invariantes, J. Functional Analysis 34 (1979), no. 2, 304–337 (French). MR 552708, DOI 10.1016/0022-1236(79)90037-5
Bibliographic Information
- E. Alekhno
- Affiliation: Department of Mechanics and Mathematics, Belorussian State University, pr. Nezavisimosti 4, 220030 Minsk, Belorussia
- Email: alekhno@bsu.by
- E. Semenov
- Affiliation: Department of Mathematics, Voronezh State University, Universitetskaya pl. 1, 394006 Voronezh, Russia
- Email: nadezka_ssm@geophys.vsu.ru
- F. Sukochev
- Affiliation: School of Mathematics and Statistics, New South Wales University, Kensington 2052, New South Wales Australia
- MR Author ID: 229620
- Email: f.sukochev@unsw.edu.au
- A. Usachev
- Affiliation: School of Mathematics and Statistics, New South Wales University, Kensington 2052, New South Wales Australia
- Email: a.usachev@unsw.edu.au
- Received by editor(s): December 25, 2015
- Published electronically: March 29, 2017
- Additional Notes: The second author was supported by RFBR (grant no. 14-01-00141a). The third and fourth authors were partially supported by the Australian Research Council (grant DP140100906).
- © Copyright 2017 American Mathematical Society
- Journal: St. Petersburg Math. J. 28 (2017), 299-321
- MSC (2010): Primary 46B15
- DOI: https://doi.org/10.1090/spmj/1452
- MathSciNet review: 3604288