An intrinsic characterization of lower semicontinuity of the metric projection in \(C_ 0(T,X)\) (Q1263769)

Let \(C_ 0(T,X)\) be the Banach space of all continuous mappings f from a locally compact Hausdorff space T to a strictly convex Banach space X which vanish at infinity, i.e., the set \(\{\) \(t\in T:\) \(\| f(t)\|_ X\geq \epsilon \}\) is compact for every \(\epsilon >0\). Let G be a finite-dimensional subspace of \(C_ 0(T,X)\). It is proved that the metric projection \(P_ G\) from \(C_ 0(T,X)\) to G is lower semicontinuous if and only if \[ card(bd Z(g))\leq (\dim X)^{-1}\dim \{p|_{bd Z(g)}:\quad p\in G\quad and\quad int Z(g)\subset Z(p)\} \] for very nonzero g in G. Here Z(g) denotes the set of all zeros of g. In the special case when \(X={\mathbb{R}}\) the above-mentioned result yields that \(P_ G\) is lower semicontinuous if and only if \[ card(bd Z(g))\leq \dim \{p\in G:\quad int Z(g)\subset Z(p)\}-1 \] for each nonzero g in G.