Abstract
We consider the question of when is every positive compact operator, between two given Banach lattices, approximable regular. An immediate consequence of our main result is that, within the class of uniformly convex Banach lattices, the purely atomic ones are completely characterized by the fact that every positive compact operator on them is approximable regular.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Given a Banach lattice X, let \(\mathcal A^r(X)\) be the Banach algebra of approximable regular operators on X (see below for definition), and let \(\mathcal K^r(X)\) be the linear span of the positive compact operators on X. One readily sees that \(\mathcal A^r(X)\subseteq \mathcal K^r(X)\), and it is known that if X and \(X'\) are order continuous, then \(\mathcal A^r(X)\) and \(\mathcal K^r(X)\) are both closed order and algebra ideals of the Banach algebra \(\mathcal L^r(X)\) of regular operators on X.
It was first discovered by Fremlin [4], that \(\mathcal A^r(L^2[0,1])\subsetneq \mathcal K^r(L^2[0,1])\). This was later extended by Wickstead to arbitrary non-atomic \(L^p\)-spaces, for \(1<p<\infty \) [7, Theorem 3.4]. (For \(p=1\) or \(\infty \), the corresponding algebra \(\mathcal L^r(X)\) coincides with the Banach algebra of all bounded operators on X, so the result no longer holds).
Since \(\mathcal A^r(X) = \mathcal K^r(X)\) whenever X is order continuous and atomic, one easily obtains, combining this latter fact with the above result, that within the class of \(L^p\)-spaces with \(1<p<\infty \), the equality \(\mathcal A^r(X) = \mathcal K^r(X)\) completely characterizes the atomic ones [7, Corollary 3.5]. It is one of the main purposes of this short note to further extend this last result to the class of uniformly convex Banach lattices. We shall consider, though, the more general question of when is every positive compact operator, between two Banach lattices, approximable regular.
2 Some preliminaries
Throughout, we write \(X'\) for the topological dual of a Banach space X, \(T'\) for the topological adjoint of a linear operator T between Banach spaces and \(\Vert T\Vert \) for its operator norm.
Recall a Banach lattice X is said to satisfy an upper (resp. a lower) p-estimate for some \(1<p<\infty \) if for some constant C and every finite disjoint sequence \(x_1,\ldots ,x_n\in X\),
The lower (resp. upper) index of X , denoted s(X) (resp. \(\sigma (X)\)), is then defined by \(s(X) := \sup \big \{p\in [1,\infty ] : X \text { satisfies an upper p-estimate}\big \}\) (resp. \(\sigma (X) := \inf \big \{p\in [1,\infty ] : X \text { satisfies a lower p-estimate}\big \}\)). For any Banach lattice X, \(s(X)\le \sigma (X)\) and \(\sigma (X)^{-1}+s(X')^{-1} = \sigma (X')^{-1}+s(X)^{-1} = 1\) (with the convention that \(\infty ^{-1} = 0\)). Furthermore, if \(\sigma (X)<\infty \) then X is order continuous. It is also known that a Banach lattice X is uniformly convex with respect to some equivalent lattice norm if and only if \(1<s(X)\le \sigma (X)<\infty \) (see for instance [5, Theorems 1.f.1 & 1.f.7]).
Recall a linear operator T from a Banach lattice X to a Banach lattice Y is said to be p-convex (resp. p-concave) for some \(1\le p<\infty \) if for some constant C and every finite sequence \(x_1,\ldots ,x_n\in X\),
A Banach lattice X is said to be p-convex (resp. p-concave) for some \(1\le p<\infty \) if \(\text {id}_X\) (:= the identity operator on X) is p-convex (resp. p-concave).
As customary, a linear map T between Banach lattices X and Y shall be said to be positive if \(T(X_+)\subseteq Y_+\) and regular if it can be written as a linear combination of positive maps. We shall write \(\mathcal L^r(X,Y)\) for the Banach space of all regular maps from X to Y, endowed with the regular norm \(\Vert \cdot \Vert _r\).
We shall write \(\mathcal A^r(X,Y)\) for the approximable regular operators from X to Y (i.e., the norm-closure of the finite-rank operators in \(\mathcal L^r(X,Y)\)), and \(\mathcal K^r(X,Y)\) for the linear span of the positive compact operators from X to Y. Clearly, \(\mathcal A^r(X,Y)\subseteq \mathcal K^r(X,Y)\). Furthermore, if \(X'\) and Y are order continuous, then \(\mathcal A^r(X,Y)\) and \(\mathcal K^r(X,Y)\) are both order ideals of \(\mathcal L^r(X,Y)\) and \(\mathcal K^r(X,Y)\) is norm closed. As customary, if \(X = Y\), we write \(\mathcal A^r(X)\), \(\mathcal K^r(X)\) and \(\mathcal L^r(X)\) for \(\mathcal A^r(X,Y)\), \(\mathcal K^r(X,Y)\) and \(\mathcal L^r(X,Y)\), respectively.
Lastly, we assume all our Banach lattices to be real.
3 When is \(\mathcal A^r(X,Y)\pmb {\subsetneq }\mathcal K^r(X,Y)\)?
Our main result, Theorem 1 below, shall provide conditions on a pair X, Y of Banach lattices under which the inclusion \(\mathcal A^r(X,Y)\subseteq \mathcal K^r(X,Y)\) is strict. The extension announced in the introduction will follow readily from this.
It is easy to see that if either one of X or Y is order continuous and atomic, or if \(\mathcal L^r(X,Y) = \mathcal L(X,Y)\) (e.g., if X is an AL-space and Y is Levi, or if Y is order complete with a strong order unit [1, Theorem 9]) and Y has the (Grothendieck) approximation property, then \(\mathcal A^r(X,Y) = \mathcal K^r(X,Y)\). In the opposite direction, we now prove the following:
Theorem 1
Let X and Y be non-atomic Banach lattices such that \(s(X)>1\), \(\sigma (Y)<\infty \) and either X or \(Y'\) is order continuous. Then \(\mathcal A^r(X,Y)\subsetneq \mathcal K^r(X,Y)\).
Proof
Suppose first X is order continuous. Then, since X and Y are non-atomic, they both contain non-trivial bands without atoms and with weak order units (see for instance [5, Proposition 1.a.9]). We shall continue to denote these bands by X and Y, respectively. Furthermore, we shall assume (as we can, by [5, Theorem 1.b.14]) that there are probability spaces \((\varLambda ,\varSigma _\varLambda ,\lambda )\) and \((\varOmega ,\varSigma _\varOmega ,\mu )\) such that X and Y are norm-dense order ideals of \(L^1(\lambda )\) and \(L^1(\mu )\), respectively, and also that \(\Vert x\Vert _1\le \Vert x\Vert \le 2\Vert x\Vert _\infty \)\((x\in L^\infty (\lambda ))\) and \(\Vert y\Vert _1\le \Vert y\Vert \le 2\Vert y\Vert _\infty \)\((y\in L^\infty (\mu ))\).
Since \(s(X)>1\), X is p-convex for some \(1<p\le 2\) (see [5, Theorem 1.f.7]), and therefore, the embedding \(X\hookrightarrow L^1(\lambda )\) is p-convex. It follows easily from the proof of [5, Theorem 1.d.11] (recall \(L^1(\lambda )\) is r-concave for every \(r\ge 1\)) that there is a p-additive norm \(|||\cdot |||_p\) on X such that both inclusion maps, \(\imath _1:X\rightarrow (X,|||\cdot |||_p)\) and \(\imath _2:(X,|||\cdot |||_p)\rightarrow L^1(\lambda )\), are continuous. It is not hard to see that the map \(\nu :\varSigma _\varLambda \rightarrow [0,+\infty )\), \(A\mapsto |||\chi _A|||_p^p\), defines a measure on \(\varLambda \) (its \(\sigma \)-additivity follows easily from the order continuity of \(|||\cdot |||_p\)), which is absolutely continuous with respect to \(\lambda \) (for \(\Vert \chi _A\Vert _1 = 0\)\(\Rightarrow \)\(\Vert \chi _A\Vert = 0\)) and satisfies \(|||x|||_p^p = \int _\varLambda |x|^p d\nu \)\((x\in X)\). Then a standard application of [5, Theorem 2.c.9] allows one to construct a collection \(\{\varLambda _{i,n}: 1\le i\le 2^n,\, n\in \mathbb N\cup \{0\}\}\subset \varSigma _\varLambda \) such that \(\varLambda _{1,0} = \varLambda \) and for every \(n\in \mathbb N\): (i) \(\varLambda _{i,n}\cap \varLambda _{j,n} = \emptyset \) whenever \(i\ne j\); (ii) \(\bigcup _{i=1}^{2^n} \varLambda _{i,n} = \varLambda \); (iii) \(\varLambda _{2i-1,n}\cup \varLambda _{2i,n} = \varLambda _{i,n-1}\)\((1\le i\le 2^{n-1})\); and (iv) \(\big (\int _{\varLambda _{i,n}} \imath _2'(\chi _\varLambda )^q \,d\nu \big )^{1/q} = 2^{-n/q} |||\imath _2'(\chi _\varLambda )|||_p'\)\((1\le i\le 2^n)\), where we have written \(|||\cdot |||_p'\) for the norm on \((X,|||\cdot |||_p)'\) and \(\chi _\varLambda \) for the linear functional \(x\mapsto \int _\varLambda x\,d\lambda \)\((x\in L^1(\lambda ))\).
Also, since \(\sigma (Y)< \infty \), Y is r-concave for some \(r<\infty \) (see [5, Theorem 1.f.7]), and in turn, the embedding \(L^\infty (\mu )\hookrightarrow Y\) is r-concave. Once again, the proof of [5, Theorem 1.d.11] (this time, taking into account that \(L^\infty (\mu )\) is s-convex for every \(s\ge 1\)) yields the existence of an r-additive norm \(|||\cdot |||_r\) on \(L^\infty (\mu )\) such that the inclusion maps \(\jmath _1:L^\infty (\mu )\rightarrow (L^\infty (\mu ),|||\cdot |||_r)\) and \(\jmath _2:(L^\infty (\mu ),|||\cdot |||_r)\rightarrow Y\) are both continuous. In turn, \(A\mapsto |||\chi _A|||_r^r\)\((A\in \varSigma _\varOmega )\) defines a \(\mu \)-absolutely continuous measure, and therefore, for some \(g\in L^1(\mu )_+\), we have that
Note that we can assume \(\int _\varOmega g\,d\mu = 1\), for \(|||\chi _\varOmega |||_r\le \Vert \jmath _1\Vert \le \) the convexity constant of \(L^\infty (\mu )\) (see [5, Theorem 1.d.11]), which is 1. As in the previous paragraph, choose a family \(\{\varOmega _{i,n} : 1\le i\le 2^n,\, n\in \mathbb N\cup \{0\}\}\subset \varSigma _\varOmega \) satisfying \(\varOmega _{1,0} = \varOmega \), the same conditions (i)–(iii) as \(\{\varLambda _{i,n}\}\), and also \(\int _{\varOmega _{i,n}} g\,d\mu = 2^{-n}\)\((1\le i\le 2^n,\, n\in \mathbb N)\).
Now, for every \(n\in \mathbb N\cup \{0\}\), let \(\varSigma _n\) be the \(\sigma \)-algebra generated by \(\{\varLambda _{i,n}\times \varOmega _{j,n}: 1\le i,j\le 2^n\}\); let \(\mathcal E_n\) be the conditional expectation with respect to \(\varSigma _n\); let \(\mathfrak {M}_n\) be the space of \(\varSigma _n\)-measurable functions on \(\varLambda \times \varOmega \), and given \(k\in \mathfrak M_n\), let \(\text {Int}(k):X\rightarrow Y\), \(x\mapsto \int _\varLambda k(\omega ,t)x(t) \,d\lambda (t)\). For each pair \(m,n\in \mathbb N\cup \{0\}\), with \(m<n\), set
The key fact needed in the proof of Theorem 1 (established in [4] for \(L^2[0,1]\) and then in [7] for any \(L^p\)-space with \(1<p<\infty \)) can now be stated as follows:
Lemma 1
Let \(\{\varLambda _{i,n}: 1\le i\le 2^n,\, n\in \mathbb N\cup \{0\}\}\) and \(\{\varOmega _{i,n}: 1\le i\le 2^n,\, n\in \mathbb N\cup \{0\}\}\) be as above. Then for every \(m\in \mathbb N\cup \{0\}\) and \(h\in \mathfrak M_m\),
Proof
Let \(r_n:= \sum _{i=1}^{2^n} (-1)^i \chi _{\varOmega _{i,n}}\)\((n\in \mathbb N)\). Fix n and define \(k:\varLambda \times \varOmega \rightarrow \mathbb R\) by
Note that \(k\in \mathfrak M_{m,N}\)\((0\le m\le 2^n,\, N\ge 2^{n+2^n})\). For each \(1\le i\le 2^n\) let \(\lambda _{i,n}\) be the linear functional on X, defined by \(\lambda _{i,n}(x):= \int _{\varLambda _{i,n}} x\,d\lambda \)\((x\in X)\). Then, for every \(x\in X\),
for some constant C independent of n [by (1) above and Khintchine’s inequalities]. Next, set \(x_i:= \chi _{\varLambda _{i,n}} x\)\((1\le i\le 2^n)\), let \(\widehat{\lambda _{i,n}}\) be the norm continuous extension of \(\lambda _{i,n}\) to \(L^1(\lambda )\)\((1\le i\le 2^n)\), and let \(\imath :X\rightarrow L^1(\lambda )\) be the inclusion map, so \(\imath = \imath _2\circ \imath _1\). Then
where we have used that \(\imath _2'(\widehat{\lambda _{i,n}}) = \chi _{\varLambda _{i,n}} \imath _2'(\chi _\varLambda )\), which is easy to verify. In turn, letting \(M:= |||\imath _2'(\chi _\varLambda )|||_p'\), we obtain that
and combining this last estimate with (2), we arrive at
To finish, simply note that if \(h = \sum _{i,j} h_{ij}\chi _{\varLambda _{i,m}\times \varOmega _{j,m}}\in \mathfrak M_m\) and \(k\in \mathfrak M_N\), with \(m<N\), then
\(\square \)
We now resume the first part of the proof by constructing a positive compact operator \(S:X\rightarrow Y\) (essentially as in [4]) which is not approximable. First, fix \(\varepsilon \in (0,1/2)\) and set \(h_0 := \chi _{\varLambda \times \varOmega }\). Choose \(n_1\in \mathbb N\) big enough so that \(\min _{k\in \mathfrak M_{0,n_1}} \Vert \text {Int}(h_0k)\Vert \le \varepsilon \) (which exists by the lemma), then choose \(k_1\in \mathfrak M_{0,n_1}\) (so \(\mathcal E_0(h_0k_1) = 0\)) such that \(\Vert \text {Int}(h_0k_1)\Vert \le \varepsilon \) and set \(h_1:= h_0+k_1\). In general, if \(h_i\) and \(n_i\) have been chosen for some \(i\ge 1\), choose \(n_{i+1}>n_i\) so that \(\min _{k\in \mathfrak M_{n_i,n_{i+1}}} \Vert \text {Int}(h_ik)\Vert \le \varepsilon /2^i\) (again possible by the lemma), choose \(k_{i+1}\in \mathfrak M_{n_i,n_{i+1}}\) such that \(\Vert \text {Int}(h_ik_{i+1})\Vert \le \varepsilon /2^{i}\) and set \(h_{i+1}:= h_i(h_0+k_{i+1})\). (Note that \(\mathcal E_{n_i}(h_ik_{i+1}) = 0\).) For every \(i\in \mathbb N\cup \{0\}\), let \(T_i:= \text {Int}(h_i)\) and define \(S:= \lim _i T_i = \text {Int}(h_0) + \sum _{i=0}^\infty \text {Int}(h_ik_{i+1})\). It is clear from its definition that S is a non-zero positive compact operator. Furthermore, for every \(i\in \mathbb N\), \(\Vert T_{i+1}-T_i\Vert _r = \Vert T_i\Vert \ge \Vert T_i(\chi _{\varLambda })\Vert = \Vert \chi _\varOmega \Vert \ge 1\) (the first equality because \(|h_{i+1}-h_i| = |h_ik_{i+1}| = h_i\)\((i\in \mathbb N)\)).
It remains to be shown that \(S\notin \mathcal A^r(X,Y)\). To this end, suppose towards a contradiction \(S\in \mathcal A^r(X,Y)\). At this point one can appeal to the integral representation of operators in \(\mathcal A^r(X,Y)\) (as in [4, 7]) to derive a contradiction. Instead, however, we shall appeal to the fact that if \(X'\) and Y are order continuous then so is \(\mathcal A^r(X,Y)\) [3, Theorem 2.8]. First note \(S\wedge (T_0-2^{-i}T_i) = 0\)\((i\in \mathbb N)\), for if \(k_i = \sum _{k,l} t_{kl} \chi _{\varLambda _{k,n_i}\times \varOmega _{l,n_i}}\), and \(P_k\) and \(Q_l\)\((1\le k,l\le 2^{n_i})\) are the band projections onto the bands generated by \(\chi _{\varLambda _{k,n_i}}\) and \(\chi _{\varOmega _{l,n_i}}\), then
Since \(S\wedge 2^iT_0\le S\wedge 2^i(T_0-2^{-i}T_i) + S\wedge T_i\), it follows that \(S\wedge T_i = S\wedge 2^iT_0\)\((i\in \mathbb N)\), and hence that \(S = \sup _i S\wedge T_i\), so \(\lim _i \Vert S-S\wedge T_i\Vert _r = 0\) (by the order continuity of \(\mathcal A^r(X,Y)\)). But
and since \(\lim _i \Vert S-S\wedge T_i\Vert _r = 0\), we would have that \(\lim _i \Vert T_i-S\Vert _r = 0\), which is clearly impossible since \((T_i)\) is not Cauchy. This concludes the proof of the theorem in the case where X is order continuous.
Now suppose \(Y'\) is order continuous, so Y is reflexive (see for instance [2, Theorems 4.69 and 4.71]). By the previous part of the proof, \(\mathcal A^r(Y',X')\subsetneq \mathcal K^r(Y',X')\). Let \(T\in \mathcal K^r(Y',X'){\setminus }\mathcal A^r(Y',X')\), let \(\kappa :X\rightarrow X''\) be the canonical embedding, and let \(S:= T'\circ \kappa \). Clearly, \(S\in \mathcal K^r(X,Y)\), so it will suffice to show \(S\notin \mathcal A^r(X,Y)\). Suppose towards a contradiction that there is a sequence \((T_n)\subset \mathcal F(X,Y)\) (:= the finite-rank operators in \(\mathcal L^r(X,Y)\)) such that \(\lim _n \Vert T_n-S\Vert _r = 0\). We would have then that \(\Vert T_n'-S'\Vert _r\le \Vert T_n-S\Vert _r\) (see [6, Corollary on page 231]), and therefore, that \(\lim _n \Vert T_n'-S'\Vert _r = 0\), which is impossible since \(S' = \kappa '\circ T'' = T\). \(\square \)
As an immediate consequence of Theorem 1, we now have the announced extension of [7, Corollary 3.5].
Corollary 1
Let X be a Banach lattice such that \(1<s(X)\le \sigma (X)<\infty \) (or equivalently, isomorphic to a uniformly convex Banach lattice). Then \(\mathcal A^r(X) = \mathcal K^r(X)\) if and only if X is atomic.
Little seems to be known about the ideal structure of \(\mathcal K^r(X)\), where by ideal we mean order and algebra ideal. We bring this note to a close with what seems to us a natural question regarding the ideal structure of \(\mathcal K^r(X)\), for which we do not have yet an answer:
Let \(1<p<\infty \). Is \(\mathcal A^r(L^p[0,1])\) the only closed non-trivial proper order and (two-sided) algebra ideal of \(\mathcal K^r(L^p[0,1])\)?
References
Abramovich, Y.A., Aliprantis, C.D.: Positive Operators. Handbook of the Geometry of Banach spaces, vol. I, pp. 85–122. North-Holland, Amsterdam (2001)
Aliprantis, C.D., Burkinshaw, O.: Positive Operators, Pure and Applied Mathematics, vol. 119. Academic Press, Orlando, FL (1985)
Chen, Z.L., Wickstead, A.W.: The order properties of \(r\)-compact operators on Banach lattices. Acta Math. Sin. (Engl. Ser.) 23(3), 457–466 (2007)
Fremlin, D.H.: A positive compact operator. Manuscr. Math. 15(4), 323–327 (1975)
Lindenstrauss, J., Tzafriri, L.: Classical Banach Spaces II. Function Spaces, Results in Mathematics and Related Areas, vol. 97. Springer, Berlin (1979)
Schaefer, H.H.: Banach Lattices and Positive Operators. Springer, Berlin (1974)
Wickstead, A.W.: Positive compact operators on Banach lattices: some loose ends. Positivity and its applications (Ankara, 1998). Positivity 4(3), 313–325 (2000)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Blanco, A. A result on the ideal structure of \(\mathcal L^r(X)\) for uniformly convex X. Positivity 23, 485–491 (2019). https://doi.org/10.1007/s11117-018-0619-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11117-018-0619-9