The Alternative Dunford–Pettis Property for Subspaces of the Compact Operators

13
Positivity 10 (2006), 51–63 c 2006 Birkh¨auser Verlag Basel/Switzerland 1385-1292/010051-13 DOI 10.1007/s11117-005-0007-0 Positivity The Alternative Dunford–Pettis Property for Subspaces of the Compact Operators Mar´ ıa D. Acosta and Antonio M. Peralta Abstract. A Banach space X has the alternative Dunford–Pettis property if for every weakly convergent sequences (xn) x in X and (x n ) 0 in X with xn = x = 1 we have (x n (xn)) 0. We get a characterization of certain operator spaces having the alternative Dunford–Pettis property. As a consequence of this result, if H is a Hilbert space we show that a closed sub- space M of the compact operators on H has the alternative Dunford–Pettis property if, and only if, for any h H, the evaluation operators from M to H given by S Sh, S S t h are DP1 operators, that is, they apply weakly convergent sequences in the unit sphere whose limits are also in the unit sphere into norm convergent sequences. We also prove a characterization of certain closed subalgebras of K(H) having the alternative Dunford-Pettis property by assuming that the multiplication operators are DP1. Keywords. The Dunford-Pettis property, the alternative Dunford-Pettis Prop- erty, compact operators. 1. Introduction A Banach space X has the Dunford-Pettis property (DP in the sequel) if for any Banach space Y , every weakly compact operator from X to Y is completely con- tinuous, that is, it maps weakly compact subsets of X onto norm compact subsets of Y . The DP was introduced by Grothendieck who also showed that a Banach space X has the DP if, and only if, for every weakly null sequences (x n ) in X and (x n ) in X we have x n (x n ) 0. Since its introduction by Grothendieck, the DP has had an important development. We refer to Diestel [10] as an excellent survey on the DP and to Bourgain [2], Bunce [4], Chu-Iochum [7] and Talagrand [17] and Chum-Mellon [8] for more recent results. Recently, S. Brown and A. ¨ Ulger (see Brown [3] and ¨ Ulger [18]) have stud- ied the DP for subspaces of the compact operators on an arbitrary Hilbert space. Indeed, if M is a closed subspace of the compact operators on a Hilbert space H,

Transcript of The Alternative Dunford–Pettis Property for Subspaces of the Compact Operators

Positivity 10 (2006), 51–63c© 2006 Birkhauser Verlag Basel/Switzerland1385-1292/010051-13DOI 10.1007/s11117-005-0007-0 Positivity

The Alternative Dunford–Pettis Propertyfor Subspaces of the Compact Operators

Marıa D. Acosta and Antonio M. Peralta

Abstract. A Banach space X has the alternative Dunford–Pettis property iffor every weakly convergent sequences (xn) → x in X and (x∗

n) → 0 in X∗

with ‖xn‖ = ‖x‖ = 1 we have (x∗n(xn)) → 0. We get a characterization of

certain operator spaces having the alternative Dunford–Pettis property. As aconsequence of this result, if H is a Hilbert space we show that a closed sub-space M of the compact operators on H has the alternative Dunford–Pettisproperty if, and only if, for any h ∈ H, the evaluation operators from Mto H given by S �→ Sh, S �→ Sth are DP1 operators, that is, they applyweakly convergent sequences in the unit sphere whose limits are also in theunit sphere into norm convergent sequences. We also prove a characterizationof certain closed subalgebras of K(H) having the alternative Dunford-Pettisproperty by assuming that the multiplication operators are DP1.

Keywords. The Dunford-Pettis property, the alternative Dunford-Pettis Prop-erty, compact operators.

1. Introduction

A Banach space X has the Dunford-Pettis property (DP in the sequel) if for anyBanach space Y , every weakly compact operator from X to Y is completely con-tinuous, that is, it maps weakly compact subsets of X onto norm compact subsetsof Y . The DP was introduced by Grothendieck who also showed that a Banachspace X has the DP if, and only if, for every weakly null sequences (xn) in X and(x∗

n) in X∗ we have x∗n(xn) → 0. Since its introduction by Grothendieck, the DP

has had an important development. We refer to Diestel [10] as an excellent surveyon the DP and to Bourgain [2], Bunce [4], Chu-Iochum [7] and Talagrand [17] andChum-Mellon [8] for more recent results.

Recently, S. Brown and A. Ulger (see Brown [3] and Ulger [18]) have stud-ied the DP for subspaces of the compact operators on an arbitrary Hilbert space.Indeed, if M is a closed subspace of the compact operators on a Hilbert space H,

Used Distiller 5.0.x Job Options
This report was created automatically with help of the Adobe Acrobat Distiller addition "Distiller Secrets v1.0.5" from IMPRESSED GmbH. You can download this startup file for Distiller versions 4.0.5 and 5.0.x for free from http://www.impressed.de. GENERAL ---------------------------------------- File Options: Compatibility: PDF 1.2 Optimize For Fast Web View: Yes Embed Thumbnails: Yes Auto-Rotate Pages: No Distill From Page: 1 Distill To Page: All Pages Binding: Left Resolution: [ 600 600 ] dpi Paper Size: [ 481.89 680.315 ] Point COMPRESSION ---------------------------------------- Color Images: Downsampling: Yes Downsample Type: Bicubic Downsampling Downsample Resolution: 150 dpi Downsampling For Images Above: 225 dpi Compression: Yes Automatic Selection of Compression Type: Yes JPEG Quality: Medium Bits Per Pixel: As Original Bit Grayscale Images: Downsampling: Yes Downsample Type: Bicubic Downsampling Downsample Resolution: 150 dpi Downsampling For Images Above: 225 dpi Compression: Yes Automatic Selection of Compression Type: Yes JPEG Quality: Medium Bits Per Pixel: As Original Bit Monochrome Images: Downsampling: Yes Downsample Type: Bicubic Downsampling Downsample Resolution: 600 dpi Downsampling For Images Above: 900 dpi Compression: Yes Compression Type: CCITT CCITT Group: 4 Anti-Alias To Gray: No Compress Text and Line Art: Yes FONTS ---------------------------------------- Embed All Fonts: Yes Subset Embedded Fonts: No When Embedding Fails: Warn and Continue Embedding: Always Embed: [ ] Never Embed: [ ] COLOR ---------------------------------------- Color Management Policies: Color Conversion Strategy: Convert All Colors to sRGB Intent: Default Working Spaces: Grayscale ICC Profile: RGB ICC Profile: sRGB IEC61966-2.1 CMYK ICC Profile: U.S. Web Coated (SWOP) v2 Device-Dependent Data: Preserve Overprint Settings: Yes Preserve Under Color Removal and Black Generation: Yes Transfer Functions: Apply Preserve Halftone Information: Yes ADVANCED ---------------------------------------- Options: Use Prologue.ps and Epilogue.ps: No Allow PostScript File To Override Job Options: Yes Preserve Level 2 copypage Semantics: Yes Save Portable Job Ticket Inside PDF File: No Illustrator Overprint Mode: Yes Convert Gradients To Smooth Shades: No ASCII Format: No Document Structuring Conventions (DSC): Process DSC Comments: No OTHERS ---------------------------------------- Distiller Core Version: 5000 Use ZIP Compression: Yes Deactivate Optimization: No Image Memory: 524288 Byte Anti-Alias Color Images: No Anti-Alias Grayscale Images: No Convert Images (< 257 Colors) To Indexed Color Space: Yes sRGB ICC Profile: sRGB IEC61966-2.1 END OF REPORT ---------------------------------------- IMPRESSED GmbH Bahrenfelder Chaussee 49 22761 Hamburg, Germany Tel. +49 40 897189-0 Fax +49 40 897189-71 Email: [email protected] Web: www.impressed.de
Adobe Acrobat Distiller 5.0.x Job Option File
<< /ColorSettingsFile () /AntiAliasMonoImages false /CannotEmbedFontPolicy /Warning /ParseDSCComments false /DoThumbnails true /CompressPages true /CalRGBProfile (sRGB IEC61966-2.1) /MaxSubsetPct 100 /EncodeColorImages true /GrayImageFilter /DCTEncode /Optimize true /ParseDSCCommentsForDocInfo false /EmitDSCWarnings false /CalGrayProfile () /NeverEmbed [ ] /GrayImageDownsampleThreshold 1.5 /UsePrologue false /GrayImageDict << /QFactor 0.9 /Blend 1 /HSamples [ 2 1 1 2 ] /VSamples [ 2 1 1 2 ] >> /AutoFilterColorImages true /sRGBProfile (sRGB IEC61966-2.1) /ColorImageDepth -1 /PreserveOverprintSettings true /AutoRotatePages /None /UCRandBGInfo /Preserve /EmbedAllFonts true /CompatibilityLevel 1.2 /StartPage 1 /AntiAliasColorImages false /CreateJobTicket false /ConvertImagesToIndexed true /ColorImageDownsampleType /Bicubic /ColorImageDownsampleThreshold 1.5 /MonoImageDownsampleType /Bicubic /DetectBlends false /GrayImageDownsampleType /Bicubic /PreserveEPSInfo false /GrayACSImageDict << /VSamples [ 2 1 1 2 ] /QFactor 0.76 /Blend 1 /HSamples [ 2 1 1 2 ] /ColorTransform 1 >> /ColorACSImageDict << /VSamples [ 2 1 1 2 ] /QFactor 0.76 /Blend 1 /HSamples [ 2 1 1 2 ] /ColorTransform 1 >> /PreserveCopyPage true /EncodeMonoImages true /ColorConversionStrategy /sRGB /PreserveOPIComments false /AntiAliasGrayImages false /GrayImageDepth -1 /ColorImageResolution 150 /EndPage -1 /AutoPositionEPSFiles false /MonoImageDepth -1 /TransferFunctionInfo /Apply /EncodeGrayImages true /DownsampleGrayImages true /DownsampleMonoImages true /DownsampleColorImages true /MonoImageDownsampleThreshold 1.5 /MonoImageDict << /K -1 >> /Binding /Left /CalCMYKProfile (U.S. Web Coated (SWOP) v2) /MonoImageResolution 600 /AutoFilterGrayImages true /AlwaysEmbed [ ] /ImageMemory 524288 /SubsetFonts false /DefaultRenderingIntent /Default /OPM 1 /MonoImageFilter /CCITTFaxEncode /GrayImageResolution 150 /ColorImageFilter /DCTEncode /PreserveHalftoneInfo true /ColorImageDict << /QFactor 0.9 /Blend 1 /HSamples [ 2 1 1 2 ] /VSamples [ 2 1 1 2 ] >> /ASCII85EncodePages false /LockDistillerParams false >> setdistillerparams << /PageSize [ 576.0 792.0 ] /HWResolution [ 600 600 ] >> setpagedevice

52 M.D. Acosta and A.M. Peralta Positivity

then M has the DP if, and only if, for any h ∈ H the point evaluation {S(h) : S ∈BM} and {S∗(h) : S ∈ BM} are relatively compact in H, where BM is the closedunit ball in M , equivalently, if and only if, for any h ∈ H the evaluation operatorsgiven by

M −→ H M −→ HS �→ Sh S �→ Sth

are completely continuous operators. In [16], E. Saksman and H.O. Tylli haveextended this characterization for closed subspaces of the compact operators in �p

(1 < p < ∞). Saksman and Tylli also showed that if M is a closed subspace of thecompact operators in a reflexive Banach space X having the DP, then for everyx ∈ X the evaluation operators given above are completely continuous.

In [12] W. Freedman introduces a weaker version of the DP, the alternativeDunford-Pettis property (DP1 in the sequel). A Banach space X has the DP1iff for every weakly convergent sequences (xn) → x in X and (x∗

n) → 0 in X∗

with ‖xn‖ = ‖x‖ = 1 we have x∗n(xn) → 0. The DP and the DP1 properties

are equivalent for von Neumann algebras and C∗-algebras (see Brnce-Peralta [5]and Freedman [12]) but the DP1 is strictly weaker than the DP for preduals ofvon Neumann algebras and general Banach spaces. We refer to Acosta-Peralta [1],Bunce-Peralta [5, 6] and Martin-Peralta [14] for the most recent results on theDP1.

The DP1 was also characterized by W. Freedman in the following terms. ABanach space X has the DP1 if and only if for any Banach space Y , every weaklycompact operator T from X to Y is a DP1 operator, that is, if (xn) convergesweakly to x in X with ‖xn‖ = ‖x‖ = 1 we have (T (xn)) converges to T (x) innorm. Therefore, the DP1 operators play with respect to the DP1 the same rolethat completely continuous operators with respect to the DP.

In this paper we study the DP1 for closed subspaces of the compact opera-tors in a Banach space. In the case that M is a closed subspace of the compactoperators on a reflexive Banach space X we prove that a necessary condition onM to have the DP1 is that for every x ∈ X and x∗ ∈ X∗ the evaluation operatorsgiven by

M −→ X M −→ X∗

S �→ Sx S �→ S∗x∗

are DP1 operators.If X is a reflexive Banach space having a Schauder basis and M is a closed

subspace of the compact operators on X having the P-property (defined below)we show that the necessary condition given above if also sufficient. For a closedsubspace M of the compact operators on a (not necessarily separable) Hilbertspace H, we prove that the above characterization is also valid.

For any subalgebra A of the compact operators on a Hilbert space the multi-plication operators by elements of A are DP1 whenever A has DP1. Under a verymild condition on the algebra A we show that the converse is true.

Vol. 10 (2006) The DP1 for Subspaces of the Compact Operators 53

2. The Results

In the following, if X is a Banach space, we will denote by BX , SX the closed unitball and the unit sphere of X, respectively. Along the paper H is a Hilbert space.L(X,Y ) will be the Banach space of all bounded linear operators from the Banachspace X to a Banach space Y and K(X,Y ) will denote the closed subspace of allcompact operators.

Definition 2.1. Let X and Y be Banach spaces. A bounded linear operator T :X −→ Y is said to be a DP1 operator if whenever xn → x weakly in X with‖xn‖ = ‖x‖ = 1 we have ‖Txn − Tx‖ → 0.

The following proposition gives us a necessary condition, in a closed subspaceof the Banach space of all operators on a reflexive Banach space, to have the DP1.

Proposition 2.2. Let X and Y be reflexive Banach spaces, M ⊆ L(X,Y ) be aclosed subspace. Suppose that M has the DP1 then for every x ∈ X and y∗ ∈ Y ∗

the evaluation operators given by

M −→ Y M −→ X∗

S �→ Sx S �→ S∗y∗

are DP1 operators.

Proof. Assume that M has the DP1, then by using Freedman [12, Theorem 1.4],any bounded linear operator from M into any reflexive Banach space is, in fact,DP1. Hence, for any x ∈ X, the operator T : M −→ Y given by

T (S) = Sx (S ∈ M),

is in fact DP1. The corresponding assertion for the other operator follows from ananalogous argument. �Remark 2.3.(1) X has the DP1 if and only if for every weakly null sequences xn in X and x∗

n

in X∗, x ∈ SX with ‖xn + x‖ = 1 we have x∗n(xn) → 0.

(2) Let X,Y be Banach spaces and M ⊆ L(X,Y ) be a closed subspace. Supposethat for every x ∈ X and y∗ ∈ Y ∗ the evaluation operators given by

M −→ Y M −→ X∗

S �→ Sx S �→ S∗y∗

are DP1 operators. Then if (Tn) converges weakly to T in M with ‖Tn‖ =‖T‖ = 1, for every x ∈ X we have ‖Tn(x) − T (x)‖ → 0, that is, (Tn) con-verges to T strongly. Since the sequence {Tn} is bounded, Tn converges to Tuniformly on compact subsets. Hence, TnS converges in norm to TS for everyS ∈ K(X). Similarly, T ∗

nK converges in norm to T ∗K, for every K ∈ K(Y ∗).Therefore, for every S ∈ K(X) and K ∈ K(Y ∗), the mappings

M −→ K(X,Y ) M −→ K(Y ∗,X∗)T �→ TS T �→ T ∗K

are DP1 operators.

54 M.D. Acosta and A.M. Peralta Positivity

Freedman [12] characterized Banach spaces having the DP1 as those Banachspaces X for which for any Banach space Y any weakly compact operator T :X −→ Y is a DP1 operator. Here we prove that if X is a Banach space with ashrinking Schauder basis, then for subspaces M of K(X) satisfying certain iso-metric assumption, it is enough to assume that the evaluation operators on M areDP1 operators in order to check that M has the DP1.

Lemma 2.4. Let X be a Banach space with a shrinking (Schauder) basis {xn} andY be a Banach space with basis {yn}. Then for every S ∈ K(X,Y ), the sequence

‖S − QnSPn‖ → 0

where Qn, Pn are the projections onto the subspaces generated by {y1, · · · , yn} and{x1, · · · , xn}, respectively.

Proof. Since (Qn(y)) → y for any y ∈ Y and (Qn) is bounded, then (Qn) convergesuniformly on compact subsets. This gives that

∥∥∥(I − Qn)S

∥∥∥ → 0.

Since the basis of X is shrinking, by using the same argument for S∗, whichis also compact, it follows that the sequence

‖QnSPn − S‖ = ‖P ∗nS∗Q∗

n − S∗‖ ≤ ‖P ∗nS∗Q∗

n − P ∗nS∗‖ + ‖(P ∗

n − I)S∗‖≤ ‖Pn‖ ‖(I − Qn)S‖ + ‖(P ∗

n − I)S∗‖converges to zero. �

Remark 2.5. By using the same argument, if H is any Hilbert space and S ∈ K(H),then for every ε > 0 there is a finite dimensional subspace V ⊂ H such that‖S − PV SPV ‖ < ε, where PV is the orthogonal projection onto V .

According to Moshtaghioun-Zafarani [15], given two Banach spaces X and Ywith Schauder basis, we say that a closed subspace M of L(X,Y ) has the P-prop-erty if for all natural numbers m,n and every operators T, S ∈ M

‖QW TPV + (I − QW )S(I − PV )‖ ≤ max{‖QW TPV ‖, ‖(I − QW )S(I − PV )‖},

where V,W are the subspaces of X,Y , respectively, generated by the first m,nvectors of the basis and PV , QW are the canonical projections onto V and W ,respectively.

Theorem 2.6. Let X be a Banach space with a shrinking Schauder basis, Y aBanach space with basis and assume that M is a closed subspace of K(X,Y ) sat-isfying the P-property. If for any x ∈ X, y∗ ∈ Y ∗, the evaluation operators givenby

M −→ Y M −→ X∗

S �→ Sx S �→ S∗y∗

are DP1 operators, then M satisfies the DP1.

Vol. 10 (2006) The DP1 for Subspaces of the Compact Operators 55

Proof. Let us denote by {xn} and {yn} the Schauder bases of X and Y , respec-tively. We will argue by contradiction, so we assume that M does not satisfy theDP1. Therefore, assume there are r > 0, a weakly null sequence Tn in M , anelement T ∈ SM and a weakly null sequence m∗

n ∈ M∗ satisfying that

‖Tn + T‖ = 1, |m∗n(Tn)| ≥ r, ∀n ∈ N. (1)

By assumption, the evaluations at elements of X and Y ∗ are DP1 operators fromM into Y and X∗, respectively. For a fixed natural number k, we denote byV = [x1, · · · , xk] ⊂ X,W = [y1, · · · , yk] ⊂ Y . By Remark 2.3, the operatorsfrom M to K(X,Y ) given by T �→ TPV and T �→ QW T , respectively, are DP1operators, where PV and QW denote the projections of X and Y onto V and W ,respectively. Hence ‖TnPV ‖, ‖QW Tn‖ → 0. As a consequence,

‖Tn − (I − QW )Tn(I − PV )‖ = ‖TnPV + QW Tn(I − PV )‖≤ ‖TnPV ‖ + (1 + C) ‖QW Tn‖,

where C is the basic constant of the basis of X. The above inequality implies thatthe sequence

‖Tn − (I − QW )Tn(I − PV )‖ → 0. (2)

Now we will construct a subsequence of m∗n that does not converge weakly

to zero. This is a contradiction since m∗n is weakly null. In order to do this, let us

takem∗

σ(1) = m∗1, Tσ(1) = T1.

Since Tσ(1) ∈ K(X,Y ), by Lemma 2.4 there exists p1 ∈ N such that

‖Tσ(1) − QW1Tσ(1)PV1‖ <12,

where V1 and W1 are the closed subspaces generated by {x1, . . . , xp1} and{y1, . . . , yp1}, respectively. By using (2) and the fact that m∗

n and Tn are weaklynull sequences of M∗ and K(X,Y ), respectively, for n large enough it is satisfied

‖Tn − (I − QW1)Tn(I − PV1)‖ <124

, |m∗σ(1)(Tn)| <

r

23, |m∗

n(Tσ(1))| <r

23.

We choose a natural number σ(2) > σ(1) satisfying the previous conditions. Bythe choice of σ(2) it is satisfied

‖Tσ(2) − (I − QW1)Tσ(2)(I − PV1)‖ <124

. (3)

Since (I − QW1)Tσ(2)(I − PV1) is a compact operator, by Lemma 2.4, there existsp2 > p1 such that

‖(I − QW1)Tσ(2)(I − PV1) − QW2(I − QW1)Tσ(2)(I − PV1)PV2‖ <124

,

where V2 and W2 are the finite dimensional subspaces generated by {x1, . . . , xp2}and {y1, . . . , yp2}, respectively.

56 M.D. Acosta and A.M. Peralta Positivity

In view of (3) we get

‖Tσ(2) − (QW2 − QW1)Tσ(2)(PV2 − PV1)‖ <123

.

Of course, we have chosen Tσ(2),m∗σ(2) such that they satisfy

|m∗σ(1)(Tσ(2))| <

r

23, |m∗

σ(2)(Tσ(1))| <r

23, |m∗

σ(2)(Tσ(2))| ≥ r.

Assume that we have chosen p1 < p2 < . . . < pn ∈ N and σ(1) < σ(2) <. . . < σ(n) ∈ N, satisfying

‖Tσ(i) − (QWi− QWi−1)Tσ(i)(PVi

− PVi−1)‖ <1

2i+1,

|m∗σ(i)(Tσ(i))| ≥ r, (1 ≤ i ≤ n)

and also

|m∗σ(i)(Tσ(n))| <

r

2n+1, |m∗

σ(n)(Tσ(i))| <r

2n+1(i < n), (4)

where Vi and Wi are the closed subspace of X and Y generated by {x1, . . . , xpi}

and {y1, . . . , ypi}, respectively.

By (2) we know that for p large enough, we have

‖Tp − (I − QWn)Tp(I − PVn

)‖ <1

2n+2,

and also, because Tp,m∗p are weakly null

|m∗p(Tσ(i))| <

r

2n+2, |m∗

σ(i)(Tp)| <r

2n+2(i ≤ n).

We choose a natural number σ(n + 1) > σ(n) for which the previous conditionshold.

By Lemma 2.4 we can approximate the compact operator

(I − QWn)Tσ(n+1)(I − PVn

),

so there exists pn+1 > pn such that

‖(I − QWn)Tσ(n+1)(I − PVn

) − QWn+1(I − QWn)Tσ(n+1)(I − PVn

)PVn+1‖ <1

2n+2,

where Vn+1 and Wn+1 are the finite dimensional subspaces generated by{x1, . . . , xpn+1} and {y1, . . . , ypn+1}, respectively. Thus

‖Tσ(n+1)−(QWn+1 −QWn)Tσ(n+1)(PVn+1 −PVn

)‖<1

2n+1, |m∗

σ(n+1)(Tσ(n+1))|≥r,

|m∗σ(n+1)(Tσ(i))| <

r

2n+2, |m∗

σ(i)(Tσ(n+1))| <r

2n+2(i < n + 1),

where Vn+1 and Wn+1 are the closed subspace of X and Y generated by{x1, . . . , xpn+1} and {y1, . . . , ypn+1}, respectively.

Vol. 10 (2006) The DP1 for Subspaces of the Compact Operators 57

Now we will check that (m∗σ(n)), the subsequence of (m∗

n) we defined, doesnot converge weakly to zero. First we observe that the subsequence

∑nk=1 Tσ(k) is

bounded, since in view of (4)∥∥∥∥

n∑

k=1

Tσ(k)

∥∥∥∥

≤∥∥∥∥

n∑

k=1

(QWk− QWk−1)Tσ(k)(PVk

− PVk−1)∥∥∥∥

+n∑

k=1

‖Tσ(k) − (QWk− QWk−1)Tσ(k)(PVk

− PVk−1)‖

≤∥∥∥∥

n∑

k=1

(QWk− QWk−1)Tσ(k)(PVk

− PVk−1)∥∥∥∥

+∞∑

k=1

12k

,

where PV0 = 0, QW0 = 0.Since M has the P-property, then it holds that

∥∥∥∥

n∑

k=1

(QWk−QWk−1)Tσ(k)(PVk

−PVk−1)∥∥∥∥≤ max

1≤k≤n‖(QWk

−QWk−1)Tσ(k)(PVk−PVk−1)‖

≤4CC ′ max1≤k≤n

‖Tσ(k)‖,

where C ′ is the basic constant associated to the basis of Y . Therefore, the previoussequence is bounded since Tσ(n) is a weakly null sequence.

Let x∗∗ ∈ M∗∗ be a cluster point of the sequence∑n

k=1 Tσ(k). We will observethat

(

x∗∗(m∗σ(n))

)

does not converge to zero.For p > n, in view of (1) and (4), we have

∣∣m∗

σ(n)

(p

k=1

Tσ(k)

)∣∣ ≥ |m∗

σ(n)(Tσ(n))| −p

k = 1k �=n

|m∗σ(n)(Tσ(k))|

≥ r −n−1∑

k=1

|m∗σ(n)(Tσ(k))| −

p∑

k=n+1

|m∗σ(n)(Tσ(k))|

≥ r − r

n−1∑

k=1

12n+1

− r

p∑

k=n+1

12k+1

≥ r − r

∞∑

k=1

12k+1

=r

2.

Since x∗∗ is a weak∗ cluster point of(∑m

k=1 Tσ(k)

)

we get |x∗∗(m∗σ(n))| ≥ r

2 , forevery natural number n, that is,

(

m∗σ(n)

)

is not weakly null, but this is impossibleand hence M has the DP1. �Remark 2.7. There are many pairs of Banach spaces (X,Y ) for which K(X,Y )satisfies the P-property. For instance, K(�1, Y ), for any Banach space with basisY . Also K(�p, �q)(1 < p < ∞, q ≤ p) has the the P-property. Clearly for anyHilbert space H, it is satisfied that

58 M.D. Acosta and A.M. Peralta Positivity

‖QW TPV + (I − QW )S(I − PV )‖ = max{‖T‖, ‖S‖},

for any subspaces V,W of H and arbitrary operators T, S ∈ L(H), where PV

denotes the orthogonal projection onto V . The above equality is the appropriateversion of the P-property.

It is well known that every Schauder basis in a reflexive Banach space isshrinking. Actually, M. Zippin proved that a Banach space X with basis is reflex-ive if, and only if, any basis in X is shrinking Zippin [19]. Therefore, our principalresult follows now from Proposition 2.2 and Theorem 2.6.

Corollary 2.8. Let X,Y be reflexive Banach spaces with Schauder basis and M aclosed subspace of K(X,Y ) satisfying the P-property. Then M has the DP1 if,and only if, for every x ∈ X and y∗ ∈ Y ∗ the evaluation operators given by

M −→ Y M −→ X∗

S �→ Sx S �→ S∗y∗

are DP1 operators.

The following result characterizes those closed subspaces of the compact oper-ators on an arbitrary Hilbert space H (non necessarily separable) satisfying theDP1. The proof can be obtained by adapting the proof of Theorem 2.6. We includehere and sketch of the proof for completeness.

Theorem 2.9. Let M be a closed subspace of K(H). Then M has the DP1 if, andonly if, for any h ∈ H the evaluation operators given by

M −→ H M −→ HS �→ Sh S �→ Sth

are DP1 operators.

Proof. The ‘only if’ part follows by Proposition 2.2.In order to prove the converse it is enough to observe that Remark 2.5 allows

us to approximate compact operators by “finite matrices” and also that in this case,the space K(H) satisfies the corresponding version of the P-property (Remark 2.7).With these two ideas in mind, the proof of Theorem 2.6 can be easily adapted tothis case. �

Remark 2.10. In order to show that the assumptions of Corollary 2.8 and Theorem2.9 are sharp, let us observe several examples.(1) If the space X is not reflexive, there can be subspaces of K(X) satisfying the

DP1 such that the evaluation operators are not DP1. Indeed, this is the case ofan example appearing in Saksman-Tylli [16]. Take X = c0, and M = K(c0).Since M ≡ c0(�1), it follows that M has the DP and hence M also has theDP1. Let T = e∗

1 ⊗ e1 and Tn = e∗2 ⊗ en (n ≥ 2), where ei is the natural

coordinate basis in c0 and e∗i ⊗ ej((λn)) := λiej . Then ‖T‖ = ‖T + Tn‖ = 1

for every n ≥ 2, Tn → 0 weakly and ‖Tn(e2)‖ = 1 (n ≥ 2). Therefore, theevaluation operator at e2 is not DP1.

Vol. 10 (2006) The DP1 for Subspaces of the Compact Operators 59

(2) Finally, for any (infinite-dimensional) Hilbert space H, one we can find a sub-space M ⊂ L(H) which does not satisfy the DP1 although the evaluationsat elements of H are DP1 operators from M to H. Clearly it is enough tocheck the statement for �2. Let H = �2 and Vn, Wn be pairwise orthogonalsubspaces of H such that H can be decomposed into the (orthogonal) sum

H =(

⊕�2Vn

)

⊕�2(

⊕�2Wn

)

and dim(Vn) = dim(Wn) = n (n ∈ N). Let M the C∗-algebra given by

M =( ∞⊕

n=1

L(Vn))

∞⊕∞

( ∞⊕

n=1

L(Wn))

∞.

By Freedman [12, Examples 3.3 (ii)] we know that M does not satisfy theDP1. Given h ∈ H, we denote by Eh : M → H the evaluation operator ath. To see that Eh is completely continuous, it is enough to check that Eh

maps weakly convergent sequences to norm-convergent. Let us fix h ∈ H anda weakly null sequence (mk) in M . For every ε > 0 there exist p ∈ N, hi ∈ Vi

and ki ∈ Wi (i ≤ p) such that ‖h − ∑pi=1(hi + ki)‖ ≤ ε, that is

‖Eh −p

i=1

(Ehi+ Eki

)‖ ≤ ε. (*)

For any k, mk ∈ M , and then mk(hi) = PVimkPVi

(hi). Now, since(PVi

mkPVi)k is a weakly null sequence in the finite dimensional space L(Vi),

it follows that limk→∞ ‖PVimkPVi

‖ = 0. Therefore Ehi: M → H is a com-

pletely continuous operator. The analogous argument shows that Ekiis a

completely continuous operator for every ki ∈ Wi. Finally, since, by (∗), Eh

is in the norm closure of all completely continuous operators from M to H,we conclude that Eh is completely continuous and hence DP1.

The last example actually provides us an example of a subspace of L(H)which does not satisfy the DP although the evaluations at elements of H arecompletely continuous operators from M to H. This example shows that thecharacterization of the DP for subspaces of K(H) obtained by Brown [3] andUlger [18] or Saksman-Tylli [16] is not valid for subspaces of L(H).

For subspaces of K(H) which are C∗-subalgebras the DP1 can be character-ized in the following way:

Proposition 2.11. Let A ⊂ K(H) be a C∗-subalgebra. The following conditions areequivalent:

(i) A has the DP1.(ii) For every sequence (Tn) ⊂ A satisfying that (Tn) w→ 0 and such that for some

T ∈ A, it holds ‖T + Tn‖ = 1 = ‖T‖,∀n, then ‖Tnh‖ → 0 for any h ∈ H.(iii) A has the DP.(iv) For every sequence (Tn) ⊂ A, which is w-null, then ‖Tnh‖ → 0 for any

h ∈ H.

60 M.D. Acosta and A.M. Peralta Positivity

Proof. It is known that for C∗-algebras the DP and the DP1 are equivalent (seeBunce-Peralta [5]).

Now we will check that iii) and iv) are equivalent. By using Hamana [13] (seealso Chu-Iochum [7]), a C∗-algebra has the DP iff for any weakly null sequence(xn) in the space, it holds that (x∗

nxn) is also weak null. Therefore, if A has theDP, for any weak null sequence (Tn) ⊂ A, it holds that T ∗

nTn converges weakly tozero, an so, for any h ∈ H, it holds (T ∗

nTnh|h) → 0, that is, ‖Tnh‖ → 0.On the other hand, if every weakly null sequence (Tn) ⊂ A converges to zero

in the strong operator topology, then it implies that (‖T ∗nTnh‖ → 0 for any h ∈ H,

and so (T ∗nTnh1| h2) → 0 for every h1, h2 ∈ H. Since A ⊂ K(H), this implies that

T ∗nTn converges to zero weakly and by the result of Chu-Iochum [7], A has the DP.

In order to prove that i) and ii) are equivalent, a similar argument can beused, but replacing Chu-Iochum [7] by Freedman [12, Theorem 3.1]. �

Remark 2.12. Theorem 2.9 can be also used to prove the equivalence between i)and ii), since the second condition just says that the pointwise evaluation at ele-ments of H are DP1 operators on the algebra and in this case A = {T t : T ∈ A}.

There are examples of subalgebras of K(H) having the DP1 that are not DP.For instance, let us consider the subspace A generated by the subset

{e∗n ⊗ e1 : n ∈ N},

where {en} is an orthonormal system of an infinite dimensional Hilbert space Hand we denote by

(e∗n ⊗ e1)(x) = (x|en)e1.

It is immediate that A is an subalgebra of K(H) isometric to �2, hence it has theKadec-Klee property, and so the DP1. Of course, �2 does not have the DP.

For some special subalgebras of K(H), we will also obtain a characteriza-tion of DP1. To begin with, for a reflexive Banach space X, the following resultprovides necessary conditions in a subalgebra of K(X) to have the DP1.

Proposition 2.13. Let X be a reflexive Banach space and A ⊂ K(X) a closed sub-algebra of K(X) having the DP1. Then the operators RS , LS are DP1 operatorsfor any S ∈ A, where RS , LS : A −→ A are given by

RS(T ) = TS, LS(T ) = ST, ∀T ∈ A.

Proof. See Proposition 2.2 and Remark 2.3. �

The following result is a partial converse for a class of subalgebras of K(H)satisfying a very mild condition (compare this result to Ulger [18, Theorem 7]).

Proposition 2.14. Let X be a reflexive Banach space with Schauder basis and A ⊂K(X) be a closed subalgebra of K(X) satisfying the P-property. Suppose that thelinear subspaces generated by

{Tx : x ∈ X,T ∈ A}

Vol. 10 (2006) The DP1 for Subspaces of the Compact Operators 61

and

{T ∗x∗ : x∗ ∈ X∗, T ∈ A}are dense in X and X∗, respectively and assume that the operators LT , RT : A−→Aare DP1. Then A has the DP1.

Proof. By Corollary 2.8 we have to check that the evaluation operators at elementsx ∈ X and x∗ ∈ X∗ are DP1 when they are restricted to A.

Hence, let us fix x ∈ X and a sequence (Tn) ⊂ A such that (Tn) is weaklynull and for some S ∈ SA it holds that 1 = ‖S +Tn‖ for every n. We have to showthat {Tnx : n ∈ N} is relatively compact in X.

By assumption, there are elements y1, . . . , yn in X and S1, . . . , Sn in A sat-isfying

∥∥∥∥

m∑

i=1

Siyi − x

∥∥∥∥

< ε.

Hence∥∥∥∥

m∑

i=1

TnSiyi − Tnx

∥∥∥∥

≤ ε‖Tn‖,∀n ∈ N.

Since {TnSi : n ∈ N} is relatively compact, because RSiis a DP1 operator, also

the subset {TnSiyi : n ∈ N} is relatively compact and this property is preservedby finite sums, therefore by using that

{Tnx : n ∈ N} ⊂{ m∑

i=1

TnSiyi : n ∈ N

}

+ ε sup{‖Tn‖}BX ,

then {Tnx : x ∈ X} is relatively compact. By a similar argument, if we use thedenseness of the subspace generated by {T ∗x∗ : x∗ ∈ X∗, T ∈ A} it follows that{T ∗

nx∗ : n ∈ N} is relatively compact for any x∗ ∈ X∗. By Corollary 2.8, thesubalgebra A has the DP1. �Corollary 2.15. Let X be a reflexive Banach space with Schauder basis and A ⊂K(X) a closed subalgebra of K(X) in the hypothesis of Proposition 2.14. Then Ahas the DP1 if, and only if, the operators LT , RT : A −→ A are DP1.

When in the proof of Proposition 2.14 we replace Corollary 2.8 by Theorem2.9, we obtain the following result.

Proposition 2.16. Let A ⊂ K(H) be a closed subalgebra of K(H) satisfying thatthe linear subspaces generated by

{Th : h ∈ H,T ∈ A}and

{T ∗h : h ∈ H,T ∈ A}are dense in H. Assume that the operators LT , RT : A −→ A are DP1 for any Tin A. Then A has the DP1.

62 M.D. Acosta and A.M. Peralta Positivity

Corollary 2.17. Let A ⊂ K(H) be a closed subalgebra of K(H) satisfying thehypothesis of Proposition 2.16. Then A has the DP1 if, and only if, the operatorsLT , RT : A −→ A are DP1.

Remark 2.18. We recall that a Banach space Y is said to have the Schur propertyif every weakly compact subset of Y is norm compact. It is known that the dual Y ∗

of a Banach space Y has the Schur property if and only if Y has the DP and doesnot contain an isomorphic copy of �1 (see for instance Diestel [10, Theorem 3]).Since K(H) does not contain an isomorphic copy of �1 (Feder-Saphar [11]), it fol-lows that a closed subspace M of K(H) satisfies the DP if, and only if, M∗ has theSchur property if, and only if, for every h ∈ H the evaluation operators given by

M −→ H M −→ H

S �→ Sh S �→ S∗h

are completely continuous (see Ulger [18, Corollary 4] and also Brown [3]).Since the DP1 (respectively, the KKP) can be obtained by confining the DP

(respectively, the Schur) condition to the unit sphere, we might expect a relationbetween DP1 in a closed subspace M of K(H) and the KKP in M∗. However, theKKP in M∗ does not imply the DP1 in M . Indeed, let {en} be an orthonormalsequence in a Hilbert space H. The closed subspace M of K(H) generated by{e∗

1 ⊗ e1, e∗n ⊗ e2 : n ≥ 2} is isometric to R ⊕∞ �2 and e∗

n ⊗ em(h) := (h|en)em.Therefore M does not satisfy the DP1 property (see Freedman [12, Example 1.6]),however M∗ satisfies the KKP since it is isometric to R ⊕�1 �2 (see Freedman [12,Theorem 1.9]). Another example is M = K(H). The dual of K(H), the Banachspace of all trace class operators on H, satisfies the KKP (Dell’Antonio [9]) andK(H) does not satisfy the DP1 whenever H is infinite dimensional.

Acknowledgement

First author partially supported by D.G.E.S., project no. BFM 2003-01681 Secondauthor partially supported by D.G.E.S., project no. MTM 2005-02541, and Juntade Andalucıa grant FQM 0199.

References

[1] M.D. Acosta, A.M. Peralta, An alternative Dunford-Pettis property for JB*-triples,Q. J. Math. 52 (2001), 391–401.

[2] J. Bourgain, New Banach space properties of the disc algebra and H∞, Acta Math.152 (1984), 1–48.

[3] S.W. Brown, Weak sequential convergence in the dual of an algebra of compact oper-ators, J. Operator Theory 33 (1995), 33–42.

[4] L. Bunce, The Dunford-Pettis property in the predual of a von Neumann algebra,Proc. Amer. Math. Soc. 116 (1992), 99–100.

[5] L. Bunce, A.M. Peralta, The alternative Dunford-Pettis property in C∗-algebras andvon Neumann preduals, Proc. Amer. Math. Soc. 131 (2003), 1251–1255.

Vol. 10 (2006) The DP1 for Subspaces of the Compact Operators 63

[6] L. Bunce, A.M. Peralta, Images of Contractive Projections on Operator Algebras,J. Math. Anal. Appl. 272 (2002), 55–66.

[7] C.H. Chu, B. Iochum, The Dunford-Pettis property in C∗-algebras, Studia Math. 97(1990), 59–64.

[8] C.H. Chu and P. Mellon, ‘The Dunford-Pettis property in JB*-triples’, J. LondonMath. Soc. 55 (1997), 515–526.

[9] G.F. Dell’Antonio, On the limits of sequences of normal states, Comm. Pure Appl.Math. 20 (1967), 413–429.

[10] J. Diestel, A survey of results related to the Dunford-Pettis property, Contemp. Math.2 (1980), 15–60.

[11] M. Feder, P. Saphar, Spaces of compact operators and their dual spaces, IsraelJ. Math. 21 (1975), 38–49.

[12] W. Freedman, An alternative Dunford-Pettis property, Studia Math. 125 (1997),143–159.

[13] M. Hamana, On linear topological properties of some C∗-algebras, Tohoku Math.J. 29 (1977), 157–163.

[14] M. Martın, A. Peralta, The alternative Dunford-Pettis property in the predual of avon Neumann algebra, Studia Math. 147 (2001), 197–200.

[15] S.M. Moshtaghioun, J. Zafarani, Weak sequential convergence in the dual of operatorideals, J. Operator Theory 49 (2003), 143–151

[16] E. Saksman, H.O. Tylli, Structure of subspaces of the compact operators having theDunford-Pettis property, Math. Z. 232 (1999), 411–425.

[17] M. Talagrand, La propriete de Dunford-Pettis dans C(K,E) et L1(E), Israel J. Math.44 (1983), 317–321.

[18] A. Ulger, Subspaces and subalgebras of K(H) whose duals have the Schur property,J. Op. Th. 37 (1997), 371–378.

[19] M. Zippin, A remark on bases and reflexivity in Banach spaces, Israel J. Math. 6(1968), 74–79.

Marıa D. Acosta and Antonio M. PeraltaUniversidad de GranadaFacultad de CienciasDepartamento de Analisis Matematico18071 GranadaSpaine-mail: [email protected],[email protected]

Received 22 January 2002; revised 11 August 2003; accepted 30 January 2004

To access this journal online:http://www.birkhauser.ch