The complete continuity properties for the positive projective tensor product of atomic Banach lattices (Q2377406)

Let \(\lambda\) be a sequence space. Denote by \(\lambda'\) the Köthe dual of \(\lambda\). Assume that \(\lambda\) is a Banach sequence lattice such that \(\lambda''=\lambda\) and \(\|e_i\|_\lambda=1\), where the \(e_i\) are the standard unit vectors in \(\lambda\). Let \(X\) be a Banach lattice. Define \(\lambda(X)=\{x=(x_i)_i \in X^{\mathbb{N}} :(\|x_i\|)_i \in \lambda\}\). The authors prove the following Proposition. Let \(\lambda\) be \(\sigma\)-order continuous, let \(G\) be a compact metrizable abelian group, \(\Gamma\) be the dual group of \(G\) and \(\Lambda\) a subset of \(\Gamma\). Then \(\lambda(X)\) has the I-\(\Lambda\)-CCP (resp., II-\(\Lambda\)-CCP) iff both \(\lambda\) and \(X\) have the I-\(\Lambda\)-CCP (resp., II-\(\Lambda\)-CCP). Recall that a Banach space \(X\) is said to have the I-\(\Lambda\)-complete continuity property if any \(X\)-valued measure of bounded average range whose Fourier coefficients vanish outside \(\Lambda\) has relatively compact range. If we consider measures of bounded variation and absolutely continuous with respect to the Haar measure, we can similarly define the II-\(\Lambda\)-complete continuity property. The authors consider the positive projective tensor product (the Fremlin tensor product) \(\lambda{\otimes}_{|\pi|} X\) of \(\lambda\) and a Banach lattice \(X\). They prove that, under certain conditions, \(\lambda{\otimes}_{|\pi|} X\) is Banach lattice isomorphic to a sequence space which semi-embeds into \(\lambda(X)\). Then they obtain the following result. Let \(E\) be an atomic KB-space and \(X\) be a separable Banach lattice. Let \(G\) be a compact metrizable abelian group, \(\Gamma\) be the dual group of \(G\), and \(\Lambda\) a subset of \(\Gamma\). Then \(E \hat{\otimes}_{|\pi|} X\) has the I-\(\Lambda\)-CCP (respectively, II-\(\Lambda\)-CCP) iff both \(E\) and \(X\) have the I-\(\Lambda\)-CCP (respectively, II-\(\Lambda\)-CCP). As a corollary, it follows that, if \(E \hat{\otimes}_{|\pi|} X\) has the complete continuity property (CCP) (resp., the analytic CCP) iff both \(E\) and \(X\) have the same property.