Abstract
A bounded sequence of reals is called almost convergent if all Banach limits take the same value at it. We study the space of almost convergent sequences and operators related to this space.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
⠀
Denote by \( \ell_{\infty} \) the space of bounded sequences \( x=(x_{1},x_{2},\dots) \) with the norm \( \|x\|_{\ell_{\infty}}=\sup_{n\in }|x_{n}| \), where \( \) is the set of naturals with the usual semiorder. The linear functional \( B\in\ell^{*}_{\infty} \) is called the Banach limit if
(1) \( B\geq 0 \), i.e., \( Bx\geq 0 \) for all \( x\in\ell_{\infty} \), \( x\geq 0 \),
(2) \( B{𝟙}=1 \), where \( {𝟙}=(1,1,\dots) \),
(3) \( Bx=BTx \) for all \( x\in\ell_{\infty} \), where \( T \) is the shift operator; i.e., \( T(x_{1},x_{2},\dots)=(x_{2},x_{3},\dots) \).
The existence of Banach limits was announced by Mazur in [1] and the proof was presented by Banach in [2]. The definition directly yields
for all \( x\in\ell_{\infty} \) and \( B\in{\mathfrak{B}} \), where \( {\mathfrak{B}} \) is the set of Banach limits. This means that every \( B\in{\mathfrak{B}} \) is a norm-preserving extension of the functional \( x\to\lim\nolimits_{n\to\infty}x_{n} \) from the subspace of convergent sequences to the whole \( \ell_{\infty} \). According to Lorentz [3], a sequence \( x\in\ell_{\infty} \) almost converges to \( \lambda\in ^{1} \) if \( Bx=\lambda \) for all \( B\in{\mathfrak{B}} \). The set of such sequences is denoted by \( ac_{\lambda} \); while the set of all almost convergent sequences, by \( ac \). In this case we write \( \operatorname{Lim}x_{n}=\lambda \). For example, if \( x_{i+kj}=x_{i} \) for all \( 1\leq i<j \) and \( k\in \), then
In particular, \( \operatorname{Lim}(-1)^{n}=0 \). It was proven in [3] that \( x\in ac_{\lambda} \) if and only if
uniformly in \( m\in \). Sucheston in [4] refined the Lorentz Theorem by showing that
for all \( x\in\ell_{\infty} \) and \( B\in{\mathfrak{B}} \), where
It is clear that \( {\mathfrak{B}} \) is a closed convex subset of the unit sphere of \( \ell^{*}_{\infty} \); therefore, by the Krein–Milman Theorem, \( {\mathfrak{B}}=\overline{\operatorname{conv}}\operatorname{ext}{\mathfrak{B}} \), where \( \operatorname{ext}{\mathfrak{B}} \) is the set of extreme points of \( {\mathfrak{B}} \) and the closure of the convex hull is taken in the weak\( {}^{*} \) topology.
The set \( ac \) is a nonseparable and uncomplemented closed subspace of \( \ell_{\infty} \) [5] which was studied in [6,7,8] and other articles.
Given \( x\in\ell_{\infty} \), we have
This article is devoted to the further study of \( ac \).
Theorem 1
1. If \( m \) is odd, then
2. If \( m \) is even, then
where
Proof
If \( t=0,\pm\pi \), then the equality \( \operatorname{Lim}\sin^{m}nt=0 \) for all \( m\in \) is obvious.
Let \( r\in \), \( t\neq 0,\pm\pi \), and let \( m \) be odd. Then
Since \( \operatorname{Lim}\sin(m-2j)nt=0 \) for every \( t\in ^{1} \); therefore, \( \operatorname{Lim}\sin^{m}nt=0 \).
Let \( r\in \), \( t\neq 0,\pm\pi \), and let \( m \) be even. Then
where
Introduce the set
Then
Theorem 2
If \( f \) is a continuous function on \( [-1,1] \), then \( f(\sin nt)\in ac \) for all \( t\in ^{1} \).
Proof
By the Weierstrass Theorem, for every continuous \( f \) on \( [-1,1] \) and for every \( \varepsilon>0 \) there exists a polynomial \( \sum\nolimits_{m=0}^{k}a_{m}t^{m} \) such that
for all \( t\in[-1,1] \). Hence,
for all \( t\in[-\pi,\pi] \). By Theorem 1,
for every \( t\in[-\pi,\pi] \). From (2), (3), and the closedness of \( ac \) in \( \ell_{\infty} \) it follows that \( f(\sin nt)\in ac \) for every \( t\in[-\pi,\pi] \). ☐
By Theorem 2, the formula \( Af(t)=\operatorname{Lim}f(\sin nt) \) defines some linear operator from \( C[-1,1] \) into the space of periodic functions with period \( 2\pi \).
Theorem 3
The operator \( A \) acts from \( C[-1,1] \) to \( L_{\infty}[-\pi,\pi] \) and the norm of \( A \) equals \( 1 \).
Proof
Let \( \varepsilon>0 \), let \( P_{\varepsilon} \) be a polynomial on \( [-1,1] \) such that \( \|f-P_{\varepsilon}\|_{C}<\varepsilon \), and \( B\in{\mathfrak{B}} \). Then
for every \( t\in[-\pi,\pi] \). By Theorem 1, \( AP_{\varepsilon}(t) \) is a measurable function; therefore, \( Af(t) \) is a measurable function as the uniform limit of a sequence of measurable functions.
The operator \( A \) is positive and the norm of \( A \) is therefore attained at \( f(t)=1 \). Hence, \( \|A\|=1 \). ☐
Theorem 3 is exact in the sense that \( A \) does not act from \( C[-1,1] \) to \( C[-\pi,\pi] \). Indeed, if \( f_{0}(t)=|t| \), then
(see [9, 10]). The function \( Af_{0}(t) \) is discontinuous at each point \( t\in[-\pi,\pi] \) where \( t/\pi \) is rational. For the power functions \( f_{m}(t)=t^{m} \) we obtain some more exact result.
Assertion 1 of Theorem 1 can be strengthened as follows:
Theorem 4
If \( f \) is an odd continuous function on \( [-1,1] \), then \( \operatorname{Lim}f(\sin nt)=0 \) for all \( t\in[-\pi,\pi] \).
It is well known that every odd continuous function on \( [-1,1] \) can be approximated however closely by polynomials of odd degrees. This and Theorem 1 imply Theorem 4.
Theorem 4 states that the kernel of \( A \) contains all odd continuous functions. It turns out that the kernel of \( A \) also contains some even functions. Indeed, if
then
for all \( t\neq 0,\pm\pi \) and \( f_{0}(\sin nt)\in ac_{0} \) for \( t=0,\pm\pi \).
The asymptotic behavior of the sequence \( \operatorname{Lim}\sin^{m}nt \) is described by
Theorem 5
If \( -\pi\leq t\leq\pi \), then
Proof
Let \( t=\frac{i}{j}\pi \). Then \( \sin nt \) is a periodic sequence with period \( 2j \). If \( j \) is odd, then \( \bigl{|}\sin n\frac{i}{j}\pi\bigr{|}<1 \) for all \( 1\leq n\leq 2j \). Hence,
Using (1), we obtain
If \( j \) is even, then
Applying (1) again, we get
Consider the case when \( t/\pi \) is irrational. In this case \( \{nt\ (\operatorname{mod}2\pi) \), \( n\in \} \) is a dense uniformly distributed subset of \( [0,2\pi) \). Let \( 0<\varepsilon<\pi/2 \). Consider
and the complement \( \complement Q \) of \( Q \). Denote the density of \( \complement Q \) by \( q \). By construction,
If \( n\in Q \), then
Hence,
for \( m>1/\varepsilon^{3} \).
Estimate the sequence \( \sin^{m}nt \) on \( \complement Q \). To this end, consider the Cesàro operator
It is well known that \( C \) acts in \( \ell_{\infty} \) and the norm of \( Q \) equals 1. There exists \( B\in{\mathfrak{B}} \) such that \( B \) is invariant under \( C \), i.e., \( Bx=BCx \) for all \( x\in\ell_{\infty} \) [8]. The set of such Banach limits is denoted by \( {\mathfrak{B}}(C) \). Put
Then \( \lim\nolimits_{j\to\infty}(C\chi_{\complement Q})_{j} \) exists and is equal to the density of \( \complement Q \). From this and (4) we obtain
where \( B\in{\mathfrak{B}}(C) \). From the above estimate and (5) it follows that
By arbitrariness of \( \varepsilon>0 \),
The authors are grateful to S. S. Kutateladze, A. S. Usachev, and N. N. Avdeev for their valuable remarks.
References
Mazur S., “O metodach sumowalności,” Ann. Soc. Polon. Math. (Suppl.), 102–107 (1929).
Banach S., Theory of Linear Operators, North-Holland, Amsterdam etc. (1987) (North-Holland Mathematical Library; Vol. 38).
Lorentz G. G., “A contribution to the theory of divergent sequences,” Acta Math., vol. 80, no. 1, 167–190 (1948).
Sucheston L., “Banach limits,” Amer. Math. Monthly, vol. 74, no. 3, 308–311 (1967).
Alekhno E. A., “Some special properties of Mazur functionals. II,” in: Proceedings of the Conference “Analytic Methods of Analysis and Differential Equations” (AMADE-2006). Vol. 2, Inst. Mat. NAN Belarus, Minsk (2006), 17–23.
Bennett G. and Kalton N. J., “Consistency theorems for almost convergence,” Trans. Amer. Math. Soc., vol. 198, 23–43 (1974).
Avdeev N. N., “On the space of almost convergent sequences,” Math. Notes, vol. 105, no. 3, 462–466 (2019).
Semenov E. M., Sukochev F. A., and Usachev A. S., “Geometry of Banach limits and their applications,” Russian Math. Surveys, vol. 75, no. 4, 725–763 (2020).
Li Y.-C., “Almost convergence of sequences in Banach spaces in weak, strong and absolute senses,” Taiwanese J. Math., vol. 10, no. 1, 209–218 (2006).
Semenov E. M. and Usachev A. S., “Fourier–Haar coefficients and Banach limits,” Dokl. Math., vol. 79, no. 2, 191–192 (2009).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Sibirskii Matematicheskii Zhurnal, 2021, Vol. 62, No. 4, pp. 758–763. https://doi.org/10.33048/smzh.2021.62.405
Rights and permissions
About this article
Cite this article
Zvolinskii, R.E., Semenov, E.M. The Subspace of Almost Convergent Sequences. Sib Math J 62, 616–620 (2021). https://doi.org/10.1134/S0037446621040054
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0037446621040054