VECTOR LATTICES OF WEAKLY COMPACT OPERATORS ON

0 downloads 0 Views 301KB Size Report
Jul 21, 1999 - lattice E and a compact operator T on E dominated by a positive ... apply to redistribution; see http://www.ams.org/journal-terms-of-use ...... 0 ≤ TnP ↑, 0 ≤ UnP ↓ and TnP ≤ UmP for all n, m ∈ N. From (4) the supremum.
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 352, Number 1, Pages 397–412 S 0002-9947(99)02431-9 Article electronically published on July 21, 1999

VECTOR LATTICES OF WEAKLY COMPACT OPERATORS ON BANACH LATTICES Z. L. CHEN AND A. W. WICKSTEAD

Abstract. A result of Aliprantis and Burkinshaw shows that weakly compact operators from an AL-space into a KB-space have a weakly compact modulus. Groenewegen characterised the largest class of range spaces for which this remains true whenever the domain is an AL-space and Schmidt proved a dual result. Both of these authors used vector-valued integration in their proofs. We give elementary proofs of both results and also characterise the largest class of domains for which the conclusion remains true whenever the range space is a KB-space. We conclude by studying the order structure of spaces of weakly compact operators between Banach lattices to prove results analogous to earlier results of one of the authors for spaces of compact operators.

1. Introduction In 1981 Aliprantis and Burkinshaw [8] proved that every weakly compact operator from an AL-space into a KB-space has a weakly compact modulus. Proofs of this may be found in, for example, Theorem 3.5.14 of [14] or Theorem 17.14 of [9]. In 1982, G. Groenewegen [12] extended this result to the case of operators from an AL-space into a Banach lattice with what he termed property (W1) (see below for the definition), by representing operators by means of vector-valued integration. He also showed that this was the widest possible extension of the class of range spaces for which such a result held. Here we will provide an elementary proof of this result using techniques similar to those used in [17] when dealing with compact operators. We will also prove a dual version of this result which generalizes a result proved in 1988 by Schmidt [16]. We further extend Aliprantis and Burkinshaw’s result by finding the widest possible class of domains E for which each regular weakly compact operator from E into a KB-space has a weakly compact modulus. Recently in [6] it has been shown that there exist a Dedekind complete Banach lattice E and a compact operator T on E dominated by a positive compact operator such that the modulus |T | of T is not compact. It is natural to consider the corresponding problem for weakly compact operators. In the spirit of [6] we give an example which shows the existence of a Dedekind complete Banach lattice E and a compactly dominated compact operator T on E such that the modulus |T | of T is not weakly compact. In [17] the order properties of some spaces of compact operators between two Banach lattices was considered. In §3 we will prove analogous results for weakly Received by the editors May 7, 1997. 1991 Mathematics Subject Classification. Primary 47B65; Secondary 47B07. Key words and phrases. Weakly compact operators, Banach lattices. c

1999 American Mathematical Society

397

License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use

398

Z. L. CHEN AND A. W. WICKSTEAD

compact operators. In particular we show precisely when, assuming that either E is an AL-space or F an AM-space, the space of all weakly compact operators from E into F is a vector lattice and, in a completely general setting, when the linear span of the positive weakly compact operators forms a Dedekind complete vector lattice. In several places in this paper we point out where similar results for Dunford-Pettis operators also hold. If E and F are Banach lattices, then L(E, F ) and K(E, F ) will respectively denote the spaces of all bounded and of all compact operators from E into F . The space of regular operators from E into F is denoted by Lr (E, F ), and Kr (E, F ) denotes the linear span of the positive compact operators from E into F . For general Banach lattice terminology we follow [9] or [14]. We reserve the notation en to denote the sequence of reals with all terms zero except for the n’th which is 1, and 1 for the constantly 1 sequence.

2. The moduli of weakly compact operators The following definition was introduced by Groenewegen in [12]. Definition 2.1. A Banach lattice E is said to have property (W1) if for each relatively weakly compact subset A of E, |A| = {|x| : x ∈ A} is also relatively weakly compact. Although this property first seems to have been mentioned by Groenewegen, there are antecedents in the literature. Abramovich in [1] considered a very similar condition involving only disjoint sets. Also Groenewegen defines property (W3) to be that the solid hull of every weakly compact set is again weakly compact. This was also introduced much earlier by Abramovich in [1] under the name of condition (N). The same paper also seems to have been the first to use generalized Rademacher functions in an abstract Banach lattice setting as well as containing precursors of many results subsequently published independently in the western literature. It is proved in [1], Theorems 3.2 and 3.3 (see [9], Theorem 13.8 for a more accessible proof), that each KB-space has property (W3) and hence has property (W1) and it is clear that if the lattice operations of a Banach lattice E are weakly sequentially continuous, then E has property (W1). In particular, each AM-space has property (W1) by Proposition 2.1.11 of [14]. In [10] we characterised such Banach lattices which also had an order continuous norm as those which were an order direct sum of a KB-space and an atomic Banach lattice with an order continuous norm. Thus c0 (L1 [0, 1]) provides an example of a Banach lattice with an order continuous norm which does not have property (W1). It is simple to provide a self-contained proof of this fact, so we present that here for completeness. Example 2.2. Let E = c0 (L1 [0, 1]), then the norm of E is order continuous but E does not have property (W1). Proof. Indeed, let rn (t) = sgn(sin 2n πt), the n’th Rademacher functions on [0, 1], then rn (t) → 0 weakly in L1 [0, 1] as n → ∞. Define n

z }| { xn = (rn , . . . , rn , 0, . . . ) ∈ E

License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use

VECTOR LATTICES OF WEAKLY COMPACT OPERATORS ON BANACH LATTICES 399

then it is not difficult to verify that xn → 0 weakly in E as n → ∞, and that n

n z }| { z }| { |xn | = (|rn |, . . . , |rn |, 0, . . . ) = (χ[0,1] , . . . , χ[0,1] , 0, . . . )

is increasing with k|xn | − |xm |k = 1 if n 6= m. Thus the sequence (|xn |) does not contain any weakly convergent subsequence, and E fails to have property (W1). The following result has, essentially, the same statement as Theorem V.3.8 of [12], but the proof is very different. In particular we avoid the use of vector-valued integration. For that reason, plus the relative inaccessibility of [12], we include a complete proof here. Theorem 2.3. For a Banach lattice F the following assertions are equivalent: (1) F has property (W1). (2) For each AL-space E, every weakly compact operator from E into F has a weakly compact modulus. (3) Every weakly compact operator from `1 into F has a weakly compact modulus. Proof. (1) ⇒ (2). Suppose F has property (W1), E is an AL-space and T : E → F is a weakly compact operator. We will show the modulus |T | of T exists and is weakly compact. Let E1 denote the unit ball in E and let E1+ denote its positive part. A = T E1+ is relatively weakly compact and by (1) so is |A|. It follows from the Krein-Smulyan theorem that the closed convex hull K of |A| is weakly compact. For each x ∈ E1+ , put Ax = {

n X

|T xi | : n ∈ N, xi ≥ 0,

i=1

n X

xi = x},

i=1

then Ax is upward directed. Moreover Ax ⊂ K. In fact, n X i=1

|T xi | =

n X

kxi k|T (xi /kxi k)| =

i=1

n X

kxi k|yi |

i=1

Pn Pn k i=1 xi k = kxk ≤ 1 since E is an where yi = T (xi /kxi k) ∈ A, and i=1 kxi k =P n AL-space. Noting that 0 ∈ K, it follows that i=1 |T xi | ∈ K, i.e. Ax ⊂ K. Being an upward directed subset of a weakly compact set K, Ax weakly converges, and hence norm converges, to its supremum, y(x) ∈ K. Now Theorem 1.10 of [9] shows that the modulus |T | of T exists, and that |T |x = y(x) ∈ K for all x ∈ E1+ . It follows that |T |(E1 ) is relatively weakly compact so that |T | is weakly compact. Also let us take this opportunity to point out that kT kr = k|T |k = kT k. Indeed k|T |xk = ky(x)k = lim{kyk : y ∈ Ax } ≤ kT k

License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use

400

Z. L. CHEN AND A. W. WICKSTEAD

for each x ∈ E1+ , as n n

X

X

|T xi | = kxi k|T (xi /kxi k)| i=1

i=1



n X

kxi kkT (xi /kxi k)k

i=1

n

X

xi ≤ kT k

i=1

≤ kT k. It is clear that (2)⇒ (3). Now we show that (3)⇒ (1). Assuming that (3) holds but that (1) is false, there exists a weakly convergent sequence xn ∈ F such that {|xn |}∞ not contain any weakly convergent subsequence. Define T : `1 −→ F n=1 does P∞ by T (λi ) = i=1 λi xi for (λi ) ∈ `1 , then Corollary 10.16 of [9] implies that T is weakly compact. By (3) T has a weakly compact modulus. It is easy to verify that, in fact, |T |(λi ) =

∞ X

λi |xi |

i=1

for all (λi ) ∈ `1 , so the weak compactness of |T | implies that {|xi | = |T |ei }∞ i=1 contains a weakly convergent subsequence, which is a contradiction, establishing that (3) ⇒ (1). The following result is dual to Theorem 2.3 and generalises the result of Schmidt in [16] in the same way that Theorem 2.3 generalises the result of Aliprantis and Burkinshaw. Theorem 2.4. For a Banach lattice E the following assertions are equivalent: (1) E 0 has property (W1). (2) For each Dedekind complete AM-space F with unit, every weakly compact operator from E into F has a weakly compact modulus. (3) E very weakly compact operator from E into `∞ has a weakly compact modulus. Proof. (1)⇒ (2). Since F is a Dedekind complete AM-space with unit, by Proposition 1.5.10 in [14] there exists a positive contractive projection P : F 00 → F . Proposition 1.5.12 of [14] implies that |T | = P |T 0 |0 j for all T ∈ Lr (E, F ) = L(E, F ), where j : E → E 00 is the natural inclusion mapping. If T is weakly compact, so is T 0 by Gantmacher’s theorem. Note that T 0 : F 0 → E 0 , F 0 is an AL-space by Theorem 12.22 of [9], thus it follows from Theorem 2.3 above that |T 0 | is weakly compact and hence, by Gantmacher’s theorem, so is |T 0 |0 and hence so is |T | = P |T 0 |0 j. It is clear that (2)⇒ (3). To prove that (3)⇒ (1), assume that E 0 does not have property (W1), then there exists a weakly convergent sequence x0n ∈ E 0 , say x0n → x00 ∈ E 0 weakly as n → ∞, but with {|x0n |}∞ n=1 containing no weakly convergent subsequence.

License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use

VECTOR LATTICES OF WEAKLY COMPACT OPERATORS ON BANACH LATTICES 401

Define T : E → `∞ by T x = (x0n (x))∞ n=1 , then T is weakly compact. Indeed, if we define S : E → c0 ⊂ `∞ by Sx = (x0n (x) − x00 (x))∞ n=1 and S0 : E → `∞ by S0 = x00 (x)e0 , where e0 = (1, 1, . . . ) ∈ `∞ , then obviously T = S + S0 and S0 is of rank 1, whilst from Theorem 17.5 of [9] S is weakly compact as an operator into c0 and hence into `∞ . Hence T is weakly compact. By (3) |T | is weakly compact, and it is easy to see that |T |x = (|x0n |(x))∞ n=1 for all x ∈ E, so that |T |0 (λn ) =

∞ X

λn |x0n |

n=1 0

for all (λn ) ∈ `1 ⊂ (`∞ ) . Gantmacher’s theorem implies that |T |0 is weakly compact, which shows that {|x0n | : n ∈ N} = {|T |0 en : n ∈ N} contains a weakly convergent subsequence, where en ∈ `1 denotes the sequence with n’th entry equal to 1 and all others zero. This is a contradiction, thus (3)⇒ (1) holds. We now give an example to show that if we only suppose that F is a Dedekind complete AM-space (without unit), the results in Theorem 2.4 are false even if E is an AM-space. Example 2.5. Let E = C([0, 1]), F = `∞ (Fn ) where Fn = (`∞ , k · k) and k(λk )k = max{k(λk )k∞ , n lim sup(|λk |)} for all (λk ) ∈ `∞ . Then for each n ∈ N, Fn is a Dedekind complete AM-space, hence soR is F . Define Tn : E → Fn by Tn f = (2n In f rk dt)∞ k=1 ∈ Fn for all f ∈ E, where rn is the n’th Rademacher function on [0, 1] and In = (2−n , 2−n+1 ). Since rn → 0 weakly in L1 (0, 1) as n → ∞, and L1 [0, 1] is a closed subspace of E 0 , it follows that rn → 0 weakly in E 0 as n → ∞. Also Tn : E → c0 ⊂ Fn , so that Theorem 17.5 of [9] implies that Tn is weakly compact for all n ∈ N. (Note that rk χIn → 0 weakly in E 0 as k → ∞.) On the other hand, for each f ∈ E and each n ∈ N Z n kTn f kFn = k(2 f rk dt)∞ k=1 k∞ ≤ kf k In

so that kT kR≤ 1. It is easy to check that the modulus |Tn | of Tn exists and that |Tn |f = (2n In f dt)e0 ∈ Fn , where e0 = (1, 1, . . . ), so that kTn kr = k|Tn |k = n for all n ∈ N. Now we define T : E → F by T f = ( n1 Tn f )∞ n=1 , then T is weakly compact as the limit of weakly compact operators, and its modulus |T | exists and satisfies Z Z 1 e0 ∞ ∞ n n |T |f = ( |Tn |f )n=1 = ((2 f dt) )n=1 = ((2 f dt)en )∞ n=1 n n In In where en = n1 e0 ∈ Fn so that ken kFn = 1 for all n ∈ N. We claim that |T | is not R weakly compact. In fact, choose fn ∈ E with 0 ≤ fn ≤ 1, fn (t) = 0 if t 6∈ In and In fn dt = 2−n−1 . The fn are order bounded and disjoint and Z 1 1 n fn dt = k|T |fnk ≥ k |Tn |fn k = 2 n 2 In for all n ∈ N. Therefore Theorem 3.4.4 of [14] implies that |T | is not order-weakly compact and hence not weakly compact. Now let us turn our attention to the following problem: What happens if we have a weaker condition on E and a stronger one on F in Theorem 2.3? For example if

License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use

402

Z. L. CHEN AND A. W. WICKSTEAD

we assume that F is a KB-space, for what E is the result in Theorem 2.3 still true? To this end let us recall from [13] that a Banach lattice E is order bounded AM if P whenever xn ∈ E is an unconditionally summable sequence such that { ni=1 xi }∞ n=1 is order bounded, then {|xn |}∞ n=1 is summable. Every AM-space is order bounded AM, as is every Banach lattice with an order continuous norm; see [13] for details. This terminology may seem to be a rather strange one. One justification for it is that if the order boundedness condition is dropped and one merely asks that every unconditionally summable sequence be absolutely summable, then Abramovich, Posizelsky and Janovsky showed in [2], in response to a question of G. Jameson, that an isomorphic characterisation of AM-spaces is obtained. Theorem 2.6. For a Banach lattice E the following assertions are equivalent: (1) E 0 is order bounded AM. (2) For each KB-space F , every regular weakly compact operator from E into F has a weakly compact modulus. (3) Every weakly compact operator from E into `1 has a weakly compact modulus. Proof. (1)⇒ (2). Let F be a KB-space and T : E → F be a regular weakly compact operator, so that |T | exists. If |T | is not weakly compact, then by Theorem 1.4 of [15] there exists an order bounded sequence of pairwise disjoint positive elements x0n ∈ F 0 such that sup{|x0n (|T |x)| : x ∈ ball(E)} = k|T |0 x0n k ≥  > 0 for some  > 0 and all n ∈ N. According to Theorem 5.11 of [9], |T 0 | = |T |0 , so k|T 0 |x0n k ≥  > 0 for all n ∈ N. For each n apply Theorem 1.16 of [9] (remembering that the norm of E 0 is Fatou) 0 0 , . . . , znm ∈ F+0 such that to see that there exist mn ∈ N, zn1 n mn X

(a)

0 zni = x0n ,

i=1

k

(b) 0

0

Pn

Choose x ∈ E such that of partial sums of the series

i=1

mn X i=1

0 |T 0 zni |k >

1 . 2

x0i ≤ x0 for all n ∈ N. It is clear that the sequence

0 0 0 0 0 z11 + · · · + z1m + z21 + · · · + z2m + z31 + ··· 1 2

is increasing and order bounded, so that it is a weak Cauchy sequence. Since T is weakly compact, so is T 0 by Gantmacher’s theorem, and it follows that the partial sums of the series (∗) (∗)

0 0 0 0 0 + · · · + T 0 z1m + T 0 z21 + · · · + T 0 z2m + T 0 z31 + ··· T 0 z11 1 2

form a weakly convergent sequence. For the same reason we know that each subseries of (∗) is also weakly convergent. Thus the Orliz-Pettis Theorem (see [11], Chapter IV) implies that the sequence 0 0 0 0 0 T 0 z11 , . . . , T 0 z1m , T 0 z21 , . . . , T 0 z2m , T 0 z31 ,... 1 2

License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use

VECTOR LATTICES OF WEAKLY COMPACT OPERATORS ON BANACH LATTICES 403

is unconditionally summable. Also for each n ∈ N, mi mi n X n X n X X X 0 0 |T 0 zij |≤ |T 0 |zij = |T 0 |( x0i ) ≤ |T 0 |x0 i=1 j=1

i=1 j=1

i=1

so that the sequence 0 0 0 0 0 |T 0 z11 |, . . . , |T 0 z1m |, |T 0 z21 |, . . . , |T 0 z2m |, |T 0 z31 |, . . . 1 2

has order bounded partial sums. The latter sequence is summable, as E 0 is order bounded AM, so that mn X 0 k |T 0 zni |k → 0 as n → ∞ i=1

which contradicts (b) above. Therefore |T | is weakly compact. Obviously (2)⇒ (3). Now assume (3) and that {x0n }∞ n=1 is an unconditionally summable sequence in E 0 such that n X |x0i | ≤ x0 ∀n ∈ N. i=1 00

Then for each x ∈ E, and each x ∈ E 00 , we have n n X X |x0i (x)| ≤ |x0i |(|x|) ≤ x0 (x), i=1 n X

|x00 (x0i )| ≤

i=1 n X

|x00 |(|x0i |) ≤ |x00 |(|x0 |)

i=1 i=1 0 0 (xn (x)), (|xn |(x)), (x00 (x0n )) ∈ `1 for → `1 by T x = (x0n (x)) for x ∈ E.

all x ∈ E, x00 ∈ E 00 . for all n ∈ N, so that Now define T : E It is easy to verify that T ∈ Lr (E, `1 ) and that the modulus |T | of T exists with |T |x = (|x0n |(x)), x ∈ E. P∞ 0 0 0 0 Also T : `∞ → E has T (λn ) = n=1 λn xn , for (λn ) ∈ `∞ , which series is norm 00 convergent as {x0n }∞ : E 00 → (`1 )00 = n=1 is unconditionally summable. Then T 0 00 00 (`∞ ) , and for each x ∈ E and (λn ) ∈ `∞ we have ∞ X  T 00 x00 (λn ) = x00 (T 0 (λn )) = λn x00 (x0n ) n=1

and it follows that T 00 x00 = (x00 (x0n )) ∈ `1

∀x00 ∈ E 00 ,

which tells us that T 00 E 00 ⊂ `1 , so that Theorem 17.2 of [9] implies that T is weakly compact, and by (3) |T | also is weakly compact, as is |T |0 by Gantmacher’s theorem. Note that (|T |0 en )(x) = en (|T |x) = |x0n |(x) for all x ∈ E, so that |T |0 en = |x0n | for each n ∈ N. Since un = e1 + e2 + · · · + en is a weak Cauchy sequence in `∞ , the weak compactness of |T |0 implies that the increasing sequence (|x01 | + |x02 | + · · · + |x0n |) = (|T |0 un ) is weakly convergent, and 0 hence norm convergent. This means that {|x0n |}∞ n=1 is summable, so that E is order bounded AM and hence (3) ⇒ (1) holds.

License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use

404

Z. L. CHEN AND A. W. WICKSTEAD

In [6] it was shown that it is possible for a compact operator on a Dedekind complete Banach lattice, which is dominated by a positive compact operator, to have a modulus which is not compact. Our next result shows that in these circumstances the modulus need not even be weakly compact. Theorem 2.7. (1) There exist Dedekind complete Banach lattices E and F and compact operators S, T : E → F with S, −S ≤ T but with the modulus |S| of S not weakly compact. (2) There exist a Dedekind complete Banach lattice E and compact operators S, T on E with S, −S ≤ T such that the modulus |S| of S is not weakly compact. Proof. Let us recall from [6] that Sn is an operator on 2n -dimensional Euclidean n n space `22 with kSn k = 1 and |Sn | = 2n . The operator Jn embeds `22 into L2 [0, 1] by the formula n

Jn (x1 , x2 , . . . , x2n ) =

2 X

xk χ[(k−1)2−n ,k2−n ] .

k=1 n/2 Recall also that for each n ∈N we have and that  kJn Sn k = 1, kJn |Sn |k = 2 P2n n/2 χ x = 2 (x )(v )χ , where vn = |Jn Sn |(xk ) = Jn |Sn |(xk ) = k n [0,1] [0,1] k=1 k n

2−n/2 (1, 1, . . . , 1) ∈ `22 , so that kvn k2 = 1. n Let E = `1 (`22 ) and F = `∞ (L2 [0, 1]) so that both E and F are Dedekind complete. Define S, T : E → F by !∞ ∞ X 2−k/2 Jk Sk xk , Sx = k=n

n=1

and Tx =

∞ X

!∞ 2

−k/2

Jk |Sk |xk

k=1

=

∞ X

!∞

n=1

xk (vk )χ[0,1]

k=1

n=1

for x = (xn ) ∈ E. Clearly T is defined and compact as it is bounded and of rank 1 and it is also clear that S, −S ≤ T . The operator S is also compact. Indeed, for each n ∈ N define Hn : E → L2 [0, 1] by ∞ X Hn x = 2−k/2 Jk Sk xk k=n

and Hnm : E → L2 [0, 1] by Hnm (x) =

n+m X

2−k/2 Jk Sk xk

k=n

then all Hnm are compact, as they are finite rank, ∞ X 2−k/2 → 0 as kHn − Hnm k ≤ k=n+m+1

so each Hn is compact.

License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use

m → ∞,

VECTOR LATTICES OF WEAKLY COMPACT OPERATORS ON BANACH LATTICES 405

Let Un : E → F by Un (x) = H1 (xk ), . . . , Hn (xk ), 0, . . . Then Un is compact and kS − Un k ≤

∞ X

∞ X

2−k/2 kJk Sk k =

k=n+1

2−k/2 → 0



for x = (xk ) ∈ E.

as n → ∞

k=n+1

so it follows that S is compact. Now we claim that the modulus |S| of S is not weakly compact. In fact, it is easy to check that !∞ ! ! ∞ ∞ X X −k/2 |S|x = 2 Jk |Sk |xk = xk (vk ) χ[0,1] k=n

n=1

k=n

for all x = (xk ) ∈ E. Let vn denote the sequence with n’th entry equal to vn and all others zero, so that kvn k = 1 and n

z }| { |S|vn = (vn (vn )χ[0,1] , . . . , vn (vn )χ[0,1] , 0, . . . ) n

z }| { = (χ[0,1] , . . . , χ[0,1] , 0, . . . ). Clearly |S|vn ↑ and k|S|vn − |S|vm k = 1 if n 6= m, so Dini’s theorem, see Proposition 1.4.1 of [14], shows that the set {|S|vn : n ∈ N} does not contain any weakly convergent subsequence, which implies that |S| is not weakly compact, so that (1) holds. For (2) taking S, T, E, F as above, let E1 = E ⊕ F , and define S1 , T1 : E1 → E1 by T1 (x, y) = (0, T x), S1 (x, y) = (0, Sx), then we have the desired example. Corollary 2.8. There exist a Dedekind complete Banach lattice E and a pair of positive compact operators T and S on E such that T ∨ S and T ∧ S are not weakly compact. In a similar way we can produce compactly dominated compact operators with a modulus which is neither Dunford-Pettis nor AM-compact. 3. Vector lattices of weakly compact operators In [5] the idea of a generalized sublattice was introduced to allow discussion of lattice ordered subsets of partially ordered sets which were not themselves lattices, such as the compact operators on C([0, 1]) (which form a lattice) as a subset of Lr (C([0, 1])) (which is not a lattice). There we said that if (J , ≤) is a partially ordered vector space and I a subspace of J , then I is a generalized sublattice of J if (I, ≤) is a lattice and for each x, y ∈ I the supremum of x and y calculated in I is also their supremum in J . Recall also that a subset A of a partially ordered set X is order convex if x ∈ X, a, b ∈ A and a ≤ x ≤ b together imply that x ∈ A. Let W(E, F ) denote the space of all weakly compact operators from a Banach lattice E into a Banach lattice F and let W r (E, F ) be the subspace of W(E, F ) generated by all positive weakly compact operators from E into F . It follows from Theorem 2.3 above that W(E, F ) is a generalized sublattice of Lr (E, F ) if E is an AL-space and F has property (W1). Moreover W(E, F ) is then a Banach lattice under the operator norm. The next result shows that this happens only for such F.

License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use

406

Z. L. CHEN AND A. W. WICKSTEAD

Theorem 3.1. If E is an infinite dimensional AL-space, then the following conditions on a Banach lattice F are equivalent: (1) F has property (W1). (2) W(E, F ) is a generalized sublattice of Lr (E, F ). (3) W(E, F ) is a vector lattice. Proof. Clearly (1)⇒ (2)⇒ (3). Assume that (3) holds and suppose that E = L1 (µ). Since E is infinite dimensional, we may find disjoint measurable sets A1 , A2 , A3 , . . . S∞ 0 < µ(Ai ) < ∞ for each i ∈ N. Let A = i=1 Ai and define P, Pi : E → E by P f = f χA , Pi f = fP χAi for all f ∈ E. Clearly Pi Pj = Pi (P − Pi ) = (P − Pi )Pi = 0 ∞ if i 6= j, and P f = i=1 Pi f for all f ∈ E. If F does not have property (W1), then there exists a weakly convergent sequence yn ∈ F such that {|yn |} does not contain any weakly convergent subsequence. Define S : E = L1 (µ) → F by ∞ Z X ( f dt)yn Sf = n=1

for all f ∈ E. Since Z n X | i=1

Ai

f dt| ≤

n Z X i=1

Ai

An

Z |f |dt ≤

A

|f |dt ≤ kf k

for each f ∈ E, the series is norm convergent. Also ∞ ∞ X X S ball(E) ⊂ { λn yn : |λn | ≤ 1} n=1

n=1

is relatively weakly compact by Corollary 10.16 of [9], and hence S is weakly compact, i.e. S ∈ W(E, F ). By (3) the supremum U of S and −S exists in W(E, F ). We claim that  ∞ Z X Uf = f dt |yn | n=1

An

for each f ∈ E. Indeed, note that U P ≥ ±SP = ±S and that U P ∈ W(E, F ) so that URP ≥ U . Since we certainly have U P ≤ U , we have U P = U . Since SPi f = ( Ai f dt)yi , the modulus |SPi | (calculated in Lr (E, F )) of SPi exists and satisfies Z  f dt |yi | |SPi |f = Ai

for f ∈ E. Clearly |SPi | ∈ W(E, F ) so that U (P − Pi ) + |SPi | ∈ W(E, F ) and U (P − Pi ) + |SPi | ≥ ±S(P − Pi ) ± SPi = ±SP = ±S. Hence U (P − Pi ) + |SPi | ≥ U which, as U P = U , implies that |SPi | ≥ U Pi . As we clearly have U Pi ≥ |SPi | we see that U Pi = |SPi |, i.e. Z  U Pi f = f dt |yi | Ai

for all i ∈ N and all f ∈ E. Therefore ∞ ∞ ∞ Z X X X Pi f ) = U Pi f = ( Uf = UPf = U( i=1

i=1

i=1

as claimed.

License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use

Ai

f dt)|yi |

VECTOR LATTICES OF WEAKLY COMPACT OPERATORS ON BANACH LATTICES 407

Now let gn = µ(A1 n ) χAn ∈ E so that kgn k1 = 1 and U gn = |yn |. The weak compactness of U implies that {|yn | : n ∈ N} contains a weakly convergent subsequence, which is a contradiction, so that (3)⇒ (1) holds. Combining this with Theorem 17.10 of [9], we have Corollary 3.2. For a Banach lattice F the following assertions are equivalent (1) F has the property (W1) and an order continuous norm. (2) For each AL-space E, W(E, F ) is an order convex generalized sublattice of Lr (E, F ). (3) For some infinite dimensional AL-space E, W(E, F ) is a lattice and an order convex subset of Lr (E, F ). The next result is the dual version. Theorem 3.3. Let F be an infinite dimensional Dedekind complete AM-space with unit, E a Banach lattice, then the following assertions are equivalent: (1) E 0 has the property (W1). (2) W(E, F ) is a sublattice of Lr (E, F ). (3) W(E, F ) is a vector lattice. Proof. Clearly (1)⇒ (2)⇒ (3). If (3) holds but (1) is false then there exist x0n ∈ E with x0n → x0 ∈ E weakly as n → ∞, but {|x0n | : n ∈ N} not containing any weakly convergent subsequence. We may assume that F = C(X) for some Stonean X. Since F is infinite dimensional there exists a sequence of disjoint clopen subsets An of X. Define Qn : F → F by Qn f = f χAn then 0 ≤ Qn ≤ IF , Qm Qn = Qm (IF − Qm ) = (IF − Qm )Qm = 0 if m 6= n. P 0 Define S : E → F by Sx = x0 (x)χX + ∞ n=1 yn (x)χAn for x ∈ E, where 0 0 0 0 yn = xn − Px∞ which converges weakly to 0 ∈ E as n → ∞. Define also T : E → F by T x = n=1 yn0 (x)χAn , then it is easy to verify that T 0y0 =

∞ X

y 0 (χAn )yn0

n=1

for each y 0 ∈ F 0 , and that for each m ∈ N m X n=1

0

|y (χAn )| ≤

m X

|y 0 |(χAn ) ≤ |y 0 |(χX ) = ky 0 k

i=n

P P∞ 0 so that (y 0 (χAn )) ∈ `1 and T 0 ball(F 0 ) ⊂ { ∞ n=1 λn yn : n=1 |λn | ≤ 1} which implies that T 0 is weakly compact by Corollary 10.16 of [9]. Hence T is weakly compact by Gantmacher’s theorem, i.e T ∈ W(E, F ) and hence S ∈ W(E, F ). From (3) the supremum U of S and −S exists in W(E, F ), and we claim that Qn U x = |x0n |(x)χAn . To this end we first note that Qn U ≥ ±Qn S so Qn U ≥ |Qn S|, where |Qn S| is the modulus of |Qn S| in Lr (E, F ) which is given by the formula |Qn S|x = |x0i |(x)χAi , so that |Qn S| ∈ W(E, F ) and (IF −Qn )U +|Qn S| ∈ W(E, F ). From the inequality (IF − Qn )U + |Qn S| ≥ ±S we see that (IF − Qn )U + |Qn S| ≥ U and |Qn S| ≥ Qn |Qn S| = Qn [(IF − Qn )U + |Qn S|] ≥ Qn U. Thus Qn U = |Qn S|, so that Qn U x = |x0n |(x)χAn for each n ∈ N, x ∈ E.

License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use

408

Z. L. CHEN AND A. W. WICKSTEAD

Choose tn ∈ An and define δn (f ) = f (tn ) for f ∈ F , then δn ∈ F+0 with kδn k = 1. Clearly ( δn , m = n, 0 Q n δm = 0, m 6= n, for all m, n ∈ N. For each x ∈ E, (U 0 δn )(x) = δn (U x) = Q0n δn (U x) = δn (Qn U x) = |x0n |(x) and it follows that U 0 δn = |x0n | for n ∈ N. Now the assumed weak compactness of U and hence of U 0 implies that {|x0n | : n ∈ N} contains a weakly convergent subsequence. This is a contradiction so that (3)⇒ (1) holds. Combining this with Theorem 17.10 of [9] we have Corollary 3.4. For a Banach lattice E the following assertions are equivalent: (1) E 0 has an order continuous norm (and is hence a KB-space). (2) For each Dedekind complete AM-space F with unit, W(E, F ) is an ideal of Lr (E, F ). (3) For some infinite dimensional Dedekind complete AM-space F , W(E, F ) is an ideal of Lr (E, F ). It is well-known that W(E, F ) 6⊂ Lr (E, F ) in general. As in the case of compact operators we define the subspace W r (E, F ) to be the linear span of the space of all positive weakly compact operators from E into F . The operators constructed in the course of the proof of Theorem 2.7 (a) show, given the atomic nature of the domain, that even W r (E, F ) need not be a vector lattice. When we consider Dedekind completeness of W r (E, F ) we obtain results similar to those that hold for spaces of compact operator; see [17] for details in that case. Theorem 3.5. For Banach lattices E and F the following assertions are equivalent: (1) One of the following two conditions holds: (a) E 0 has an order continuous norm and F is Dedekind complete. (b) F has an order continuous norm. (2) F is Dedekind complete and if 0 ≤ S ≤ T ∈ W(E, F ), then S ∈ W(E, F ). (3) W r (E, F ) is a Dedekind complete vector lattice. (4) Any increasing order bounded set in W r (E, F ) has a supremum. Proof. Clearly (1)⇒ (2)⇒ (3)⇒ (4). It is routine that (4) implies that F is Dedekind complete. To see that (4)⇒ (1) it suffices to show that either E 0 or F has an order continuous norm. Otherwise we may assume that `1 and `∞ are closed sublattices of E and F respectively. According to Proposition 2.3.11 of [14] there exists a positive projection P from E onto `1 . Let φn , φ ∈ (`1 )0 = `∞ with  φn (λk ) = λn and ∞  X λk . φ (λk ) = k=1

License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use

VECTOR LATTICES OF WEAKLY COMPACT OPERATORS ON BANACH LATTICES 409

Define Tn , Un : `1 → `∞ ⊂ F by Tn (λ) =

n X

φk (λ)ek

k=1

(where en = e1 + e2 + · · · + en ∈ `∞ ) and Un (λ) = φ(λ)1 +

n X

φk (λ)(ek − 1)

k=1

for all λ ∈ `1 . Clearly 0 ≤ Tn ↑ and 0 ≤ Un ↓. In a similar way to that used in the proof of Theorem 2.1 of [17], we further have Tn ≤ Um for all n, m ∈ N. Thus 0 ≤ Tn P ↑, 0 ≤ Un P ↓ and Tn P ≤ Um P for all n, m ∈ N. From (4) the supremum S of {Tn P } exists in W r (E, F ). Clearly Tn P ≤ S ≤ Um P for all m, n ∈ N and it follows that ek = Tk P ek ≤ Sek ≤ Uk P ek = ek . But {ek : k ∈ N} does not contain any subsequence which is weakly convergent in `∞ and hence none weakly convergent in F , which contradicts the weak compactness of S. It is worth pointing out that if W r (E, F ) is a Dedekind σ-complete vector lattice, then F must be Dedekind σ-complete and either E 0 or F have an order continuous norm. However the converse is false. If we let E or F range over all Banach lattices we have the following two results. Theorem 3.6. For a Banach lattice F the following assertions are equivalent: (1) F has an order continuous norm. (2) For every Banach lattice E, W r (E, F ) is a Dedekind complete vector lattice. (3) W r (`1 (L2 [0, 1]), F ) is a vector lattice. Proof. Clearly (1)⇒ (2)⇒ (3). The proof of (3)⇒ (1) is carried out in two steps. As a first step we show that F is Dedekind σ-complete. By Corollary 2.1.6 of [14] it suffices to show that sup{yn : n ∈ N} exists for each order bounded disjoint sequence yn ∈ F+ . Fix such a sequence, bounded above by y ∈ F+ and define S, T : E → F by ∞ Z 1 X S(fk ) = ( f1 rn dt)yn n=1

and

0

Z T (fk ) = (

0

1

f1 dt)y

for (fk ) ∈ E = `1 (L2 [0, 1]), where rn is the n’th Rademacher function on [0, 1]. Let P : E → L2 [0, 1] be defined by P (fk ) = f1 for (fk ) ∈ E and H : L2 [0, 1] → F by P∞ R 1 Hf = n=1 ( 0 f rn dt)yn , so that S = HP is weakly compact and ±S ≤ T . Thus S, T ∈ W r (E, F ) and by (3) the supremum U of S and −S exists in W r (E, F ) and ±S ≤ U ≤ T . For each 0 ≤ f ∈ L2 [0, 1] let f = (f, 0, 0, . . . ) ∈ E. Using the fact that (U ± S)(χ[0,1] ± r n ) ≥ 0 we see that U χ[0,1] ≥ Srn = yn for all n ∈ N. Thus 0 ≤ yn ≤ U χ[0,1] ≤ T χ[0,1] = y

License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use

410

Z. L. CHEN AND A. W. WICKSTEAD

for all n ∈ N. This argument holds for any choice of upper bound y for the set {yn : n ∈ N}, so that U χ[0,1] = sup{yn : n ∈ N}. We now show that the norm on F is order continuous. Let yn ∈ F+ be disjoint with supremum y. By Theorem P∞12.13 of [9], it suffices to prove that kyn k → 0. Define S, T : E → F by Sg = n=1 g(xn )yn and T g = g(x0 )y for g ∈ E, where n

z }| { xn = (rn , . . . , rn , 0, . . . ) ∈ c0 (L2 [0, 1]) ⊂ `∞ (L2 [0, 1]) = E 0 and x0 = (χ[0,1] , χ[0,1] , . . . ) ∈ E 0 . It is not difficult to check that xn → 0 weakly in c0 (L2 [0, 1]) so that the series of disjoint terms is norm convergent. For each y 0 ∈ F 0 we have n n X X |y 0 (yn )| ≤ |y 0 |(yn ) ≤ |y 0 |(y) ≤ kykky 0k i=1

i=1 0

for all n ∈ N, so that (y (yn )) ∈ `1 . Note also that if g ∈ E, then ! ∞ ∞ X X 0 0 0 0 0 S y (g) = y (Sg) = xn (g)y (yn ) = y (yn )xn (g) n=1

n=1

so that S 0 ball(F 0 ) ⊂ {

∞ X n=1

= kyk{

λn xn : ∞ X n=1

∞ X n=1

λn xn :

|λn | ≤ kyk} ∞ X

|λn | ≤ 1}

n=1

which is relatively weakly compact by Corollary 10.16 of [9]. So S 0 , and hence S, are weakly compact. Clearly ±S ≤ T so S, T ∈ W r (E, F ). By (3) the supremum R1 Pk−1 U of S and −S exists in W r (E, F ). Moreover U Qk (fn ) = ( 0 fk dt)(y − i=1 yi ), where Qk : E → E maps (fn ) ∈ E to the sequence with k’th entry equal to fk P∞ R 1 and all others zero. Now, since U Qk ≥ ±SQk and SQk (fn ) = i=k ( 0 fk rk dt)yi , it is easy to verify that the modulus |SQk | of SQk exists in Lr (E, F ) and that R1 Pk−1 |SQk |(fn ) = ( 0 fk dt)(y − i=1 yi ). Thus U Qk ≥ |SQk | which is weakly compact. As U (IE − Qk ) + |SQk | ≥ ±S it follows that U (IE − Qk ) + |SQk | ≥ U and hence |SQk | ≥ |SQk |Qk = (U (IE − Qk ) + |SQk |)Qk ≥ U Qk R1 Pk−1 which implies that U Qk = |SQk | so that U Qk (fn ) = ( 0 fk dt)(y − i=1 yi ). In Pn−1 particular U hn = y− i=1 yi ↓, where hn ∈ E denotes the sequence with n’th entry equal to χ[0,1] and all others zero. It follows from the weak compactness of U that  Pk−1 Pk−1 y − i=1 yn norm converges to 0 (noting that 0 = inf{y − i=1 yi : k ∈ N}) which implies that kyn k → 0 as n → ∞. Therefore F has an order continuous norm as claimed. In the similar way, we have the following dual version. Theorem 3.7. For a Banach lattice E the following assertions are equivalent: (1) E 0 has an order continuous norm (and is hence a KB-space). (2) For each Dedekind complete Banach lattice F , W r (E, F ) is a Dedekind complete vector lattice. (3) W r (E, `∞ (L2 [0, 1])) is a vector lattice.

License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use

VECTOR LATTICES OF WEAKLY COMPACT OPERATORS ON BANACH LATTICES 411

If Dr (E, F ) denotes the subspace of Lr (E, F ) generated by all positive DunfordPettis operators from E into F , then we have: Theorem 3.8. For Banach lattices E and F the following assertions are equivalent: (1) One of the following two conditions holds. (a) F is Dedekind complete and the lattice operations in E are weakly sequentially continuous. (b) F has an order continuous norm. (2) F is Dedekind complete and if 0 ≤ S ≤ T ∈ Dr (E, F ), then S ∈ Dr (E, F ). (3) Dr (E, F ) is a Dedekind complete vector lattice. (4) Any increasing order bounded set in Dr (E, F ) has a supremum. Proof. Clearly (1)⇒ (2)⇒ (3)⇒ (4). To see that (4)⇒ (1) it suffices to show that either the lattice operations of F are weakly sequentially continuous or F has an order continuous norm, as (4) certainly implies that F is Dedekind complete. 0 and 0 <  ∈ R such that xn → 0 If (a) fails, then there exist xn ∈ E, x0 ∈ E+ 0 weakly in E as n → ∞ and x (|xn |) ≥ 2 > 0 for all n ∈ N. If (b) also fails, then there is a disjoint sequence yn ∈ F+ with supremum y and kyn k ≥ 1. It follows from Lemma 1.4.4 of [14] that there exists x0n ∈ [0, x0 ] such that |x0n (xn )| ≥  > 0 for each n ∈ N. Pn Define Sn , T : E → F by Sn x = i=1 x0n (x)yn and T x = x0 (x)y. Then 0 ≤ Sn ↑≤ T and Sn , T ∈ Dr (E, F ). By (4) the supremum S of {Sn } exists in Dr (E, F ). Let Qn be the band projection of F onto the band Bn generated by yn , then the disjointness of yn implies that Qn Sm = Qn Sn for all m ≥ n, and Qn Sn ∈ Dr (E, F ) so that (IF − Qn )S + Qn Sn ∈ Dr (E, F ) and we note that (IF − Qn )S + Qn Sn ≥ Sm for all m. It follows that (IF − Qn )S + Qn Sn ≥ S which implies that Qn Sn ≥ Qn S for all n. Now for each x ∈ E |Sx| ≥ Qn |Sx| = |Qn Sx| = |Qn Sn x| = |x0n (x)|yn . In particular |Sxn | ≥ |x0n (xn )|yn ≥ yn so that kSxn k ≥ kyn k ≥  > 0 for all n. This means that S 6∈ Dr (E, F ) which is a contradiction.

4. Comments (1) The following question was asked in [3] and modified in [4]: Does there exist a pair of Dedekind complete Banach lattices E and F such that at least one of E and F is reflexive and K(E, F ) ⊂ Lr (E, F ) but Lr (E, F ) 6= L(E, F )? This question is answered positively by taking E = L2 [0, 1] and F = c0 , so that E is reflexive and K(E, F ) ⊂ Lr (E, F ) but Lr (E, F ) 6= L(E, F ). (2) The following question was also asked in [3] for the case of weak compactness: Does there exist a pair of Dedekind complete Banach lattices E and F such that W(E, F ) ⊂ Lr (E, F ) and Lr (E, F ) 6= L(E, F )? Again we obtain a positive answer by taking E = L1 [0, 1] and F = c0 . Theorem 3.1 above implies that W(E, F ) is a sublattice of Lr (E, F ) but Lr (E, F ) 6= L(E, F ).

License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use

412

Z. L. CHEN AND A. W. WICKSTEAD

References [1] [2]

[3]

[4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17]

Y. A. Abramovich, Weakly compact sets in topological K-spaces, Teor. Funkcii Funkcional. Anal. i Prilozen. (Kharkov) 15 (1972), 27–35. MR 46:5982 Y. A. Abramovich, E.D. Posizelsky and L.P. Janovsky, On some parameters associated with normed lattices and on series characterisation of M-spaces, Studia Math. 63 (1978), 1–8. MR 80e:46014 Y. A. Abramovich, When each regular operator is continuous, Functional Analysis, Optimization and Mathematical Economics, Oxford University Press, New York, 1990, pp. 133–140. MR 91m:47051 Y. A. Abramovich and A. W. Wickstead, A compact regular operator without modulus, Proc. Amer. Math. Soc. 116 (1992), 721–726. MR 93a:47038 Y. A. Abramovich and A. W. Wickstead, Recent results on the order structure of compact operators, Irish Math. Soc. Bulletin 32 (1994), 32–45. MR 95h:47050 Y. A. Abramovich and A. W. Wickstead, Solutions of several problems in the theory of compact positive operators, Proc. Amer. Math. Soc. 123 (1995), 3021–3026. MR 95m:47059 Y. A. Abramovich, Z. L. Chen and A.W. Wickstead, Regular-norm balls can be closed in the strong operator topology, Positivity 1 (1997), 75–96. C. D. Aliprantis and O. Burkinshaw, On weakly compact operators on Banach lattices, Proc. Amer. Math. Soc. 83 (1981), 573–578. MR 82j:47057 C. D. Aliprantis and O. Burkinshaw, Positive Operators, Academic Press, New York & London, 1985. MR 87h:47086 Z. L. Chen and A. W. Wickstead, Relative weak compactness of solid hulls in Banach lattices (submitted). J. Diestel, Sequences and series in Banach spaces, Springer-Verlag, New York, Berlin, Heidelberg, Tokyo, 1984. MR 85i:46020 G. Groenewegen, On spaces of Banach lattice valued functions and measures (Thesis), Nijmegen University, Netherlands, 1982. G. Groenewegen and A. van Rooij, The modulus of a weakly compact operator, Math. Z. 195 (1987), 473–480. MR 88h:47052 P. Meyer-Nieberg, Banach Lattices, Springer-Verlag, Berlin, Heidelberg, New York, 1991. MR 93f:46025 C. P. Niculescu, Weak compactness in Banach lattices, J. Operator Theory 6 (1981), 217–231. MR 83d:47044 K. D. Schmidt, On the modulus of weakly compact operators and strongly additive vector measures, Proc. Amer. Math. Soc. 102 (1988), 862–866. MR 89e:47056 A. W. Wickstead, Dedekind completeness of some lattices of compact operators, Bull. Pol. Acad. Sci. 43 (1995), 297–304. MR 97k:47032

Department of Applied Mathematics, Southwest Jiaotong University, Chengdu Sichuan 610031, People’s Republic of China Department of Pure Mathematics, The Queen’s University of Belfast, Belfast BT7 1NN, Northern Ireland E-mail address: A. [email protected]

License or copyright restrictions may apply to redistribution; see http://www.ams.org/journal-terms-of-use