Semicontinuity of metric projections in \(c_0\)-direct sums (Q861436)

Let \(\{X_i: i\in {\mathbb N}\}\) be a family of Banach spaces and let \(Y_i\subseteq X_i\) be a closed subspace in \(X_i\), \(i\in {\mathbb N}\), such that at least two \(Y_i\)'s are nontrivial. The authors consider \(c_0\)-direct sums \(X=(\bigoplus_{c_0} X_i)_{i\in {\mathbb N}}\) and \(Y=(\bigoplus_{c_0} Y_i)_{i\in {\mathbb N}}\) and show that \(Y\) is strongly proximinal in~\(X\) if and only if \(P_Y\), the metric projection onto~\(Y\), is upper Hausdorff semi-continuous on~\(X\) if and only if \(Y_i\) is a strongly proximinal subspace in \(X_i\) for each \(i\in {\mathbb N}\). This shows that the strong proximinality of the \(Y_i\)'s is a~necessary assumption. Also, it is shown that the lower semi-continuity of metric projections is stable in \(c_0\)-direct sums.