The controlled separable projection property for Banach spaces (Q651279): Difference between revisions

The paper is devoted to studying the controlled separable projection property (abbreviated CSPP) in Banach spaces. A Banach space \(X\) is called a CSPP-space if for any separable subspaces \(Y\subset X\) and \(Z\subset X^*\) there is a projector \(P:X\to X\) with separable range \(P(X)\) such that \(Y\subset P(X)\) and \(Z\subset \mathrm{ker}(P)^\perp\). The class of CSPP-spaces contains all WCG-spaces and all WCD-spaces. One of the principal results is Theorem 1.2 saying that for a separable subspace \(U\) of a CSPP-space \(X\) the quotient Banach space \(X/U\) is CSPP. Moreover, the space \(U\) is complemented in some CSPP-subspace \(W\subset X\) with separable quotient \(X/W\). Another principal result is Theorem 1.1 treating quasi-quotients of CSPP-spaces, i.e., Banach spaces \(Y\) admitting a continuous linear operator \(T:X\to Y\) with dense range \(T(X)\subset Y\) defined on a CSPP-space \(X\). Theorem 1.1 says that each quasi-quotient space \(Y\) of a CSPP-space has the following properties (well-known for reflexive Banach spaces): (i) the space \(Y\) is separable if and only if its dual \(Y^*\) is weak\(^*\)-separable, (ii) the dual unit ball \(B_{Y^*}\) endowed with the weak\(^*\) topology is sequentially compact, (iii) every weak\(^*\)-separable subset of \(B_{Y^*}\) is weak\(^*\)-metrizable. In Section 2 the authors derive from Theorems 1.1 and 1.2 six corollaries. In the last section the authors study the CSPP in Banach spaces \(C(K_{\mathcal F})\) of continuous functions on the Mrowka space \(K_{\mathcal F}\) determined by an almost disjoint family \(\mathcal F\). They show that for a maximal almost disjoint family \(\mathcal F\) the Banach space \(C(K_{\mathcal F})\) fails the CSPP. Yet \(C(K_{\mathcal F})\) contains a subspace \(U\) such that both \(U\) and \(C(K_{\mathcal F})/U\) are isomorphic to \(c_0\)-spaces and hence have CSPP. This shows that CSPP (as well as the property of being a \(c_0\)-space) is not a three-space property (a Banach space is called a \(c_0\)-space if it is isomorphic to the space \(c_0(\Gamma)\) for some set \(\Gamma\)). The authors also find conditions on a disjoint family \(\mathcal F\) guaranteeing that the Banach space \(C(K_{\mathcal F})\) has CSPP.