Existence sets of best coapproximation and projections of norm one (Q2339369): Difference between revisions

A closed linear subspace \(Y\) of a Banach space \(X\) is called one-complemented if there exists a norm-one linear projection \(P:X\to Y\). A closed subset \(C\) of \(X\) is called an existence set for best coapproximation (or simply, an existence set) if every \(x\in X\) has a best coapproximation in \(C\), meaning an element \(d\in C\) such that \(\|d-c\|\leq\|x-c\|\) for all \(c\in C\). Considering \(X\) as a closed subspace of \(X^{**}\) (under the canonical embedding) a subset \(Y\) of \(X^{**}\) is said to be a weak existence set if for every \(x\in X\) there exists \(\Lambda\in Y\) such that \(\|\Lambda-y\|\leq \|x-y\|\) for all \(y\in Y\). Within this framework the author proves several results concerning one-complemented subspaces \(Y\) of \(X\). If \(Y\subset C(K)\) (\(K\) a compact Hausdorff space) is an existence set, then it is one-complemented (Th. 5). If \(X\) is a Lindenstrauss space (i.e., \(X^*\) is isometrically isomorphic to \(L^1(\mu)\) for some positive measure \(\mu\)), and \(Y\) is a weak\(^*\)-closed subspace of \( X^{**}\) of finite codimension which is also a weak existence set, then \(Y\) is one-complemented in \(X^{**}\) (Th. 7). If \(Y\) is a one-complemented subspace of \(X\) and \( \mathcal K(X)\) (the space of compact linear operators on \(X\)) is an existence set in \(\mathcal L(X)\), then \(\mathcal K(Y)\) is an existence set in \(\mathcal L(Y)\). In particular, if \(I\) has a best compact coapproximation on \(X\), then it has a best compact coapproximation on \(Y\) (Proposition 11). If \(X\) is an infinite-dimensional Banach space such that \(\mathcal K(X)\) is a semi-\(M\)-ideal in span\(\{I,\mathcal K(X)\}\), then \(I\) has no best coapproximation in \(\mathcal K(X)\) (Th. 14).