Compact lines and the Sobczyk property (Q2511674): Difference between revisions

In this interesting and well written paper, the authors continue their study of the Sobczyk property for particular classes of Banach spaces, namely for the spaces of continuous real-valued functions on compact lines. (The symbol \(C(K)\) used below stands for the standard Banach space of real-valued continuous functions on a compact topological space \(K\).) We recall that the Sobczyk property for a Banach space \(X\) means that every isomorphic copy of \(c_0\) contained in \(X\) is complemented. The Sobzcyk theorem states that every separable Banach space has the Sobzcyk property (see [\textit{A. Sobczyk}, Bull. Am. Math. Soc. 47, 938--947 (1941; Zbl 0027.40801; JFM 67.1045.01)]). This follows from the fact that the space \(c_0\) is separably injective, which means that given a separable Banach space \(X\) and a closed subspace \(Y\), every bounded operator \(T: Y\to c_0\) admits a bounded extension to \(X\). If \(X\) is a Banach space and \(Y\) is a closed subspace, \(Y\) is said to have the \(c_0\)-extension property if \(Y\) has the property above. The Banach space \(X\) has the \(c_0\)-extension property (respectively the separable \(c_0\)-extension property), if every closed subspace (respectively separable closed subspace) has the \(c_0\)-extension property. All the results mentioned below deal with a compact line \(K\). (We recall that a compact line is a linearly ordered set which is compact in the order topology.) The main theorem of the paper is as follows: Theorem. Let \(K\) be a compact line and \(Y\) be a closed subspace of \(C(K)\) with separable dual. Then \(Y\) has the \(c_0\)-extension property. An immediate corollary of this result is that the Banach space \(C(K)\), where \(K\) is a compact line, has the Sobczyk property. The authors also provide a charaterization of \(C(K)\)-spaces possessing the \(c_0\)-extension property which reads as follows: A compact line \(K\) is \(\aleph_0\)-monolithic if and only if \(C(K)\) has the \(c_0\)-extension property, and this is the case if and only if \(C(K)\) has the separable \(c_0\)-extension property. (We recall that a compact space \(K\) is \(\aleph_0\)-monolithic if every separable subspace of \(K\) is metrizable.) This result together with the second theorem mentioned above implies that \(C(K)\), where \(K\) is the double-arrow space, has the Sobzcyk property although it does not possess the separable \(c_0\)-extension property (see also [\textit{W. M. Patterson}, Can. Math. Bull. 36, No. 3, 351--357 (1993; Zbl 0792.46014)]).