Metric projections of closed subspaces of c₀ onto subspaces of finite codimension
Let X be a closed subspace of c₀. We show that the metric projection onto any proximinal subspace of finite codimension in X is Hausdorff metric continuous, which, in particular, implies that it is both lower and upper Hausdorff semicontinuous.