On the dual positive Schur property in Banach lattices
Authors
 First online:
 Received:
 Accepted:
DOI: 10.1007/s1111701202037
Abstract
The paper contains several characterizations of Banach lattices \(E\) with the dual positive Schur property (i.e., \(0 \le f_n \xrightarrow {\sigma (E^*,E)} 0\) implies \(\Vert f_n\Vert \rightarrow 0\)) and various examples of spaces having this property. We also investigate relationships between the dual positive Schur property, the positive Schur property, the positive Grothendieck property and the weak Dunford–Pettis property.
Keywords
Schur property Positive Schur property Grothendieck property Positive Grothendieck propertyMathematics Subject Classification (2000)
46B42 47B65 46B45 46E301 Introduction

the Schur property, if \(x_n \rightarrow 0\) weakly, then \(\Vert x_n\Vert \rightarrow 0\),

the positive Schur property, whenever \(0 \le x_n \rightarrow 0\) weakly implies \(\Vert x_n\Vert \rightarrow 0\),

the strong Schur property if there exists a number \(K > 0\) such that for all \(\delta \in (0,2]\) every \(\delta \)separated sequence in the unit ball contains a subsequence \(K \delta \)equivalent to the standard \(\ell ^1\)basis,

the dual positive Schur property, if \(0 \le f_n \rightarrow 0\) in the \(\text{ weak}^*\) topology, then \(\Vert f_n\Vert \rightarrow 0\).

the Grothendieck property if \(\text{ weak}^*\) null sequences in \(E^*\) are weak null,

the positive Grothendieck property if \(\text{ weak}^*\) null sequences with positive terms are weak null.
In the sequel we will use notations \(E \in \mathrm{(SP)}\), \(E \in \mathrm{(PSP)}\), \(E \in \mathrm{(SSP)}\), \(E \in \mathrm{(DPSP)}\), \(E \in \mathrm{(GP)}\), \(E \in \mathrm{(PGP)}\) to express that a Banach lattice \(E\) has a suitable Schur or Grothendieck property. The “positive” properties are essentially weaker than “nonpositive”. Indeed, \(L^1(\mu ) \in \mathrm{(PSP)}\) but \(L^1(\mu ) \in \mathrm{(SP)}\) if and only if \(\mu \) is purely atomic. The space \(c\) of convergent sequences has the positive Grothendieck property (there even holds \(c \in \mathrm{(DPSP)}\) because every positive functional on \(c\) attends its norm at the sequence \((1,1,1,\dots )\)) but \(c \notin \mathrm{(GP)}\) because nonreflexive spaces having the Grothendieck property are not separable (see [23, Proposition 5.3.10]). Moreover, if \(c_0\) is considered with a norm \(\Vert (a_k)\Vert _n = \sup _{F \le n} \sum _{n \in F}a_n\) and \(E= (\oplus (c_0,\Vert \cdot \Vert _n))_{c_0}\), then \(E^* \in \mathrm{(SP)}\) but \(E^* \notin \mathrm{(SSP)}\) (this example was found by Knaust and Odell—see [33] for details). On the other hand (PSP) and (SP) coincide in the class of discrete Banach lattices (see [30, p. 19]) and (PGP) is equivalent to (GP) for Banach lattices having the interpolation property (see [23, Theorem 5.3.13]).
The lattice operations are discontinuous in the weak and \(\text{ weak}^*\) topologies in infinite dimensional spaces (see [2, Theorem 2.36]) which is a reason that “positive” properties are weaker than their “nonpositive” prototypes. Sometimes the modulus is weakly sequentially continuous or sequentially \(\text{ weak}^*\) continuous. Indeed, since the weak convergence of sequences in spaces \(C(K)\) means their norm boundedness and pointwise convergence then the modulus is weakly sequentially continuous in \(C(K)\). The same holds in discrete Banach lattices with order continuous norms (see [23, Proposition 2.5.23]). Moreover, as it was noticed in [32, Theorem 6.6], the modulus is sequentially \(\text{ weak}^*\) continuous in the dual of a \(\sigma \)Dedekind complete Banach lattice \(E\) if and only if \(E\) is discrete and its norm is order continuous. Below we present an alternative more elementary proof, based on the Schur property, of “if” part.
Proposition 1.1.
If \(E\) is a discrete Banach lattice with order continuous norm, then the operations \(x \rightarrow x\) and \(f \rightarrow f\) are sequentially \(\sigma (E,E^*)\) continuous in \(E\) and sequentially \(\sigma (E^*,E)\) continuous in \(E^*\), respectively.
Proof
Let \((e_{\alpha })_{\alpha \in \mathcal A }\) be a complete disjoint system in \(E\) consisting of discrete elements. Since the norm in \(E\) is order continuous, then every \(x \in E\) is of the form \(x = \sum _{\alpha }t_{\alpha }(x)e_{\alpha }\) where numbers \(t_{\alpha }(x)\) are uniquely determined and \(\{\alpha : t_{\alpha }(x) \ne 0\}\) is at most countable. Functionals \(f_{\alpha }\) defined by \(f_{\alpha }(x) = t_{\alpha }(x)\) are homomorphisms, and so they are discrete in \(E^*\). It is easy to see that \((f_{\alpha })_{\alpha \in \mathcal A }\) is a complete disjoint system in \(E^*\). According to [2, Theorem 1.75] for an arbitrary \(f \in E^*\) there exists a unique family \((s_{\alpha }(f))_{\alpha \in \mathcal A }\) of numbers such that \(f = \text{(o)} \sum _{\alpha }s_{\alpha }(f)f_{\alpha }\), i.e. there exists a net \((g_{\Delta }) \subset E_+^*\) decreasing to zero, indexed by finite nonempty subsets of \(\mathcal A \), satisfying the condition \(f  \sum _{\alpha \in \Delta }s_{\alpha }(f)f_{\alpha } \le g_{\Delta }\). Hence for every \(x \in E\) there holds \(f(x)  \sum _{\alpha \in \Delta }s_{\alpha }(f)f_{\alpha }(x) \le g_{\Delta }(x) \downarrow 0\), i.e., \(f(x) = \sum _{\alpha }s_{\alpha }(f)f_{\alpha }(x)\).
Suppose \(g_n \rightarrow 0\) in the \(\text{ weak}^*\) topology and fix \(x = \sum _{\alpha }t_{\alpha }(x)e_{\alpha } \in E\). Since the convergence is unconditional then for every \(a = (a_{\alpha }) \in \ell ^{\infty }(\mathcal A )\) there exists \(x_a = \sum _{\alpha }a_{\alpha }t_{\alpha }(x)e_{\alpha } \in E\). Clearly \(g_n(x_a) = \sum _{\alpha }a_{\alpha }t_{\alpha }(x)s_{\alpha }(g_n)\), and so \(c_n = (t_{\alpha }(x)s_{\alpha }(g_n))_{\alpha } \in \ell ^1(\mathcal A )\). Moreover \(g_n(x_a) \rightarrow 0\) for every \(a\), i.e., \((c_n)\) is weakly null in \(\ell ^1(\mathcal A )\). Hence \(\Vert c_n\Vert = \sum _{\alpha }t_{\alpha }(x)s_{\alpha }(g_n) \rightarrow 0\) because \(\ell ^1(\mathcal A ) \in \mathrm{(SP)}\). Finally, for \(x \in E_+\) we obtain \(g_n(x) = \sum _{\alpha }s_{\alpha }(g_n)t_{\alpha }(x) = \sum _{\alpha }s_{\alpha }(g_n)t_{\alpha }(x) \rightarrow 0\), i.e., \(g_n \xrightarrow {\sigma (E^*,E)} 0\).
Similar arguments work for the weak convergence. Assume \(x_m = \sum _{\alpha }t_{\alpha }(x_m)e_{\alpha } \rightarrow 0\) weakly in \(E\). Without loss of generality we can assume \(\mathcal A = \mathbb N \) because \(\mathcal A _0 = \bigcup _{m=1}^{\infty } \{\alpha : t_{\alpha }(x_m) \ne 0\}\) is at most countable, \(x_m \in B = \{e_{\alpha } : \alpha \in \mathcal A _0\}^{\text{ dd}}\), and we can restrict our considerations to the band \(B\) where \((e_{\alpha })_{\alpha \in \mathcal A _0}\) is an unconditional basis.
Fix \(f \in E_+^*\). Since the expression of every \(x \in E\) is unconditional, then the equality \(f_a(x) = \sum _n a_nt_n(x)f(e_n)\) defines a continuous linear functional \(f_a\) on \(E\) for every \(a = (a_n) \in \ell ^{\infty }\). Therefore \((t_n(x)f(e_n)) \in \ell ^1\). Hence elements \(c_m = (t_n(x_m)f(e_n))\) form a weak null sequence in \(\ell ^1\) because \(\sum _na_nt_n(x_m)f(e_n) = f_a(x_m) \rightarrow 0\) for every \(a = (a_n) \in \ell ^{\infty }\). Using the Schur property we obtain \(f(x_m) = \sum _nt_n(x_m)f(e_n) \rightarrow 0\), i.e., \(x_m \rightarrow 0\) in the weak topology. \(\square \)
Remark 1.2
 1.
If \(E\) is a Banach lattice without discrete elements and the norm on \(E\) is order continuous, then for every \(x \in E_+\) there exists a weak null sequence \((x_n)\) with \(x_n = x\) for every \(n\) (see [8, Theorem 2.2]).
 2.
If the dual \(E^*\) does not contain discrete elements, then for every \(f \in E^*_+\) there exists \(\text{ weak}^*\) null sequence \((f_n)\) such that \(f_n = f\) for every \(n\) (see [9, Theorem 3.1]).
It is easy to observe that the modulus preserves weak convergence of sequences with disjoint terms. Using [1, Lemma 1.6.1] and an idea from [31] we obtain the following result.
Proposition 1.3
If \(x_n \wedge x_m = 0\) and \(x_n \rightarrow x\) weakly, then \(x = 0\) and \(x_n \rightarrow 0\) weakly.
Proof.
Sequences \((x_n)\), \((x_n)\) form unconditional basic sequences and \(x \in \overline{\mathrm{span }}\{x_n: n \in \mathbb N \}\). If \((f_n)\) is the sequence of biorthogonal functionals associated to \((x_n)\) then \(f_k(x) = \lim _{n \rightarrow \infty } f_k(x_n) = 0\), and so \(x = 0\). The equality \(\sum _{k=n}^mt_kx_k = \sum _{k=n}^m t_kx_k\) shows that the basic sequences are equivalent. Therefore \(\overline{\mathrm{span }}\{x_n: n \in \mathbb N \}\) and \(\overline{\mathrm{span }}\{x_n: n \in \mathbb N \}\) are isomorphic and there exists an isomorphism mapping \(x_n\) onto \(x_n\) (see [20] a remark after Definition 1.a.7). Finally \(x_n \rightarrow 0\) weakly because the weak topology of a subspace is a restriction of the weak topology to this subspace.
\(\square \)
An analogue of Proposition 1.3 is false for \(\text{ weak}^*\) convergence. An example presented below is based on an idea borrowed from [9]. Let \(K\) be a compact space containing a sequence \((s_n)\) convergent to \(s_0\) such that \(s_k \ne s_m\) for \(k \ne m\). Denote by \(e_n\) the evaluation at point \(s_n\). Define \(F_n \in C(K)^*\) putting \(F_n = e_{3n3}  e_{3n2} + e_{3n1}  e_{3n}\) for even \(n\) and \(F_n = e_{3n2}  e_{3n1}\) for odd \(n\). There holds \(F_m \perp F_j\) for \(m \ne j\) and \(F_n \rightarrow 0\) \(*\)weakly. On the other hand \(F_{2n} \rightarrow 4e_0\) and \(F_{2n1} \rightarrow 2e_0\) in the \(\text{ weak}^*\) topology. Since \(e_0 \ne 0\), then the \(\text{ weak}^*\) limit of \((F_n)\) does not exists.
Our example together with next proposition gives an alternative proof of the following known fact.
Let \(K\) be an infinite quasiStonian compact space. A sequence \((s_n) \subset K\) is convergent if and only if it is eventually constant.
Proposition 1.4
Suppose that a Banach lattice \(E\) is a \(\sigma \)Dedekind complete. If \(f_n \xrightarrow {\sigma (E^*,E)} f\) and \(f_m \wedge f_j = 0\) for \(m \ne j\), then \(f = 0\) and \(f_n \xrightarrow {\sigma (E^*,E)} 0\).
Proof
Let a sequence \((f_n)\) consisting of disjoint elements be \(\text{ weak}^*\) convergent to \(f\). Choose \(x \in E\) and \(\varepsilon > 0\). According to [3, Theorem 4.42] we can find \(g \in E^*_+\) satisfying the condition \((f_n  g)^+(x) \le \frac{\varepsilon }{2}\) for all \(n\). Put \(h_n = (f_n  g)^+\). Since \(f_n \le h_n + g\), then by Riesz decomposition property \(f_n = u_n + v_n\) where \(u_n,v_n \in E_+^*\) and \(u_n \le h_n\), \(v_n \le g\). Clearly \(v_n \le f_n\) and so \(v_m \wedge v_k = 0\). Hence \(\sum _{n=1}^m v_n(x) = (\bigvee _{n=1}^m v_n)(x) \le g(x)\) and we obtain \(v_n(x) < \frac{\varepsilon }{2}\) for sufficiently large \(n\). Therefore \(f_n(x) \le f_n(x) = u_n(x) + v_n(x) \le h_n(x) + v_n(x) < \varepsilon \) for large \(n\). We have just proved \(f_n \rightarrow 0\) in the \(\text{ weak}^*\) topology what implies \(f_n \xrightarrow {\sigma (E^*,E)} 0\), i.e., \(f = 0\). \(\square \)
Remark 1.5
As we showed before, Proposition 1.4 is false if we reject the assumption of the \(\sigma \)Dedekind completeness. On the other hand there exist non \(\sigma \)Dedekind complete Banach lattices for which the conclusion of Proposition 1.4 remains true. Indeed, it is well known that \(\ell ^{\infty } \in \mathrm{(GP)}\) and that the Grothendieck property is preserved by quotients. Hence the conclusion of Proposition 1.4 holds for \(E = \ell ^{\infty }/c_0\) due to Proposition 1.3 but \(\ell ^{\infty }/c_0\) is not \(\sigma \)Dedekind complete.
2 The dual positive Schur property and the positive Grothendieck property
It is clear that every (linear and continuous) operator \(T: E \rightarrow c_0\) is represented by some \(\text{ weak}^*\) null sequence \((f_n)\) and \(T\) is weakly compact (compact) if and only if \(f_n \rightarrow 0\) weakly (\(f_n \rightarrow 0\) in norm). Therefore the following equivalences are obvious.
\(E \in \mathrm{(PGP)}\) if and only if every positive operator \(T: E \rightarrow c_0\) is weakly compact,
\(E \in \mathrm{(DPSP)}\) if and only if every positive operator \(T: E \rightarrow c_0\) is compact.
Proposition 2.1
 (a)
The dual \(E^*\) has order continuous norm.
 (b)
The norm on \(E\) is not order continuous when \(E\) is infinite dimensional.
 (c)
\(E^* \notin \mathrm{(DPSP)}\) whenever \(\mathrm dim E = \infty \).
 (d)
If \(E\) is additionally \(\sigma \)Dedekind complete and infinite dimensional, then \(E\) is non separable and \(E^* \in \mathrm{(PSP)}\) but \(E^* \notin \mathrm{(SP)}\) (in particular, \(E^*\) is not discrete).
Proof
(a) The positive Schur property implies the order continuity of a norm.
(b) It is enough to apply the following characterization: a norm in \(E\) is order continuous if and only if norm bounded disjoint positive functionals on \(E\) are \(\text{ weak}^*\) convergent to zero (see [32, Theorem 2.2]).
(c) is obvious as in immediate consequence of (a) and (b).
(d) If \(E\) were separable then the norm on \(E\) would be order continuous which contradicts (b). Similarly, supposing \(E^* \in \mathrm{(SP)}\) we obtain \(E\) does not contain any subspace isomorphic to \(\ell ^1\) (see [30, Theorem 1]). According to [32, Theorem 4.7] both \(E\) and \(E^*\) have order continuous norms which is impossible by (b). The dual \(E^*\) can not be discrete because for discrete spaces the (PSP) and (SP) coincide. \(\square \)
A result of Dodds–Fremlin ([11, Corollary 2.7]) will be useful for our further considerations. We remind the reader of it below (an elegant and short proof may be found in [13, Proposition 4]).
Theorem 2.2
Let \(E\) be a Banach lattice. A sequence \((f_n) \subset E^*\) is norm convergent to zero if and only if \(f_n \rightarrow 0\) in the \(\text{ weak}^*\) topology and \(f_n(x_n) \rightarrow 0\) for every norm bounded disjoint sequence \((x_n) \subset E\).
Our next result shows that we can restrict sequences appearing in the definition of the dual positive Schur property to disjoint sequences. It is useful when we want to verify if a concrete Banach lattice has the dual positive Schur property.
Proposition 2.3
A Banach lattice \(E\) has the dual positive Schur property if and only if an arbitrary sequence of positive disjoint functionals \(\text{ weak}^*\) convergent to zero is norm null.
Proof
Let \(E^*_+ \ni f_n \rightarrow 0\) in the \(\text{ weak}^*\) topology and let disjoint terms of a sequence \((x_n)\) belong to positive part of the unit ball of \(E\). According to Theorem 2.2 it is sufficient to show \(f_n(x_n) \rightarrow 0\). Suppose that our conjecture is false. Passing to a subsequence if necessary we can assume \(f_n(x_n) > \varepsilon > 0\) for all \(n\). Applying [32, Proposition 0.3.11] we find \(g_n \in E_+^*\) such that \(g_n \wedge g_m = 0\), \(g_n \le f_n\) and \(g_n(x_n) = f_n(x_n)\). Therefore \((g_n)\) is \(\text{ weak}^*\) null, and it should be \(\Vert g_n\Vert \rightarrow 0\) but \(\varepsilon < f_n(x_n) = g_n(x_n) \le \Vert g_n\Vert \), a contradiction. \(\square \)
The authors of [6] noticed that the dual positive Schur property is related to the so called bisequence property. We say that a Banach lattice \(E\) satisfies the bisequence property if \(f_n(x_n) \rightarrow 0\) for every weak null sequence \((x_n) \subset E_+\) consisting of disjoint elements and every \(\textit{weak}^*\) null sequence \((f_n) \subset E^*_+\). Our succeeding result shows conditions equivalent to the bisequence property.
Proposition 2.4
 (a)
For arbitrary sequences \((x_n) \subset E\), \((f_n) \quad \subset E^*\) such that \(x_k \wedge x_m = 0\), \(f_k \wedge f_m = 0\), \(x_n \xrightarrow {\sigma (E,E^*)} 0\), \(f_n \xrightarrow {\sigma (E^*,E)} 0\) there holds \(f_n(x_n) \rightarrow 0\).
 (b)
\(E\) has the bisequence property.
 (c)
For all sequences \((x_n) \subset E_+\), \((f_n) \subset E^*\) such that \(f_k \wedge f_m = 0\), \(x_n \xrightarrow {\sigma (E,E^*)} 0\), \(f_n \xrightarrow {\sigma (E^*,E)} 0\) there holds \(f_n(x_n) \rightarrow 0\).
 (d)
For all sequences \((x_n) \subset E_+\), \((f_n) \subset E^*_+\) such that \(x_n \xrightarrow {\sigma (E,E^*)} 0\), \(f_n \xrightarrow {\sigma (E^*,E)} 0\) there holds \(f_n(x_n) \rightarrow 0\).
Proof
(a) \(\Rightarrow \) (b) It is enough to repeat the proof of Proposition 2.3.
(b) \(\Rightarrow \) (d) Let \((x_n) \subset E_+\), \((f_n) \subset E^*_+\) be weak null and \(\text{ weak}^*\) null respectively. Since \(X = \{x_n: n \in \mathbb N \} \cup \{0\}\) is weakly compact, then according to [3, Theorem 4.34] \(v_n \rightarrow 0\) weakly for every sequence \((v_n) \subset \mathrm sol X\) consisting of disjoint elements. The bisequence property implies \(\sup _k f_k(v_n) \rightarrow 0\). Hence an operator \(T: E \rightarrow c_0\) defined by \(T(x) = (f_n(x))\) satisfies a condition \(\Vert T(v_n)\Vert \rightarrow 0\) for sequences \((v_n) \subset \mathrm sol X\) of disjoint elements. Fix \(\varepsilon > 0\). Applying [3, Theorem 4.36] we can find \(u_{\varepsilon } \in E_+\) such that \(\sup _kf_k((x_n  u_{\varepsilon })^+) = \Vert T((x_n  u_{\varepsilon })^+)\Vert < \frac{\varepsilon }{2}\) for all \(n\). Moreover \(f_n(u_{\varepsilon }) < \frac{\varepsilon }{2}\) for sufficiently large \(n\). Finally \(0 \le f_n(x_n) \le f_n((x_n  u_{\varepsilon })^+) + f_n(u_{\varepsilon })\le \sup _k f_k((x_n  u_{\varepsilon })^+)  f_n(u_{\varepsilon }) < \varepsilon \) for large \(n\), i.e., \(f_n(x_n) \rightarrow 0\).
(d) \(\Rightarrow \) (c) \(\Rightarrow \) (a) Obvious. \(\square \)
Below we formulate a few simple characterizations of the dual positive Schur property. They show the property is related to the weak Dunford–Pettis property considered in [26, Section 9], [5, 31]. Let us recall that a Banach lattice \(E\) has the weak Dunford–Pettis property (shortly \(E \in \mathrm{(wDPP)}\)) if every weakly compact operator on \(E\) maps weak null disjoint sequences onto norm convergent. As it was shown in [5, Theorem 2.2] the condition \(E \in \mathrm{(wDPP)}\) means exactly that weakly compact operators on \(E\) transform weak null positive sequences onto norm convergent.
Proposition 2.5
 (a)
\(E \in \mathrm{(DPSP)}\).
 (b)
\(E \in \mathrm{(PGP)}\) and \(E^* \in \mathrm{(PSP)}\).
 (c)
\(E \in \mathrm{(PGP)}\) and \(E \in \mathrm{(wDPP)}\).
 (d)
\(E^*\) has order continuous norm and \(E\) has the bisequence property.
Remark 2.6
The equivalence (a) \(\Leftrightarrow \) (d) was proved in [6].
Proof.
(a) \(\Rightarrow \) (b) Obvious.
(b) \(\Rightarrow \) (c) By [31, Theorem 4] a condition \(E^* \in \mathrm{(PSP)}\) implies \(E \in \mathrm{(wDPP)}\).
(c) \(\Rightarrow \) (d) Since the positive Grothendieck property is inherited by positively complemented Riesz subspaces and, as we have already noticed, \(\ell ^1 \notin \mathrm{(PGP)}\), then our the assumption \(E \in \mathrm{(PGP)}\) implies \(E\) does not contain any Riesz subspace order isomorphic to \(\ell ^1\), i.e., the dual norm is order continuous (see [32, Theorem 3.2]). Suppose that \(x_m \wedge x_k = 0\), \(x_n \rightarrow 0\) weakly, \(0 \le f_n \rightarrow 0\) in the topology \(\sigma (E^*,E)\). The positive Grothendieck property implies the operator \(T: E \rightarrow c_0\) given by the equality \(T(x) = (f_n(x))\) is weakly compact. Therefore \(0 \le f_n(x_n) \le \sup _k f_k(x_n) = \Vert T(x_n)\Vert \rightarrow 0\) by the weak Dunford–Pettis property, i.e., \(E\) has the bisequence property.
(d) \(\Rightarrow \) (a) see [6] the proof of Proposition 3.4. \(\square \)
The dual positive Schur property can be also characterized by suitable properties of operators.
Proposition 2.7
 (a)
\(E \in \mathrm{(DPSP)}\).
 (b)
Every order weakly compact operator on \(E\) is Mweakly compact.
 (c)
Every positive weakly compact operator mapping \(E\) into a Banach lattice is semicompact.
 (d)
If \(F\) is a discrete Banach lattice with order continuous norm, then every positive operator \(T: E \rightarrow F\) is compact.
 (e)
Every positive operator \(T: E \rightarrow c_0\) is compact.
Proof.
(a) \(\Rightarrow \) (b) Since \(E \in \mathrm{(PGP)}\) then by [23, Theorem 5.3.13] order weakly compact operators on \(E\) are weakly compact but weakly compact operators on \(E\) are Mweakly compact because \(E^* \in \mathrm{(PSP)}\)–see [30, Theorem 8].
(b) \(\Rightarrow \) (c) Apply [3, Theorem 5.72].
(c) \(\Rightarrow \) (d) It is enough to notice that almost order bounded sets in discrete Banach lattices with order continuous norms are relatively compact.
(d) \(\Rightarrow \) (e) \(\Rightarrow \) (a) are obvious. \(\square \)
The statement (d) formulated in Proposition 2.7 motivates considerations of the following property of a Banach lattice \(E\).
\((*)\) If \(F\) is a Banach lattice with order continuous norm and \(T: E \rightarrow F\) is positive, then \(T\) is compact.
Let us note that \(\sigma \)Dedekind complete Banach lattices \(E\) satisfying \((*)\) are finite dimensional. Indeed, condition \((*)\) implies \(E\) does not contain any order isomorphic copy of \(\ell ^{\infty }\). On the contrary there would exist a positive projection \(P: E \rightarrow \ell ^{\infty }\). On account of [32, Theorem 6.5] we can choose a positive non compact operator \(T: \ell ^{\infty } \rightarrow L^1[0,1]\). Thus the composition \(T {\circ } P\) is a non compact map from \(E\) into \(L^1[0,1]\), a contradiction. Since \(E\) is \(\sigma \)Dedekind complete and contains no copies of \(\ell ^{\infty }\) its norm is order continuous. Condition \((*)\) implies the identity on \(E\) is compact, i.e., \(E\) is finite dimensional.
On the other hand there exist spaces \(C(K)\) satisfying \((*)\) and we can characterize them.
Proposition 2.8
 (a)
\(E^*\) is order isomorphic to \(\ell ^1(\Gamma )\) for some set \(\Gamma \).
 (b)
\(E\) does not contain any closed subspace isomorphic (i.e., linearly homeomorphic) to \(\ell ^1\).
 (c)
\(E\) satisfies \((*)\).
 (d)
Every positive operator \(T: E \rightarrow (\ell ^{\infty })^*\) is compact.
Proof.
(a) \(\Rightarrow \) (b) Since \(E^* \in \mathrm{(SP)}\) then \(E\) does not contain any copy of \(\ell ^1\) (see [30, Theorem 1]).
(b) \(\Rightarrow \) (c) Suppose \(F\) is a Banach lattice with the order continuous norm. Every positive operator \(T: E \rightarrow F\) maps the unit ball, which is an order bounded set, into a weakly compact set in \(F\) because order intervals in \(F\) are weakly compact. The space \(E\) has the Dunford–Pettis property, and so \(T\) is a Dunford–Pettis operator but classes of Dunford–Pettis operators and compact operators defined on spaces without copies of \(\ell ^1\) are the same.
(c) \(\Rightarrow \) (d) Obvious.
(d) \(\Rightarrow \) (a) Using [32, Theorem 6.7] we obtain \(E^*\) is a discrete ALspace, and so it is order isomorphic to some \(\ell ^1(\Gamma )\). \(\square \)
Remark 2.9.
If \(K\) is a countable compact space then \(C(K)\) satisfies \((*)\) because \((C(K))^*\) is isomorphic to \(\ell ^1\) (see [1, p. 97 Remark 4.5.3]).
We should also mention a necessary condition for the dual positive Schur property which is due to Wójtowicz (see [35, Theorem 1]). Since the result is presented in [35] without proof we show it below with details.
Proposition 2.10
If a Banach lattice \(E\) has the dual positive Schur property, then \(E\) can not be positively and surjectively mapped onto any infinite dimensional Banach lattice with order continuous norm.
Proof.
Assume that an infinite dimensional Banach lattice \(F\) possesses order continuous norm and \(T: E \rightarrow F\) is a positive surjection. The adjoint operator \(T^*\) is a positive isomorphic embedding by the closed range theorem (see [27, Theorem 1134]). Since \(F^*\) is infinite dimensional it contains a sequence \((g_n)\) of norm one positive disjoint element. It has to be \(g_n \rightarrow 0\) in the \(\text{ weak}^*\) topology according to the order continuity of \(F\) (see [32, Theorem 2.2]). Clearly \(T^*(g_n) \ne 0\) by injectivity of \(T^*\). Put \(f_n = T^*(g_n)/\Vert T^*(g_n)\Vert \). There holds \(0 \le f_n\), \(\Vert f_n\Vert = 1\) and \(M = \inf \Vert T^*(g_n)\Vert > 0\). Hence \(f_n(x) \le M^{1}g_n(T(x))\) for every \(x \in E\), i.e., \(f_n \rightarrow 0\) in the \(\text{ weak}^*\) topology, which contradicts the dual positive Schur property of \(E\). \(\square \)
In the last section we will show that the theorem converse to Proposition 2.10 is false. We finish this part formulating some characterization of the positive Grothendieck property which is closely related to exercise 5.3.E2 in [23]. The following version of Räbiger’s Lemma (see [26, Lemma 2.1]) will be useful as a tool of a proof.
Lemma 2.11
 (a)
There does not exist any positive linear surjective operator from \(E\) onto \(c_0\).
 (b)
If \(0 \le f_n \rightarrow 0\) in the topology \(\sigma (E^*,E)\), then \((f_n)\) is not equivalent to the unit vector basis in \(\ell ^1\).
We omit the proof of Lemma 2.11 because it is enough to repeat arguments used in [26].
Proposition 2.12
 (a)
\(E \in \mathrm{(PGP)}\).
 (b)
If \(F\) is a non reflexive Banach lattice with order continuous norm, then none positive operator \(T: E \rightarrow F\) is surjective.
 (c)
There does not exists any positive surjection \(T: E \rightarrow c_0\).
Proof.
(a) \(\Rightarrow \) (b) Suppose \(F\) is a non reflexive Banach lattice whose norm is order continuous. The space \(F\) contains an order isomorphic copy of \(\ell ^1\) or \(c_0\) (see [32, Theorem 8.1]). Order copies of \(\ell ^1\) are positively complemented in every Banach lattice and order continuity of the norm implies that also order copies of \(c_0\) are positively complemented in \(F\) (see [32, Theorem 1.8]). If \(T: E \rightarrow F\) were a positive surjection, then the composition of \(T\) with a positive projection would be a positive surjection mapping \(E\) onto \(\ell ^1\) or \(c_0\) but positive surjective images of spaces with the positive Grothendieck property have the positive Grothendieck, a contradiction because \(\ell ^1, c_0 \notin \mathrm{(PGP)}\).
(b) \(\Rightarrow \) (c) Obvious.
(c) \(\Rightarrow \) (a) It is known that there exists a positive linear surjection from \(\ell ^1\) onto \(c_0\) (see [23] exercise 2.1.E1), and so \(E\) does not possess any positively complemented copy of \(\ell ^1\), i,e, the dual norm is order continuous which means the weak sequential completeness of \(E^*\). Let \(0 \le f_n \xrightarrow {\sigma (E^*,E)} 0\). According to Lemma 2.11 and the Rosenthal’s \(\ell ^1\)theorem the sequence \((f_n)\) contains a weak Cauchy subsequence \((f_{n_k})\), and so \((f_{n_k})\) is weakly convergent. Hence \(f_n \rightarrow 0\) in the weak topology. \(\square \)
3 A remark on \(\lambda \)sums of Banach lattices
A description of the space of order continuous functionals on \((\oplus E_k)_{\lambda }\) is an aim of our present considerations. We will need an additional notation. Namely, if a sequence \((\sum _{k=1}^nx_k)\) is order convergent to \(x\) we will write \(x = (\mathrm{o}) \sum _{k=1}^{\infty } x_k\).
Let \(E = (\oplus E_k)_{\lambda }\) and let \(J_k: E_k \rightarrow E\) be an operator defined by \(J_k(x) = (0,\dots ,0,x,0,\dots )\) where \(x\) is located on \(k\)th place. Clearly \(J_k\) is an order isomorphism onto a band in \(E\). The spaces of order continuous functionals on \(E\) and \(E_k\) will be denoted by \(E_n\) and \((E_k)_n\) respectively.
Fix \(f \in E_n\) and put \(f_k = f \circ J_k\). Clearly \(f_k \in (E_k)_n\). We claim \((\Vert f_k\Vert _k^*) \in \lambda ^{\times }\) where \(\Vert \cdot \Vert _k^*\) is the dual norm in \(E_k^*\). Let all terms of a sequence \((b_k) \in \lambda ^{\times }\) be strictly positive. Choose \(x_k\) in the unit ball of \(E_k\) such that \(\Vert f_k\Vert _k^* < f_k(x_k) + b_k\) and let \(\varepsilon _k \in \{1,0,1\}\) be such that \(\varepsilon _kf_k(x_k) = f_k(x_k)\). Since \(\lambda \) is an ideal in \(\mathbb R ^\mathbb{N }\) then \((a_k\varepsilon _kx_k) \in E\) for an arbitrary \((a_k) \in \lambda \) and \(f((a_k\varepsilon _kx_k)) = f((\mathrm{o}) \sum _{k=1}^{\infty }J_k(a_k\varepsilon _kx_k)) = \sum _{k=1}^{\infty }a_kf_k(x_k)\) by order continuity of \(f\). Therefore \(\sum _{k=1}^{\infty }a_k\Vert f_k\Vert _k^* \le f((a_k\varepsilon _kx_k)) + \sum _{k=1}^{\infty }a_kb_k < \infty \) and we are done. We have just proved that the equality \(T(f) = (f_k)\) defines a linear operator mapping \(E_n\) into \((\oplus (E_k)_n)_{\lambda ^{\times }}\).
Let us note that for every \(0 \le x \in E_k\) there holds \((f \circ J_k)(x) = \sup _{z \le J_k(x)} f(z) = \sup _{y \le x}f(J_k(y) = f \circ J_k(x)\), and so \(T\) is a homomorphism. If \((x_k) \in E\), then \(f((x_k)) = f((\mathrm{o})\sum _{k=1}^{\infty } J_k(x_k)) = \sum _{k=1}^{\infty }f_k(x_k)\). The last observation implies injectivity of \(T\). Moreover \(T\) is a surjection. Indeed, fix \((f_k) \in (\oplus (E_k)_n)_{\lambda ^{\times }}\). For an arbitrary \(x = (x_k) \in E\) the series \(\sum _{k=1}^{\infty }f_k(x_k)\) is absolutely convergent and the formula \(f(x) = \sum _{k=1}^{\infty }f_k(x_k)\) defines a linear functional on \(E\). We claim \(f \in E_n\). Assume \(x_{\alpha } = (x_{\alpha }(k)) \downarrow _{\alpha } 0\) in \(E\). Choose \(\varepsilon > 0\) and \(\alpha _0\). Let \(k_0\) be such that \(\sum _{k=k_0+1}^{\infty }f_k(x_{\alpha _0}(k)) \le \frac{\varepsilon }{2}\). Since \(x_{\alpha }(k) \downarrow 0\) in \(E_k\) and \(f_k \in (E_k)_n\), then \(\sum _{k=1}^{k_0}f_k(x_{\alpha }(k)) < \frac{\varepsilon }{2}\) for sufficiently large \(\alpha \ge \alpha _0\). Hence \(f(x_{\alpha }) < \varepsilon \) for large \(\alpha \).
Our previous considerations lead us to the following result.
Proposition 3.1
If \(E = (\oplus E_k)_{\lambda }\), then the space \(E_n\) of order continuous functionals on \(E\) is order isomorphic (and so linearly homeomorphic ) to \((\oplus (E_k)_n)_{\lambda ^{\times }}\).
The \(\lambda \)sums allows us to produce examples of Banach lattices with various properties. For instance repeating arguments used in [30] we can prove that if \(\lambda \in \mathrm{(SP)}\), then \((\oplus E_k)_{\lambda } \in \mathrm{(SP)}\) whenever all \(E_k\) have the Schur property and \((\oplus E_k)_{\lambda } \in \mathrm{(PSP)}\) when \(E_k \in \mathrm{(PSP)}\) for all \(k\).
4 Examples
It is easy to check that \(C(K) \in \mathrm{(DPSP)}\) (compare [6]) for every compact space \(K\) because positive functionals on \(C(K)\) attend their norms on the constant function equals one. Using [23, Theorem 5.3.13] and remembering that \((C(K))^* \in \mathrm{(PSP)}\), we obtain quickly a characterization of AMspaces having the positive dual Schur property.
Proposition 4.1
 (a)
\(E \in \mathrm{(DPSP)}\).
 (b)
\(E \in \mathrm{(PGP)}\).
 (c)
\(E\) does not contain any positively complemented order copy of \(c_0\).
If an AMspace \(E \in \mathrm{(DPSP)}\), then also its even duals have the dual positive Schur property because they are AMspaces with a strong unit. Below we show that many Musielak–Orlicz spaces have the dual positive Schur property.
 (1)
\(\psi (r,\cdot )\) is \(\Sigma \)measurable for every \(r\),
 (2a)
\(\psi (r,t) = 0\) if and only if \( r = 0\),
 (2b)
\(\lim _{r \rightarrow 0^+} \psi (r,t) = 0\) for every \(t \in T\),
 (2c)
\(\psi (\cdot ,t)\) is convex for every \(t \in T\),
 (2d)
\(\lim _{r \rightarrow \infty } \frac{\psi (r,t)}{r} = \infty \) for every \(t \in T\).
Every Musielak–Orlicz space has the Levi property (i.e., norm bounded increasing nets of positive elements have a supremum) and the ideal \(L^{\psi }(\mu )_A = \{f \in L^{\psi }(\mu ): f \ge f_{\alpha } \downarrow 0 \,\, \Rightarrow \,\, \Vert f_{\alpha }\Vert \rightarrow 0\}\) of elements with order continuous norm is super order dense in \(L^{\psi }(\mu )\) (see [28, Theorem 1.1, Corollary 1.4]). Repeating the proof of [22, Theorem 1] (or using results from [24, Section 13]) we obtain \(L^{\psi }(\mu )_n = L^{\psi ^*}(\mu )\), i.e., the space of order continuous functionals on \(L^{\psi }(\mu )\) can be identified with \(L^{\psi ^*}(\mu )\).
Modifying ideas used by Leung in [19] we can prove the following result.
Proposition 4.2
If \(\psi \) satisfies condition (\(\psi _{\infty }\)) and \(1_T \in L^{\psi }(\mu )\), then \(L^{\psi }(\mu ) \in \mathrm{(DPSP)}\).
Proof.
Let \(0 \le f_n \rightarrow 0\) in the \(\text{ weak}^*\) topology and suppose \(\Vert f_n\Vert \nrightarrow 0\). Passing to a subsequence, if necessary, and using Theorem 2.2 we can assume \(f_n(x_n) > 2\eta > 0\) for some norm bounded disjoint sequence \((x_n) \subset L^{\psi }(\mu )_+\). Denote \(M = \sup _n\Vert x_n\Vert \) and put \(A_{n,k} = \{t: x_n(t) > k\}\). Since \(1_T \in L^{\psi }(\mu )\) then \(2\eta < f_n(x_n1_{A_{n,k}}) + kf_n(1_T)\) and the \(\text{ weak}^*\) convergence of \((f_n)\) allows us to find a subsequence \((n_k)\) such that \(\eta < f_{n_k}(x_{n_k}1_{A_{n_k,k}})\). Define functions \(y_k = \frac{1}{2(M+1)}x_{n_k}1_{A_{n_k,k}}\). For an arbitrary \(\varepsilon > 0\) there exists \(r_0\) having a property \(\psi (\frac{1}{2} r,t) < \varepsilon \psi (r,t)\) for all \(t \in T\) and \(r \ge r_0\). Taking numbers \(k > r_0\) we obtain \(\int _T\psi (y_k(t),t) \, d\mu \le \varepsilon \int _T \psi (\frac{1}{M+1}x_{n_k}1_{A_{n_k,k}}(t),t) \, d\mu \le \varepsilon \), i.e., \(\int _T \psi (y_k(t),t) \, d\mu \rightarrow 0\). Thus \(\sum _{j=1}^{\infty } \int _T \psi (y_{k_j}(t),t) \, d\mu < \infty \) for some subsequence \((k_j)\). Since \(y_k\) are disjoint then \(\int _T \psi (\bigvee _{j=1}^m y_{k_j}(t),t) \, d\mu = \sum _{j=1}^m \int _T \psi (y_{k_j}(t), t) \, d\mu \), and so the sequence \((\bigvee _{j=1}^m y_{k_j})\) is norm bounded in \(L^{\psi }(\mu )\). According to the Levi property \(\sup _j y_{k_j} = y\) exists in \(L^{\psi }(\mu )\) but \(f_{n_{k_j}}(y) \ge f_{n_{k_j}}(y_{n_{k_j}}) > \eta (2(M+1))^{1} > 0\), a contradiction because \(f_{n_{k_j}} \rightarrow 0\) in the \(\text{ weak}^*\) topology.
\(\square \)
Let us note that if \(L^{\psi }(\mu )_{ns}\) denotes the space of continuous singular functionals on \(L^{\psi }(\mu )\) (i.e., the orthogonal complement of \(L^{\psi }(\mu )_n\)), then \(L^{\psi }(\mu )_{ns} = \{f \in (L^{\psi }(\mu ))^*: f(L^{\psi }(\mu )_A) = \{0\}\}\). Indeed, as we said before \(L^{\psi }(\mu )_A\) is order dense in \(L^{\psi }(\mu )\), and so a functional \(f\) vanishing on \(L^{\psi }(\mu )_A\) has the trivial carrier. Using [39, Theorem 24.2] we obtain \(f \in L^{\psi }(\mu )_{ns}\). Conversely, if \(f \in L^{\psi }(\mu )_{ns}\) and additionally the carrier of \(f\) reduces to zero, then the absolute kernel \(N_f\) of \(f\) is order dense. Therefore every \(0 \le x \in L^{\psi }(\mu )_A\) is a supremum of an increasing net of positive elements \((x_{\alpha }) \subset N_f\). Since \(L^{\psi }(\mu )_A\) is an ideal, then \(x_{\alpha } \in L^{\psi }(\mu )_A\) and \(x_{\alpha } \rightarrow x\) in norm. We obtained that \(f\) vanishes on \(L^{\psi }(\mu )_A\). Now consider a functional \(f \in L^{\psi }(\mu )_{ns}\) whose carrier is nonzero. By [39, Theorem 24.3] \(f = \sup _{\alpha } f_{\alpha }\) for some increasing net \((f_{\alpha })\) of singular functionals with trivial carriers. There holds \(f(x) = \sup _{\alpha } f_{\alpha }(x)\) for \(0 \le x \in L^{\psi }(\mu )\), and so \(f(L^{\psi }(\mu )_A) = 0\) because \(f_{\alpha }(L^{\psi }(\mu )_A) = \{0\}\).
As a consequence of our previous considerations we obtain that \(L^{\psi }(\mu )_{ns}\) is order isomorphic and isometric to \((L^{\psi }(\mu )/L^{\psi }(\mu )_A)^*\) but the quotient \(L^{\psi }(\mu )/L^{\psi }(\mu )_A\) is an AMspace (see [29] the proof of Theorem 10). Finally \(L^{\psi }(\mu )_{ns}\) is an ALspace, and we get the following result: if \(L^{\psi }(\mu ) \in \mathrm{(DPSP)}\), then all even duals of \(L^{\psi }(\mu )\) have the dual positive Schur property. Indeed, Musielak–Orlicz spaces \(L^{\psi }(\mu )\) having the dual positive Schur property are perfect because \(L^{\psi }(\mu )_n = L^{\psi ^*}(\mu )\) has an order continuous norm as a band in the space \((L^{\psi }(\mu ))^* \in \mathrm{(PSP)}\). Therefore \((L^{\psi ^*}(\mu ))^* = L^{\psi ^*}(\mu )_n = L^{\psi ^{**}}(\mu ) = L^{\psi }(\mu )\). Hence even duals of \(L^{\psi }(\mu )\) are of the form \(L^{\psi }(\mu ) \oplus C(K)\) for some compact space \(K\). Arguments applied above allow us to formulate more general result.
If a Banach lattice \(E \in \mathrm{(DPSP)}\) is perfect and \(E\) is a semiMspace (i.e., \(E_{ns}\) is order isomorphic and isometric to an ALspace ), then even duals of \(E\) have the dual positive Schur property.
Sometimes a property \(E^* \in \mathrm{(PSP)}\) is sufficient for \(E \in \mathrm{(DPSP)}\).
Proposition 4.3
 (a)
\(L^{\psi ^*}(\mu ) \in \mathrm{(PSP)}\).
 (b)
\(L^{\psi }(\mu ) \in \mathrm{(DPSP)}\).
Proof.
(a) \(\Rightarrow \) (b) The positive Schur property implies that \(L^{\psi ^*}(\mu )\) is weakly sequentially complete, and so also the dual \((L^{\psi }(\mu ))^*\) is weakly sequentially complete because \((L^{\psi }(\mu )^* = L^{\psi ^*}(\mu ) \oplus L^1(\nu )\) for some measure \(\nu \). By [18, Theorem 6] (or [12, Proposition 6.1]) the space \(L^{\psi }(\mu )\) has the Grothendieck property and Proposition 2.5 finishes the proof.
(b) \(\Rightarrow \) (a) Obvious. \(\square \)
There exist spaces \(L^{\psi }(\mu ) \in \mathrm{(DPSP)}\) generated by functions \(\psi \) which do not satisfy the assumption (\(\psi _{\infty }\)). Consider the counting measure \(\mu \) on \(\mathbb N \) and a function \(\psi (r,n) = \frac{1}{q_n}r^{q_n}\) where \(1 < q_n \rightarrow \infty \). Clearly \(\frac{\psi (2r,n)}{\psi (r,n)} = 2^{q_n}\) and \(\psi ^*(r,n) = \frac{1}{p_n}r^{p_n}\) where \(\frac{1}{p_n} + \frac{1}{q_n} = 1\). Since the numbers \(b_n = \sup _{r > 0} \frac{r(\psi ^*(r,n))^{\prime }}{\psi ^*(r,n)}\) tend to one (in fact we have \(b_n = p_n\)), then \(L^{\psi ^*}(\mu ) \in \mathrm{(SP)}\) by Yamamuro theorem (see [30, 36]). Applying Proposition 4.3 we obtain \(L^{\psi }(\mu ) \in \mathrm{(DPSP)}\).
Proposition 4.4
 (a)
\((\oplus E_n)_{\ell ^{\infty }}\) is a semiMspace.
 (b)
All \(E_n\)’s are semiMspaces and \(\lim _{n \rightarrow \infty }\mu _2(E_n) = 1\).
Consider the space \(E = (\oplus \ell ^{q_k}_k)_{\ell _{\infty }}\) where \(1 < q_k \rightarrow \infty \). \(E\) is a semiMspace because \(\mu _2(\ell ^{q_k}_k) = 2^{\frac{1}{q_k}}\). According to Proposition 3.1 we have \(E_n = (\oplus \ell _k^{p_k})_{\ell ^1}\) (where \(\frac{1}{p_k} + \frac{1}{q_k} = 1\)). Therefore \(E_n \in \mathrm{(SP)}\) (see [30]). Since \(E^* = E_n \oplus L^1(\nu )\) for some measure \(\nu \), then \(E^* \in \mathrm{(PSP)}\). Räbiger showed in [26, Satz 9.7] that \(E \in \mathrm{(GP)}\). Hence \(E \in \mathrm{(DPSP)}\) by Proposition 2.5 and also even duals of \(E\) have the dual positive Schur property because \(E\) is perfect.
All our examples of Banach lattices with the dual positive Schur property are such that their even duals have this property too. It is natural to ask if there exists a Banach lattice \(E \in \mathrm{(DPSP)}\) with \(E^{**} \notin \mathrm{(DPSP)}\).
We finish the paper presenting an example of a Banach lattice which confirms that the theorem converse to Proposition 2.10 is false. Hernadez in [15] indicated a hereditarily \(\ell ^1\) Orlicz sequence space \(\ell ^{\varphi }\) (i.e., every infinite dimensional closed subspace of \(\ell ^{\varphi }\) contains an isomorphic copy of \(\ell ^1\)) without the Schur property. The space \(\ell ^{\varphi }\) has order continuous norm because it does not contain \(c_0\). Put \(E = \ell ^{\varphi ^*}\). Since \(E^*\) is order isomorphic to \(\ell ^{\varphi } \oplus L^1(\nu )\) then it is weakly sequentially complete. Applying [18, Theorem 6] (or [12, Proposition 5.2]) we obtain \(E \in \mathrm{(GP)}\). Moreover \(E \notin \mathrm{(DPSP)}\). Indeed, if there were \(E \in \mathrm{(DPSP)}\), then \(E^*\) would have the positive Schur property. Hence \(\ell ^{\varphi } \in \mathrm{(PSP)}\) but discreteness of \(\ell ^{\varphi }\) implies \(\ell ^{\varphi } \in \mathrm{(SP)}\), a contradiction.
We claim that \(E\) can not be positively mapped onto any Banach lattice with order continuous norm. On the contrary, suppose that there exists a Banach lattice \(F\) whose norm is order continuous and \(T: E \rightarrow F\) is a positive surjection. Repeating arguments used in the first part of the proof of Proposition 2.12 we obtain \(F\) has to be reflexive. By the closed range theorem the adjoint operator \(T^* : F^* \rightarrow E^* = \ell ^{\varphi } \oplus L^1(\nu )\) is a positive isomorphic embedding. Let \(P: E^* \rightarrow \ell ^{\varphi }\) and \(Q: E^* \rightarrow L^1(\nu )\) be band projections. According to the reflexivity of \(F^*\) every norm bounded sequence \((f_n) \subset F^*\) contains weakly convergent subsequences \((f_{n_k}^+)\), \((f_{n_k}^)\). Therefore \((Q \circ T^*(f_{n_k}^+))\), \((Q \circ T^*(f_{n_k}^))\) are weakly convergent positive sequences in \(L^1(\nu )\), and so they are norm convergent because \(L^1(\nu ) \in \mathrm{(PSP)}\). We have just shown that \(Q \circ T^*\) is compact.
The subspace \((P \circ T^*)(F^*)\) is closed in \(\ell ^{\varphi }\) and it has to be finite dimensional because \((P \circ T^*)(F^*)\) is reflexive as a continuous image of a reflexive space and \(\ell ^{\varphi }\) is hereditarily \(\ell ^1\). Hence \(P \circ T^*\) is compact. Finally \(T^*\) is compact being the sum of two compact operators which contradicts the fact that \(T^*\) is an isomorphism.
Open Access
This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.