Subspaces of \(l^\infty (\Gamma)\) without quasicomplements (Q696291): Difference between revisions

A closed subspace \(M\) of a Banach space \(X\) is said to be quasicomplemented in \(X\) if there exists a closed subspace \(N\) for which \(M\cap N=\{0\}\) and \(M+N\) is dense in \(X\). The first example of a non-quasicomplemented subspace was given by Lindenstrauss, who showed that if \(A\) is an uncountable index set, then \(c_0(A)\) has no quasicomplement in \(\ell^\infty (A)\). In the other direction, Rosenthal proved that any subspace of \(\ell^\infty (A)\) whose dual unit ball is both \(w^*\)-sequentially compact and \(w^*\)-separable has a quasicomplement in \(\ell^\infty (A)\). In the present paper, the author shows that for a subspace of \(\ell^\infty (A)\) that does not contain \(\ell\) the condition of \(w^*\)-separability of its dual unit ball is necessary (as well as sufficient) for the validity of Rosenthal's result.