One remark on the complemented subspaces of \(VB^p(\mu, X)\) (Q2438561)

Let \((\Omega, \mathcal{F}, \mu)\) be a probability space, \(X\) a Banach space and \(L^p(\mu,X)\) the Bochner space, \(1\leq p\leq\infty\). \(VB^p(\mu,X)\) denotes the space of all operators \(T:L^q(\mu)\to X\) such that there exists a positive \(g\in L^p(\mu)\) satisfying \(\|Tf\|\leq\int_{\Omega}|f|\,g\,\text{d}\mu\) for all \(f\in L^q(\mu)\); \(VB^p(\mu,X)\) is normed by \(\|T\|=\inf\|g\|_{L^p(\mu)}\) (where the \(\inf\) is attained), \(1\leq p\leq\infty\) and, as usual, \(1/p+1/q=1\). For \(p=\infty\), also the space \(L^{\infty}(\mu){\hat{\hat\otimes}}X\), defined as the closure in \(L^{\infty}(\mu,X)\) of the simple functions, is considered. The author uses isometric identifications like \((L^q(\mu,X))^*=VB^p(\mu,X^*)\), \(L^p(\mu,X)\subset VB^p(\mu,X)\) and \(VB^1(\mu,X)=cabv(\mu,X)\), where the latter is the space of all \(\sigma\)-additive \(X\)-valued measures on \(\mathcal{F}\) with bounded variation and absolutely continuous with respect to \(\mu\). For \(p=1\) it is known that \(L^p(\mu,X)\) is complemented in its bidual \((L^p(\mu,X))^{**}\) if and only if both \(X\) is complemented in \(X^{**}\) and \(L^p(\mu,X)\) is complemented in \(VB^p(\mu,X)\). The author generalizes this to \(1\leq p<\infty\) and, if \(L^{\infty}(\mu){\hat{\hat\otimes}}X\) is read instead of \(L^{\infty}(\mu,X)\), to \(p=\infty\). Another result addresses the complementability of \(L^p(\mu,X)\) in \(VB^p(\mu,X)\) (\(1\leq p\leq\infty\)) in the case where \(\mu\) does not have atoms and \(X\) contains \(c_0\) isomorphically: in this case, the complementability fails. (The proof consists in reducing the problem to the case of the normalized Lebesgue measure on \(\mathbb{T}\), in producing a copy of \(l^{\infty}\) in \(VB^{\infty}(\mu,X)\) which is closed in all \(VB^p(\mu,X)\) and in using the fact that \(c_0\) is not complemented in \(l^{\infty}\).) Among other consequences, it follows that, if for \(1\leq p<\infty\), \(L^p(\mu,X)\) is complemented in its bidual \((L^p(\mu,X))^{**}\), then \(X\) is complemented in its bidual and does not contain \(c_0\) isomorphically while the converse is known to fail. An example illustrating a further technical result is that, if \(\Lambda\subset\mathbb{Z}\) is infinite and such that \(L_{\Lambda}^{\infty}(\mathbb{T})\) (the \(w^*\)-closed space spanned by the \(e^{int}\), \(n \in \Lambda\), in \(L^{\infty}(\mathbb{T})\)) does not contain \(c_0\) isomorphically while \(X\) does, then \(L_{\Lambda}^{\infty}(\mathbb{T}){\hat{\hat\otimes}}X\) is not complemented in \(L_{\Lambda}^{\infty}(\mathbb{T},X)\).